【作者】 刘保罗； 李蒙； 裴海龙；

【Author】 LIU Bao-Luo,LEI Meng,PEI Hai-Long 1.Department of Computer and Information Engineering,Luoyang Institute of Science and Technology,Luoyang 471023,P.R.China 2.College of Automation Science and Technology,South China University of Technology,Guangdong 510640,P.R.China

【机构】 洛阳理工学院计算机与信息工程系； 华南理工大学自动化科学与工程学院；

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

【Abstract】 The core of phase-portrait approximation refinement of affine hybrid systems is the efficient partition of the control model.In this paper,rectangular refinement based on quality reasoning is proposed,an approach for mode partition is presented based on failure set,the characteristic of vector field,interesting linear expressions and their Lie-derivative,and a method for the iterative refinement based on the refined linear expressions is also given.Experiment shows that phase-portrait approximation based on qualitative-reasoning refinement distinctly enhances the verification efficiency.更多还原