Julien Alexandre Dit Sandretto

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 35

Top Venues

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Julien Alexandre Dit Sandretto
Validated B-series and Runge-Kutta pairs. Numer. Algorithms 96 (3) (2024)
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat
Navigation Among Movable Obstacles Using Machine Learning Based Total Time Cost Optimization. IROS (2023)
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
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
Task and Motion Planning Methods: Applications and Limitations. ICINCO (2022)
Andreas Rauh, Luc Jaulin, Julien Alexandre Dit Sandretto
Algorithms for Reliable Estimation, Identification and Control. Algorithms 15 (8) (2022)
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
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (2022)
Julien Alexandre Dit Sandretto
Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations. Acta Cybern. 25 (1) (2021)
Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Fribourg
Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion. ACC (2021)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
Constraint-based Verification of Formation Control. CDC (2021)
Julien Alexandre Dit Sandretto, Olivier Mullier, Alexandre Chapoutot
Preface. Acta Cybern. 25 (1) (2021)
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
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics. Acta Cybern. 25 (1) (2021)
Mohamed Fnadi, Julien Alexandre Dit Sandretto
Experimental Validation of a Guaranteed Nonlinear Model Predictive Control. Algorithms 14 (8) (2021)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Guaranteed master for interval-based cosimulation. Softw. Syst. Model. 20 (3) (2021)
Olivier Mullier, Julien Alexandre Dit Sandretto
Validated Trajectory Tracking using Flatness. Acta Cybern. 25 (1) (2021)
Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
. CDC (2021)
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
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Cosimulation-Based Control Synthesis. SEFM (2020)
Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Optimal Switching Instants for the Control of Hybrid Systems. Acta Cybern. 24 (3) (2020)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Logical Differential Constraints Based on Interval Boolean Tests. IFSA/NAFIPS (2019)
Olivier Mullier, Julien Alexandre Dit Sandretto
Set-Membership Computation of Integrals with Uncertain Endpoints. NUMTA (2) (2019)
Julien Alexandre Dit Sandretto
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations. CoRR (2019)
Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. CyPhy/WESE (2019)
Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
An Interval-based Sliding Horizon Motion Planning Method. ADHS (2018)
Julien Alexandre Dit Sandretto
Reliable NonLinear Model-Predictive Control via Validated Simulation. ACC (2018)
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. Optim. Methods Softw. 33 (4-6) (2018)
Julien Alexandre Dit Sandretto, Jian Wan
Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta. RP (2018)
Julien Alexandre Dit Sandretto
Runge-Kutta Theory and Constraint Programming. CoRR (2018)
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 Syst. Des. 53 (3) (2018)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
Distributed Control Synthesis Using Euler's Method. RP (2017)
Julien Alexandre Dit Sandretto, Milan Hladík
Solving over-constrained systems of non-linear interval equations - And its robotic application. Appl. Math. Comput. 313 (2017)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. IRC (2017)
Julien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot
Appropriate Design Guided by Simulation: An Hovercraft Application. MORSE@RoboCup (2016)
Alexandre Chapoutot, Julien Alexandre Dit Sandretto
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. NSV@CAV (2016)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
Control of nonlinear switched systems based on validated simulation. CoRR (2016)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. SynCoP (2015)
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
Interval Methods for Model Qualification: Methodology and Advanced Application. Math. Comput. Sci. 8 (3-4) (2014)
Julien Alexandre Dit Sandretto, Cyprien Nicolas
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science. CoRR (2013)

Julien Alexandre Dit Sandretto.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julien Alexandre Dit Sandretto