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 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
HAL Publications
-
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, 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 -
Spatio-temporal constrained zonotopes for validation of optimal control problems
Communication dans un congrès Published on 13/12/2021 co-written by 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 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 -
Abstract domains for constraint programming with differential equations
Communication dans un congrès Published on 17/11/2020 co-written by Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux -
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 -
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Communication dans un congrès Published on 12/07/2020 co-written by 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 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 -
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
Communication dans un congrès Published on 18/02/2020 co-written by Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche -
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
Communication dans un congrès Published on 18/02/2020 co-written by 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 Published on 23/07/2019 co-written by Etienne Bertin, Elliot Brendel, Bruno Hérissé, Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
Logical Differential Constraints Based on Interval Boolean Tests
Chapitre d'ouvrage Published on 11/06/2019 co-written by 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 -
Reliable navigation planning implementation on a two-wheeled mobile robot
Poster de conférence Published on 31/01/2018 co-written by Elise Crépon, Adina M Panchea, 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 -
Numerical program optimisation by automatic improvement of the accuracy of computations
Article dans une revue Published on 01/01/2018 co-written by Nasrine Damouche, Matthieu Martel, 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 -
Improving the numerical accuracy of programs by automatic transformation
Article dans une revue Published on 01/08/2017 co-written by Nasrine Damouche, Matthieu Martel, 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 -
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 -
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 -
Extended Reliable Robust Motion Planners
Communication dans un congrès Published on 01/01/2017 co-written by Adina M Panchea, Alexandre Chapoutot, David Filliat -
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 -
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
Poster de conférence Published on 12/09/2016 co-written by Olivier Mullier, 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 -
Validated Explicit and Implicit 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 -
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 -
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 -
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
Communication dans un congrès Published on 27/10/2015 co-written by 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 Published on 16/09/2015 co-written by Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto -
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 -
Viability kernel computation based on interval methods
Communication dans un congrès Published on 09/06/2015 co-written by 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 Published on 11/04/2015 co-written by 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 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 -
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
Communication dans un congrès Published on 15/12/2014 co-written by Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer -
Set-based Simulation for Design and Verification of Simulink Models
Communication dans un congrès Published on 04/02/2014 co-written by Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, 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 -
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 -
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 -
Simulation abstraite : une analyse statique de modèles Simulink
Thèse Published on 08/12/2008 by Alexandre Chapoutot -
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