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

• 作者: 刘保罗 裴海龙
• 来源期刊: 控制理论与应用
• 关键词: 混合自动机 时间模拟 phase-portrait近似
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 论文
• 页码范围: 317-322
• 分类号: TP271
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裴海龙	华南理工大学自动化科学与工程学院	151	1087	16.0	23.0
2	刘保罗	洛阳理工学院计算机与信息工程系	9	28	4.0	5.0