Papers
3
Total Citations
16
H-Index
3
About
Auguste Bourgois is a researcher advancing the rigorous verification of nonlinear dynamic systems, with a focus on stability analysis and autonomous mission planning. Their work centers on developing novel computational tools—particularly stability contractors and interval analysis—to prove asymptotic stability in discrete-time systems. Bourgois introduced the concept of stability contractors, demonstrating how interval centred forms can efficiently verify stability domains without exhaustive simulation. A key contribution is the use of ellipsoidal state enclosures to certify provable stability regions, offering a mathematically sound alternative to heuristic methods. With papers such as "Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures" and "Interval Centred Form for Proving Stability of Non-linear Discrete-Time Systems," each garnering 6 citations, Bourgois has established a niche in formal verification. Their work also extends to practical robotics, as seen in "Proving Feasibility of a Docking Mission: A Contractor Programming Approach" (4 citations), which applies these techniques to autonomous space and underwater missions. By bridging rigorous mathematics with real-world autonomy, Bourgois provides tools that enhance safety and reliability in critical applications.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3