Alexandre Chapoutot
Unité d'Informatique et d'Ingénierie des Systèmes (U2IS)
Enseignant-chercheur
Je suis enseignant-chercheur en informatique à l'ENSTA Paris dans l'Unité d'Informatique et d'Ingénierie des Systèmes (U2IS). Mes thèmes de recherche concernent la vérification des systèmes cyber-physiques avec un intérêt prononcé pour l'analyse par intervalles et la robotique mobile. Par le passé je me suis intéressé à l'analyse statique de programmes par interprétation abstraite pour l'étude et l'amélioration de la précision des calculs en arithmétique flottante.
Activités de recherche et de formation
- Responsable du parcours de spécialisation de 3ème année du cycle ingénieur en Intelligence Artificielle
- Co-responsable du mastère spécialisé en Intelligence Artificielle co-accrédité avec Télécom Paris
Publications HAL
-
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
Rapport Publié le 08/04/2022 co-écrit par François Pessaux, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Communication dans un congrès Publié le 01/01/2022 co-écrit par Yuanqi Mao, Behcet Acikmese, Pierre-Loïc Garoche, Alexandre Chapoutot -
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Communication dans un congrès Publié le 14/12/2021 co-écrit par Julien Alexandre Dit Sandretto, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat, Luca Geretti, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David Sanders, Christian Schilling, Mark Wetzlinger -
Constraint-based Verification of Formation Control
Communication dans un congrès Publié le 14/12/2021 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat -
Spatio-temporal constrained zonotopes for validation of optimal control problems
Communication dans un congrès Publié le 13/12/2021 co-écrit par Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
Article dans une revue Publié le 03/02/2021 co-écrit par Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Guaranteed master for interval-based cosimulation
Article dans une revue Publié le 19/01/2021 co-écrit par Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Towards a Set-based Signal Temporal Logic
Pré-publication, Document de travail Publié le 21/12/2020 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche -
Abstract domains for constraint programming with differential equations
Communication dans un congrès Publié le 17/11/2020 co-écrit par Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux -
Cosimulation-based control synthesis
Communication dans un congrès Publié le 14/09/2020 co-écrit par Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Communication dans un congrès Publié le 12/07/2020 co-écrit par Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David Sanders, Christian Schilling -
Optimal Switching Instants for the Control of Hybrid Systems
Article dans une revue Publié le 14/04/2020 co-écrit par Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Optimal Switching Instants for the Control of Hybrid Systems
Article dans une revue Publié le 14/04/2020 co-écrit par Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Guaranteed cosimulation of Cyber-Physical Systems
Pré-publication, Document de travail Publié le 11/03/2020 co-écrit par Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
Communication dans un congrès Publié le 18/02/2020 co-écrit par Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche -
Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics
Communication dans un congrès Publié le 23/07/2019 co-écrit par Etienne Bertin, Elliot Brendel, Bruno Hérissé, Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Logical Differential Constraints Based on Interval Boolean Tests
Chapitre d'ouvrage Publié le 11/06/2019 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Communication dans un congrès Publié le 15/04/2019 co-écrit par Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David Sanders, Christian Schilling -
Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods
Article dans une revue Publié le 01/01/2019 co-écrit par Sylvie Boldo, Florian Faissole, Alexandre Chapoutot -
Constraint-Based Framework for Reasoning with Differential Equations
Chapitre d'ouvrage Publié le 07/12/2018 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
An improved algorithm for the control synthesis of nonlinear sampled switched systems
Article dans une revue Publié le 01/12/2018 co-écrit par Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg -
Survey of what DynIbex can do for you
Pré-publication, Document de travail Publié le 20/11/2018 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
Survey of what DynIbex can do for you
Pré-publication, Document de travail Publié le 20/11/2018 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
Reliable navigation planning implementation on a two-wheeled mobile robot
Poster de conférence Publié le 31/01/2018 co-écrit par Elise Crépon, Adina M Panchea, Alexandre Chapoutot -
An Interval-based Sliding Horizon Motion Planning Method
Article dans une revue Publié le 01/01/2018 co-écrit par Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot -
Numerical program optimisation by automatic improvement of the accuracy of computations
Article dans une revue Publié le 01/01/2018 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Reliable motion planner evaluated on a mobile robot
Communication dans un congrès Publié le 01/01/2018 co-écrit par Elise Crépon, Adina M Panchea, Alexandre Chapoutot -
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
Article dans une revue Publié le 01/01/2018 co-écrit par Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Distributed control synthesis using Euler's method
Chapitre d'ouvrage Publié le 25/08/2017 co-écrit par Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, Ludovic Chamoin -
Numerical Accuracy Improvement by Interprocedural Program Transformation
Communication dans un congrès Publié le 12/06/2017 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Numerical Accuracy Improvement by Interprocedural Program Transformation
Communication dans un congrès Publié le 12/06/2017 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
Communication dans un congrès Publié le 10/04/2017 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *
Pré-publication, Document de travail Publié le 20/03/2017 co-écrit par Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Extended Reliable Robust Motion Planners
Communication dans un congrès Publié le 01/01/2017 co-écrit par Adina M Panchea, Alexandre Chapoutot, David Filliat -
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
Article dans une revue Publié le 01/01/2017 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
Improving the numerical accuracy of programs by automatic transformation
Article dans une revue Publié le 26/09/2016 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
Poster de conférence Publié le 12/09/2016 co-écrit par Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
Communication dans un congrès Publié le 17/07/2016 co-écrit par Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Appropriate Design Guided by Simulation: An Hovercraft Application
Communication dans un congrès Publié le 01/07/2016 co-écrit par Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot -
Validated Explicit and Implicit Runge-Kutta Methods
Article dans une revue Publié le 01/07/2016 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
Communication dans un congrès Publié le 07/06/2016 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
DynBEX: a Differential Constraint Library for Studying Dynamical Systems
Communication dans un congrès Publié le 12/04/2016 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
Poster de conférence Publié le 12/04/2016 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Control of Nonlinear Switched Systems Based on Validated Simulation
Communication dans un congrès Publié le 11/04/2016 co-écrit par Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg -
Data-Types Optimization for Floating-Point Formats by Program Transformation
Communication dans un congrès Publié le 04/04/2016 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Data-Types Optimization for Floating-Point Formats by Program Transformation
Communication dans un congrès Publié le 04/04/2016 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
Communication dans un congrès Publié le 27/10/2015 co-écrit par Walid Taha, Adam Duracz, Yingfu Zeng, Atkinson Kevin, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecny, Jun Inoue, Anita Sant’anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron Ames, Veronica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante -
Inner and Outer Computation of the Viability Kernel based on Interval Analysis
Communication dans un congrès Publié le 16/09/2015 co-écrit par Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Validated Simulation of Differential Algebraic Equations
Communication dans un congrès Publié le 11/06/2015 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Validated Explicit and Implicit Runge-Kutta Methods
Communication dans un congrès Publié le 09/06/2015 co-écrit par Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier -
Viability kernel computation based on interval methods
Communication dans un congrès Publié le 09/06/2015 co-écrit par Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
Communication dans un congrès Publié le 11/04/2015 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
Rapport Publié le 21/01/2015 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
Chapitre d'ouvrage Publié le 01/01/2015 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Intra-procedural Optimization of the Numerical Accuracy of Programs
Communication dans un congrès Publié le 01/01/2015 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Intra-procedural Optimization of the Numerical Accuracy of Programs
Communication dans un congrès Publié le 01/01/2015 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Intra-procedural Optimization of the Numerical Accuracy of Programs
Communication dans un congrès Publié le 01/01/2015 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
Communication dans un congrès Publié le 01/01/2015 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
Communication dans un congrès Publié le 15/12/2014 co-écrit par Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer -
Set-based Simulation for Design and Verification of Simulink Models
Communication dans un congrès Publié le 04/02/2014 co-écrit par Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot -
Set-based Simulation for Design and Verification of Simulink Models
Communication dans un congrès Publié le 01/01/2014 co-écrit par Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot -
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
Chapitre d'ouvrage Publié le 14/05/2013 co-écrit par Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi -
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
Rapport Publié le 01/01/2013 co-écrit par Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram -
Acceleration of the abstract fixpoint computation in numerical program analysis
Article dans une revue Publié le 01/12/2012 co-écrit par Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot -
Range estimation of floating-point variables in Simulink models
Communication dans un congrès Publié le 23/10/2012 co-écrit par Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers -
HySon: Set-based simulation of hybrid systems
Communication dans un congrès Publié le 11/10/2012 co-écrit par Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram -
Interval-based Robustness of Linear Parametrized Filters
Communication dans un congrès Publié le 29/09/2012 co-écrit par Alexandre Chapoutot, Thibault Hilaire, Philippe Chevrel -
A Statistical Inference Model for the Dynamic Range of LTI Systems
Communication dans un congrès Publié le 01/09/2012 co-écrit par Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers -
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
Communication dans un congrès Publié le 18/06/2012 co-écrit par Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot -
An operational semantics for Simulink's simulation engine
Communication dans un congrès Publié le 12/06/2012 co-écrit par Olivier Bouissou, Alexandre Chapoutot -
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
Communication dans un congrès Publié le 01/10/2010 par Alexandre Chapoutot -
Abstract Fixpoint Computations with Numerical Acceleration Methods
Communication dans un congrès Publié le 01/01/2010 co-écrit par Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot -
Mathematical equations as executable models of mechanical systems
Communication dans un congrès Publié le 01/01/2010 co-écrit par Yun Zhu, Edwin Rice University Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Robert Cartwright, Aaron Ames, Raktim Bhattacharya -
Mathematical equations as executable models of mechanical systems
Communication dans un congrès Publié le 01/01/2010 co-écrit par Yun Zhu, Edwin Rice University Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Robert Cartwright, Aaron Ames, Raktim Bhattacharya -
Abstract Simulation: a Static Analysis of Simulink Models
Communication dans un congrès Publié le 01/01/2009 co-écrit par Alexandre Chapoutot, Matthieu Martel -
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
Article dans une revue Publié le 01/01/2009 co-écrit par Alexandre Chapoutot, Matthieu Martel -
Simulation abstraite : une analyse statique de modèles Simulink
Thèse Publié le 08/12/2008 par Alexandre Chapoutot -
Static Analysis of Simulink Programs
Communication dans un congrès Publié le 05/04/2008 co-écrit par Alexandre Chapoutot, Matthieu Martel -
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
Communication dans un congrès Publié le 01/06/2007 co-écrit par Alexandre Chapoutot, Matthieu Martel