定性推理在矩形phase—portrait近似中的应用

抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法，叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。