|
|
控制理论与应用 2010
基于定性推理的矩形phase-portrait近似DOI: 10.7641/j.issn.1000-8152.2010.3.CCTA080554 Keywords: 混合自动机,时间模拟,phase-portrait近似 Abstract: 矩形phase-portrait近似的关键是控制模态的有效划分.本文提出了基于定性推理的phase-portrait近似,给出了一种基于向量场、感兴趣多项式及其李导数动态特性的模态空间划分方法,并进一步给出了基于精化多项式的抽象模型精化方法.实验结果表明,基于定性推理划分的phase-portrait近似验证明显地减少了模态空间的划分数目,提高了验证的效率.
|
