2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/143673We 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.Dynamical SystemsOptimization and ControlA Lohner-type algorithm for control systems and ordinary differential inclusionstext