Alexandre Chapoutot

101
Documents

Présentation

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.

Publications

4
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
45
14
9
8
6
5
5
5
5
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
6
3
3
2
2
1
1

Publications

Deposit thumbnail

Automated far-field sound field estimation combining robotized acoustic measurements and the boundary elements method

Caroline Pascal , Pierre Marchand , Alexandre Chapoutot , Olivier Doaré

Acta Acustica, In press, ⟨10.1051/aacus/2026017⟩

Article dans une revue hal-04601337v2
Deposit thumbnail

A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations

Julien Alexandre dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux

Acta Cybernetica, 2024, 26 (4), ⟨10.14232/actacyb.300771⟩

Article dans une revue hal-04828396v1
Deposit thumbnail

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⟩

Article dans une revue 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⟩

Article dans une revue 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⟩

Article dans une revue hal-03158488v1
Deposit thumbnail

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⟩

Article dans une revue 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⟩

Article dans une revue hal-01744855v1
Deposit thumbnail

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⟩

Article dans une revue 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⟩

Article dans une revue hal-01992048v1
Deposit thumbnail

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⟩

Article dans une revue hal-01399337v2
Deposit thumbnail

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⟩

Article dans une revue 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

Article dans une revue hal-01762205v1
Deposit thumbnail

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⟩

Article dans une revue hal-01164307v2
Deposit thumbnail

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

Article dans une revue hal-01243053v1
Deposit thumbnail

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

Article dans une revue hal-01243044v1
Deposit thumbnail

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⟩

Article dans une revue 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⟩

Article dans une revue 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 et al.

ACM SIGBED Review, 2011, 8 (2), pp.39-43. ⟨10.1145/2000367.2000376⟩

Article dans une revue 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⟩

Article dans une revue istex hal-00819435v1
Deposit thumbnail

Improving Domain Generalisable LiDAR Semantic Segmentation In Off-Road Environments with Auxiliary Tasks

Abhay Dayal Mathur , Alexandre Chapoutot , David Filliat

2025 European Conference on Mobile Robots (ECMR), Sep 2025, Padova, Italy. pp.1-6, ⟨10.1109/ECMR65884.2025.11163269⟩

Communication dans un congrès hal-05321746v1
Deposit thumbnail

Integration of acoustic constraints in trajectory generation

Damien Hoareau , Danil Berrah , Joris Tillet , Alexandre Chapoutot

International Conference on Control, Decision and Information Technologies, Jul 2025, Split, Croatia. pp.1-7, ⟨10.1109/CoDIT66093.2025.11321899⟩

Communication dans un congrès hal-05175047v1
Deposit thumbnail

Recovering Dense Metric Depth in Indoor Scenes from Monocular Depth Foundation Models and 2D LiDARs

Rémi Marsal , Alexandre Chapoutot , Philippe Xu , David Filliat

European Robotics Forum, Mar 2025, Stuttgart, Germany. pp.236-241, ⟨10.1007/978-3-031-89471-8_36⟩

Communication dans un congrès hal-05111994v1

Caractérisation expérimentale du bruit d’un drone en vol stationnaire en environnements réel et contrôlé

Benjamin Cotté , Vinícius Simião Pitta , Damien Hoareau , Yoann Beausse , Thibault Toralba et al.

CFA 2025 - 17e Congrès Français d'Acoustique, Société Française d'Acoustique (SFA), Apr 2025, Paris, France

Communication dans un congrès hal-05365428v1
Deposit thumbnail

Improving Off-Road LiDAR Semantic Segmentation with Spatial Context and Auxiliary Tasks

Abhay Dayal Mathur , Alexandre Chapoutot , David Filliat

European Robotic Forum, Mar 2025, Stuttgart (Germany), Germany. pp.300-306, ⟨10.1007/978-3-031-89471-8_46⟩

Communication dans un congrès hal-05111999v1
Deposit thumbnail

SCvx-Frank-Wolfe Algorithm

Danil Berrah , Damien Hoareau , Alexandre Chapoutot

European Control Conference, Jun 2025, Thessaloniki, Greece. pp.737-742, ⟨10.23919/ECC65951.2025.11186948⟩

