Publications HAL de Julien,Alexandre dit Sandretto

2023

Article dans une revue

titre
Validated B-series and Runge-Kutta pairs
auteur
Julien Alexandre Dit Sandretto
article
Numerical Algorithms, 2023, ⟨10.1007/s11075-023-01697-5⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
TRAJECTORY MONITORING FOR A DRONE USING INTERVAL ANALYSIS
auteur
Sylvain Largent, Julien Alexandre Dit Sandretto
article
Workshop on Planning, Perception and Navigation for Intelligent Vehicles (PPNIV'22), Philippe Martinet, Oct 2023, Kyoto, Japan
Accès au texte intégral et bibtex
https://hal.science/hal-04194830/file/Paper10-1.pdf BibTex
titre
Navigation among movable obstacles using machine learning based total time cost optimization
auteur
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat
article
IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2023, Detroit (MI), United States
Accès au texte intégral et bibtex
https://hal.ip-paris.fr/hal-04250608/file/namo_iros2023_preprint.pdf BibTex

Chapitre d'ouvrage

titre
A review of classical and learning based approaches in task and motion planning
auteur
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
article
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⟩
Accès au texte intégral et bibtex
https://hal.ip-paris.fr/hal-04316434/file/Zhang_TAMP%20review.pdf BibTex

2022

Article dans une revue

titre
Set-Based B-Series
auteur
Julien Alexandre Dit Sandretto
article
Mathematics , 2022, 10 (17), pp.3165. ⟨10.3390/math10173165⟩
Accès au bibtex
BibTex
titre
Algorithms for Reliable Estimation, Identification and Control
auteur
Andreas Rauh, Luc Jaulin, Julien Alexandre Dit Sandretto
article
Algorithms, 2022, 15 (8), pp.276. ⟨10.3390/a15080276⟩
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-03747639/file/algorithms-15-00276.pdf BibTex

Communication dans un congrès

titre
Task and motion planning methods: applications and limitations
auteur
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
article
ICINCO 2022 - 19th International Conference on Informatics in Control, Automation and Robotics, Jul 2022, Lisbonne, Portugal. pp.476-483, ⟨10.5220/0011314000003271⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03744923/file/Task_and_motion_planning_methods__application_and_limitation.pdf BibTex

Rapport

titre
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
auteur
François Pessaux, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
[Research Report] Ensta ParisTech. 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03635298/file/zeldautom.pdf BibTex

2021

Article dans une revue

titre
Experimental Validation of a Guaranteed Nonlinear Model Predictive Control
auteur
Mohamed Fnadi, Julien Alexandre Dit Sandretto
article
Algorithms, 2021, 14 (8), pp.248. ⟨10.3390/a14080248⟩
Accès au bibtex
BibTex
titre
Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations
auteur
Julien Alexandre Dit Sandretto
article
Acta Cybernetica, 2021, 25 (1), pp.49-68. ⟨10.14232/actacyb.285177⟩
Accès au bibtex
BibTex
titre
Validated Trajectory Tracking using Flatness
auteur
Julien Alexandre Dit Sandretto, Olivier Mullier
article
Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩
Accès au bibtex
BibTex
titre
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
auteur
Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03142715/file/DTIS20188%20postprint.pdf BibTex
titre
Guaranteed master for interval-based cosimulation
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
auteur
Julien Alexandre Dit Sandretto, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat, Luca Geretti, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David Sanders, Christian Schilling, Mark Wetzlinger
article
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Accès au bibtex
BibTex
titre
Constraint-based Verification of Formation Control
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
article
2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
Accès au bibtex
BibTex
titre
Spatio-temporal constrained zonotopes for validation of optimal control problems
auteur
Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
CDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03197925/file/DTIS21232.pdf BibTex
titre
Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion
auteur
Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Pribourg
article
2021 American Control Conference (ACC), May 2021, New Orleans, France. pp.3920-3926, ⟨10.23919/ACC50511.2021.9483185⟩
Accès au bibtex
BibTex

2020

Article dans une revue

titre
Optimal Switching Instants for the Control of Hybrid Systems
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Abstract domains for constraint programming with differential equations
auteur
Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
article
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⟩
Accès au bibtex
BibTex
titre
Cosimulation-based control synthesis
auteur
Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
Accès au bibtex
BibTex
titre
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
auteur
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David Sanders, Christian Schilling
article
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Set-Membership Computation of Integrals with Uncertain Endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
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⟩
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
Towards a Set-based Signal Temporal Logic
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
article
2020
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-03084701/file/main.pdf BibTex
titre
Guaranteed cosimulation of Cyber-Physical Systems
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-02505237/file/cosim.pdf BibTex

2019

Communication dans un congrès

titre
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
auteur
Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03199339/file/Rousse2020.pdf BibTex
titre
Computation of integrals with interval endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
SWIM 2019, Jul 2019, Versailles - Palaiseau, France
Accès au texte intégral et bibtex
https://hal.science/hal-02511927/file/SWIM19_interval_integrals.pdf BibTex
titre
Confidence-based Contractor, Propagation and Potential Cloud for Differential Equations
auteur
Julien Alexandre Dit Sandretto
article
Summer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France
Accès au texte intégral et bibtex
https://hal.science/hal-02372155/file/alexandre_swim2019.pdf BibTex
titre
Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics
auteur
Etienne Bertin, Elliot Brendel, Bruno Hérissé, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Summer Workshop on Interval methods, Jul 2019, Palaiseau, France
Accès au texte intégral et bibtex
https://hal.science/hal-02372308/file/bertin.pdf BibTex
titre
Set-membership computation of integrals with uncertain endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
NUMTA 2019, Jun 2019, Le Castella village, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-02372387/file/numta_abs.pdf BibTex

Chapitre d'ouvrage

titre
Logical Differential Constraints Based on Interval Boolean Tests
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02146655/file/temporal-interval-tests-hal.pdf BibTex

Pré-publication, Document de travail

titre
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
auteur
Julien Alexandre Dit Sandretto
article
2019
Accès au bibtex
https://arxiv.org/pdf/1910.10424 BibTex
titre
Runge-Kutta Theory and Constraint Programming (Extended version)
auteur
Julien Alexandre Dit Sandretto
article
2019
Accès au bibtex
https://arxiv.org/pdf/1804.04847 BibTex

2018

Article dans une revue

titre
An improved algorithm for the control synthesis of nonlinear sampled switched systems
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
article
Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01399337/file/template-hal.pdf BibTex
titre
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
auteur
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01498372/file/articleAD16-hal.pdf BibTex
titre
An Interval-based Sliding Horizon Motion Planning Method
auteur
Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
article
IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Optimal switching instants for the Control of Hybrid Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-01992071/file/swim18.pdf BibTex
titre
Reliable NonLinear Model-Predictive Control via Validated Simulation
auteur
Julien Alexandre Dit Sandretto
article
2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614
Accès au bibtex
BibTex
titre
Validated Runge-Kutta Methods for Initial Value Problems
auteur
Julien Alexandre Dit Sandretto
article
ANODE, Feb 2018, Auckland, New Zealand
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Constraint-Based Framework for Reasoning with Differential Equations
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
Accès au bibtex
BibTex
titre
Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta
auteur
Julien Alexandre Dit Sandretto, Jian Wan
article
Reachability Problems, pp.1-14, 2018
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
Survey of what DynIbex can do for you
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
2018
Accès au texte intégral et bibtex
https://hal.science/hal-01927784/file/survey.pdf BibTex

2017

Article dans une revue

titre
Solving over-constrained systems of non-linear interval equations – And its robotic application
auteur
Julien Alexandre Dit Sandretto, Milan Hladïk
article
Applied Mathematics and Computation, 2017, 313, pp.180 - 195. ⟨10.1016/j.amc.2017.05.077⟩
Accès au bibtex
BibTex
titre
Runge–Kutta Theory and Constraint Programming
auteur
Julien Alexandre Dit Sandretto
article
Reliable Computing Journal, 2017
Accès au texte intégral et bibtex
https://hal.science/hal-01762191/file/RK_interval_hal.pdf BibTex
titre
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88
Accès au bibtex
BibTex

Communication dans un congrès

titre
Adjoint Function as Bisection Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
auteur
Julien Alexandre Dit Sandretto
article
OMS, Dec 2017, La Havane, Cuba
Accès au texte intégral et bibtex
https://hal.science/hal-01762198/file/smear_adjoint.pdf BibTex
titre
Robust Motion Planning Based on Sliding Horizon and Validated Simulation
auteur
Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01583836/file/SwimSmart2017.pdf BibTex
titre
Interval-based QuickXplain Algorithm
auteur
Adrien Bisutti, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Rémi Delmas
article
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01583834/file/quickxplain-continuous.pdf BibTex
titre
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01490364/file/irc17-hal.pdf BibTex

Chapitre d'ouvrage

titre
Distributed control synthesis using Euler's method
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, Ludovic Chamoin
article
International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01593225/file/euler-hal.pdf BibTex

Pré-publication, Document de travail

titre
Reliable NonLinear Model-Predictive Control via Validated Simulation
auteur
Julien Alexandre Dit Sandretto
article
2017
Accès au texte intégral et bibtex
https://hal.science/hal-01584015/file/nmpc.pdf BibTex
titre
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *
auteur
Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
2017
Accès au texte intégral et bibtex
https://hal.science/hal-01493645/file/plannif-hal.pdf BibTex

2016

Article dans une revue

titre
Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
Accès au texte intégral et bibtex
https://hal.science/hal-01243044/file/main_dae.pdf BibTex
titre
Validated Explicit and Implicit Runge-Kutta Methods
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
Accès au texte intégral et bibtex
https://hal.science/hal-01243053/file/implicit_rk.pdf BibTex

Communication dans un congrès

titre
Runge-Kutta Theory and Constraint Programming
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-01376456/file/abstract-rk.pdf BibTex
titre
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
auteur
Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
Accès au bibtex
BibTex
titre
Appropriate Design Guided by Simulation: An Hovercraft Application
auteur
Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot
article
Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01304012/file/morse_version.pdf BibTex
titre
Contraction, propagation and bisection on a validated simulation of ODE
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Summer Workshop on Interval Methods, Jun 2016, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-01325068/file/ctc.pdf BibTex
titre
DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Accès au bibtex
BibTex
titre
DynBEX: a Differential Constraint Library for Studying Dynamical Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-01297273/file/dynibex-poster.pdf BibTex
titre
Control of Nonlinear Switched Systems Based on Validated Simulation
auteur
Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
article
International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩
Accès au bibtex
BibTex

Poster de conférence

titre
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
auteur
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom.
Accès au texte intégral et bibtex
https://hal.science/hal-01316503/file/article.pdf BibTex
titre
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
HSCC, Apr 2016, Vienne, Austria. , HSCC 2016
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-01302504/file/Poster_A0.pdf BibTex

2015

Communication dans un congrès

titre
Inner and Outer Computation of the Viability Kernel based on Interval Analysis
auteur
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
Accès au bibtex
BibTex
titre
Validated Simulation of Differential Algebraic Equations
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Accès au bibtex
BibTex
titre
Validated Explicit and Implicit Runge-Kutta Methods
auteur
Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-01111240/file/chapoutot_et_al_grk.pdf BibTex
titre
Viability kernel computation based on interval methods
auteur
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Accès au bibtex
BibTex
titre
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
Accès au bibtex
BibTex

Rapport

titre
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
[Research Report] ENSTA ParisTech. 2015
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-01107685/file/report_rk.pdf BibTex

2014

Article dans une revue

titre
Interval Methods for Model Qualification: Methodology and Advanced Application
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
article
Mathematics in Computer Science, 2014, 8 (3-4), pp.479-493. ⟨10.1007/s11786-014-0210-0⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney, Gilles Chabert
article
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⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00907499/file/40.pdf BibTex

2013

Communication dans un congrès

titre
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science
auteur
Julien Alexandre Dit Sandretto, Cyprien Nicolas
article
CAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00862752/file/CAR2013.pdf BibTex

Chapitre d'ouvrage

titre
Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
article
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⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00907510/file/a_eucomes2012.pdf BibTex

Thèse

titre
Étalonnage des robots à câbles : identification et qualification
auteur
Julien Alexandre Dit Sandretto
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4059⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00933816/file/2013NICE4059.pdf BibTex

2012

Communication dans un congrès

titre
Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
article
EUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00987425/file/cable_eucomes_2012.pdf BibTex

Rapport

titre
Interval Methods for Model Qualification: Methodology and Advanced Application
auteur
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
article
[Research Report] RR-7880, INRIA. 2012, pp.23
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00668950/file/RR-7880.pdf BibTex
titre
Calibration of a fully-constrained parallel cable-driven robot
auteur
Julien Alexandre Dit Sandretto, David Daney, Marc Gouttefarde, Cédric Baradat
article
[Research Report] RR-7879, INRIA. 2012, pp.21
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00668921/file/RR-7879.pdf BibTex