Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science. - Julien Alexandre Dit Sandretto; Cyprien Nicolas (CoRR, 2013)

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

Interval Methods for Model Qualification: Methodology and Advanced Application. - Julien Alexandre Dit Sandretto; Gilles Trombettoni; David Daney (Math. Comput. Sci., 2014)

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (SynCoP, 2015)

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. - Alexandre Chapoutot; Julien Alexandre Dit Sandretto (NSV@CAV, 2016)

Appropriate Design Guided by Simulation: An Hovercraft Application. - Julien Alexandre Dit Sandretto; Douglas Picciani de Suza; Alexandre Chapoutot (MORSE@RoboCup, 2016)

Control of nonlinear switched systems based on validated simulation. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Laurent Fribourg (CoRR, 2016)

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (IRC, 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 (RP, 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)

Constraint-Based Framework for Reasoning with Differential Equations. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (Cyber-Physical Systems Security, 2018)

An Interval-based Sliding Horizon Motion Planning Method. - Julien Alexandre Dit Sandretto; Elliot Brendel; Alexandre Chapoutot (ADHS, 2018)

Reliable NonLinear Model-Predictive Control via Validated Simulation. - Julien Alexandre Dit Sandretto (ACC, 2018)

Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta. - Julien Alexandre Dit Sandretto; Jian Wan 002 (RP, 2018)

Runge-Kutta Theory and Constraint Programming. - Julien Alexandre Dit Sandretto (CoRR, 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)

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)

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 (CyPhy/WESE, 2019)

Logical Differential Constraints Based on Interval Boolean Tests. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot (IFSA/NAFIPS, 2019)

Set-Membership Computation of Integrals with Uncertain Endpoints. - Olivier Mullier; Julien Alexandre Dit Sandretto (NUMTA (2), 2019)

Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations. - Julien Alexandre Dit Sandretto (CoRR, 2019)

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 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

Abstract domains for constraint programming with differential equations. - Ghiles Ziat; Olivier Mullier; Julien Alexandre Dit Sandretto; Christophe Garion; Alexandre Chapoutot; Xavier Thirioux (NSAD@SAS, 2020)

Cosimulation-Based Control Synthesis. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (SEFM, 2020)

Optimal Switching Instants for the Control of Hybrid Systems. - Olivier Mullier; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (Acta Cybern., 2020)

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 (ACC, 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 001; et al. (ARCH@ADHS, 2021)

Spatio-temporal constrained zonotopes for validation of optimal control problems *. - Etienne Bertin 001; Bruno Hérissé; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (CDC, 2021)

Constraint-based Verification of Formation Control. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Christophe Garion; Xavier Thirioux; Ghiles Ziat (CDC, 2021)

Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics. - Etienne Bertin 001; Elliot Brendel; Bruno Hérissé; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (Acta Cybern., 2021)

Validated Trajectory Tracking using Flatness. - Olivier Mullier; Julien Alexandre Dit Sandretto (Acta Cybern., 2021)

Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations. - Julien Alexandre Dit Sandretto (Acta Cybern., 2021)

Preface. - Julien Alexandre Dit Sandretto; Olivier Mullier; Alexandre Chapoutot (Acta Cybern., 2021)

Experimental Validation of a Guaranteed Nonlinear Model Predictive Control. - Mohamed Fnadi; Julien Alexandre Dit Sandretto (Algorithms, 2021)

Guaranteed master for interval-based cosimulation. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (Softw. Syst. Model., 2021)

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 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

Task and Motion Planning Methods: Applications and Limitations. - Kai Zhang; Eric Lucet; Julien Alexandre Dit Sandretto; Selma Kchir; David Filliat (ICINCO, 2022)

Algorithms for Reliable Estimation, Identification and Control. - Andreas Rauh; Luc Jaulin; Julien Alexandre Dit Sandretto (Algorithms, 2022)

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 001; Mark Wetzlinger; et al. (ARCH, 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)

Overview of Motion Planning Techniques and Their Suitability for an Off-Road Navigation Use-Case. - Lucas Si Larbi; Eric Lucet; Julien Alexandre Dit Sandretto (ICARCV, 2024)

Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking. - Charlotte Govignon; Elliot Brendel; Julien Alexandre Dit Sandretto (ICINCO (1), 2024)

A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Christophe Garion; Xavier Thirioux (Acta Cybern., 2024)

Validated B-series and Runge-Kutta pairs. - Julien Alexandre Dit Sandretto (Numer. Algorithms, 2024)