Julien Alexandre dit Sandretto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Symbolic computation of local truncation error for approximate B-series-based validated simulation	2026-02-06	Paper
Validated B-series and Runge-Kutta pairs Numerical Algorithms	2024-06-21	Paper
Validated trajectory tracking using flatness	2021-06-25	Paper
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics Acta Cybernetica	2021-06-25	Paper
Confidence-based contractor, propagation and potential clouds for differential equations Acta Cybernetica	2021-06-25	Paper
Optimal Switching Instants for the Control of Hybrid Systems Acta Cybernetica	2020-10-02	Paper
Set-Membership Computation of Integrals with Uncertain Endpoints Lecture Notes in Computer Science	2020-09-22	Paper
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis	2019-10-24	Paper
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations	2019-10-23	Paper
Solving over-constrained systems of non-linear interval equations -- and its robotic application Applied Mathematics and Computation	2019-04-29	Paper
An improved algorithm for the control synthesis of nonlinear sampled switched systems Formal Methods in System Design	2018-11-15	Paper
Reachability analysis of nonlinear ODEs using polytopic based validated Runge-Kutta	2018-10-23	Paper
Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation Optimization Methods & Software	2018-10-09	Paper
Runge-Kutta Theory and Constraint Programming	2018-04-13	Paper
Distributed control synthesis using Euler's method	2017-12-20	Paper
Interval methods for model qualification: methodology and advanced application Mathematics in Computer Science	2014-11-27	Paper

Research outcomes over time

This page was built for person: Julien Alexandre dit Sandretto