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

jordan-ninin

Viability kernel computation based on interval methods

Dominique Monnet , Luc Jaulin , Jordan Ninin , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Communication dans un congrès hal-01371484v1

Inner and Outer Computation of the Viability Kernel based on Interval Analysis

Dominique Monnet , Luc Jaulin , Jordan Ninin , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
Communication dans un congrès hal-01371498v1