hybrid automata, hybrid systems, MATLAB, reachability, safety, Simulink, Stateflow, tools, verification.
