| 一类混杂系统的可达性分析 |
| |
| 引用本文： | 白雪,郑中玉,李宏光. 一类混杂系统的可达性分析[J]. 贵州工业大学学报(自然科学版), 2008, 37(1): 68-71 |
| |
| 作者姓名： | 白雪 郑中玉 李宏光 |
| |
| 作者单位： | 北京化工大学,北京,100029 |
| |
| 摘 要： | 提供了对一类混杂系统进行定性分析的方法.它着重于混杂模型极其分析在计算机科学和控制理论方面应用的研究.连续和离散的动态学加合而产生了一些基础性问题,本文着重讨论了这些问题.
|
| 关 键 词： | 混杂系统 可达性 自动机 |
| 文章编号： | 1009-0193(2008)01-0068-04 |
| 修稿时间： | 2007-12-10 |
The Modeling and Reachability Analysis of Hybrid System |
| |
| BAI Xue,ZHENG Zhong-yu,LI Hong-guang. The Modeling and Reachability Analysis of Hybrid System[J]. Journal of Guizhou University of Technology(Natural Science Edition), 2008, 37(1): 68-71 |
| |
| Authors: | BAI Xue ZHENG Zhong-yu LI Hong-guang |
| |
| Affiliation: | BAI Xue,ZHENG Zhong-yu,LI Hong-guang (Beijing University of Chemical Technology,Beijing 100029,China) |
| |
| Abstract: | This contribution provides a method to the formal analysis of a class of hybrid systems.It focuses on different directions from which hybrid models and their analysis have been approached in computer science and control theory.There are some fundamental problems arising from the combination of discrete and continuous dynamics,which are discussed in this contribution. |
| |
| Keywords: | hybrid system analysis of reachability automata |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
