特点是有Zeno行为。Zeno行为有严格的数学定义，可以大致描述为系统在有限时间内进行了无限次的「跳跃」。在此例中，弹跳球每次碰到地面，就会损失能量，因此之后碰到地面的时间间隔也就会越来越接近。
混合系统的验证.有关混合系统的形式验证，有些方法可以自动证明一些混合系统的特性，验证混合系统安全性的常用工具包括可到达集的计算、以及。大部份的验证工作都是不可判定问题，因此没有办法找出通用的验证演算法。不过，这些工具会在指标性问题上展现其分析能力。这些可以验证所有强健案例的混合系统验证