Papers
7
Total Citations
181
H-Index
6
About
Matthieu Gallien is a leading researcher in the field of dependable autonomous robotics, with a career dedicated to making robots safe, reliable, and trustworthy for critical applications. His work focuses on the intersection of software architecture, fault tolerance, and planning for autonomous systems, particularly in high-stakes environments like space exploration. Gallien’s most influential contribution is his methodology for the incremental, component-based construction and formal verification of robotic systems, ensuring that complex, heterogeneous software meets stringent safety and real-time constraints. This approach is detailed in his highly cited works, including "Designing autonomous robots" (71 citations) and "Incremental Component-Based Construction and Verification of a Robotic System" (46 citations). He has also pioneered fault-tolerant planning strategies, as seen in "Fault Tolerant Planning for Critical Robots" (20 citations), which addresses the critical lack of trust in autonomous systems. Gallien’s research on embedded decision-making and diversified planning models has directly informed the development of autonomous exploration rovers, bridging the gap between AI planning and real-world deployment. With a cumulative citation count exceeding 180, his work remains foundational for researchers and engineers building the next generation of safe, autonomous robots.
Research Focus
Key Achievements
Top Papers
- 1Designing autonomous robots71 citations · 2009
- 2
- 3Toward a More Dependable Software Architecture for Autonomous Robots27 citations · 2008
- 4Fault Tolerant Planning for Critical Robots20 citations · 2007
- 5Planning with Diversified Models for Fault-Tolerant Robots9 citations · 2007
- 6
- 7Embedded Decision in the LAAS Architecture2 citations · 2005