Accéder directement au contenu

Alexandre Chapoutot

2
Documents
Identifiants chercheurs

Présentation

Je travaille sur la vérification formelle de programmes de contrôle-commande. En particulier, je m'intéresse à définir des méthodes de résolution garantie d'équations différentielles.
I am working on the formal verification of control-command systems. In particular, I am interested in the definition and the implementation of set-based simulation, i.e., the definition of new validated numerical integration methods.

Publications

david-filliat
Image document

BoxRRT* -A Reliable Motion Planner

Adina M Panchea , Alexandre Chapoutot , David Filliat
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Communication dans un congrès hal-01574921v1
Image document

Extended Reliable Robust Motion Planners

Adina M Panchea , Alexandre Chapoutot , David Filliat
56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩
Communication dans un congrès hal-01493576v1