Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

Erika Ábrahám, Sergiy Bogomolov

Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of it…