Julien Alexandre dit Sandretto

85
Documents

Publications

3
5
4
4
9
8
7
9
10
11
6
2
3
4
49
24
8
3

Publications

Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes

Joris Tillet , Antoine Besset , Julien Alexandre dit Sandretto

Acta Cybernetica, 2025, ⟨10.14232/actacyb.315054⟩

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

Validated B-series and Runge-Kutta pairs

Julien Alexandre Dit Sandretto

Numerical Algorithms, 2023, ⟨10.1007/s11075-023-01697-5⟩

Article dans une revue hal-04316535v1
Deposit thumbnail

Algorithms for Reliable Estimation, Identification and Control

Andreas Rauh , Luc Jaulin , Julien Alexandre Dit Sandretto

Algorithms, 2022, 15 (8), pp.276. ⟨10.3390/a15080276⟩

Article dans une revue hal-03747639v1

Set-Based B-Series

Julien Alexandre Dit Sandretto

Mathematics , 2022, 10 (17), pp.3165. ⟨10.3390/math10173165⟩

Article dans une revue hal-03842058v1

Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations

Julien Alexandre Dit Sandretto

Acta Cybernetica, 2021, 25 (1), pp.49-68. ⟨10.14232/actacyb.285177⟩

Article dans une revue hal-03430389v1

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
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

Validated Trajectory Tracking using Flatness

Julien Alexandre Dit Sandretto , Olivier Mullier

Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩

Article dans une revue hal-03430397v1

Experimental Validation of a Guaranteed Nonlinear Model Predictive Control

Mohamed Fnadi , Julien Alexandre Dit Sandretto

Algorithms, 2021, 14 (8), pp.248. ⟨10.3390/a14080248⟩

Article dans une revue hal-03514746v1

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

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

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

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

Solving over-constrained systems of non-linear interval equations – And its robotic application

Julien Alexandre Dit Sandretto , Milan Hladïk

Applied Mathematics and Computation, 2017, 313, pp.180 - 195. ⟨10.1016/j.amc.2017.05.077⟩

Article dans une revue istex hal-01762199v1
Deposit thumbnail

Runge–Kutta Theory and Constraint Programming

Julien Alexandre Dit Sandretto

Reliable Computing Journal, 2017

Article dans une revue hal-01762191v1

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

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

Interval Methods for Model Qualification: Methodology and Advanced Application

Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney

Mathematics in Computer Science, 2014, 8 (3-4), pp.479-493. ⟨10.1007/s11786-014-0210-0⟩

Article dans une revue hal-01057364v1

Symbolic Computation of Local Truncation Error for Approximate B-Series-Based Validated Simulation

Julien Alexandre dit Sandretto

Scientific Computing and Software, May 2023, Marsalforn, Malta. pp.55-74, ⟨10.1007/978-3-031-85288-6_4⟩

Communication dans un congrès hal-05183975v1

Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic

Antoine Besset , Julien Alexandre Dit Sandretto , Joris Tillet

2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2025, Hangzhou, France. pp.14892-14898, ⟨10.1109/IROS60139.2025.11245994⟩

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

Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence Parameter

Joris Tillet , Elena Vanneaux , Julien Alexandre Dit Sandretto

CCC 2024 - Continuity, Computability, Constructivity From Logic to Algorithms, Oct 2024, Nice, France

Communication dans un congrès hal-04716766v1

Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking

Charlotte Govignon , Elliot Brendel , Julien Alexandre Dit Sandretto

21st International Conference on Informatics in Control, Automation and Robotics, Nov 2024, Porto, France. pp.660-667, ⟨10.5220/0012939400003822⟩

Communication dans un congrès hal-04813656v1

Overview of Motion Planning Techniques and Their Suitability for an Off-Road Navigation Use-Case

Lucas Si Larbi , Eric Lucet , Julien Alexandre dit Sandretto

2024 18th International Conference on Control, Automation, Robotics and Vision (ICARCV), Dec 2024, Dubai, France. pp.1054-1061, ⟨10.1109/ICARCV63323.2024.10821670⟩

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

