Papers
10
Total Citations
120
H-Index
6
About
Simon Rohou is a leading researcher in reliable robotics, specializing in guaranteed computation, constraint programming, and set-membership state estimation. His work focuses on providing mathematically rigorous guarantees for robot localization and trajectory verification, particularly in challenging environments like underwater or space. Rohou's major contributions include developing methods for guaranteed computation of robot trajectories (43 citations), reliable robot localization (21 citations), and non-linear state estimation with time uncertainties (19 citations). He pioneered a reliable approach to prove the existence of loops in uncertain robot trajectories using only proprioceptive measurements, a critical advancement for SLAM in homogeneous environments. Rohou also created the Codac Library (Catalog Of Domains And Contractors), a C++/Python tool for constraint programming over reals, trajectories, and sets, enabling reliable outputs for parameter estimation and robot localization. His work on proving the feasibility of autonomous docking missions and solving data association problems for indistinguishable landmarks has direct applications in underwater and space robotics. Rohou's research consistently emphasizes bounded-error contexts, ensuring that robotic systems can operate with verified, trustworthy results.
Research Focus
Key Achievements
Top Papers
- 1Guaranteed computation of robot trajectories43 citations · 2017
- 2Reliable Robot Localization21 citations · 2019
- 3Reliable non-linear state estimation involving time uncertainties19 citations · 2018
- 4Prouver l'existence de boucles dans des trajectoires de robots11 citations · 2018
- 5The Codac Library7 citations · 2024
- 6Lie symmetries applied to interval integration6 citations · 2022
- 7
- 8
- 9Set-membership state estimation by solving data association3 citations · 2020
- 10Towards a Generic Interval Solver for Differential-Algebraic CSP2 citations · 2020