Julien Alexandre dit Sandretto

Publications

Article dans une revue (20)

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

Communication dans un congrès (43)

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
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
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
Overview of motion planning techniques and their suitability for an off-road navigation use-case Lucas Si Larbi,Eric Lucet,Julien Alexandre dit Sandretto 18th International Conference on Control, Automation, Robotics and Vision (ICARCV), Dec 2024, Dubai, United Arab Emirates. pp.1054-1061, ⟨10.1109/ICARCV63323.2024.10821670⟩ Communication dans un congrès hal-05183933v1
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
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
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
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Christophe Garion,Xavier Thirioux,Ghiles Ziatet 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
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
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 Chapoutotet 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
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 Chapoutotet 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Poster de conférence (2)

DynIBEX: a Differential Constraint Library for Studying Dynamical Systems Julien Alexandre Dit Sandretto,Alexandre Chapoutot HSCC, Apr 2016, Vienne, Austria. , HSCC 2016 Poster de conférence hal-01302504v1
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation Olivier Mullier,Alexandre Chapoutot,Julien Alexandre Dit Sandretto nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom. Poster de conférence hal-01316503v1

Chapitre d'ouvrage (8)

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
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
Distributed control synthesis using Euler's method Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Laurent Fribourg,Florian de Vuystet 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
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
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

Pré-publication, Document de travail (7)

Guaranteed cosimulation of Cyber-Physical Systems Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot 2020 Pré-publication, Document de travail hal-02505237v1
Towards a Set-based Signal Temporal Logic Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Pierre-Loïc Garoche 2020 Pré-publication, Document de travail hal-03084701v1
Runge-Kutta Theory and Constraint Programming (Extended version) Julien Alexandre Dit Sandretto 2019 Pré-publication, Document de travail hal-01992000v1
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations Julien Alexandre Dit Sandretto 2019 Pré-publication, Document de travail hal-02372316v1
Survey of what DynIbex can do for you Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Olivier Mullier 2018 Pré-publication, Document de travail hal-01927784v1
Reliable NonLinear Model-Predictive Control via Validated Simulation Julien Alexandre Dit Sandretto 2017 Pré-publication, Document de travail hal-01584015v1
Robust Motion Planning Based on Sliding Horizon and Validated Simulation * Elliot Brendel,Julien Alexandre Dit Sandretto,Alexandre Chapoutot 2017 Pré-publication, Document de travail hal-01493645v1

Rapport (4)

Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain François Pessaux,Julien Alexandre Dit Sandretto,Alexandre Chapoutot [Research Report] Ensta ParisTech. 2022 Rapport (rapport de recherche) hal-03635298v1
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes Julien Alexandre Dit Sandretto,Alexandre Chapoutot [Research Report] ENSTA ParisTech. 2015 Rapport (rapport de recherche) hal-01107685v6
Interval Methods for Model Qualification: Methodology and Advanced Application Julien Alexandre Dit Sandretto,Gilles Trombettoni,David Daney [Research Report] RR-7880, INRIA. 2012, pp.23 Rapport (rapport de recherche) hal-00668950v1
Calibration of a fully-constrained parallel cable-driven robot Julien Alexandre Dit Sandretto,David Daney,Marc Gouttefarde,Cédric Baradat [Research Report] RR-7879, INRIA. 2012, pp.21 Rapport (rapport de recherche) hal-00668921v1

Thèse (1)

Étalonnage des robots à câbles : identification et qualification Julien Alexandre Dit Sandretto Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4059⟩ Thèse tel-00933816v1