Interval Methods applied to Signal Temporal Logic - Overview and Extension on Tubes

Joris Tillet , Elena Vanneaux , Julien Alexandre Dit Sandretto

Summer Workshop on Interval Methods (SWIM) 2024, Jun 2024, Maastricht, Netherlands

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

Navigation among movable obstacles using machine learning based total time cost optimization

Kai Zhang , Eric Lucet , Julien Alexandre Dit Sandretto , David Filliat

IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2023, Detroit (MI), United States

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

TRAJECTORY MONITORING FOR A DRONE USING INTERVAL ANALYSIS

Sylvain Largent , Julien Alexandre Dit Sandretto

Workshop on Planning, Perception and Navigation for Intelligent Vehicles (PPNIV'22), Philippe Martinet, Oct 2023, Kyoto, Japan

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

Task and motion planning methods: applications and limitations

Kai Zhang , Eric Lucet , Julien Alexandre Dit Sandretto , Selma Kchir , David Filliat

ICINCO 2022 - 19th International Conference on Informatics in Control, Automation and Robotics, Jul 2022, Lisbonne, Portugal. pp.476-483, ⟨10.5220/0011314000003271⟩

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

Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion

Mohamed Fnadi , Julien Alexandre Dit Sandretto , Gabriel Ballet , Laurent Pribourg

2021 American Control Conference (ACC), May 2021, New Orleans, France. pp.3920-3926, ⟨10.23919/ACC50511.2021.9483185⟩

Communication dans un congrès hal-03430402v1

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

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

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
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

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
Deposit thumbnail

Set-membership computation of integrals with uncertain endpoints

Olivier Mullier , Julien Alexandre Dit Sandretto

NUMTA 2019, Jun 2019, Le Castella village, Italy

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

Computation of integrals with interval endpoints

Olivier Mullier , Julien Alexandre Dit Sandretto

SWIM 2019, Jul 2019, Versailles - Palaiseau, France

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

Confidence-based Contractor, Propagation and Potential Cloud for Differential Equations

Julien Alexandre Dit Sandretto

Summer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France

Communication dans un congrès hal-02372155v1

Reliable NonLinear Model-Predictive Control via Validated Simulation

Julien Alexandre Dit Sandretto

2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614

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

Validated Runge-Kutta Methods for Initial Value Problems

Julien Alexandre Dit Sandretto

ANODE, Feb 2018, Auckland, New Zealand

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

Adjoint Function as Bisection Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations

Julien Alexandre Dit Sandretto

OMS, Dec 2017, La Havane, Cuba

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

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
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

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

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

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
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

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

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

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

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

Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science

Julien Alexandre Dit Sandretto , Cyprien Nicolas

CAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France

Communication dans un congrès hal-00862752v1

Calibration of a Fully-Constrained Parallel Cable-Driven Robot

Dit Sandretto Julien Alexandre , David Daney , Marc Gouttefarde

ROMANSY'2012: 19th CISM-IFToMM Symposium on Robot Design, Dynamics, and Control, Paris, France. pp.1-8

Communication dans un congrès lirmm-00737638v1
Deposit thumbnail

Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots

Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney

EUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain

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

A review of classical and learning based approaches in task and motion planning

Kai Zhang , Eric Lucet , Julien Alexandre Dit Sandretto , Selma Kchir , David Filliat

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⟩

Chapitre d'ouvrage hal-04316434v1

Set-Membership Computation of Integrals with Uncertain Endpoints

Olivier Mullier , Julien Alexandre Dit Sandretto

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⟩

Chapitre d'ouvrage hal-02502363v1
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

Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta

Julien Alexandre Dit Sandretto , Jian Wan

Reachability Problems, pp.1-14, 2018

Chapitre d'ouvrage hal-01992018v1
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
Deposit thumbnail

Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming

Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney , Gilles Chabert

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⟩

Chapitre d'ouvrage hal-00907499v1
Deposit thumbnail

Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots

Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney

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⟩

Chapitre d'ouvrage hal-00907510v1