A Lohner-type algorithm for control systems and ordinary differential inclusions
Tomasz Kapela, Piotr Zgliczy\'nski
TL;DR
This paper introduces a Lohner-type algorithm designed to compute rigorous upper bounds for the reachable sets of control systems, differential inclusions, and perturbed ODEs, enhancing the accuracy of safety verification.
Contribution
The paper presents a novel Lohner-type algorithm tailored for control systems and differential inclusions, improving the computation of reachable sets with rigorous bounds.
Findings
Successfully computes rigorous upper bounds for reachable sets
Applicable to control systems, differential inclusions, and perturbed ODEs
Enhances safety verification in dynamical systems
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNumerical methods for differential equations · Stability and Control of Uncertain Systems · Control and Stability of Dynamical Systems