地面，就会损失能量，因此之后碰到地面的时间间隔也就会越来越接近。
混合系统的验证.有关混合系统的形式验证，有些方法可以自动证明一些混合系统的特性，验证混合系统安全性的常用工具包括可到达集的计算、以及。大部份的验证工作都是不可判定问题，因此没有办法找出通用的验证演算法。不过，这些工具会在指标性问题上展现其分析能力。这些可以验证所有强健案例的混合系统验证法带来一个可能的理论性结论：混合系统中的许多问题虽然是不可判定的，但至少是准可判定的。
其他建模方式.基