Follow
Julien Alexandre dit Sandretto
Julien Alexandre dit Sandretto
ENSTA Paris
Verified email at ensta.fr
Title
Cited by
Cited by
Year
Validated explicit and implicit Runge-Kutta methods
JAD Sandretto, A Chapoutot
Reliable Computing electronic edition 22, 2016
114*2016
The forward kinematics of cable-driven parallel robots with sagging cables
JP Merlet, J Alexandre-dit-Sandretto
Cable-Driven Parallel Robots: Proceedings of the Second International†…, 2015
442015
Certified calibration of a cable-driven robot using interval contractor programming
JAD Sandretto, G Trombettoni, D Daney, G Chabert
Computational Kinematics: Proceedings of the 6th International Workshop on†…, 2014
302014
Calibration of a fully-constrained parallel cable-driven robot
JA Dit Sandretto, D Daney, M Gouttefarde
Romansy 19–Robot Design, Dynamics and Control: Proceedings of the 19th CISM†…, 2013
262013
Calibration of a fully-constrained parallel cable-driven robot
JAD Sandretto, D Daney, M Gouttefarde, C Baradat
INRIA, 2012
192012
DynBEX: a Differential Constraint Library for Studying Dynamical Systems
JAD Sandretto, A Chapoutot
Conference on Hybrid Systems: Computation and Control (HSCC 2016), 2016
182016
Validated computation of the local truncation error of runge–kutta methods with automatic differentiation
O Mullier, A Chapoutot, J Alexandre dit Sandretto
Optimization Methods and Software 33 (4-6), 718-728, 2018
152018
Confirmation of hypothesis on cable properties for cable-driven robots
JAD Sandretto, G Trombettoni, D Daney
New Trends in Mechanism and Machine Science: Theory and Applications in†…, 2013
152013
ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics
L Geretti, J Alexandre Dit Sandretto, M Althoff, L Benet, A Chapoutot, ...
Proc. of the 7th International Workshop on Applied Verification of†…, 2020
142020
ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ...
EPiC Series in Computing 61, 2019
132019
An improved algorithm for the control synthesis of nonlinear sampled switched systems
A Le CoŽnt, J Alexandre dit Sandretto, A Chapoutot, L Fribourg
Formal Methods in System Design 53, 363-383, 2018
112018
Control of nonlinear switched systems based on validated simulation
A Le CoŽnt, JA dit Sandretto, A Chapoutot, L Fribourg
2016 International Workshop on Symbolic and Numerical Methods for†…, 2016
112016
Constraint-based framework for reasoning with differential equations
J Alexandre dit Sandretto, A Chapoutot, O Mullier
Cyber-Physical Systems Security, 23-41, 2018
102018
Distributed control synthesis using Euler’s method
A Le CoŽnt, J Alexandre dit Sandretto, A Chapoutot, L Fribourg, ...
Reachability Problems: 11th International Workshop, RP 2017, London, UK†…, 2017
102017
Validated Explicit and Implicit Runge-Kutta Methods
A Chapoutot, JAD Sandretto, O Mullier
Small Workshop on Interval Methods, 2015
92015
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
JAD Sandretto, A Chapoutot
ENSTA ParisTech, 2015
92015
Cyber-physical systems security
«K KoÁ
Springer, 2018
82018
Formal verification of robotic behaviors in presence of bounded uncertainties
JA dit Sandretto, A Chapoutot, O Mullier
2017 First IEEE International Conference on Robotic Computing (IRC), 81-88, 2017
82017
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
JA dit Sandretto, A Chapoutot, O Mullier
2nd International Workshop on Synthesis of Complex Parameters, 91, 2015
82015
Experimental validation of a guaranteed nonlinear model predictive control
M Fnadi, J Alexandre dit Sandretto
Algorithms 14 (8), 248, 2021
72021
The system can't perform the operation now. Try again later.
Articles 1–20