Error Bounds in Parametric Space Interval Arithmetic (Solution of IVPs)
For strict bounds for IVPs in parametric space, we employ validated interval scheme for ODEs [3].
The error in starting point is bounded by an initial interval.
Interval solution represents a family of solutions passing through the initial interval satisfying the governing ODEs.