| 引用本文: | 刘保罗,裴海龙.基于定性推理的矩形phase-portrait近似[J].控制理论与应用,2010,27(3):317~322.[点击复制] |
| LIU Bao-luo,PEI Hai-long.Rectangular phase-portrait approximation based on qualitative reasoning[J].Control Theory and Technology,2010,27(3):317~322.[点击复制] |
|
| 基于定性推理的矩形phase-portrait近似 |
| Rectangular phase-portrait approximation based on qualitative reasoning |
| 摘要点击 2055 全文点击 1285 投稿时间：2008-05-30 修订日期：2008-11-10 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/j.issn.1000-8152.2010.3.CCTA080554 |
| 2010,27(3):317-322 |
| 中文关键词 混合自动机 时间模拟 phase-portrait近似 |
| 英文关键词 hybrid automaton time simulation phase-portrait approximation |
| 基金项目 国家自然科学基金重点资助项目(60736024). |
|
| 中文摘要 |
| 矩形phase-portrait近似的关键是控制模态的有效划分. 本文提出了基于定性推理的phase-portrait近似, 给出了一种基于向量场、感兴趣多项式及其李导数动态特性的模态空间划分方法, 并进一步给出了基于精化多项式的抽象模型精化方法. 实验结果表明, 基于定性推理划分的phase-portrait近似验证明显地减少了模态空间的划分数目, 提高了验证的效率. |
| 英文摘要 |
| 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. |