Access content directly

Alexandre Chapoutot

80
Documents
Researcher identifiers

Presentation

Je travaille sur la vérification formelle de programmes de contrôle-commande. En particulier, je m'intéresse à définir des méthodes de résolution garantie d'équations différentielles.
I am working on the formal verification of control-command systems. In particular, I am interested in the definition and the implementation of set-based simulation, i.e., the definition of new validated numerical integration methods.

Publications

Image document

Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics

Etienne Bertin , Elliot Brendel , Bruno Hérissé , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
Journal articles hal-03142715v1

Guaranteed master for interval-based cosimulation

Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
Journal articles hal-03158710v1

Optimal Switching Instants for the Control of Hybrid Systems

Olivier Mullier , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
Journal articles hal-03158488v1
Image document

Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods

Sylvie Boldo , Florian Faissole , Alexandre Chapoutot
IEEE Transactions on Computers, 2019, ⟨10.1109/TC.2019.2917902⟩
Journal articles hal-01883843v3

Numerical program optimisation by automatic improvement of the accuracy of computations

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
International Journal of Intelligent Engineering Informatics, 2018, 6 (1/2), pp.115-145. ⟨10.1504/IJIEI.2018.091016⟩
Journal articles hal-01744855v1
Image document

Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation

Olivier Mullier , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩
Journal articles hal-01498372v1

An Interval-based Sliding Horizon Motion Planning Method

Julien Alexandre Dit Sandretto , Elliot Brendel , Alexandre Chapoutot
IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩
Journal articles hal-01992048v1
Image document

An improved algorithm for the control synthesis of nonlinear sampled switched systems

Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Laurent Fribourg
Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
Journal articles hal-01399337v2
Image document

Improving the numerical accuracy of programs by automatic transformation

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
International Journal on Software Tools for Technology Transfer, 2017, 19, pp.427-448. ⟨10.1007/s10009-016-0435-0⟩
Journal articles hal-01373666v1

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier
Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88
Journal articles hal-01762205v1
Image document

Construction of parametric barrier functions for dynamical systems using interval analysis

Adel Djaballah , Alexandre Chapoutot , Michel Kieffer , Olivier Bouissou
Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
Journal articles hal-01164307v2
Image document

Validated Explicit and Implicit Runge-Kutta Methods

Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
Journal articles hal-01243053v1
Image document

Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods

Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
Journal articles hal-01243044v1
Image document

Transformation of a PID Controller for Numerical Accuracy

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
Electronic Notes in Theoretical Computer Science, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩
Journal articles hal-01255942v1

Acceleration of the abstract fixpoint computation in numerical program analysis

Olivier Bouissou , Yassamine Seladji , Alexandre Chapoutot
Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩
Journal articles hal-00766769v1

A core language for executable models of cyber physical systems: work in progress report

Walid Taha , Paul Brauner , Robert Cartwright , Veronica Gaspes , Aaron Ames
ACM SIGBED Review, 2011, 8 (2), pp.39-43. ⟨10.1145/2000367.2000376⟩
Journal articles hal-00819379v1

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Alexandre Chapoutot , Matthieu Martel
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (4), pp.503-531. ⟨10.3166/tsi.28.503-531⟩
Journal articles hal-00819435v1
Image document

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications

Yuanqi Mao , Behcet Acikmese , Pierre-Loïc Garoche , Alexandre Chapoutot
25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩
Conference papers hal-03663984v1
Image document

Spatio-temporal constrained zonotopes for validation of optimal control problems

Etienne Bertin , Bruno Hérissé , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
CDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States
Conference papers hal-03197925v2

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Julien Alexandre Dit Sandretto , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Conference papers hal-03587676v1

Constraint-based Verification of Formation Control

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux , Ghiles Ziat
2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
Conference papers hal-03587686v1

Abstract domains for constraint programming with differential equations

Ghiles Ziat , Olivier Mullier , Julien Alexandre Dit Sandretto , Christophe Garion , Alexandre Chapoutot
NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
Conference papers hal-03068260v1

Cosimulation-based control synthesis

