Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

5 Résultats
Auteur : personID (entier) : 1091904
Image document

Interval centred form for proving stability of non-linear discrete-time system

Auguste Bourgois , Luc Jaulin
6th International Workshop on Symbolic-Numeric Methods for Reasoning (SNR 2020), Aug 2020, Vienne (virtual), Austria. pp.1-17
Communication dans un congrès hal-03173802v1
Image document

Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations

Andreas Rauh , Auguste Bourgois , Luc Jaulin , Julia Kersten
2021 International Conference on Control, Automation and Diagnosis (ICCAD), Nov 2021, Grenoble, France. pp.1-6, ⟨10.1109/ICCAD52417.2021.9638755⟩
Communication dans un congrès hal-03494430v1
Image document

Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures

Andreas Rauh , Auguste Bourgois , Luc Jaulin
Acta Cybernetica, 2022, ⟨10.14232/actacyb.293871⟩
Article dans une revue hal-03670858v1
Image document

Proving Feasibility of a Docking Mission: A Contractor Programming Approach

Auguste Bourgois , Simon Rohou , Luc Jaulin , Andreas Rauh
Mathematics , 2022, 10 (7), pp.1130. ⟨10.3390/math10071130⟩
Article dans une revue hal-03647551v1
Image document

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, 14 (3), pp.88. ⟨10.3390/a14030088⟩
Article dans une revue hal-03174014v1