%0 Journal Article
%T Rectangular phase-portrait approximation based on qualitative reasoning<br>基于定性推理的矩形phase-portrait近似
%A LIU Bao-luo
%A PEI Hai-long
%A <br>刘保罗
%A 裴海龙
%J 控制理论与应用
%D 2010
%I 
%X The core of the rectangular phase-portrait approximation is the efficient partition of the control model. The phase-portrait approximation based on quality reasoning is proposed. An approach for mode partition is then presented based on the characteristic of the vector field, interesting polynomials and their Lie-derivative. A method for the refinement of the abstract model based on the refined polynomials is also given. Experiment shows that the phase-portrait approximation based on the qualitative-reasoning partition obviously reduces the partition number of the mode state space, and enhances the verification efficiency.
%K hybrid automaton
%K time simulation
%K phase-portrait approximation<br>混合自动机
%K 时间模拟
%K phase-portrait近似
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=970898A57DFC021F93AB51667BAED7F7&aid=8600750F62CB7AB02AC55715BF351D18&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=38B194292C032A66&sid=E3094127AA4ABC1A&eid=3224764AEAFCF8C2&journal_id=1000-8152&journal_name=控制理论与应用&referenced_num=0&reference_num=11