Raluca Lefticaru
University of Bucharest, University of Sheffield, University of Bradford
Papers
6
Total Citations
181
H-Index
4
About
Raluca Lefticaru is a leading researcher at the intersection of bio-inspired computing, robotics, and formal verification. Her work is distinguished by pioneering the application of membrane computing—a paradigm inspired by biological cells—to solve complex robotics challenges. Her most influential paper, "Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots" (93 citations), introduced a novel control architecture that integrates feed-forward and feedback mechanisms, enabling precise path following for robots with nonholonomic constraints. She further advanced this field with a modified membrane-inspired algorithm combining particle swarm optimization (60 citations), which tackles multi-objective path planning in hazardous environments with dynamic obstacles. Beyond bio-inspired control, Lefticaru has made significant contributions to the formal testing of robotic systems. Her work on using CSP (Communicating Sequential Processes) to test robots, and her development of implementation relations for cyclic systems with refusals, discrete time, and probabilities, provides rigorous foundations for verifying robotic control software. These contributions are critical for safety-critical applications, ensuring that robots behave correctly under all conditions. Her research, spanning from theoretical foundations to practical implementations, has earned her a reputation as a key figure in dependable robotics and computational intelligence.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Testing Robots Using CSP16 citations · 2019
- 4
- 5
- 6Mutation Testing for RoboChart2 citations · 2020