Publications HAL de Goran,Frehse;Alexandre,Chapoutot;Julien,Alexandre dit Sandretto;François,Pessaux

2023

Journal articles

titre
Validated B-series and Runge-Kutta pairs
auteur
Julien Alexandre Dit Sandretto
article
Numerical Algorithms, 2023, ⟨10.1007/s11075-023-01697-5⟩
Accès au bibtex
BibTex
titre
Fourier Features in Reinforcement Learning with Neural Networks
auteur
David Brellmann, David Filliat, Goran Frehse
article
Transactions on Machine Learning Research Journal, 2023
Accès au texte intégral et bibtex
https://hal.ip-paris.fr/hal-04316346/file/918_fourier_features_in_reinforcem.pdf BibTex

Conference papers

titre
TRAJECTORY MONITORING FOR A DRONE USING INTERVAL ANALYSIS
auteur
Sylvain Largent, Julien Alexandre Dit Sandretto
article
Workshop on Planning, Perception and Navigation for Intelligent Vehicles (PPNIV'22), Philippe Martinet, Oct 2023, Kyoto, Japan
Accès au texte intégral et bibtex
https://hal.science/hal-04194830/file/Paper10-1.pdf BibTex
titre
Navigation among movable obstacles using machine learning based total time cost optimization
auteur
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat
article
IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2023, Detroit (MI), United States
Accès au texte intégral et bibtex
https://hal.ip-paris.fr/hal-04250608/file/namo_iros2023_preprint.pdf BibTex
titre
A ROS-based kinematic calibration tool for serial robots
auteur
Caroline Pascal, Olivier Doaré, Alexandre Chapoutot
article
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2023, Detroit, Michigan, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04165802/file/IROS_2023.pdf BibTex
titre
Data-driven Reachability using Christoffel Functions and Conformal Prediction
auteur
Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi
article
The 12th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2023), Sep 2023, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.science/hal-04095745/file/tebjou23a.pdf BibTex

Book sections

titre
A review of classical and learning based approaches in task and motion planning
auteur
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
article
Informatics in Control, Automation and Robotics, LNCS-836, Springer International Publishing, pp.83-99, 2023, Lecture Notes in Networks and Systems, ⟨10.1007/978-3-031-48303-5_5⟩
Accès au texte intégral et bibtex
https://hal.ip-paris.fr/hal-04316434/file/Zhang_TAMP%20review.pdf BibTex

2022

Journal articles

titre
Set-Based B-Series
auteur
Julien Alexandre Dit Sandretto
article
Mathematics , 2022, 10 (17), pp.3165. ⟨10.3390/math10173165⟩
Accès au bibtex
BibTex
titre
Algorithms for Reliable Estimation, Identification and Control
auteur
Andreas Rauh, Luc Jaulin, Julien Alexandre Dit Sandretto
article
Algorithms, 2022, 15 (8), pp.276. ⟨10.3390/a15080276⟩
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-03747639/file/algorithms-15-00276.pdf BibTex

Conference papers

titre
Task and motion planning methods: applications and limitations
auteur
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
article
ICINCO 2022 - 19th International Conference on Informatics in Control, Automation and Robotics, Jul 2022, Lisbonne, Portugal. pp.476-483, ⟨10.5220/0011314000003271⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03744923/file/Task_and_motion_planning_methods__application_and_limitation.pdf BibTex
titre
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
auteur
Yuanqi Mao, Behcet Acikmese, Pierre-Loïc Garoche, Alexandre Chapoutot
article
25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩
Accès au texte intégral et bibtex
https://enac.hal.science/hal-03663984/file/scvx_stl_v1.pdf BibTex

Reports

titre
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
auteur
François Pessaux, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
[Research Report] Ensta ParisTech. 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03635298/file/zeldautom.pdf BibTex

2021

Journal articles

