phase-portrait近似相关论文
抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-port......
抽象近似是验证混合系统安全性的主要方法，模型转换是构造一个可判定的（或半判定的）混合自动机采近似原混合自动机。本文将线性phase-......
