A Lohner-type algorithm for control systems and ordinary differential inclusions

Pages: 365 - 385, Volume 11, Issue 2, March 2009

doi:10.3934/dcdsb.2009.11.365       Abstract        Full Text (259.0K)       Related Articles

Tomasz Kapela - Jagiellonian University, Institute of Computer Science, Łojasiewicza 6, 30-387 Kraków, Poland (email)
Piotr Zgliczyński - Jagiellonian University, Institute of Computer Science, Łojasiewicza 6, 30-387 Kraków, Poland (email)

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.

Keywords:  rigorous numerics, differential inclusions, control systems, Lohner algorithm
Mathematics Subject Classification:  Primary: 34-04, 34F05, 65L70

Received: December 2007;      Revised: May 2008;      Published: December 2008.