titre
Experimental Validation of a Guaranteed Nonlinear Model Predictive Control
auteur
Mohamed Fnadi, Julien Alexandre Dit Sandretto
article
Algorithms, 2021, 14 (8), pp.248. ⟨10.3390/a14080248⟩
Accès au bibtex
BibTex
titre
Validated Trajectory Tracking using Flatness
auteur
Julien Alexandre Dit Sandretto, Olivier Mullier
article
Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩
Accès au bibtex
BibTex
titre
Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations
auteur
Julien Alexandre Dit Sandretto
article
Acta Cybernetica, 2021, 25 (1), pp.49-68. ⟨10.14232/actacyb.285177⟩
Accès au bibtex
BibTex
titre
Set Propagation Techniques for Reachability Analysis
auteur
Matthias Althoff, Goran Frehse, Antoine Girard
article
Annual Review of Control, Robotics, and Autonomous Systems , 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03048155/file/high-reach-preprint.pdf BibTex
titre
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
auteur
Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03142715/file/DTIS20188%20postprint.pdf BibTex
titre
Guaranteed master for interval-based cosimulation
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
Accès au bibtex
BibTex

Conference papers

titre
Constraint-based Verification of Formation Control
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
article
2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
Accès au bibtex
BibTex
titre
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
auteur
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
article
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Accès au bibtex
BibTex
titre
Spatio-temporal constrained zonotopes for validation of optimal control problems
auteur
Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
CDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03197925/file/DTIS21232.pdf BibTex
titre
Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion
auteur
Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Pribourg
article
2021 American Control Conference (ACC), May 2021, New Orleans, France. pp.3920-3926, ⟨10.23919/ACC50511.2021.9483185⟩
Accès au bibtex
BibTex

Books

titre
Concepts and Semantics of Programming Languages 2
auteur
Thérèse Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge
article
ISTE Wiley, 2021, Print ISBN:9781786306029 |Online ISBN:9781119851196. ⟨10.1002/9781119851196⟩
Accès au bibtex
BibTex
titre
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
auteur
Thérèse Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge
article
ISTE Wiley, 2021, Print ISBN:9781786305305 |Online ISBN:9781119824121. ⟨10.1002/9781119824121⟩
Accès au bibtex
BibTex
titre
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
auteur
Thérèse Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
article
ISTE Editions, 2021, 9781784057022
Accès au bibtex
BibTex
titre
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++
auteur
Thérèse Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
article
ISTE Editions, 2021, 9781784057015
Accès au bibtex
BibTex

2020

Journal articles

titre
Optimal Switching Instants for the Control of Hybrid Systems
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
Accès au bibtex
BibTex
titre
Interval-Based Simulation of Zélus IVPs Using DynIbex
auteur
Jason Brown, François Pessaux
article
Acta Cybernetica, 2020, pp.1 - 16. ⟨10.14232/actacyb.285246⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02930466/file/main.pdf BibTex

Conference papers

titre
Abstract domains for constraint programming with differential equations
auteur
Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
article
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⟩
Accès au bibtex
BibTex
titre
Cosimulation-based control synthesis
auteur
Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
Accès au bibtex
BibTex
titre
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
auteur
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
article
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
Accès au bibtex
BibTex

Book sections

titre
Set-Membership Computation of Integrals with Uncertain Endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
Numerical Computations: Theory and Algorithms Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II,, pp.169-181, 2020, ⟨10.1007/978-3-030-40616-5_13⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Towards a Set-based Signal Temporal Logic
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
article
2020
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-03084701/file/main.pdf BibTex
titre
Guaranteed cosimulation of Cyber-Physical Systems
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-02505237/file/cosim.pdf BibTex

2019

Journal articles

titre
Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods
auteur
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
article
IEEE Transactions on Computers, 2019, ⟨10.1109/TC.2019.2917902⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01883843/file/hal_article.pdf BibTex

Conference papers

titre
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
auteur
Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03199339/file/Rousse2020.pdf BibTex
titre
Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics
auteur
Etienne Bertin, Elliot Brendel, Bruno Hérissé, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Summer Workshop on Interval methods, Jul 2019, Palaiseau, France
Accès au texte intégral et bibtex
https://hal.science/hal-02372308/file/bertin.pdf BibTex
titre
Computation of integrals with interval endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
SWIM 2019, Jul 2019, Versailles - Palaiseau, France
Accès au texte intégral et bibtex
https://hal.science/hal-02511927/file/SWIM19_interval_integrals.pdf BibTex
titre
Confidence-based Contractor, Propagation and Potential Cloud for Differential Equations
auteur
Julien Alexandre Dit Sandretto
article
Summer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France
Accès au texte intégral et bibtex
https://hal.science/hal-02372155/file/alexandre_swim2019.pdf BibTex
titre
Set-membership computation of integrals with uncertain endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
NUMTA 2019, Jun 2019, Le Castella village, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-02372387/file/numta_abs.pdf BibTex
titre
Falsification of hybrid systems using symbolic reachability and trajectory splicing
auteur
Bogomolov Sergiy, Goran Frehse, Gurung Amit, Li Dongxu, Martius Georg, Ray Rajarshi
article
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Montreal, Canada
Accès au bibtex
BibTex
titre
JuliaReach: a toolbox for set-based reachability
auteur
Bogomolov Sergiy, Forets Marcelo, Goran Frehse, Potomkin Kostiantyn, Schilling Christian
article
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Apr 2019, Montreal, Canada
Accès au bibtex
https://arxiv.org/pdf/1901.10736 BibTex
titre
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
auteur
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'Ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
article
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montreal (Canada), Canada. pp.1--13, ⟨10.29007/RJWN⟩
Accès au bibtex
BibTex
titre
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
auteur
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David Sanders, Christian Schilling
article
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
Accès au bibtex
BibTex