Communication dans un congrès hal-05133725v1
Deposit thumbnail

Far-field sound field estimation using robotized measurements and the boundary elements method

Caroline Pascal , Pierre Marchand , Alexandre Chapoutot , Olivier Doaré

Inter-Noise 2024 : the 53rd International Congress and Exposition on Noise Control Engineering, Société française d'acoustique (SFA), Aug 2024, Nantes, France. pp.816-827, ⟨10.3397/IN_2024_2661⟩

Communication dans un congrès hal-04601339v1

SCvxPyGen: Autocoding SCvx Algorithm

Danil Berrah , Alexandre Chapoutot , Pierre-Loïc Garoche

2024 IEEE 63rd Conference on Decision and Control (CDC), Dec 2024, Milan, Italy. pp.5086-5093, ⟨10.1109/CDC56724.2024.10886875⟩

Communication dans un congrès hal-04992546v1
Deposit thumbnail

A ROS-based kinematic calibration tool for serial robots

Caroline Pascal , Alexandre Chapoutot , Olivier Doaré

2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2023, Detroit, Michigan, United States. ⟨10.1109/IROS55552.2023.10341692⟩

Communication dans un congrès hal-04165802v2
Deposit thumbnail

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⟩

Communication dans un congrès hal-03663984v1
Deposit thumbnail

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. pp.6708-6713, ⟨10.1109/CDC45484.2021.9683301⟩

Communication dans un congrès hal-03197925v2

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

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux , Ghiles Ziat et al.

8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-03587686v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03199339v1

Abstract domains for constraint programming with differential equations

Ghiles Ziat , Olivier Mullier , Julien Alexandre Dit Sandretto , Christophe Garion , Alexandre Chapoutot et al.

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès 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 et al.

ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩

Communication dans un congrès hal-03068407v1
Deposit thumbnail

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

Communication dans un congrès hal-02372308v1

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

Fabian Immler , Matthias Althoff , Luis Benet , Alexandre Chapoutot , Xin Chen et al.

ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19

Communication dans un congrès hal-02167586v1
Deposit thumbnail

Optimal switching instants for the Control of Hybrid Systems

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier

11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany

Communication dans un congrès hal-01992071v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01737032v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01493576v1
Deposit thumbnail

Robust Motion Planning Based on Sliding Horizon and Validated Simulation

Elliot Brendel , Julien Alexandre Dit Sandretto , Alexandre Chapoutot

10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom

Communication dans un congrès hal-01583836v1
Deposit thumbnail

Interval-based QuickXplain Algorithm

Adrien Bisutti , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Rémi Delmas

10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom

Communication dans un congrès hal-01583834v1

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⟩

Communication dans un congrès hal-01598851v1
Deposit thumbnail

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

Communication dans un congrès hal-01574921v1
Deposit thumbnail

Round-off Error Analysis of Explicit One-Step Numerical Integration Methods

Sylvie Boldo , Florian Faissole , Alexandre Chapoutot

24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. ⟨10.1109/ARITH.2017.22⟩

Communication dans un congrès hal-01581794v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01490364v1

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⟩

Communication dans un congrès hal-01383584v1
Deposit thumbnail

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-01304292v1
Deposit thumbnail

Contraction, propagation and bisection on a validated simulation of ODE

Julien Alexandre Dit Sandretto , Alexandre Chapoutot

Summer Workshop on Interval Methods, Jun 2016, Lyon, France

Communication dans un congrès hal-01325068v1

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

Communication dans un congrès hal-01450917v1
Deposit thumbnail

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

Communication dans un congrès hal-01297273v1

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⟩

Communication dans un congrès hal-01290292v1
Deposit thumbnail

Runge-Kutta Theory and Constraint Programming

Julien Alexandre Dit Sandretto , Alexandre Chapoutot

International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden

Communication dans un congrès hal-01376456v1

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

Walid Taha , Adam Duracz , Yingfu Zeng , Atkinson Kevin , Paul Brauner et al.

International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩

Communication dans un congrès 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

Communication dans un congrès hal-01371484v1

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

Communication dans un congrès hal-01371498v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01164340v1

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⟩

