| 基于事件非阻塞与基于状态非阻塞的等价性 |
| |
| 引用本文： | 王飞,胡奇英.基于事件非阻塞与基于状态非阻塞的等价性[J].系统工程与电子技术,2005,27(3):479-482. |
| |
| 作者姓名： | 王飞 胡奇英 |
| |
| 作者单位： | 1. 西安交通大学电子与信息工程学院,陕西,西安,710049
2. 上海大学国际工商与管理学院,上海,201800 |
| |
| 基金项目： | 国家自然科学基金资助课题(69904008) |
| |
| 摘 要： | 监控器的非阻塞性是离散事件系统监控理论中的主要的性质,由于事件反馈与状态反馈的差别,相应的非阻塞也不同。讨论了基于事件非阻塞与基于状态非阻塞间的关系。通过状态反馈与某一事件反馈的等价性,讨论了基于事件非阻塞与基于状态非阻塞的等价性,利用基于事件非阻塞的理论,提出综合状态反馈的Σu不变谓词包含于标识状态集是使得模控制器非阻塞的一个充分条件。
|
| 关 键 词： | 离散事件系统 基于事件 基于状态 非阻塞 模控制 |
| 文章编号： | 1001-506X(2005)03-479-04 |
| 修稿时间： | 2004年3月2日 |
Equivalence of nonblockings for event-based and state-based |
| |
| WANG Fei,HU Qi-ying.Equivalence of nonblockings for event-based and state-based[J].System Engineering and Electronics,2005,27(3):479-482. |
| |
| Authors: | WANG Fei HU Qi-ying |
| |
| Institution: | WANG Fei~1,HU Qi-ying~2 |
| |
| Abstract: | |
| |
| Keywords: | discrete event systems event-based state-based nonblocking modular control |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
