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.
keywords in English:
rigorous numerics, differential inclusions, control systems, Lohner algorithm
affiliation:
Wydział Matematyki i Informatyki : Instytut Informatyki i Matematyki Komputerowej