A Lohner-type algorithm for control systems and ordinary differential inclusions
arXiv:0712.0910
Abstract
We describe a Lohner-type algorithm for the computation of rigorous upper bounds for reachable set for control systems, solutions of ordinary differential inclusions and perturbations of ODEs.