Adrien Le Coent , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
Conference papers hal-03035228v1

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Luca Geretti , Julien Alexandre Dit Sandretto , Matthias Althoff , Luis Benet , Alexandre Chapoutot
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
Conference papers hal-03068407v1

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Fabian Immler , Matthias Althoff , Luis Benet , Alexandre Chapoutot , Xin Chen
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
Conference papers hal-02167586v1
Image document

Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics

Etienne Bertin , Elliot Brendel , Bruno Hérissé , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
Summer Workshop on Interval methods, Jul 2019, Palaiseau, France
Conference papers hal-02372308v1
Image document

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

Paul Rousse , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Pierre-Loïc Garoche
9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩
Conference papers hal-03199339v1
Image document

Reliable motion planner evaluated on a mobile robot

Elise Crépon , Adina M Panchea , Alexandre Chapoutot
International Workshop on New Frontiers in Computational Robotics, Jan 2018, Laguna Hills, California, United States. ⟨10.1109/IRC.2018.00085⟩
Conference papers hal-01737032v1
Image document

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier
First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
Conference papers hal-01490364v1
Image document

Extended Reliable Robust Motion Planners

Adina M Panchea , Alexandre Chapoutot , David Filliat
56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩
Conference papers hal-01493576v1

Numerical Accuracy Improvement by Interprocedural Program Transformation

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩
Conference papers hal-01598851v1
Image document

BoxRRT* -A Reliable Motion Planner

Adina M Panchea , Alexandre Chapoutot , David Filliat
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Conference papers hal-01574921v1

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

Alexandre Chapoutot , Julien Alexandre Dit Sandretto
International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
Conference papers hal-01383584v1
Image document

Appropriate Design Guided by Simulation: An Hovercraft Application

Julien Alexandre Dit Sandretto , Douglas Piccani de Souza , Alexandre Chapoutot
Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
Conference papers hal-01304012v1

Control of Nonlinear Switched Systems Based on Validated Simulation

Adrien Le Coent , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Laurent Fribourg
International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩
Conference papers hal-01304292v1
Image document

DynBEX: a Differential Constraint Library for Studying Dynamical Systems

Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
Conference papers hal-01297273v1

DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques

Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Conference papers hal-01450917v1

Data-Types Optimization for Floating-Point Formats by Program Transformation

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩
Conference papers hal-01290292v1
Image document

Validated Explicit and Implicit Runge-Kutta Methods

Alexandre Chapoutot , Julien Alexandre Dit Sandretto , Olivier Mullier
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Conference papers hal-01111240v2

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Walid Taha , Adam Duracz , Yingfu Zeng , Atkinson Kevin , Paul Brauner
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
Conference papers hal-01490406v1

Viability kernel computation based on interval methods

Dominique Monnet , Luc Jaulin , Jordan Ninin , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Conference papers hal-01371484v1
Image document

Intra-procedural Optimization of the Numerical Accuracy of Programs

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
Conference papers hal-01164340v1

Inner and Outer Computation of the Viability Kernel based on Interval Analysis

Dominique Monnet , Luc Jaulin , Jordan Ninin , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
Conference papers hal-01371498v1

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier
Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
Conference papers hal-01272513v1

Validated Simulation of Differential Algebraic Equations

Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Conference papers hal-01164474v1

Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩
Conference papers hal-01133695v1
Image document

Intra-procedural Optimization of the Numerical Accuracy of Programs

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
FMICS 2015 - 20th International Workshop on Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
Conference papers hal-03972635v1
Image document

Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis

Olivier Bouissou , Alexandre Chapoutot , Adel Djaballah , Michel Kieffer
53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩
Conference papers hal-01073673v1
Image document

Set-based Simulation for Design and Verification of Simulink Models

Olivier Bouissou , Samuel Mimram , Baptiste Strazzulla , Alexandre Chapoutot
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
Conference papers hal-01290286v1
Image document

Set-based Simulation for Design and Verification of Simulink Models

Olivier Bouissou , Samuel Mimram , Baptiste Strazzulla , Alexandre Chapoutot
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers hal-02272045v1

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)

