| 定性推理在矩形phase-portrait近似中的应用 |
| |
| 引用本文： | 刘保罗,裴海龙,李坚强.定性推理在矩形phase-portrait近似中的应用[J].计算机科学,2008,35(9):203-205. |
| |
| 作者姓名： | 刘保罗 裴海龙 李坚强 |
| |
| 作者单位： | 华南理工大学自动化科学与工程学院,广州,510640;华南理工大学自动化科学与工程学院,广州,510640;华南理工大学自动化科学与工程学院,广州,510640 |
| |
| 基金项目： | 国家自然科学基金，广东省自然科学基金 |
| |
| 摘 要： | 抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机.phase-portrait近似的关键步骤是如何划分状态空间.本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型.
|
| 关 键 词： | 混合自动机 phase-portrait近似 李导数 |
Application of Qualitative Reasoning in Rectangular Phase-portrait Approximation |
| |
| LIU Bao-luo,PEI Hai-long,LI Jian-qiang.Application of Qualitative Reasoning in Rectangular Phase-portrait Approximation[J].Computer Science,2008,35(9):203-205. |
| |
| Authors: | LIU Bao-luo PEI Hai-long LI Jian-qiang |
| |
| Affiliation: | LIU Bao-luo PEI Hai-long LI Jian-qiang(College of Automation Science , Engineering,South China University of Technology,Guangzhou 510640,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Hybrid automaton Phase-portrait approximation Lie-derivative |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
