Reachability Analysis for Hybrid Systems

The toolbox is also capable to calculate the reachable sets for hybrid systems. All implemented dynamic system classes can be used to describe the different continuous flows for the discrete system states. Further, multiple different methods for the calculation of the intersections with guard sets are implemented in CORA.

Your browser does not support SVG


Let us consider a bouncing ball starting at an initial height \(s_0\) with initial velocity \(v_0\) as visible in the subsequent figure, where the velocity of the ball changes instantaneously when hitting the ground. The code below shows how to model such a ball in CORA. More information can be found in Section 4.3 in the CORA manual.

Your browser does not support SVG

Further examples can be found at ./examples/hybridDynamics on GitHub.

Copyright © 2023 - All Rights Reserved - Technische Universität München
Website by Matthias Althoff, Niklas Kochdumper, Mark Wetzlinger, and Tobias Ladner