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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
|
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval ArithmeticsActa Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
Article dans une revue
hal-03142715v1
|
An Interval-based Sliding Horizon Motion Planning MethodIFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩
Article dans une revue
hal-01992048v1
|
|
Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmeticsSummer Workshop on Interval methods, Jul 2019, Palaiseau, France
Communication dans un congrès
hal-02372308v1
|
|
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *2017
Pré-publication, Document de travail
hal-01493645v1
|