Hybrid Simulation Safety:
Limbos and Zero Crossings

Please find below examples that appear in the following paper:

David Broman. Hybrid Simulation Safety: Limbos and Zero Crossings. To appear in the Proceedings of the Edward A. Lee Festschrift, Springer, October 2017.

A preprint is available here.

Models

The following Modelica and Ptolemy models appeared in the paper:

• Section 2.1. Modelica model: BouncingBall.mo
• Section 2.2. Modelica model: CollidingBalls.mo
• Section 3.2. Modelica model: SafeBouncingBallFinal.mo
• Section 3.2. Ptolemy II model: SafeBouncingBall.xml

The models have been testen in OpenModelica and Ptolemy II.