Julien Alexandre Dit Sandretto

According to our database, Julien Alexandre Dit Sandretto authored at least 40 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Validated B-series and Runge-Kutta pairs.

Julien Alexandre Dit Sandretto

Numer. Algorithms, July, 2024

2023

Navigation Among Movable Obstacles Using Machine Learning Based Total Time Cost Optimization.

Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat

IROS, 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Algorithms for Reliable Estimation, Identification and Control.

Andreas Rauh, Luc Jaulin, Julien Alexandre Dit Sandretto

Algorithms, 2022

Task and Motion Planning Methods: Applications and Limitations.

Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat

Proceedings of the 19th International Conference on Informatics in Control, 2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Guaranteed master for interval-based cosimulation.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Softw. Syst. Model., 2021

Experimental Validation of a Guaranteed Nonlinear Model Predictive Control.

Mohamed Fnadi, Julien Alexandre Dit Sandretto

Algorithms, 2021

Preface.

Julien Alexandre Dit Sandretto, Olivier Mullier, Alexandre Chapoutot

Acta Cybern., 2021

Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations.

Julien Alexandre Dit Sandretto

Acta Cybern., 2021

Validated Trajectory Tracking using Flatness.

Olivier Mullier, Julien Alexandre Dit Sandretto

Acta Cybern., 2021

Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics.

Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Acta Cybern., 2021

Constraint-based Verification of Formation Control.

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Spatio-temporal constrained zonotopes for validation of optimal control problems ^*.

Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion.

Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Fribourg

Proceedings of the 2021 American Control Conference, 2021

2020

Optimal Switching Instants for the Control of Hybrid Systems.

Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Acta Cybern., 2020

Cosimulation-Based Control Synthesis.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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 P. Sanders, Christian Schilling

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations.

Julien Alexandre Dit Sandretto

CoRR, 2019

Set-Membership Computation of Integrals with Uncertain Endpoints.

Olivier Mullier, Julien Alexandre Dit Sandretto

Proceedings of the Numerical Computations: Theory and Algorithms, 2019

Logical Differential Constraints Based on Interval Boolean Tests.

Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Proceedings of the Fuzzy Techniques: Theory and Applications, 2019

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems.

Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation.

Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto

Optim. Methods Softw., 2018

An improved algorithm for the control synthesis of nonlinear sampled switched systems.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg

Formal Methods Syst. Des., 2018

Runge-Kutta Theory and Constraint Programming.

Julien Alexandre Dit Sandretto

CoRR, 2018

Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta.

Julien Alexandre Dit Sandretto, Jian Wan

Proceedings of the Reachability Problems - 12th International Conference, 2018

Reliable NonLinear Model-Predictive Control via Validated Simulation.

Julien Alexandre Dit Sandretto

Proceedings of the 2018 Annual American Control Conference, 2018

An Interval-based Sliding Horizon Motion Planning Method.

Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Constraint-Based Framework for Reasoning with Differential Equations.

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier

Proceedings of the Cyber-Physical Systems Security., 2018

2017

Solving over-constrained systems of non-linear interval equations - And its robotic application.

Julien Alexandre Dit Sandretto, Milan Hladík

Appl. Math. Comput., 2017

Distributed Control Synthesis Using Euler's Method.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin

Proceedings of the Reachability Problems - 11th International Workshop, 2017

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties.

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2016

Control of nonlinear switched systems based on validated simulation.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg

CoRR, 2016

Appropriate Design Guided by Simulation: An Hovercraft Application.

Julien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot

Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 2016

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon.

Alexandre Chapoutot, Julien Alexandre Dit Sandretto

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis.

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

2014

Interval Methods for Model Qualification: Methodology and Advanced Application.

Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney

Math. Comput. Sci., 2014

2013

Étalonnage des robots à câbles : identification et qualification. (Certified calibration of parallel cable-driven robots).

Julien Alexandre Dit Sandretto

PhD thesis, 2013

Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science.

Julien Alexandre Dit Sandretto, Cyprien Nicolas

CoRR, 2013