Alexandre Chapoutot
5
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 1
- 1
- 1
- 1
Optimal Switching Instants for the Control of Hybrid SystemsActa Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
Article dans une revue
hal-03158488v1
|
|
|
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic DifferentiationOptimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩
Article dans une revue
hal-01498372v1
|
Abstract domains for constraint programming with differential equationsNSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
Communication dans un congrès
hal-03068260v1
|
|
Survey of what DynIbex can do for you2018
Pré-publication, Document de travail
hal-01927784v1
|