The Bouncing Ball Example

 

System description

System requirements

Simulink model

Hybrid automaton model

CheckMate model

Building the CheckMate Model

Simulation

Explore

Verification

Back To Main