Papers
3
Total Citations
12
H-Index
2
About
Luc Joudrier is a leading researcher in space robotics, specializing in formal verification, task scheduling, and vision-based control for autonomous systems. His work centers on enhancing the safety, robustness, and autonomy of robotic platforms in space missions. Joudrier’s major contributions include the development of FORMID, a formal specification and verification environment integrated into the DREAMS ground control station for the European Space Agency (ESA), which ensures mission-critical reliability. He also pioneered TAPAS, a robotics task scheduler that optimizes operational efficiency, and advanced vision-based control through the VIMANCO project, employing real-time 3D tracking to improve spacecraft navigation and manipulation. Although his citation counts (ranging from 2 to 6) reflect a niche but impactful field, his tools have been instrumental in ESA’s robotic missions, demonstrating practical applications in autonomous rendezvous and docking. Joudrier’s work bridges theoretical formal methods with hands-on space engineering, making him a key figure in the evolution of intelligent, self-reliant space systems. His research continues to inspire advancements in safe, vision-guided autonomy for extraterrestrial exploration.
Research Focus
Key Achievements
Top Papers
- 1FORMID : A Formal Specification And Verification Environment For DREAMS6 citations · 2004
- 2A Robotics Task Scheduler - TAPAS4 citations · 2006
- 3Vision Based Control for Space Applications2 citations · 2008