2024
Communication dans un congrès
- titre
- Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking
- auteur
- Charlotte Govignon, Elliot Brendel, Julien Alexandre Dit Sandretto
- article
- 21st International Conference on Informatics in Control, Automation and Robotics, Nov 2024, Porto, France. pp.660-667, ⟨10.5220/0012939400003822⟩
- Accès au bibtex
-
- titre
- Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence Parameter
- auteur
- Joris Tillet, Julien Alexandre dit Sandretto, Elena Vanneaux
- article
- CCC 2024 - Continuity, Computability, Constructivity From Logic to Algorithms, Oct 2024, Nice, France
- Accès au texte intégral et bibtex
-
- titre
- Interval Methods applied to Signal Temporal Logic - Overview and Extension on Tubes
- auteur
- Joris Tillet, Julien Alexandre dit Sandretto, Elena Vanneaux
- article
- Summer Workshop on Interval Methods (SWIM) 2024, Jun 2024, Maastricht, Netherlands
- Accès au texte intégral et bibtex
-
Proceedings/Recueil des communications
- titre
- ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Joris Tillet, Christian Schilling, Mark Wetzlinger
- article
- Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, pp.39-13, 2024, ⟨10.29007/21ch⟩
- Accès au bibtex
-
2023
Article dans une revue
- titre
- Validated B-series and Runge-Kutta pairs
- auteur
- Julien Alexandre Dit Sandretto
- article
- Numerical Algorithms, 2023, ⟨10.1007/s11075-023-01697-5⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- TRAJECTORY MONITORING FOR A DRONE USING INTERVAL ANALYSIS
- auteur
- Sylvain Largent, Julien Alexandre Dit Sandretto
- article
- Workshop on Planning, Perception and Navigation for Intelligent Vehicles (PPNIV'22), Philippe Martinet, Oct 2023, Kyoto, Japan
- Accès au texte intégral et bibtex
-
- titre
- Navigation among movable obstacles using machine learning based total time cost optimization
- auteur
- Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat
- article
- IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2023, Detroit (MI), United States
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- A review of classical and learning based approaches in task and motion planning
- auteur
- Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
- article
- Informatics in Control, Automation and Robotics, LNCS-836, Springer International Publishing, pp.83-99, 2023, Lecture Notes in Networks and Systems, ⟨10.1007/978-3-031-48303-5_5⟩
- Accès au texte intégral et bibtex
-
2022
Article dans une revue
- titre
- Set-Based B-Series
- auteur
- Julien Alexandre Dit Sandretto
- article
- Mathematics , 2022, 10 (17), pp.3165. ⟨10.3390/math10173165⟩
- Accès au bibtex
-
- titre
- Algorithms for Reliable Estimation, Identification and Control
- auteur
- Andreas Rauh, Luc Jaulin, Julien Alexandre Dit Sandretto
- article
- Algorithms, 2022, 15 (8), pp.276. ⟨10.3390/a15080276⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Task and motion planning methods: applications and limitations
- auteur
- Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
- article
- ICINCO 2022 - 19th International Conference on Informatics in Control, Automation and Robotics, Jul 2022, Lisbonne, Portugal. pp.476-483, ⟨10.5220/0011314000003271⟩
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
- auteur
- François Pessaux, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- [Research Report] Ensta ParisTech. 2022
- Accès au texte intégral et bibtex
-
2021
Article dans une revue
- titre
- Experimental Validation of a Guaranteed Nonlinear Model Predictive Control
- auteur
- Mohamed Fnadi, Julien Alexandre Dit Sandretto
- article
- Algorithms, 2021, 14 (8), pp.248. ⟨10.3390/a14080248⟩
- Accès au bibtex
-
- titre
- Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations
- auteur
- Julien Alexandre Dit Sandretto
- article
- Acta Cybernetica, 2021, 25 (1), pp.49-68. ⟨10.14232/actacyb.285177⟩
- Accès au bibtex
-
- titre
- Validated Trajectory Tracking using Flatness
- auteur
- Julien Alexandre Dit Sandretto, Olivier Mullier
- article
- Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩
- Accès au bibtex
-
- titre
- Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
- auteur
- Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed master for interval-based cosimulation
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Julien Alexandre Dit Sandretto, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat, Luca Geretti, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David Sanders, Christian Schilling, Mark Wetzlinger
- article
- 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
- Accès au bibtex
-
- titre
- Constraint-based Verification of Formation Control
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
- article
- 2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
- Accès au bibtex
-
- titre
- Spatio-temporal constrained zonotopes for validation of optimal control problems
- auteur
- Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- CDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States. pp.6708-6713, ⟨10.1109/CDC45484.2021.9683301⟩
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion
- auteur
- Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Pribourg
- article
- 2021 American Control Conference (ACC), May 2021, New Orleans, France. pp.3920-3926, ⟨10.23919/ACC50511.2021.9483185⟩
- Accès au bibtex
-
2020
Article dans une revue
- titre
- Optimal Switching Instants for the Control of Hybrid Systems
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Abstract domains for constraint programming with differential equations
- auteur
- Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
- article
- NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
- Accès au bibtex
-
- titre
- Cosimulation-based control synthesis
- auteur
- Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
- Accès au bibtex
-
- titre
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David Sanders, Christian Schilling
- article
- ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Set-Membership Computation of Integrals with Uncertain Endpoints
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto
- article
- 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⟩
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- Towards a Set-based Signal Temporal Logic
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
- article
- 2020
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed cosimulation of Cyber-Physical Systems
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 2020
- Accès au texte intégral et bibtex
-
2019
Communication dans un congrès
- titre
- Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
- auteur
- Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
- article
- 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics
- auteur
- Etienne Bertin, Elliot Brendel, Bruno Hérissé, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- Summer Workshop on Interval methods, Jul 2019, Palaiseau, France
- Accès au texte intégral et bibtex
-
- titre
- Computation of integrals with interval endpoints
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto
- article
- SWIM 2019, Jul 2019, Versailles - Palaiseau, France
- Accès au texte intégral et bibtex
-
- titre
- Confidence-based Contractor, Propagation and Potential Cloud for Differential Equations
- auteur
- Julien Alexandre Dit Sandretto
- article
- Summer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France
- Accès au texte intégral et bibtex
-
- titre
- Set-membership computation of integrals with uncertain endpoints
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto
- article
- NUMTA 2019, Jun 2019, Le Castella village, Italy
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Logical Differential Constraints Based on Interval Boolean Tests
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
- auteur
- Julien Alexandre Dit Sandretto
- article
- 2019
- Accès au bibtex
-
- titre
- Runge-Kutta Theory and Constraint Programming (Extended version)
- auteur
- Julien Alexandre Dit Sandretto
- article
- 2019
- Accès au bibtex
-
2018
Article dans une revue
- titre
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
- article
- Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
- auteur
- Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩
- Accès au texte intégral et bibtex
-
- titre
- An Interval-based Sliding Horizon Motion Planning Method
- auteur
- Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
- article
- IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Instants de commutation optimaux pour la commande de systèmes hybrides
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- 11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
- Accès au texte intégral et bibtex
-
- titre
- Reliable NonLinear Model-Predictive Control via Validated Simulation
- auteur
- Julien Alexandre Dit Sandretto
- article
- 2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614
- Accès au bibtex
-
- titre
- Validated Runge-Kutta Methods for Initial Value Problems
- auteur
- Julien Alexandre Dit Sandretto
- article
- ANODE, Feb 2018, Auckland, New Zealand
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Constraint-Based Framework for Reasoning with Differential Equations
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
- Accès au bibtex
-
- titre
- Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta
- auteur
- Julien Alexandre Dit Sandretto, Jian Wan
- article
- Reachability Problems, pp.1-14, 2018
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- Survey of what DynIbex can do for you
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- 2018
- Accès au texte intégral et bibtex
-
2017
Article dans une revue
- titre
- Solving over-constrained systems of non-linear interval equations – And its robotic application
- auteur
- Julien Alexandre Dit Sandretto, Milan Hladïk
- article
- Applied Mathematics and Computation, 2017, 313, pp.180 - 195. ⟨10.1016/j.amc.2017.05.077⟩
- Accès au bibtex
-
- titre
- Runge–Kutta Theory and Constraint Programming
- auteur
- Julien Alexandre Dit Sandretto
- article
- Reliable Computing Journal, 2017
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88
- Accès au bibtex
-
Communication dans un congrès
- titre
- Adjoint Function as Bisection Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
- auteur
- Julien Alexandre Dit Sandretto
- article
- OMS, Dec 2017, La Havane, Cuba
- Accès au texte intégral et bibtex
-
- titre
- Robust Motion Planning Based on Sliding Horizon and Validated Simulation
- auteur
- Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Interval-based QuickXplain Algorithm
- auteur
- Adrien Bisutti, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Rémi Delmas
- article
- 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Distributed control synthesis using Euler's method
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, Ludovic Chamoin
- article
- International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Reliable NonLinear Model-Predictive Control via Validated Simulation
- auteur
- Julien Alexandre Dit Sandretto
- article
- 2017
- Accès au texte intégral et bibtex
-
- titre
- Robust Motion Planning Based on Sliding Horizon and Validated Simulation *
- auteur
- Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 2017
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- titre
- Validated Explicit and Implicit Runge-Kutta Methods
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
- Accès au texte intégral et bibtex
-
- titre
- Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Runge-Kutta Theory and Constraint Programming
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden
- Accès au texte intégral et bibtex
-
- titre
- Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
- auteur
- Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
- Accès au bibtex
-
- titre
- Appropriate Design Guided by Simulation: An Hovercraft Application
- auteur
- Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot
- article
- Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
- Accès au texte intégral et bibtex
-
- titre
- Contraction, propagation and bisection on a validated simulation of ODE
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Summer Workshop on Interval Methods, Jun 2016, Lyon, France
- Accès au texte intégral et bibtex
-
- titre
- DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
- Accès au bibtex
-
- titre
- DynBEX: a Differential Constraint Library for Studying Dynamical Systems
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
- Accès au texte intégral et bibtex
-
- titre
- Control of Nonlinear Switched Systems Based on Validated Simulation
- auteur
- Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
- article
- International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩
- Accès au bibtex
-
Poster de conférence
- titre
- Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
- auteur
- Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom.
- Accès au texte intégral et bibtex
-
- titre
- DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- HSCC, Apr 2016, Vienne, Austria. , HSCC 2016
- Accès au texte intégral et bibtex
-
2015
Communication dans un congrès
- titre
- Inner and Outer Computation of the Viability Kernel based on Interval Analysis
- auteur
- Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
- Accès au bibtex
-
- titre
- Viability kernel computation based on interval methods
- auteur
- Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
- Accès au bibtex
-
- titre
- Validated Simulation of Differential Algebraic Equations
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
- Accès au bibtex
-
- titre
- Validated Explicit and Implicit Runge-Kutta Methods
- auteur
- Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier
- article
- Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
- Accès au texte intégral et bibtex
-
- titre
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
- Accès au bibtex
-
Rapport
- titre
- Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- [Research Report] ENSTA ParisTech. 2015
- Accès au texte intégral et bibtex
-
2014
Article dans une revue
- titre
- Interval Methods for Model Qualification: Methodology and Advanced Application
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
- article
- Mathematics in Computer Science, 2014, 8 (3-4), pp.479-493. ⟨10.1007/s11786-014-0210-0⟩
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney, Gilles Chabert
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2013
Communication dans un congrès
- titre
- Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science
- auteur
- Julien Alexandre Dit Sandretto, Cyprien Nicolas
- article
- CAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Étalonnage des robots à câbles : identification et qualification
- auteur
- Julien Alexandre Dit Sandretto
- article
- Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4059⟩
- Accès au texte intégral et bibtex
-
2012
Communication dans un congrès
- titre
- Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
- article
- EUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Interval Methods for Model Qualification: Methodology and Advanced Application
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
- article
- [Research Report] RR-7880, INRIA. 2012, pp.23
- Accès au texte intégral et bibtex
-
- titre
- Calibration of a fully-constrained parallel cable-driven robot
- auteur
- Julien Alexandre Dit Sandretto, David Daney, Marc Gouttefarde, Cédric Baradat
- article
- [Research Report] RR-7879, INRIA. 2012, pp.21
- Accès au texte intégral et bibtex
-