Nombre de documents

27

CV


Article dans une revue3 documents

Communication dans un congrès14 documents

  • Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. Control of Nonlinear Switched Systems Based on Validated Simulation. International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. 2016, <https://snr2016.pages.ist.ac.at>. <10.1109/SNR.2016.7479377>. <hal-01304292>
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. <http://afadl2016.conf.citi-lab.fr>. <hal-01450917>
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Contraction, propagation and bisection on a validated simulation of ODE. Summer Workshop on Interval Methods, Jun 2016, Lyon, France. <hal-01325068>
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Runge-Kutta Theory and Constraint Programming. International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden. <http://www.math.uu.se/scan2016/>. <hal-01376456>
  • Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. Springer Verlag, Lecture Notes in Computer Science, 10152, pp.52-62, International Workshop on Numerical Software Verification. <http://nsv2016.pages.ist.ac.at>. <10.1007/978-3-319-54292-8_5>. <hal-01383584>
  • Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier. Validated Explicit and Implicit Runge-Kutta Methods. Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. <hal-01111240v2>
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Simulation of Differential Algebraic Equations. Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. 2015. <hal-01164474>
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. <10.4230/OASIcs.SynCoP.2015.91>. <hal-01272513>
  • Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis. International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom. <hal-01371498>
  • Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Viability kernel computation based on interval methods. Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. 2015. <hal-01371484>
  • Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney, Gilles Chabert. Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming. CK: Computational Kinematics, May 2013, Barcelona, Spain. 6th International Workshop on Computational Kinematics, 2013, <10.1007/978-94-007-7214-4_24>. <hal-00912924>
  • Julien Alexandre Dit Sandretto, Cyprien Nicolas. Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science. CAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France. 2013. <hal-00862752>
  • Dit Sandretto Julien Alexandre, David Daney, Marc Gouttefarde. Calibration of a Fully-Constrained Parallel Cable-Driven Robot. ROMANSY'2012: 19th CISM-IFToMM Symposium on Robot Design, Dynamics, and Control, Paris, France. pp.1-8, 2012, <http://romansy2012.isir.upmc.fr/>. <lirmm-00737638>
  • Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney. Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots. EUCOMES, Sep 2012, Santander, Spain. 4th European Conference on Mechanism Science, 2012. <hal-00987425>

Poster1 document

Chapitre d'ouvrage2 documents

  • Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney, Gilles Chabert. Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming. Thomas, Federico; Perez Gracia, Alba. 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>. <hal-00907499>
  • Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney. Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots. 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>. <hal-00907510>

Pré-publication, Document de travail3 documents

  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. 2017. <hal-01490364>
  • Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. Control of nonlinear switched systems based on validated simulation. 2016. <hal-01399337>
  • Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot. Appropriate Design Guided by Simulation: An Hovercraft Application. 2016. <hal-01304012>

Rapport3 documents

  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes. [Research Report] ENSTA ParisTech. 2015. <hal-01107685v6>
  • Julien Alexandre Dit Sandretto, David Daney, Marc Gouttefarde, Cédric Baradat. Calibration of a fully-constrained parallel cable-driven robot. [Research Report] RR-7879, INRIA. 2012, pp.21. <hal-00668921>
  • Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney. Interval Methods for Model Qualification: Methodology and Advanced Application. [Research Report] RR-7880, INRIA. 2012, pp.23. <hal-00668950>

Thèse1 document

  • Julien Alexandre Dit Sandretto. Étalonnage des robots à câbles : identification et qualification. Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. <NNT : 2013NICE4059>. <tel-00933816>