Julien Alexandre dit Sandretto

81
Documents

Publications

4
4
4
9
8
7
9
10
11
6
2
3
4
45
24
8
3

Publications

Image document

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

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-04316535 v1
Image document

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

Set-Based B-Series

Julien Alexandre Dit Sandretto
Mathematics , 2022, 10 (17), pp.3165. ⟨10.3390/math10173165⟩
Article dans une revue hal-03842058 v1
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-03142715 v1

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

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

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

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

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

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-01992048 v1
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-01399337 v2
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-01498372 v1
Image document

Runge–Kutta Theory and Constraint Programming

Julien Alexandre Dit Sandretto
Reliable Computing Journal, 2017
Article dans une revue hal-01762191 v1

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

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-01762199 v1
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-01243044 v1
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-01243053 v1

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

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-04813656 v1
Image document

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-04716766 v1
Image document

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-04716742 v1
Image document

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-04250608 v1
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-04194830 v1
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-03744923 v1

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

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

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-03587686 v1
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. pp.6708-6713, ⟨10.1109/CDC45484.2021.9683301⟩
Communication dans un congrès hal-03197925 v2
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-03199339 v1

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

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

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-03068407 v1
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-02511927 v1
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-02372387 v1
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-02372155 v1
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-02372308 v1

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

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

Validated Runge-Kutta Methods for Initial Value Problems

Julien Alexandre Dit Sandretto
ANODE, Feb 2018, Auckland, New Zealand
Communication dans un congrès hal-01762196 v1
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-01583834 v1
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-01583836 v1
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-01762198 v1
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-01490364 v1
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-01325068 v1
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-01297273 v1

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-01450917 v1
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-01304012 v1

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

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-01304292 v1
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-01376456 v1

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

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

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-01371498 v1
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-01111240 v2

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-01371484 v1
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-00862752 v1
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-00987425 v1

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

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

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-02502363 v1
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-02146655 v1

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

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-01992018 v1
Image document

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-01593225 v1
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-00907499 v1
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-00907510 v1