Accéder directement au contenu

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

Set-Based B-Series

Julien Alexandre Dit Sandretto
Mathematics , 2022, 10 (17), pp.3165. ⟨10.3390/math10173165⟩
Article dans une revue hal-03842058v1

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

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

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

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

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 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
Article dans une revue hal-01762205v1
Image document

Runge–Kutta Theory and Constraint Programming

Julien Alexandre Dit Sandretto
Reliable Computing Journal, 2017
Article dans une revue 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
Article dans une revue 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
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
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
Communication dans un congrès 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⟩
Communication dans un congrès hal-03744923v1
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
Communication dans un congrès hal-03197925v2

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

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

Julien Alexandre Dit Sandretto , 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

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

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
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
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
Communication dans un congrès hal-02372308v1
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
Communication dans un congrès hal-02372155v1
Image document

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
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⟩
Communication dans un congrès hal-03199339v1
Image document

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

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

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

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
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⟩
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
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
Communication dans un congrès 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
Communication dans un congrès hal-01450917v1
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
Communication dans un congrès hal-01325068v1
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
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
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
Communication dans un congrès hal-01111240v2

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

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

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
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
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
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
Communication dans un congrès 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⟩
Chapitre d'ouvrage 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⟩
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
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⟩
Chapitre d'ouvrage 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⟩
Chapitre d'ouvrage 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⟩
Chapitre d'ouvrage hal-00907510v1