The Bouncing Ball Example
System description
System requirements
Simulink model
Hybrid automaton model
CheckMate model
Building the CheckMate Model
Simulation
Explore
Verification