掉到地面。若formula_6，「跳跃」的统御方程为formula_7,其中formula_8为耗散系数。方程式是当高度为零（和地面碰撞）时，其速度符号会相反，且会以formula_9的比例减少。这也是非弹性碰撞的特性。弹跳球系统的特点是有Zeno行为。Zeno行为有严格的数学定义，可以大致描述为系统在有限时间内进行了无限次的「跳跃」。在此例中，弹跳球每次碰到地面，就会损失能量，因此之后碰到地面的时间间隔也就会越来越接近。
混合系统的验证.有关混合系统的形式验证，有些方