基于定性推理的矩形phase-portrait近似

摘要：

矩形phase-portralt近似的关键是控制模态的有效划分.本文提出了基于定性推理的phase-portrait近似,给出了一种基于向量场、感兴趣多项式及其李导数动态特性的模态空间划分方法,并进一步给出了基于精化多项式的抽象模犁精化方法.实验结果表明,基于定性推理划分的phase-portrait近似验证明显地减少了模态空间的划分数目,提高了验证的效率.

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

所属期刊栏目：27

分类号：TP271(自动化技术及设备)

资助基金：国家自然科学基金重点资助项目60736024

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

页数：共6页

页码：317-322