%0 Journal Article
%T 基于定性推理的矩形phase-portrait近似
%A 刘保罗
%A 裴海龙
%J 控制理论与应用
%D 2010
%R 10.7641/j.issn.1000-8152.2010.3.CCTA080554
%X 矩形phase-portrait近似的关键是控制模态的有效划分.本文提出了基于定性推理的phase-portrait近似,给出了一种基于向量场、感兴趣多项式及其李导数动态特性的模态空间划分方法,并进一步给出了基于精化多项式的抽象模型精化方法.实验结果表明,基于定性推理划分的phase-portrait近似验证明显地减少了模态空间的划分数目,提高了验证的效率.
%K 混合自动机
%K 时间模拟
%K phase-portrait近似
%U http://jcta.alljournals.ac.cn/cta_cn/ch/reader/view_abstract.aspx?file_no=CCTA080554&flag=1