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

michel-kieffer
Image document

Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis

Olivier Bouissou , Alexandre Chapoutot , Adel Djaballah , Michel Kieffer
53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩
Communication dans un congrès hal-01073673v1