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

2007/12/06 by Tomasz Kapela, Piotr Zgliczyński, Kapela, Tomasz +1
Engineering · Mathematics · #Control and Stability of Dynamical Systems #Dynamical Systems (math.DS) #FOS: Mathematics #Numerical methods for differential equations #Optimization and Control (math.OC) #Stability and Control of Uncertain Systems #math.DS #math.OC

paper · pdf · doi:10.48550/arxiv.0712.0910

arxiv created 2007/12/06 · openalex publication_date 2007/12/06 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• The logarithmic norm. History and modern theory

Related

• Explicit bounds for solutions to optimal control problems
• A linear programming approach to approximating the infinite time reachable set of strictly stable linear control systems
• Algorithms yield upper bounds in differential algebra
• Computing control invariant sets is easy
• Higher Order Methods for Differential Inclusions