Skip to Main content
Number of documents

49

Julien Alexandre dit Sandretto


Journal articles9 documents

  • Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Guaranteed master for interval-based cosimulation. Software and Systems Modeling, Springer Verlag, 2021, ⟨10.1007/s10270-020-00858-7⟩. ⟨hal-03158710⟩
  • Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods in System Design, Springer Verlag, 2018, 53 (3), pp.363-383. ⟨hal-01399337v2⟩
  • Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot. An Interval-based Sliding Horizon Motion Planning Method. IFAC-PapersOnLine, Elsevier, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩. ⟨hal-01992048⟩
  • Julien Alexandre Dit Sandretto. Runge–Kutta Theory and Constraint Programming. Reliable Computing Journal, 2017. ⟨hal-01762191⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties . Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88. ⟨hal-01762205⟩
  • Julien Alexandre Dit Sandretto, Milan Hladïk. Solving over-constrained systems of non-linear interval equations – And its robotic application. Applied Mathematics and Computation, Elsevier, 2017, 313, pp.180 - 195. ⟨10.1016/j.amc.2017.05.077⟩. ⟨hal-01762199⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods. Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22. ⟨hal-01243044⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22. ⟨hal-01243053⟩
  • Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney. Interval Methods for Model Qualification: Methodology and Advanced Application. Mathematics in Computer Science, Springer, 2014, 8 (3-4), pp.479-493. ⟨10.1007/s11786-014-0210-0⟩. ⟨hal-01057364⟩

Conference papers23 documents

  • Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Cosimulation-based control synthesis. Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩. ⟨hal-03035228⟩
  • Julien Alexandre Dit Sandretto. Confidence-based Contractor, Propagation and Potential Cloud for Differential Equations. Summer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France. ⟨hal-02372155⟩
  • Etienne Bertin, Elliot Brendel, Bruno Hérissé, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics. Summer Workshop on Interval methods, Jul 2019, Palaiseau, France. ⟨hal-02372308⟩
  • Olivier Mullier, Julien Alexandre Dit Sandretto. Set-membership computation of integrals with uncertain endpoints. NUMTA 2019, Jun 2019, Le Castella village, Italy. ⟨hal-02372387⟩
  • Olivier Mullier, Julien Alexandre Dit Sandretto. Computation of integrals with interval endpoints. SWIM 2019, Jul 2019, Versailles - Palaiseau, France. ⟨hal-02511927⟩
  • Julien Alexandre Dit Sandretto. Validated Runge-Kutta Methods for Initial Value Problems. ANODE, Feb 2018, Auckland, New Zealand. ⟨hal-01762196⟩
  • Julien Alexandre Dit Sandretto. Reliable NonLinear Model-Predictive Control via Validated Simulation. 2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614. ⟨hal-01992052⟩
  • Julien Alexandre Dit Sandretto. Adjoint Function as Bisection Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations. OMS, Dec 2017, La Havane, Cuba. ⟨hal-01762198⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩. ⟨hal-01490364⟩
  • 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. ⟨hal-01450917⟩
  • Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot. Appropriate Design Guided by Simulation: An Hovercraft Application. Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩. ⟨hal-01304012⟩
  • 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. ⟨hal-01376456⟩
  • 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. ⟨10.1109/SNR.2016.7479377⟩. ⟨hal-01304292⟩
  • 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. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩. ⟨hal-01383584⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Simulation of Differential Algebraic Equations. Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. ⟨hal-01164474⟩
  • 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, 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. ⟨hal-01371484⟩
  • 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. ⟨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. ⟨lirmm-00737638⟩
  • Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney. Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots. EUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain. ⟨hal-00987425⟩

Poster communications1 document

  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. DynIBEX: a Differential Constraint Library for Studying Dynamical Systems. HSCC, Apr 2016, Vienne, Austria. HSCC 2016. ⟨hal-01302504⟩

Book sections7 documents

  • Olivier Mullier, Julien Alexandre Dit Sandretto. Set-Membership Computation of Integrals with Uncertain Endpoints. Numerical Computations: Theory and Algorithms Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II,, pp.169-181, 2020, ⟨10.1007/978-3-030-40616-5_13⟩. ⟨hal-02502363⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Logical Differential Constraints Based on Interval Boolean Tests. Kearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V. IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications, 1000, Springer, Cham, pp.788-792, 2019, ⟨10.1007/978-3-030-21920-8_70⟩. ⟨hal-02146655⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Constraint-Based Framework for Reasoning with Differential Equations. Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩. ⟨hal-01954764⟩
  • Julien Alexandre Dit Sandretto, Jian Wan. Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta. Reachability Problems, pp.1-14, 2018. ⟨hal-01992018⟩
  • Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, et al.. Distributed control synthesis using Euler's method. International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩. ⟨hal-01593225⟩
  • Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney, Gilles Chabert. Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming. Federico Thomas; Alba Perez Gracia. 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⟩

Preprints, Working Papers, ...6 documents

  • Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Guaranteed cosimulation of Cyber-Physical Systems. 2020. ⟨hal-02505237⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche. Towards a Set-based Signal Temporal Logic. 2020. ⟨hal-03084701⟩
  • Julien Alexandre Dit Sandretto. Runge-Kutta Theory and Constraint Programming (Extended version). 2019. ⟨hal-01992000⟩
  • Julien Alexandre Dit Sandretto. Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations. 2019. ⟨hal-02372316⟩
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Survey of what DynIbex can do for you. 2018. ⟨hal-01927784⟩
  • Julien Alexandre Dit Sandretto. Reliable NonLinear Model-Predictive Control via Validated Simulation. 2017. ⟨hal-01584015⟩

Reports3 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, Gilles Trombettoni, David Daney. Interval Methods for Model Qualification: Methodology and Advanced Application. [Research Report] RR-7880, INRIA. 2012, pp.23. ⟨hal-00668950⟩
  • 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⟩