Book sections

titre
Logical Differential Constraints Based on Interval Boolean Tests
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02146655/file/temporal-interval-tests-hal.pdf BibTex

Preprints, Working Papers, ...

titre
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
auteur
Julien Alexandre Dit Sandretto
article
2019
Accès au bibtex
https://arxiv.org/pdf/1910.10424 BibTex
titre
Runge-Kutta Theory and Constraint Programming (Extended version)
auteur
Julien Alexandre Dit Sandretto
article
2019
Accès au bibtex
https://arxiv.org/pdf/1804.04847 BibTex

2018

Journal articles

titre
An improved algorithm for the control synthesis of nonlinear sampled switched systems
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
article
Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01399337/file/template-hal.pdf BibTex
titre
Numerical program optimisation by automatic improvement of the accuracy of computations
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
International Journal of Intelligent Engineering Informatics, 2018, 6 (1/2), pp.115-145. ⟨10.1504/IJIEI.2018.091016⟩
Accès au bibtex
BibTex
titre
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
auteur
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01498372/file/articleAD16-hal.pdf BibTex
titre
An Interval-based Sliding Horizon Motion Planning Method
auteur
Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
article
IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩
Accès au bibtex
BibTex

Conference papers

titre
Optimal switching instants for the Control of Hybrid Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-01992071/file/swim18.pdf BibTex
titre
Reliable NonLinear Model-Predictive Control via Validated Simulation
auteur
Julien Alexandre Dit Sandretto
article
2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614
Accès au bibtex
BibTex
titre
Validated Runge-Kutta Methods for Initial Value Problems
auteur
Julien Alexandre Dit Sandretto
article
ANODE, Feb 2018, Auckland, New Zealand
Accès au bibtex
BibTex
titre
Reliable motion planner evaluated on a mobile robot
auteur
Elise Crépon, Adina M Panchea, Alexandre Chapoutot
article
International Workshop on New Frontiers in Computational Robotics, Jan 2018, Laguna Hills, California, United States. ⟨10.1109/IRC.2018.00085⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01737032/file/root.pdf BibTex

Book sections

titre
Constraint-Based Framework for Reasoning with Differential Equations
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
Accès au bibtex
BibTex
titre
Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta
auteur
Julien Alexandre Dit Sandretto, Jian Wan
article
Reachability Problems, pp.1-14, 2018
Accès au bibtex
BibTex
titre
Verification of Hybrid Systems
auteur
Laurent Doyen, Goran Frehse, George Pappas, André Platzer
article
Handbook of Model Checking, Springer International Publishing, pp.1047-1110, 2018, 978-331910575-8; 978-331910574-1. ⟨10.1007/978-3-319-10575-8_30⟩
Accès au bibtex
BibTex

Poster communications

titre
Reliable navigation planning implementation on a two-wheeled mobile robot
auteur
Elise Crépon, Adina M Panchea, Alexandre Chapoutot
article
The Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. , 2018, ⟨10.1109/IRC.2018.00035⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01737026/file/root.pdf BibTex

Reports

titre
Compiling Programs and Proofs: FoCaLiZe Internals
auteur
François Pessaux, Damien Doligez
article
[Research Report] Ensta ParisTech. 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01801276/file/compil-fcl.pdf BibTex

Preprints, Working Papers, ...

titre
Survey of what DynIbex can do for you
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
2018
Accès au texte intégral et bibtex
https://hal.science/hal-01927784/file/survey.pdf BibTex

