Reachability analysis for hybrid systems with nonlinear guard sets

Niklas Kochdumper, Matthias Althoff

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

19 Scopus citations

Abstract

Reachability analysis is one of the most important methods for formal verification of hybrid systems. The main difficulty for hybrid system reachability analysis is to calculate the intersection between reachable set and guard sets. While there exist several approaches for guard sets defined by hyperplanes or polytopes, only few methods are able to handle nonlinear guard sets. In this work we present a novel approach to tightly enclose the intersections of reachable sets with nonlinear guard sets. One major advantage of our method is its polynomial complexity with respect to the system dimension, which makes it applicable for high-dimensional systems. Furthermore, our approach can be combined with different reachability algorithms for continuous systems due to its modular design. We demonstrate the advantages of our novel approach compared to existing methods with numerical examples.

Original languageEnglish
Title of host publicationHSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems
Subtitle of host publicationComputation and Control ,part of CPS-IoT Week
PublisherAssociation for Computing Machinery, Inc
ISBN (Electronic)9781450370189
DOIs
StatePublished - 22 Apr 2020
Event23rd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2020, held as part of the 13th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2020 - Sydney, Australia
Duration: 21 Apr 202024 Apr 2020

Publication series

NameHSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week

Conference

Conference23rd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2020, held as part of the 13th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2020
Country/TerritoryAustralia
CitySydney
Period21/04/2024/04/20

Keywords

  • hybrid systems
  • nonlinear level sets
  • taylor models polynomial zonotopes

Fingerprint

Dive into the research topics of 'Reachability analysis for hybrid systems with nonlinear guard sets'. Together they form a unique fingerprint.

Cite this