Alexandre Chapoutot
4
Documents
Identifiants chercheurs
- alexandre-chapoutot
- 0000-0002-7230-0710
- IdRef : 198059833
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
- 4
- 4
- 1
- 1
- 1
- 1
- 1
Guaranteed master for interval-based cosimulationSoftware and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
Article dans une revue
hal-03158710v1
|
|
|
An improved algorithm for the control synthesis of nonlinear sampled switched systemsFormal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
Article dans une revue
hal-01399337v2
|
|
Distributed control synthesis using Euler's methodInternational 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
|
|
Guaranteed cosimulation of Cyber-Physical Systems2020
Pré-publication, Document de travail
hal-02505237v1
|