| 基于定性推理的矩形phase-portrait近似 |
| |
| 引用本文： | 刘保罗,裴海龙.基于定性推理的矩形phase-portrait近似[J].控制理论与应用,2010,27(3):317-322. |
| |
| 作者姓名： | 刘保罗 裴海龙 |
| |
| 作者单位： | 1. 洛阳理工学院计算机与信息工程系,河南洛阳,471023;华南理工大学自动化科学与工程学院,广东广州,510640
2. 华南理工大学自动化科学与工程学院,广东广州,510640 |
| |
| 基金项目： | 国家自然科学基金重点资助项目(60736024). |
| |
| 摘 要： | 矩形phase-portrait近似的关键是控制模态的有效划分.本文提出了基于定性推理的phase-portrait近似,给出了一种基于向量场、感兴趣多项式及其李导数动态特性的模态空间划分方法,并进一步给出了基于精化多项式的抽象模型精化方法.实验结果表明,基于定性推理划分的phase-portrait近似验证明显地减少了模态空间的划分数目,提高了验证的效率.
|
| 关 键 词： | 混合自动机 时间模拟 phase-portrait近似 |
| 收稿时间： | 2008/5/30 0:00:00 |
| 修稿时间： | 2008/11/10 0:00:00 |
Rectangular phase-portrait approximation based on qualitative reasoning |
| |
| LIU Bao-luo and PEI Hai-long.Rectangular phase-portrait approximation based on qualitative reasoning[J].Control Theory & Applications,2010,27(3):317-322. |
| |
| Authors: | LIU Bao-luo and PEI Hai-long |
| |
| Affiliation: | Department of Computer and Information Engineering, Luoyang Institute of Science and Technology,College of Automation Science and Engineering, South China University of Technology |
| |
| Abstract: | 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. |
| |
| Keywords: | hybrid automaton time simulation phase-portrait approximation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《控制理论与应用》浏览原始摘要信息 |
|
点击此处可从《控制理论与应用》下载全文 |