2017

Journal articles

titre
Solving over-constrained systems of non-linear interval equations – And its robotic application
auteur
Julien Alexandre Dit Sandretto, Milan Hladïk
article
Applied Mathematics and Computation, 2017, 313, pp.180 - 195. ⟨10.1016/j.amc.2017.05.077⟩
Accès au bibtex
BibTex
titre
Improving the numerical accuracy of programs by automatic transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
International Journal on Software Tools for Technology Transfer, 2017, 19, pp.427-448. ⟨10.1007/s10009-016-0435-0⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01373666/file/Damouche_29006.pdf BibTex
titre
Construction of parametric barrier functions for dynamical systems using interval analysis
auteur
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
article
Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01164307/file/main.pdf BibTex
titre
Runge–Kutta Theory and Constraint Programming
auteur
Julien Alexandre Dit Sandretto
article
Reliable Computing Journal, 2017
Accès au texte intégral et bibtex
https://hal.science/hal-01762191/file/RK_interval_hal.pdf BibTex
titre
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88
Accès au bibtex
BibTex

Conference papers

titre
Extended Reliable Robust Motion Planners
auteur
Adina M Panchea, Alexandre Chapoutot, David Filliat
article
56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01493576/file/root-hal.pdf BibTex
titre
Adjoint Function as Bisection Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
auteur
Julien Alexandre Dit Sandretto
article
OMS, Dec 2017, La Havane, Cuba
Accès au texte intégral et bibtex
https://hal.science/hal-01762198/file/smear_adjoint.pdf BibTex
titre
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods
auteur
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
article
24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. ⟨10.1109/ARITH.2017.22⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01581794/file/arith_hal.pdf BibTex
titre
Robust Motion Planning Based on Sliding Horizon and Validated Simulation
auteur
Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01583836/file/SwimSmart2017.pdf BibTex
titre
Interval-based QuickXplain Algorithm
auteur
Adrien Bisutti, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Rémi Delmas
article
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01583834/file/quickxplain-continuous.pdf BibTex
titre
BoxRRT* -A Reliable Motion Planner
auteur
Adina M Panchea, Alexandre Chapoutot, David Filliat
article
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01574921/file/Swim2017.pdf BibTex
titre
Numerical Accuracy Improvement by Interprocedural Program Transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩
Accès au bibtex
BibTex
titre
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)
auteur
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
article
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems., Apr 2017, Pittsburgh, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01508674/file/main.pdf BibTex
titre
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01490364/file/irc17-hal.pdf BibTex

Book sections

titre
Distributed control synthesis using Euler's method
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, Ludovic Chamoin
article
International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01593225/file/euler-hal.pdf BibTex

Preprints, Working Papers, ...

titre
Reliable NonLinear Model-Predictive Control via Validated Simulation
auteur
Julien Alexandre Dit Sandretto
article
2017
Accès au texte intégral et bibtex
https://hal.science/hal-01584015/file/nmpc.pdf BibTex
titre
Constructing Verification Models of Nonlinear Simulink Systems via Syntactic Hybridization
auteur
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
article
2017
Accès au texte intégral et bibtex
https://hal.science/hal-01487658/file/main_v2.pdf BibTex
titre
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *
auteur
Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
2017
Accès au texte intégral et bibtex
https://hal.science/hal-01493645/file/plannif-hal.pdf BibTex

2016

Journal articles

titre
Validated Explicit and Implicit Runge-Kutta Methods
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
Accès au texte intégral et bibtex
https://hal.science/hal-01243053/file/implicit_rk.pdf BibTex
titre
Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
Accès au texte intégral et bibtex
https://hal.science/hal-01243044/file/main_dae.pdf BibTex

Conference papers

titre
Runge-Kutta Theory and Constraint Programming
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-01376456/file/abstract-rk.pdf BibTex
titre
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
auteur
Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
Accès au bibtex
BibTex
titre
Appropriate Design Guided by Simulation: An Hovercraft Application
auteur
Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot
article
Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01304012/file/morse_version.pdf BibTex
titre
Contraction, propagation and bisection on a validated simulation of ODE
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Summer Workshop on Interval Methods, Jun 2016, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-01325068/file/ctc.pdf BibTex
titre
DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Accès au bibtex
BibTex
titre
DynBEX: a Differential Constraint Library for Studying Dynamical Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-01297273/file/dynibex-poster.pdf BibTex
titre
Control of Nonlinear Switched Systems Based on Validated Simulation
auteur
Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
article
International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩
Accès au bibtex
BibTex
titre
Data-Types Optimization for Floating-Point Formats by Program Transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Scalable Verification of Hybrid Systems
auteur
Goran Frehse
article
Systems and Control [cs.SY]. Univ. Grenoble Alpes, 2016
Accès au texte intégral et bibtex
https://hal.science/tel-01714428/file/Frehse_Habil16.pdf BibTex

