Auguste Bourgois

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Ordinary Differential Equations

Navigation Systems

Top Venues

Publications

Auguste Bourgois, Amine Chaabouni, Andreas Rauh, Luc Jaulin
Proving the Stability of the Rolling Navigation. Acta Cybern. 26 (1) (2023)
Andreas Rauh, Auguste Bourgois, Luc Jaulin
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures. Acta Cybern. 26 (2) (2022)
Andreas Rauh, Auguste Bourgois, Luc Jaulin, Julia Kersten
Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations. ICCAD (2021)
Andreas Rauh, Auguste Bourgois, Luc Jaulin
Union and Intersection Operators for Thick Ellipsoid State Enclosures: Application to Bounded-Error Discrete-Time State Observer Design. Algorithms 14 (3) (2021)
Auguste Bourgois, Luc Jaulin
Interval centred form for proving stability of non-linear discrete-time systems. SNR (2020)
Pedro G. Artaxo, Auguste Bourgois, Hugo R. M. Sardinha, Henrique S. Vieira, Ely Carneiro de Paiva, André R. Fioravanti, Patrícia Amâncio Vargas
Autonomous Cooperative Flight Control for Airship Swarms. CoRR (2020)