Alexandre Chapoutot

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 32

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Caroline Pascal, Olivier Doaré, Alexandre Chapoutot
A ROS-Based Kinematic Calibration Tool for Serial Robots. IROS (2023)
Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. HSCC (2022)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
Constraint-based Verification of Formation Control. CDC (2021)
Julien Alexandre Dit Sandretto, Olivier Mullier, Alexandre Chapoutot
Preface. Acta Cybern. 25 (1) (2021)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
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. Acta Cybern. 25 (1) (2021)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Guaranteed master for interval-based cosimulation. Softw. Syst. Model. 20 (3) (2021)
Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
. CDC (2021)
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods. IEEE Trans. Computers 69 (12) (2020)
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 P. Sanders, Christian Schilling
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Cosimulation-Based Control Synthesis. SEFM (2020)
Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Optimal Switching Instants for the Control of Hybrid Systems. Acta Cybern. 24 (3) (2020)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Logical Differential Constraints Based on Interval Boolean Tests. IFSA/NAFIPS (2019)
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek (2019)
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. CyPhy/WESE (2019)
Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
An Interval-based Sliding Horizon Motion Planning Method. ADHS (2018)
Pierre-Andre Crepon, Adina Marlena Panchea, Alexandre Chapoutot
Reliable Motion Plannning for a Mobile Robot. IRC (2018)
Pierre-Andre Crepon, Adina Marlena Panchea, Alexandre Chapoutot
Reliable Navigation Planning Implementation on a Two-Wheeled Mobile Robot. IRC (2018)
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. Optim. Methods Softw. 33 (4-6) (2018)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Numerical program optimisation by automatic improvement of the accuracy of computations. Int. J. Intell. Eng. Informatics 6 (1/2) (2018)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. 53 (3) (2018)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
Distributed Control Synthesis Using Euler's Method. RP (2017)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES (2017)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. IRC (2017)
Adina M. Panchea, Alexandre Chapoutot, David Filliat
Extended reliable robust motion planners. CDC (2017)
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
Construction of parametric barrier functions for dynamical systems using interval analysis. Autom. 78 (2017)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods. ARITH (2017)
Julien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot
Appropriate Design Guided by Simulation: An Hovercraft Application. MORSE@RoboCup (2016)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Data-types optimization for floating-point formats by program transformation. CoDIT (2016)
Alexandre Chapoutot, Julien Alexandre Dit Sandretto
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. NSV@CAV (2016)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
Control of nonlinear switched systems based on validated simulation. CoRR (2016)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS (2015)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Transformation of a PID Controller for Numerical Accuracy. Electron. Notes Theor. Comput. Sci. 317 (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR (2015)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. SynCoP (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers (2015)
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis. CoRR (2015)
Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer
Computation of parametric barrier functions for dynamical systems using interval analysis. CDC (2014)
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. CoRR (2013)
Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. NASA Formal Methods (2013)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Acceleration of the abstract fixpoint computation in numerical program analysis. J. Symb. Comput. 47 (12) (2012)
Olivier Bouissou, Alexandre Chapoutot
An operational semantics for Simulink's simulation engine. LCTES (2012)
Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot
HySon: Set-based simulation of hybrid systems. RSP (2012)
Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
Range estimation of floating-point variables in Simulink models. DASIP (2012)
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops (2012)
Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A core language for executable models of cyber physical systems: work in progress report. SIGBED Rev. 8 (2) (2011)
Alexandre Chapoutot
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables. SAS (2010)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Abstract Fixpoint Computations with Numerical Acceleration Methods CoRR (2010)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Abstract Fixpoint Computations with Numerical Acceleration Methods. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif R. Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya
Mathematical equations as executable models of mechanical systems. ICCPS (2010)
Alexandre Chapoutot
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables CoRR (2010)
Alexandre Chapoutot, Matthieu Martel
Abstract Simulation: A Static Analysis of Simulink Models. ICESS (2009)
Alexandre Chapoutot, Matthieu Martel
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Tech. Sci. Informatiques 28 (4) (2009)

Alexandre Chapoutot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexandre Chapoutot