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 -
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 -
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, 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 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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Reliable motion planner evaluated on a mobile robot
Communication dans un congrès Publié le 01/01/2018 co-écrit par Pierre-André Crépon, Adina M Panchea, Alexandre Chapoutot -
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 -
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 -
BoxRRT* -A Reliable Motion Planner
Communication dans un congrès Publié le 14/06/2017 co-écrit par Adina M Panchea, Alexandre Chapoutot, David Filliat -
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 -
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 -
Construction of parametric barrier functions for dynamical systems using interval analysis
Article dans une revue Publié le 28/02/2017 co-écrit par Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou -
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 -
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 Simulation of Differential Algebraic Equations with 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 -
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 -
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 Publié le 12/04/2016 co-écrit par Julien Alexandre Dit Sandretto, Alexandre Chapoutot -
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
Poster Publié le 12/04/2016 co-écrit par Julien Alexandre Dit Sandretto, 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 -
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 -
Transformation of a PID Controller for Numerical Accuracy
Article dans une revue Publié le 01/11/2015 co-écrit par Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 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 -
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 -
A core language for executable models of cyber physical systems: work in progress report
Article dans une revue Publié le 12/04/2011 co-écrit par Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot