Autonomous Cooperative Flight Control for Airship Swarms. - Pedro G. Artaxo; Auguste Bourgois; Hugo R. M. Sardinha; Henrique S. Vieira; Ely Carneiro de Paiva; André R. Fioravanti; Patrícia Amâncio Vargas (CoRR, 2020)

Interval centred form for proving stability of non-linear discrete-time systems. - Auguste Bourgois; Luc Jaulin (SNR, 2020)

Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations. - Andreas Rauh; Auguste Bourgois; Luc Jaulin; Julia Kersten (ICCAD, 2021)

Union and Intersection Operators for Thick Ellipsoid State Enclosures: Application to Bounded-Error Discrete-Time State Observer Design. - Andreas Rauh; Auguste Bourgois; Luc Jaulin (Algorithms, 2021)

Safe & collaborative autonomous underwater docking. (Amarrage collaboratif automatique et sécurisé d'un robot sur une plateforme mobile). - Auguste Bourgois (2021)

Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures. - Andreas Rauh; Auguste Bourgois; Luc Jaulin (Acta Cybern., 2022)

Proving the Stability of the Rolling Navigation. - Auguste Bourgois; Amine Chaabouni; Andreas Rauh; Luc Jaulin (Acta Cybern., 2023)