Julien Alexandre Dit Sandretto

50 papers A 2B 1C 5Journal 21Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	NAMOUnc: Navigation Among Movable Obstacles with Decision Making on Uncertainty Interval. ICINCO (2) Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Shoubin Chen, David Filliat
2025	J	`jnl`	NAMOUnc: Navigation Among Movable Obstacles with Decision Making on Uncertainty Interval. CoRR Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Shoubin Chen, David Filait
2025	A	`conf`	Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic. IROS Antoine Besset, Julien Alexandre Dit Sandretto, Joris Tillet
2025	J	`jnl`	Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series. ACM Commun. Comput. Algebra Julien Alexandre Dit Sandretto
2025	—	`conf`	Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis. CDC Antoine Besset, Joris Tillet, Julien Alexandre Dit Sandretto
2025	J	`jnl`	Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis. CoRR Antoine Besset, Joris Tillet, Julien Alexandre Dit Sandretto
2024	J	`jnl`	A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations. Acta Cybern. Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux
2024	C	`conf`	Overview of Motion Planning Techniques and Their Suitability for an Off-Road Navigation Use-Case. ICARCV Lucas Si Larbi, Eric Lucet, Julien Alexandre Dit Sandretto
2024	J	`jnl`	Validated B-series and Runge-Kutta pairs. Numer. Algorithms Julien Alexandre Dit Sandretto
2024	C	`conf`	Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking. ICINCO (1) Charlotte Govignon, Elliot Brendel, Julien Alexandre Dit Sandretto
2023	—	`conf`	ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 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
2023	A	`conf`	Navigation Among Movable Obstacles Using Machine Learning Based Total Time Cost Optimization. IROS Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat
2022	—	`conf`	ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP 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
2022	J	`jnl`	Algorithms for Reliable Estimation, Identification and Control. Algorithms Andreas Rauh, Luc Jaulin, Julien Alexandre Dit Sandretto
2022	C	`conf`	Task and Motion Planning Methods: Applications and Limitations. ICINCO Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
2021	—	`conf`	ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 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
2021	J	`jnl`	Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations. Acta Cybern. Julien Alexandre Dit Sandretto
2021	—	`conf`	Constraint-based Verification of Formation Control. CDC Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
2021	J	`jnl`	Experimental Validation of a Guaranteed Nonlinear Model Predictive Control. Algorithms Mohamed Fnadi, Julien Alexandre Dit Sandretto
2021	C	`conf`	Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion. ACC Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Fribourg
2021	J	`jnl`	Guaranteed master for interval-based cosimulation. Softw. Syst. Model. Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2021	J	`jnl`	Preface. Acta Cybern. Julien Alexandre Dit Sandretto, Olivier Mullier, Alexandre Chapoutot
2021	J	`jnl`	Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics. Acta Cybern. Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2021	—	`conf`	Spatio-temporal constrained zonotopes for validation of optimal control problems CDC Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2021	J	`jnl`	Validated Trajectory Tracking using Flatness. Acta Cybern. Olivier Mullier, Julien Alexandre Dit Sandretto
2020	—	`conf`	ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 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
2020	—	`conf`	Abstract domains for constraint programming with differential equations. NSAD@SAS Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
2020	B	`conf`	Cosimulation-Based Control Synthesis. SEFM Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2020	J	`jnl`	Optimal Switching Instants for the Control of Hybrid Systems. Acta Cybern. Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2019	—	`conf`	Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. CyPhy/WESE Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
2019	—	`conf`	Logical Differential Constraints Based on Interval Boolean Tests. IFSA/NAFIPS Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2019	J	`jnl`	Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations. CoRR Julien Alexandre Dit Sandretto
2019	—	`conf`	Set-Membership Computation of Integrals with Uncertain Endpoints. NUMTA (2) Olivier Mullier, Julien Alexandre Dit Sandretto
2018	—	`conf`	An Interval-based Sliding Horizon Motion Planning Method. ADHS Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
2018	J	`jnl`	An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
2018	—	`ch.`	Constraint-Based Framework for Reasoning with Differential Equations. Cyber-Physical Systems Security Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2018	—	`conf`	Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta. RP Julien Alexandre Dit Sandretto, Jian Wan
2018	C	`conf`	Reliable NonLinear Model-Predictive Control via Validated Simulation. ACC Julien Alexandre Dit Sandretto
2018	J	`jnl`	Runge-Kutta Theory and Constraint Programming. CoRR Julien Alexandre Dit Sandretto
2018	J	`jnl`	Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. Optim. Methods Softw. Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
2017	—	`conf`	Distributed Control Synthesis Using Euler's Method. RP Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
2017	—	`conf`	Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. IRC Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2017	J	`jnl`	Solving over-constrained systems of non-linear interval equations - And its robotic application. Appl. Math. Comput. Julien Alexandre Dit Sandretto, Milan Hladík
2016	—	`conf`	Appropriate Design Guided by Simulation: An Hovercraft Application. MORSE@RoboCup Julien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot
2016	J	`jnl`	Control of nonlinear switched systems based on validated simulation. CoRR Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
2016	—	`conf`	Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. NSV@CAV Alexandre Chapoutot, Julien Alexandre Dit Sandretto
2015	—	`conf`	Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. SynCoP Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2014	J	`jnl`	Interval Methods for Model Qualification: Methodology and Advanced Application. Math. Comput. Sci. Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
2013	J	`jnl`	Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science. CoRR Julien Alexandre Dit Sandretto, Cyprien Nicolas
2013	—	`—`	Étalonnage des robots à câbles : identification et qualification. (Certified calibration of parallel cable-driven robots). Julien Alexandre Dit Sandretto