中文会议： 第二十九届中国控制会议论文集

会议日期： 2010-07-29

会议地点： 北京

出版方 ： 中国自动化学会控制理论专业委员会(Technical Committee on Control Theory,Chinese Association of Automation)

作　　者： ; ; (裴海龙）;

机构地区： 洛阳理工学院计算机与信息工程系

出　　处： 《第二十九届中国控制会议》

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

关 键 词： 仿射混合自动机 时间模拟 近似

分 类 号： [TP301.1]

领　　域： [自动化与计算机技术] [自动化与计算机技术]