This Continuous Time model uses a Finite State Machine and the GR domain to simulate a bouncing ball.
BouncingBall is available as:
This continuous-time model uses a modal model to simulate a bouncing ball and the GR domain to animate it.
This is a classic example of a Zeno system, where an infinite number of bounce events occur in a finite time. Open the Ball Model to see how it is implemented.