Reachability analysis for hybrid systems with nonlinear guard sets

Niklas Kochdumper
Niklas Kochdumper

HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control Sydney New South Wales Australia April, 2020, pp. 1-10, 2020.

Cited by: 0|Bibtex|Views0|Links
EI

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 a...More

Code:

Data:

Your rating :
0

 

Tags
Comments