基于离散抽象的分段线性混合动力系统的安全性和可达性

混合系统对离散开关和连续动态进行建模，适用于表示离散控制器与物理设备交互的嵌入式系统。

关系抽象是验证混合系统的一种新方法。在…中。。。

本文描述了一个被称为d/dt的实验系统，用于逼近由线性微分方程定义的连续动力学混合系统的可达状态。我们使用一种近似算法，其误差累积。。。

现有的线性混合系统可达性分析技术不能很好地扩展到实际感兴趣的问题规模。现有技术在分析多个线性组合的可达性时性能更差。。。