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.

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.

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