%0 Journal Article
%T 定性推理在矩形phase—portrait近似中的应用
%J 计算机科学
%D 2008
%X 抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法，叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。
%K 混合自动机phase-portrait近似李导数
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=28169605&flag=1