Alexandre Chapoutot
37
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
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 37
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
Constraint-based Verification of Formation Control2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
Communication dans un congrès
hal-03587686v1
|
|
|
Spatio-temporal constrained zonotopes for validation of optimal control problemsCDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States
Communication dans un congrès
hal-03197925v2
|
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Communication dans un congrès
hal-03587676v1
|
|
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
Communication dans un congrès
hal-03068407v1
|
|
Cosimulation-based control synthesisWorkshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
Communication dans un congrès
hal-03035228v1
|
|
|
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
|
|
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩
Communication dans un congrès
hal-03199339v1
|
|
Formal Verification of Robotic Behaviors in Presence of Bounded UncertaintiesFirst IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
Communication dans un congrès
hal-01490364v1
|
|
DynBEX: a Differential Constraint Library for Studying Dynamical SystemsConference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
Communication dans un congrès
hal-01297273v1
|
DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiquesApproches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Communication dans un congrès
hal-01450917v1
|
|
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno PhenomenonInternational Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
Communication dans un congrès
hal-01383584v1
|
|
|
Appropriate Design Guided by Simulation: An Hovercraft ApplicationWorkshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
Communication dans un congrès
hal-01304012v1
|
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
|
|
Validated Simulation of Differential Algebraic EquationsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Communication dans un congrès
hal-01164474v1
|
|
Viability kernel computation based on interval methodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Communication dans un congrès
hal-01371484v1
|
|
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysisWorkshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
Communication dans un congrès
hal-01272513v1
|
|
|
Validated Explicit and Implicit Runge-Kutta MethodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Communication dans un congrès
hal-01111240v2
|
Inner and Outer Computation of the Viability Kernel based on Interval AnalysisInternational Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
Communication dans un congrès
hal-01371498v1
|
|
Logical Differential Constraints Based on Interval Boolean TestsKearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V. IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications, 1000, Springer, Cham, pp.788-792, 2019, ⟨10.1007/978-3-030-21920-8_70⟩
Chapitre d'ouvrage
hal-02146655v1
|
Constraint-Based Framework for Reasoning with Differential EquationsÇetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
Chapitre d'ouvrage
hal-01954764v1
|
|
|
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
|
|
Towards a Set-based Signal Temporal Logic2020
Pré-publication, Document de travail
hal-03084701v1
|
|
Guaranteed cosimulation of Cyber-Physical Systems2020
Pré-publication, Document de travail
hal-02505237v1
|
|
Survey of what DynIbex can do for you2018
Pré-publication, Document de travail
hal-01927784v1
|
|
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain[Research Report] Ensta ParisTech. 2022
Rapport
hal-03635298v1
|
|
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes[Research Report] ENSTA ParisTech. 2015
Rapport
hal-01107685v6
|