ARCHITECTURE
behaviour OF bouncing_ball IS
BEGIN
pos'dot ==
vel; -- announce discontinuity and reset velocity
value
BREAK vel
=> -vel WHEN NOT pos'above( 0.0);
IF vel > 0.0 USE
vel'dot
== -g/m - vel** 2* air_res;
else
vel'dot
== -g/m + vel** 2* air_res;
END
use;
END ARCHITECTURE;