Access content directly

Julien Alexandre dit Sandretto

71
Documents

Publications

Validated B-series and Runge-Kutta pairs

Julien Alexandre Dit Sandretto
Numerical Algorithms, 2023, ⟨10.1007/s11075-023-01697-5⟩
Journal articles hal-04316535v1

Set-Based B-Series

Julien Alexandre Dit Sandretto
Mathematics , 2022, 10 (17), pp.3165. ⟨10.3390/math10173165⟩
Journal articles hal-03842058v1

Validated Trajectory Tracking using Flatness

Julien Alexandre Dit Sandretto , Olivier Mullier
Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩
Journal articles 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⟩
Journal articles hal-03514746v1
Image document

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

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

Guaranteed master for interval-based cosimulation

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

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⟩
Journal articles hal-03430389v1

Optimal Switching Instants for the Control of Hybrid Systems

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

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

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

An Interval-based Sliding Horizon Motion Planning Method

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

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

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

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⟩
Journal articles hal-01762199v1

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties

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

Runge–Kutta Theory and Constraint Programming

Julien Alexandre Dit Sandretto
Reliable Computing Journal, 2017
Journal articles hal-01762191v1
Image document

Validated Explicit and Implicit Runge-Kutta Methods

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

Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods

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

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⟩
Journal articles hal-01057364v1
Image document

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
Conference papers hal-04194830v1
Image document

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⟩
Conference papers hal-03744923v1

Constraint-based Verification of Formation Control

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

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⟩
Conference papers hal-03430402v1
Image document

Spatio-temporal constrained zonotopes for validation of optimal control problems

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

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

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

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

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

Cosimulation-based control synthesis

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

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

Julien Alexandre Dit Sandretto
Summer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France
Conference papers hal-02372155v1
Image document

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

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

Set-membership computation of integrals with uncertain endpoints

Olivier Mullier , Julien Alexandre Dit Sandretto
NUMTA 2019, Jun 2019, Le Castella village, Italy
Conference papers hal-02372387v1
Image document

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

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

Computation of integrals with interval endpoints

Olivier Mullier , Julien Alexandre Dit Sandretto
SWIM 2019, Jul 2019, Versailles - Palaiseau, France
Conference papers hal-02511927v1

Validated Runge-Kutta Methods for Initial Value Problems

Julien Alexandre Dit Sandretto
ANODE, Feb 2018, Auckland, New Zealand
Conference papers hal-01762196v1

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
Conference papers hal-01992052v1
Image document

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties

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

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
Conference papers hal-01583836v1
Image document

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

Julien Alexandre Dit Sandretto
OMS, Dec 2017, La Havane, Cuba
Conference papers hal-01762198v1
Image document

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
Conference papers hal-01583834v1

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

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

Appropriate Design Guided by Simulation: An Hovercraft Application

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

Control of Nonlinear Switched Systems Based on Validated Simulation

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

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
Conference papers hal-01376456v1
Image document

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
Conference papers hal-01325068v1
Image document

DynBEX: a Differential Constraint Library for Studying Dynamical Systems

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

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

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

Validated Simulation of Differential Algebraic Equations

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

Validated Explicit and Implicit Runge-Kutta Methods

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

Viability kernel computation based on interval methods

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

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

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

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

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

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
Conference papers 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
Conference papers lirmm-00737638v1
Image document

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
Conference papers hal-00987425v1

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⟩
Book sections hal-02502363v1
Image document

Logical Differential Constraints Based on Interval Boolean Tests

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

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

Julien Alexandre Dit Sandretto , Jian Wan
Reachability Problems, pp.1-14, 2018
Book sections hal-01992018v1

Constraint-Based Framework for Reasoning with Differential Equations

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

Distributed control synthesis using Euler's method

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

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⟩
Book sections hal-00907499v1
Image document

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⟩
Book sections hal-00907510v1