1A Novel Interval Method for Validating State Enclosures of the Solution of Initial Value Problems

In this paper, VALENCIA-IVP, a novel approach for VALidation of state ENClosures using Interval Arithmetic for Initial Value Problems, is presented to determine guaranteed state enclosures. The algorithm is based on the computation of non-validated approximate solutions followed by an interval arithmetic fixed-point iteration for enclosing the approximation error. The performance of VALENCIA-IVP is compared with other validated solvers for dynamical systems with uncertain but bounded initial states. I