Alexandre Chapoutot
2
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
- 1
- 1
- 2
- 2
- 1
|
Construction of parametric barrier functions for dynamical systems using interval analysisAutomatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
Article dans une revue
hal-01164307v2
|
Control of Nonlinear Switched Systems Based on Validated SimulationInternational Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩
Communication dans un congrès
hal-01304292v1
|