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.
Research and education activities
- Responsable de la spécialisation de 2ème année du cycle ingénieur en Informatique
HAL Publications
-
SCvxPyGen: Autocoding SCvx Algorithm
Communication dans un congrès Published on 16/12/2024 co-written by Danil Berrah, Alexandre Chapoutot, Pierre-Loïc Garoche -
SCvxPyGen: Autocoding SCvx Algorithm
Communication dans un congrès Published on 16/12/2024 co-written by Danil Berrah, Alexandre Chapoutot, Pierre-Loïc Garoche -
Automated far-field sound field estimation combining robotized acoustic measurements and the boundary elements method
Pré-publication, Document de travail Published on 01/06/2024 co-written by Caroline Pascal, Pierre Marchand, Alexandre Chapoutot, Olivier Doaré -
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations
Article dans une revue Published on 01/01/2024 co-written by Julien Alexandre dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux -
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations
Article dans une revue Published on 01/01/2024 co-written by Julien Alexandre dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux -
A ROS-based kinematic calibration tool for serial robots
Communication dans un congrès Published on 01/10/2023 co-written by Caroline Pascal, Alexandre Chapoutot, Olivier Doaré -
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
Rapport Published on 08/04/2022 co-written by François Pessaux, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
Rapport Published on 08/04/2022 co-written by François Pessaux, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Communication dans un congrès Published on 01/01/2022 co-written by 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 Published on 14/12/2021 co-written by 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 Published on 14/12/2021 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat -
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
Article dans une revue Published on 03/02/2021 co-written by Etienne Bertin, Elliot Brendel, 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 Published on 03/02/2021 co-written by Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Guaranteed master for interval-based cosimulation
Article dans une revue Published on 19/01/2021 co-written by Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Towards a Set-based Signal Temporal Logic
Pré-publication, Document de travail Published on 21/12/2020 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche -
Towards a Set-based Signal Temporal Logic
Pré-publication, Document de travail Published on 21/12/2020 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche -
Cosimulation-based control synthesis
Communication dans un congrès Published on 14/09/2020 co-written by Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Optimal Switching Instants for the Control of Hybrid Systems
Article dans une revue Published on 14/04/2020 co-written by Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Guaranteed cosimulation of Cyber-Physical Systems
Pré-publication, Document de travail Published on 11/03/2020 co-written by Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Communication dans un congrès Published on 15/04/2019 co-written by 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 Published on 01/01/2019 co-written by Sylvie Boldo, Florian Faissole, Alexandre Chapoutot -
Constraint-Based Framework for Reasoning with Differential Equations
Chapitre d'ouvrage Published on 07/12/2018 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
An improved algorithm for the control synthesis of nonlinear sampled switched systems
Article dans une revue Published on 01/12/2018 co-written by 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 Published on 20/11/2018 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
Optimal switching instants for the Control of Hybrid Systems
Communication dans un congrès Published on 25/07/2018 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
An Interval-based Sliding Horizon Motion Planning Method
Article dans une revue Published on 01/01/2018 co-written by Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot -
An Interval-based Sliding Horizon Motion Planning Method
Article dans une revue Published on 01/01/2018 co-written by Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot -
Reliable motion planner evaluated on a mobile robot
Communication dans un congrès Published on 01/01/2018 co-written by Elise Crépon, Adina M Panchea, Alexandre Chapoutot -
Reliable motion planner evaluated on a mobile robot
Communication dans un congrès Published on 01/01/2018 co-written by 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 Published on 01/01/2018 co-written by Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Distributed control synthesis using Euler's method
Chapitre d'ouvrage Published on 25/08/2017 co-written by Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, Ludovic Chamoin -
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods
Communication dans un congrès Published on 24/07/2017 co-written by Sylvie Boldo, Florian Faissole, Alexandre Chapoutot -
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods
Communication dans un congrès Published on 24/07/2017 co-written by Sylvie Boldo, Florian Faissole, Alexandre Chapoutot -
BoxRRT* -A Reliable Motion Planner
Communication dans un congrès Published on 14/06/2017 co-written by Adina M Panchea, Alexandre Chapoutot, David Filliat -
BoxRRT* -A Reliable Motion Planner
Communication dans un congrès Published on 14/06/2017 co-written by Adina M Panchea, Alexandre Chapoutot, David Filliat -
Interval-based QuickXplain Algorithm
Communication dans un congrès Published on 14/06/2017 co-written by Adrien Bisutti, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Rémi Delmas -
Robust Motion Planning Based on Sliding Horizon and Validated Simulation
Communication dans un congrès Published on 14/06/2017 co-written by Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Numerical Accuracy Improvement by Interprocedural Program Transformation
Communication dans un congrès Published on 12/06/2017 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
Communication dans un congrès Published on 10/04/2017 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *
Pré-publication, Document de travail Published on 20/03/2017 co-written by Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *
Pré-publication, Document de travail Published on 20/03/2017 co-written by Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Construction of parametric barrier functions for dynamical systems using interval analysis
Article dans une revue Published on 28/02/2017 co-written by Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou -
Construction of parametric barrier functions for dynamical systems using interval analysis
Article dans une revue Published on 28/02/2017 co-written by Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou -
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
Article dans une revue Published on 01/01/2017 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier -
Runge-Kutta Theory and Constraint Programming
Communication dans un congrès Published on 26/09/2016 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Runge-Kutta Theory and Constraint Programming
Communication dans un congrès Published on 26/09/2016 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
Communication dans un congrès Published on 17/07/2016 co-written by Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
Communication dans un congrès Published on 17/07/2016 co-written by Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Appropriate Design Guided by Simulation: An Hovercraft Application
Communication dans un congrès Published on 01/07/2016 co-written by Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot -
Appropriate Design Guided by Simulation: An Hovercraft Application
Communication dans un congrès Published on 01/07/2016 co-written by Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot -
Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods
Article dans une revue Published on 01/07/2016 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods
Article dans une revue Published on 01/07/2016 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Contraction, propagation and bisection on a validated simulation of ODE
Communication dans un congrès Published on 20/06/2016 co-written by 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 Published on 07/06/2016 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
DynBEX: a Differential Constraint Library for Studying Dynamical Systems
Communication dans un congrès Published on 12/04/2016 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
Poster de conférence Published on 12/04/2016 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Control of Nonlinear Switched Systems Based on Validated Simulation
Communication dans un congrès Published on 11/04/2016 co-written by 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 Published on 04/04/2016 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Numerical Accuracy Improvement of Programs
Poster de conférence Published on 12/03/2016 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Transformation of a PID Controller for Numerical Accuracy
Article dans une revue Published on 01/11/2015 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Transformation of a PID Controller for Numerical Accuracy
Article dans une revue Published on 01/11/2015 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Validated Simulation of Differential Algebraic Equations
Communication dans un congrès Published on 11/06/2015 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Validated Explicit and Implicit Runge-Kutta Methods
Communication dans un congrès Published on 09/06/2015 co-written by Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier -
Optimizing the accuracy of a rocket trajectory simulation by program transformation
Communication dans un congrès Published on 01/05/2015 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Optimizing the accuracy of a rocket trajectory simulation by program transformation
Communication dans un congrès Published on 01/05/2015 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
Rapport Published on 21/01/2015 co-written by Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
Chapitre d'ouvrage Published on 01/01/2015 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Intra-procedural Optimization of the Numerical Accuracy of Programs
Communication dans un congrès Published on 01/01/2015 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Intra-procedural Optimization of the Numerical Accuracy of Programs
Communication dans un congrès Published on 01/01/2015 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
Communication dans un congrès Published on 01/01/2015 co-written by Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
Set-based Simulation for Design and Verification of Simulink Models
Communication dans un congrès Published on 01/01/2014 co-written by Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot -
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
Chapitre d'ouvrage Published on 14/05/2013 co-written by Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi -
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
Rapport Published on 01/01/2013 co-written by Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram -
Acceleration of the abstract fixpoint computation in numerical program analysis
Article dans une revue Published on 01/12/2012 co-written by Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot -
Range estimation of floating-point variables in Simulink models
Communication dans un congrès Published on 23/10/2012 co-written by Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers -
HySon: Set-based simulation of hybrid systems
Communication dans un congrès Published on 11/10/2012 co-written by Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram -
Interval-based Robustness of Linear Parametrized Filters
Communication dans un congrès Published on 29/09/2012 co-written by Alexandre Chapoutot, Thibault Hilaire, Philippe Chevrel -
A Statistical Inference Model for the Dynamic Range of LTI Systems
Communication dans un congrès Published on 01/09/2012 co-written by 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 Published on 18/06/2012 co-written by 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 Published on 12/06/2012 co-written by Olivier Bouissou, Alexandre Chapoutot -
An operational semantics for Simulink's simulation engine
Communication dans un congrès Published on 12/06/2012 co-written by Olivier Bouissou, Alexandre Chapoutot -
A core language for executable models of cyber physical systems: work in progress report
Article dans une revue Published on 12/04/2011 co-written by Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot -
A core language for executable models of cyber physical systems: work in progress report
Article dans une revue Published on 12/04/2011 co-written by Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot -
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
Communication dans un congrès Published on 01/10/2010 by Alexandre Chapoutot -
Abstract Fixpoint Computations with Numerical Acceleration Methods
Communication dans un congrès Published on 01/01/2010 co-written by Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot -
Mathematical equations as executable models of mechanical systems
Communication dans un congrès Published on 01/01/2010 co-written by Yun Zhu, Edwin Rice University Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Robert Cartwright, Aaron Ames, Raktim Bhattacharya -
Range Estimation of Floating-Point Variables in Simulink Models
Communication dans un congrès Published on 01/04/2009 co-written by Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers -
Abstract Simulation: a Static Analysis of Simulink Models
Communication dans un congrès Published on 01/01/2009 co-written by Alexandre Chapoutot, Matthieu Martel -
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
Article dans une revue Published on 01/01/2009 co-written by Alexandre Chapoutot, Matthieu Martel -
Static Analysis of Simulink Programs
Communication dans un congrès Published on 05/04/2008 co-written by Alexandre Chapoutot, Matthieu Martel -
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
Communication dans un congrès Published on 01/06/2007 co-written by Alexandre Chapoutot, Matthieu Martel -
Abstract Frequency Analysis of Synchronous Systems
Communication dans un congrès Published on 14/06/2006 co-written by Alexandre Chapoutot, Matthieu Martel -
Abstract Frequency Analysis of Synchronous Systems
Communication dans un congrès Published on 14/06/2006 co-written by Alexandre Chapoutot, Matthieu Martel