Accéder directement au contenu

Alexandre Chapoutot

1
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

ludovic-chamoin
Image document

Distributed control synthesis using Euler's method

Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Laurent Fribourg , Florian de Vuyst
International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
Chapitre d'ouvrage hal-01593225v1