- 全部作者:刘保罗裴海龙李坚强第1作者单位:华南理工大学自动化科学与工程学院论文摘要:抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的'线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间,本文采用定性推...
- 14691
- 全部作者:刘保罗裴海龙张胜祥李坚强第1作者单位:华南理工大学自动化科学与工程学院论文摘要:抽象近似是验证混合系统安全性的.主要方法,模型转换是构造1个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述...
- 17289