TY - GEN
T1 - Reachability analysis for hybrid systems with nonlinear guard sets
AU - Kochdumper, Niklas
AU - Althoff, Matthias
N1 - Publisher Copyright:
© 2020 ACM.
PY - 2020/4/22
Y1 - 2020/4/22
N2 - 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.
AB - 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.
KW - hybrid systems
KW - nonlinear level sets
KW - taylor models polynomial zonotopes
UR - http://www.scopus.com/inward/record.url?scp=85086528212&partnerID=8YFLogxK
U2 - 10.1145/3365365.3382194
DO - 10.1145/3365365.3382194
M3 - Conference contribution
AN - SCOPUS:85086528212
T3 - HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week
BT - HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems
PB - Association for Computing Machinery, Inc
T2 - 23rd 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
Y2 - 21 April 2020 through 24 April 2020
ER -