Poster communications

titre
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
auteur
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom.
Accès au texte intégral et bibtex
https://hal.science/hal-01316503/file/article.pdf BibTex
titre
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
HSCC, Apr 2016, Vienne, Austria. , HSCC 2016
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-01302504/file/Poster_A0.pdf BibTex
titre
Numerical Accuracy Improvement of Programs
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
CGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-04526837/file/Damouche_29368.pdf BibTex

Reports

titre
Babix: an Educational Multitask Kernel for Arduino Due
auteur
François Pessaux
article
[Technical Report] Work not affiliated to any institution. 2016
Accès au texte intégral et bibtex
https://hal.science/hal-01814380/file/babix.pdf BibTex

2015

Journal articles

titre
Transformation of a PID Controller for Numerical Accuracy
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
Electronic Notes in Theoretical Computer Science, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01255942/file/Damouche_29011.pdf BibTex

Conference papers

titre
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
auteur
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
article
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
Accès au bibtex
BibTex
titre
Inner and Outer Computation of the Viability Kernel based on Interval Analysis
auteur
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
Accès au bibtex
BibTex
titre
Intra-procedural Optimization of the Numerical Accuracy of Programs
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01164340/file/salsa_DMC.pdf BibTex
titre
Intra-procedural Optimization of the Numerical Accuracy of Programs
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03972635/file/Damouche_29013.pdf BibTex
titre
Viability kernel computation based on interval methods
auteur
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Accès au bibtex
BibTex
titre
Validated Simulation of Differential Algebraic Equations
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Accès au bibtex
BibTex
titre
Validated Explicit and Implicit Runge-Kutta Methods
auteur
Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-01111240/file/chapoutot_et_al_grk.pdf BibTex
titre
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩
Accès au bibtex
BibTex
titre
Optimizing the accuracy of a rocket trajectory simulation by program transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
Proceedings of the 12th ACM International Conference on Computing Frontiers (CF'15), May 2015, Ischia, Italy. pp.1-2
Accès au texte intégral et bibtex
https://hal.science/hal-03972769/file/Damouche_29012.pdf BibTex
titre
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
Accès au bibtex
BibTex

Book sections

titre
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
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⟩
Accès au bibtex
BibTex

Reports

titre
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
[Research Report] ENSTA ParisTech. 2015
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-01107685/file/report_rk.pdf BibTex

2014

Journal articles

titre
Interval Methods for Model Qualification: Methodology and Advanced Application
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
article
Mathematics in Computer Science, 2014, 8 (3-4), pp.479-493. ⟨10.1007/s11786-014-0210-0⟩
Accès au bibtex
BibTex

Conference papers

titre
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
auteur
Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer
article
53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01073673/file/main.pdf BibTex
titre
Formal Analysis of Timing Effects on Closed-loop Properties of Control Software
auteur
Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Wöhrle
article
35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy
Accès au bibtex
BibTex
titre
FoCaLiZe: Inside an F-IDE
auteur
François Pessaux
article
Workshop F-IDE 2014, May 2014, Grenoble, France. ⟨10.4204/EPTCS.149.7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01203501/file/FIDE2014-FoCaLiZe.pdf BibTex
titre
Set-based Simulation for Design and Verification of Simulink Models
auteur
Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot
article
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Accès au texte intégral et bibtex
https://onera.hal.science/hal-02272045/file/ERTS_2014_submission_33.pdf BibTex
titre
Set-based Simulation for Design and Verification of Simulink Models
auteur
Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot
article
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01290286/file/bouissou_et_al_erts_14.pdf BibTex

Book sections

titre
Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney, Gilles Chabert
article
Federico Thomas; Alba Perez Gracia. Computational Kinematics, 15, Springer Netherlands, pp.209-217, 2014, Mechanisms and Machine Science, 978-94-007-7213-7. ⟨10.1007/978-94-007-7214-4_24⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00907499/file/40.pdf BibTex

Lectures

titre
Programming and Proving: Practice with FoCaLiZe
auteur
François Pessaux
article
Doctoral. Rennes, France. 2014, pp.44
Accès au texte intégral et bibtex
https://hal.science/cel-01203517/file/lecture.pdf BibTex

2013

Conference papers

titre
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science
auteur
Julien Alexandre Dit Sandretto, Cyprien Nicolas
article
CAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00862752/file/CAR2013.pdf BibTex

Book sections

titre
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
auteur
Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
article
5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩
Accès au bibtex
BibTex
titre
Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
article
Viadero, Fernando; Ceccarelli, Marco. New Trends in Mechanism and Machine Science, Mechanisms and Machine Science (7), Springer Netherlands, pp.85-93, 2013, Theory and Applications in Engineering, 978-94-007-4901-6. ⟨10.1007/978-94-007-4902-3_9⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00907510/file/a_eucomes2012.pdf BibTex

Reports

titre
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
auteur
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
article
2013
Accès au texte intégral et bibtex
https://hal.science/hal-00831438/file/ghyson.pdf BibTex

Theses

titre
Étalonnage des robots à câbles : identification et qualification
auteur
Julien Alexandre Dit Sandretto
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4059⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00933816/file/2013NICE4059.pdf BibTex

2012

Journal articles

titre
Acceleration of the abstract fixpoint computation in numerical program analysis
auteur
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
article
Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩
Accès au bibtex
BibTex

Conference papers

titre
Range estimation of floating-point variables in Simulink models
auteur
Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
article
Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
Accès au bibtex
BibTex
titre
HySon: Set-based simulation of hybrid systems
auteur
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
article
23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
Accès au bibtex
BibTex
titre
ML Dependency Analysis for Assessors
auteur
François Pessaux, Vincent Benayoun, Catherine Dubois, Philippe Ayrault
article
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01203505/file/ML_deps_assess.pdf BibTex
titre
A Statistical Inference Model for the Dynamic Range of LTI Systems
auteur
Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
article
15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26
Accès au bibtex
BibTex
titre
Interval-based Robustness of Linear Parametrized Filters
auteur
Alexandre Chapoutot, Thibault Hilaire, Philippe Chevrel
article
SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM
Accès au bibtex
BibTex
titre
Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
article
EUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00987425/file/cable_eucomes_2012.pdf BibTex
titre
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
auteur
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
article
32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩
Accès au bibtex
BibTex
titre
An operational semantics for Simulink's simulation engine
auteur
Olivier Bouissou, Alexandre Chapoutot
article
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⟩
Accès au bibtex
BibTex

Reports

titre
Interval Methods for Model Qualification: Methodology and Advanced Application
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
article
[Research Report] RR-7880, INRIA. 2012, pp.23
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00668950/file/RR-7880.pdf BibTex
titre
Calibration of a fully-constrained parallel cable-driven robot
auteur
Julien Alexandre Dit Sandretto, David Daney, Marc Gouttefarde, Cédric Baradat
article
[Research Report] RR-7879, INRIA. 2012, pp.21
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00668921/file/RR-7879.pdf BibTex

2011

Journal articles

titre
A core language for executable models of cyber physical systems: work in progress report
auteur
Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
article
ACM SIGBED Review, 2011, 8 (2), pp.39-43. ⟨10.1145/2000367.2000376⟩
Accès au bibtex
BibTex

Conference papers

titre
Monitoring Dynamical Signals While Testing Timed Aspects of a System
auteur
Goran Frehse, Kim G. Larsen, Marius Mikučionis, Brian Nielsen
article
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.115-130, ⟨10.1007/978-3-642-24580-0_9⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01583916/file/978-3-642-24580-0_9_Chapter.pdf BibTex
titre
SpaceEx: Scalable Verification of Hybrid Systems
auteur
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
article
CAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. pp.379-395, ⟨10.1007/978-3-642-22110-1_30⟩
Accès au bibtex
BibTex

2010

Conference papers

titre
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
auteur
Alexandre Chapoutot
article
SAS 2010 - 17th Static Analysis Symposium, Sep 2010, Perpignan, France. pp.184-200, ⟨10.1007/978-3-642-15769-1_12⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00469007/file/main.pdf BibTex
titre
Abstract Fixpoint Computations with Numerical Acceleration Methods
auteur
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
article
International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.29-42, ⟨10.1016/j.entcs.2010.09.004⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00492483/file/main.pdf BibTex
titre
Mathematical equations as executable models of mechanical systems
auteur
Yun Zhu, Edwin Rice University Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Robert Cartwright, Aaron Ames, Raktim Bhattacharya
article
International Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. ⟨10.1145/1795194.1795196⟩
Accès au bibtex
BibTex

2009

Journal articles

titre
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
auteur
Alexandre Chapoutot, Matthieu Martel
article
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⟩
Accès au bibtex
BibTex
titre
Development life cycle of critical software under FoCal
auteur
Philippe Ayrault, Thérèse Hardin, François Pessaux
article
Electronic Notes in Theoretical Computer Science, 2009, 243, pp.15-31. ⟨10.1016/j.entcs.2009.07.003⟩
Accès au bibtex
BibTex

Conference papers

titre
Development of a Generic Voter under FoCal
auteur
Philippe Ayrault, Thérèse Hardin, François Pessaux
article
TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01241361/file/papier_voteur_tap09.pdf BibTex
titre
Abstract Simulation: a Static Analysis of Simulink Models
auteur
Alexandre Chapoutot, Matthieu Martel
article
International Conference on Embedded Software and Systems, May 2009, Zhejiang, China. pp.83-92, ⟨10.1109/ICESS.2009.80⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00332447/file/as_chapoutot_martel.pdf BibTex
titre
Range Estimation of Floating-Point Variables in Simulink Models
auteur
Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
article
Second International Workshop on Numerical Software Verification (NSV II), Apr 2009, San Francisco, CA, United States
Accès au bibtex
BibTex

Book sections

titre
Tools for the Analysis of Hybrid Models
auteur
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
article
Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8
Accès au bibtex
BibTex

2008

Conference papers

titre
Trusted Software within Focal
auteur
Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, Lionel Habib, Thérèse Hardin, Mathieu Jaume, Charles Morisset, François Pessaux, Renaud Rioboo, Pierre Weis
article
C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
Accès au texte intégral et bibtex
https://hal.science/hal-01125667/file/cesar.pdf BibTex
titre
Static Analysis of Simulink Programs
auteur
Alexandre Chapoutot, Matthieu Martel
article
Model-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary
Accès au bibtex
BibTex

Book sections

titre
Outils pour l'analyse des modèles hybrides
auteur
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
article
Olivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information
Accès au bibtex
BibTex

Theses

titre
Simulation abstraite : une analyse statique de modèles Simulink
auteur
Alexandre Chapoutot
article
Génie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/tel-00366685/file/phd_chapoutot.pdf BibTex

2007

Conference papers

titre
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
auteur
Alexandre Chapoutot, Matthieu Martel
article
Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280
Accès au bibtex
BibTex

2006

Conference papers

titre
Recent progress in continuous and hybrid reachability analysis
auteur
Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler
article
IEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. pp.1582 - 1587, ⟨10.1109/CACSD-CCA-ISIC.2006.4776877⟩
Accès au bibtex
BibTex
titre
Abstract Frequency Analysis of Synchronous Systems
auteur
Alexandre Chapoutot, Matthieu Martel
article
Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2006, Ottawa, Canada
Accès au bibtex
BibTex

2000

Journal articles

titre
Type-based analysis of uncaught exceptions
auteur
Xavier Leroy, François Pessaux
article
ACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01499948/file/exceptions-toplas.pdf BibTex

1999

Conference papers

titre
Type-based analysis of uncaught exceptions
auteur
François Pessaux, Xavier Leroy
article
POPL 1999: 26th symposium Principles of Programming Languages, ACM, Jan 1999, San Antonio, United States. pp.276 - 290, ⟨10.1145/292540.292565⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01499959/file/exceptions-popl.pdf BibTex

1998

Conference papers

titre
OCamlDoom: ML for 3D action games
auteur
François Pessaux
article
ACM SIGPLAN Workshop on ML, Sep 1998, Baltimore, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01241394/file/ml-workshop.pdf BibTex

Reports

titre
Type-Based Analysis of Uncaught Exceptions
auteur
Xavier Leroy, François Pessaux
article
[Research Report] RR-3541, INRIA. 1998
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00073144/file/RR-3541.pdf BibTex