Bracketing the solutions of an ordinary differential equation with uncertain initial conditions

In this paper, we present a new method for bracketing (i.e., characterizing from inside and from outside) all solutions of an ordinary differential equation in the case where the initial time is inside an interval and the initial state is inside a box. The principle of the approach is to cast the problem into bracketing the largest positive invariant set which is included inside a given set X. Although there exists an efficient algorithm to solve this problem when X is bounded, we need to adapt it to deal with cases where X is unbounded.