Julien Alexandre dit Sandretto
Associate Professor
Semantics of Hybrid System
Computer Science and System Engineering Department
ENSTA - ParisTech
828, Boulevard des Maréchaux
91762 Palaiseau Cedex
Office: R.2.25
Quick links: [
Research
|
Publications
|
Bio
|
Software
|
Teaching
|
Miscellaneous
]
Research
Main research field : how manage uncertainties and provide certification in parameter identification, simulation, modeling, control, etc.
During Phd : certified calibration of a cable-driven robot : parameter identification with simplified model and uncertain measurement
Now :
Guaranteed integration for Differential Algebraic Equations : integration with uncertain initial parameters and additional constraints
Funded by
Chaire "Ingenierie des systemes complexes"
Guaranteed viability kernel computation (project in collaboration with Ensta Bretagne - Luc Jaulin and Dominique Monnet)
Funded by DGA - MRIS
Controller synthesis for switched systems (in collaboration with ENS Cachan - Adrien Le Coent and Laurent Fribourg)
Publications
List of publications on
HAL
;
Scopus
;
DBLP
;
Scholar
;
Supervisor
2015, Douglas Piccani de Souza, Appropriate Design of a Hovercraft, Master thesis
2016, Adeline Rousse, Robust and encrypted communication for a RC plane, Master Internship
2016, Sergio Rodriguez, Experimental platform for multi-robot control, Master Internship
2016, Robin Morier, SAT modulo ode, Master Internship
2016, Lei Zhu, Validated parameter identification of differential equations, Master Internship
2016, Xiang Wang, Design of a UTV, Master Internship
2017, Wangfan Li, Calibration of a Hovercraft, Master thesis
2017, Adrien Bisutti, SAT modulo theory and ODEs, Master thesis
Bio
May 2018 - Now : Associate Professor at ENSTA
March 2014-May 2018 : Postdoctoral researcher at ENSTA
June 2010-September 2013 : Phd student at Inria Sophia-Antipolis (team Coprin-Jean-Pierre Merlet)
June 2007-June 2010 : Project manager in Defense industry
2002-2006 : Engineer student at Polytech'Grenoble
Julien Alexandre dit Sandretto is associate professor in the Semantics of Hybrid System team at ENSTA ParisTech, Palaiseau, France. He is also associate member of the Cosynus team, part of the LIX laboratory at Ecole Polytechnique. He received the Bachelor degree in Applied Mathematics and Computer Science from the University Joseph Fourier, Grenoble, France, in 2002 and the Eng. degree in Industrial Computing and Instrumentation from Polytechnic school of Grenoble, France, in 2006. In 2013, he obtained his Ph.D. degree in Computer Science from University of Nice-Sophia Antipolis, France. His research interests deal with verification methods in presence of uncertainties. He currently focuses on parameter identification, simulation, modeling and control problems for cyber-physical systems.
Software
Dynibex
: First release of our plugin for Ibex allowing validated integration based on explicit and implicit Runge-Kutta schemes
Teaching
IN103 : Algorithmique
Website
SSC310 : Résolution numérique des équations différentielles
Website
IA302 : Programmation par Contraintes
Website
ROB316 : Planification et contrôle
Website
INF6561 : Numerical methods for dynamical systems
Website
Miscellaneous
Chair of SWIM'19
website
Organizer of TNC'18 workshop
TNC'18
Program Committee of CyPhy'17, CyPhy'18 and CyPhy'19
Member of American Mathematical Society
Erdös number 3 (Paul Erdös - Brendan D. McKay - Jean-Pierre Merlet - Me)
contact us
|
access
|
site map
|
about
|
ENSTA intranet
|
UEI intranet
