基于定性推理仿射混合自动机的矩形精化

摘要：

仿射混合自动机phase-portrait近似精化的关键是控制模态的有效划分.本文提出了定性推理的矩形精化，给出了一种基于失败集、向量场特性、感兴趣线性式及其李导数的模态空间划分方法，并进一步给出了基于精化线性式的迭代精化方法。实验结果表明，基于定性推理精化的phase-portrait近似显著地提高了验证的效率。

关键词： 定性推理 仿射混合自动机 时间模拟 phase-portrait近似 矩形精化 控制模态

作者: 刘保罗 李蒙 裴海龙

作者单位: 洛阳理工学院计算机与信息工程系,洛阳471023 华南理工大学自动化科学与工程学院,广州510640

会议类型: 国内会议

会议名称: 第29届中国控制会议

会议地点: 北京

会议语种:中文

页码: 1483-1487

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