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
- 1
- 1
- 1
- 1
- 4
- 4
- 2
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
Communication dans un congrès
hal-01290286v1
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Communication dans un congrès
hal-02272045v1
|
HySon: Set-based simulation of hybrid systems23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
Communication dans un congrès
hal-00819377v1
|