定性推理在矩形phase-portrait近似中的应用  

Application of Qualitative Reasoning in Rectangular Phase-portrait Approximation

作　　者：刘保罗[1] 裴海龙[1] 李坚强[1] 

机构地区：[1]华南理工大学自动化科学与工程学院,广州510640

出　　处：《计算机科学》2008年第9期203-205,共3页Computer Science

基　　金：国家自然科学基金(60374036)(60574004);广东省自然科学基金(031407)项目资助

摘　　要：抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。Abstraction is a dominant approach for verification of hybrid systems; rectangular phase-portrait approximation is to construct simpler linear hybrid automaton to over-approximate the original automaton. The key procedure of phase-portrait approximation is the decomposition of the control model. In this paper, we adopt qualitative reasoning method to show how to partition the state space with respect to the dynamical property and how to refine the abstract model.

关 键 词：混合自动机 phase-portrait近似 李导数 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] U46-39[自动化与计算机技术—控制科学与工程]