Walid Taha , Paul Brauner , Yingfu Zeng , Robert Cartwright , Veronica Gaspes
32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩
Conference papers hal-00819378v1

HySon: Set-based simulation of hybrid systems

Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram
23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
Conference papers hal-00819377v1

A Statistical Inference Model for the Dynamic Range of LTI Systems

Alexandre Chapoutot , Laurent-Stéphane Didier , Fanny Villers
15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26
Conference papers hal-00851282v1

An operational semantics for Simulink's simulation engine

Olivier Bouissou , Alexandre Chapoutot
13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, ⟨10.1145/2248418.2248437⟩
Conference papers hal-00819373v1

Interval-based Robustness of Linear Parametrized Filters

Alexandre Chapoutot , Thibault Hilaire , Philippe Chevrel
SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM
Conference papers hal-00706772v1

Range estimation of floating-point variables in Simulink models

Alexandre Chapoutot , Laurent-Stéphane Didier , Fanny Villers
Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
Conference papers hal-00816115v1
Image document

Interval Slopes as Numerical Abstract Domain for Floating-Point Variables

Alexandre Chapoutot
SAS 2010 - 17th Static Analysis Symposium, Sep 2010, Perpignan, France. pp.184-200, ⟨10.1007/978-3-642-15769-1_12⟩
Conference papers hal-00469007v4

Mathematical equations as executable models of mechanical systems

Yun Zhu , Edwin Rice University Westbrook , Jun Inoue , Alexandre Chapoutot , Cherif Salama
International Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. ⟨10.1145/1795194.1795196⟩
Conference papers hal-01392882v1
Image document

Abstract Fixpoint Computations with Numerical Acceleration Methods

Olivier Bouissou , Yassamine Seladji , Alexandre Chapoutot
International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.29-42, ⟨10.1016/j.entcs.2010.09.004⟩
Conference papers hal-00492483v1
Image document

Abstract Simulation: a Static Analysis of Simulink Models

Alexandre Chapoutot , Matthieu Martel
International Conference on Embedded Software and Systems, May 2009, Zhejiang, China. pp.83-92, ⟨10.1109/ICESS.2009.80⟩
Conference papers hal-00332447v1

Static Analysis of Simulink Programs

Alexandre Chapoutot , Matthieu Martel
Model-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary
Conference papers hal-00819432v1

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Alexandre Chapoutot , Matthieu Martel
Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280
Conference papers hal-00819434v1

Abstract Frequency Analysis of Synchronous Systems

Alexandre Chapoutot , Matthieu Martel
Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2006, Ottawa, Canada
Conference papers hal-00819433v1
Image document

Reliable navigation planning implementation on a two-wheeled mobile robot

Elise Crépon , Adina M Panchea , Alexandre Chapoutot
The Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. , 2018, ⟨10.1109/IRC.2018.00035⟩
Conference poster hal-01737026v1
Image document

Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation

Olivier Mullier , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom.
Conference poster hal-01316503v1
Image document

DynIBEX: a Differential Constraint Library for Studying Dynamical Systems

Julien Alexandre Dit Sandretto , Alexandre Chapoutot
HSCC, Apr 2016, Vienne, Austria. , HSCC 2016
Conference poster hal-01302504v1
Image document

Numerical Accuracy Improvement of Programs

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
CGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
Conference poster hal-04526837v1
Image document

Logical Differential Constraints Based on Interval Boolean Tests

Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Kearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V. IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications, 1000, Springer, Cham, pp.788-792, 2019, ⟨10.1007/978-3-030-21920-8_70⟩
Book sections hal-02146655v1

Constraint-Based Framework for Reasoning with Differential Equations

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier
Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
Book sections hal-01954764v1
Image document

Distributed control synthesis using Euler's method

Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Laurent Fribourg , Florian de Vuyst
International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
Book sections hal-01593225v1

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩
Book sections hal-01272514v1

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods

Olivier Bouissou , Alexandre Chapoutot , Adel Djoudi
5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩
Book sections hal-00819730v1