Suivre
Julien Alexandre dit Sandretto
Julien Alexandre dit Sandretto
ENSTA Paris
Adresse e-mail validée de ensta.fr
Titre
Citée par
Citée par
Année
Validated explicit and implicit Runge-Kutta methods
JAD Sandretto, A Chapoutot
Reliable Computing electronic edition 22, 2016
116*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
DynBEX: a Differential Constraint Library for Studying Dynamical Systems
JAD Sandretto, A Chapoutot
Conference on Hybrid Systems: Computation and Control (HSCC 2016), 2016
192016
Calibration of a fully-constrained parallel cable-driven robot
JAD Sandretto, D Daney, M Gouttefarde, C Baradat
INRIA, 2012
192012
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
162018
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
122018
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
122016
Constraint-based framework for reasoning with differential equations
J Alexandre dit Sandretto, A Chapoutot, O Mullier
Cyber-Physical Systems Security, 23-41, 2018
112018
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
102015
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
92017
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
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
Contraction, propagation and bisection on a validated simulation of ODE
JAD Sandretto, A Chapoutot
Summer Workshop on Interval Methods, 2016
82016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20