混合自动机的多项式phase-portrait近似

摘要：

抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机.本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述了如何自动构造多项式phase-portrait近似自动机及如何精化近似模型.

关键词：混合自动机、弱时间模拟、phase-portrait近似

所属期刊栏目：35

分类号：TP3;TH

资助基金：国家自然科学基金6037403660574004;广东省自然科学基金031407

在线出版日期：2008-07-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：180-183