Papers
4
Total Citations
45
H-Index
3
About
Julien Alexandre Dit Sandretto is a leading researcher at the intersection of robotics, formal verification, and interval analysis. His work focuses on developing rigorous mathematical methods to guarantee the safety and reliability of robotic systems operating under uncertainty—a critical concern for applications in medical and military contexts. His most influential contribution is the introduction of **interval contractor programming** for certified calibration, demonstrated in his highly cited 2013 paper (23 citations) on cable-driven robots. This approach allows robots to be calibrated with mathematically proven bounds on error. He further advanced the field by developing formal verification techniques for robotic behaviors governed by differential equations, addressing the gap between imprecise models and real-world safety requirements (11 citations). His recent work extends these methods to multi-robot systems, proposing constraint-based verification for collision-free formation control. By combining abstract interpretation with constraint satisfaction problems, Dit Sandretto provides engineers with the tools to certify that even complex, uncertain robotic systems will behave safely. His research is essential reading for anyone working in certified robotics, formal methods, or safety-critical autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots9 citations · 2012
- 4Constraint-based Verification of Formation Control2 citations · 2021