Validated solutions of initial value problems for parametric ODEs

In initial value problems for ODEs with interval-valued parameters and/or initial values, it is desirable in many applications to be able to determine a validated enclosure of all possible solutions to the ODE system. Much work has been done for the case in which initial values are given by intervals, and there are available software packages that deal with this case. However, less work has been done on the case in which parameters are given by intervals. We describe here a new method for obtaining validated solutions of initial value problems for ODEs with interval-valued parameters. The method also accounts for interval-valued initial values. The effectiveness of the method is demonstrated using several numerical examples involving parametric uncertainties.