Reachability analysis for hybrid systems with nonlinear guard sets
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control Sydney New South Wales Australia April, 2020, pp. 1-10, 2020.
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
Full Text (Upload PDF)
PPT (Upload PPT)