Communication dans un congrès hal-01272513v1

Validated Simulation of Differential Algebraic Equations

Julien Alexandre Dit Sandretto , Alexandre Chapoutot

Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic

Communication dans un congrès 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⟩

Communication dans un congrès hal-01133695v1
Deposit thumbnail

Optimizing the accuracy of a rocket trajectory simulation by program transformation

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot

Proceedings of the 12th ACM International Conference on Computing Frontiers (CF'15), May 2015, Ischia, Italy. pp.1-2

Communication dans un congrès hal-03972769v1
Deposit thumbnail

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

Communication dans un congrès hal-01111240v2
Deposit thumbnail

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⟩

Communication dans un congrès hal-01073673v1
Deposit thumbnail

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

Communication dans un congrès hal-02272045v1
Deposit thumbnail

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

Communication dans un congrès hal-01290286v1

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

Walid Taha , Paul Brauner , Yingfu Zeng , Robert Cartwright , Veronica Gaspes et al.

32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩

Communication dans un congrès 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⟩

Communication dans un congrès 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

Communication dans un congrès hal-00851282v1

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

Communication dans un congrès hal-00816115v1

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⟩

Communication dans un congrès 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

Communication dans un congrès hal-00706772v1

Mathematical equations as executable models of mechanical systems

Yun Zhu , Edwin Rice University Westbrook , Jun Inoue , Alexandre Chapoutot , Cherif Salama et al.

International Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. ⟨10.1145/1795194.1795196⟩

Communication dans un congrès hal-01392882v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00492483v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00469007v4
Deposit thumbnail

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⟩

Communication dans un congrès hal-00332447v1

Range Estimation of Floating-Point Variables in Simulink Models

Alexandre Chapoutot , Laurent-Stéphane Didier , Fanny Villers

Second International Workshop on Numerical Software Verification (NSV II), Apr 2009, San Francisco, CA, United States

Communication dans un congrès hal-01298874v1

Static Analysis of Simulink Programs

Alexandre Chapoutot , Matthieu Martel

Model-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary

Communication dans un congrès 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

Communication dans un congrès 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

Communication dans un congrès hal-00819433v1
Deposit thumbnail

Towards a Verifiable Linear Programming-based SCVx Algorithm

Danil Berrah , Damien Hoareau , Alexandre Chapoutot

Inter-Agency GNC V&V Workshop, Jul 2025, Toulouse & Albi, France

Poster de conférence hal-05175042v1
Deposit thumbnail

A Proof-Assisted Conversion of Signal Temporal Logic Formulas into Negative Normal Form

Danil Berrah , François Pessaux , Alexandre Chapoutot

Certified Control Synthesis for Robotic Systems, Jun 2025, Thessaloniki, Greece

Poster de conférence hal-05133722v1
Deposit thumbnail

Spatially Coherent Costmap: A Weakly Supervised Pipeline for Outdoor Traversability

Guillaume Thomas , Damien Bouchabou , Tom Ravaud , David Filliat , Alexandre Chapoutot

IEEE/RSJ International Conference on Intelligent Robots and Systems - Late Breacking results, Oct 2024, Abu Dhabi, Saudi Arabia. Late Breacking results

Poster de conférence hal-05424044v1
Deposit thumbnail

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⟩

Poster de conférence hal-01737026v1
Deposit thumbnail

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.

Poster de conférence hal-01316503v1
Deposit thumbnail

DynIBEX: a Differential Constraint Library for Studying Dynamical Systems

Julien Alexandre Dit Sandretto , Alexandre Chapoutot

HSCC, Apr 2016, Vienne, Austria. , HSCC 2016

Poster de conférence hal-01302504v1
Deposit thumbnail

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

Poster de conférence hal-04526837v1
Deposit thumbnail

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⟩

Chapitre d'ouvrage 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⟩

Chapitre d'ouvrage hal-01954764v1
Deposit thumbnail

Distributed control synthesis using Euler's method

Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Laurent Fribourg , Florian de Vuyst et al.

International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩

Chapitre d'ouvrage 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⟩

Chapitre d'ouvrage 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⟩

Chapitre d'ouvrage istex hal-00819730v1