Julien Alexandre dit Sandretto
Julien Alexandre dit Sandretto
Verified email at ensta.fr
Cited by
Cited by
Validated explicit and implicit Runge-Kutta methods
JAD Sandretto, A Chapoutot
Reliable Computing electronic edition 22, 2016
Calibration of a fully-constrained parallel cable-driven robot
JA Dit Sandretto, D Daney, M Gouttefarde
Romansy 19–Robot Design, Dynamics and Control, 77-84, 2013
The forward kinematics of cable-driven parallel robots with sagging cables
JP Merlet, J Alexandre-dit-Sandretto
Cable-Driven Parallel Robots, 3-15, 2015
Certified calibration of a cable-driven robot using interval contractor programming
JA dit Sandretto, G Trombettoni, D Daney, G Chabert
Computational Kinematics, 209-217, 2014
DynBEX: a Differential Constraint Library for Studying Dynamical Systems
JAD Sandretto, A Chapoutot
Conference on Hybrid Systems: Computation and Control (HSCC 2016), 2016
Confirmation of hypothesis on cable properties for cable-driven robots
JA dit Sandretto, G Trombettoni, D Daney
New trends in mechanism and machine science, 85-93, 2013
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
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
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
An improved algorithm for the control synthesis of nonlinear sampled switched systems
A Le CoŽnt, JA dit Sandretto, A Chapoutot, L Fribourg
Formal Methods in System Design 53 (3), 363-383, 2018
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
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, ...
Proc. of the 6th International Workshop on Applied Verification of†…, 2019
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
Cyber-physical systems security
«K KoÁ
Springer, 2018
Distributed control synthesis using Euler’s method
A Le CoŽnt, JA dit Sandretto, A Chapoutot, L Fribourg, F De Vuyst, ...
International Workshop on Reachability Problems, 118-131, 2017
Contraction, propagation and bisection on a validated simulation of ODE
JAD Sandretto, A Chapoutot
Summer Workshop on Interval Methods, 2016
Validated Explicit and Implicit Runge-Kutta Methods
A Chapoutot, JA dit Sandretto, O Mullier
Small Workshop on Interval Methods, 2015
Dynibex library
JA dit Sandretto, A Chapoutot, O Mullier
Calibration of a fully-constrained parallel cable-driven robot
DSJ Alexandre, D Daney, M Gouttefarde
ROMANSY'2012: 19th CISM-IFToMM Symposium on Robot Design, Dynamics, and†…, 2012
Constraint-based framework for reasoning with differential equations
JA dit Sandretto, A Chapoutot, O Mullier
Cyber-Physical Systems Security, 23-41, 2018
The system can't perform the operation now. Try again later.
Articles 1–20