基于定性推理的矩形phase-portrait近似
刘保罗1
裴海龙2
1.洛阳理工学院计算机与信息工程系,河南洛阳,471023;华南理工大学自动化科学与工程学院,广东广州,5106402.华南理工大学自动化科学与工程学院,广东广州,510640
摘要：矩形phase-portralt近似的关键是控制模态的有效划分.本文提出了基于定性推理的phase-portrait近似,给出了一种基于向量场、感兴趣多项式及其李导数动态特性的模态空间划分方法,并进一步给出了基于精化多项式的抽象模犁精化方法.实验结果表明,基于定性推理划分的phase-portrait近似验证明显地减少了模态空间的划分数目,提高了验证的效率.
关键词：混合自动机时间模拟phase-portrait近似
分类号：TP271(自动化技术及设备)
资助基金：国家自然科学基金(60736024)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 317-322 )
英文信息