An interval approach to solve an initial value problem
Thomas Le Mézo, Luc Jaulin, Benoît Zerr · AIP conference proceedings · 2016
This paper proposes an original guaranteed interval-based method to solve an Initial Value Problem (IVP) for ordinary differential equations (ODE). Our method uses the geometrical properties of the vector field given by the ODE and a state space discretization to compute an enclosure of the trajectories set that verifies the IVP problem.