会议日期： 2013-07-26

会议地点： 中国陕西西安

出版方 ： 中国自动化学会控制理论专业委员会、中国系统工程学会

作　　者： ; ; (赵运基）;

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

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

摘　　要： 仿射混合自动机phase-portrait近似验证的关键是抽象模型精化的方向和策略.本文提出了一种基于定性推理的双向精化策略,给出了依据系统动态特性的模态划分方法,抽象模型的精化基于精化线性式在前向可达集和后向可达集两个方向上迭代执行,实现了精化过程的局部优化.实验结果表明,基于定性推理的双向精化策略显著地提高了验证的效率.

关 键 词： 仿射混合自动机 精化 近似

分 类 号： [TP301.1]

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