| 离散事件系统的无死锁分散监控 |
| |
| 引用本文： | 王飞,金福江,罗继亮.离散事件系统的无死锁分散监控[J].清华大学学报(自然科学版),2012(9):1182-1187. |
| |
| 作者姓名： | 王飞 金福江 罗继亮 |
| |
| 作者单位： | 华侨大学信息科学与工程学院 |
| |
| 基金项目： | 国家自然科学基金资助项目(61203040);福建省自然科学基金(2011J01352);泉州科技计划项目(2010G2);中央高校基本科研业务费专项基金(JB-ZR1127);华侨大学科研启动费(09BS509) |
| |
| 摘 要： | 该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。
|
| 关 键 词： | 离散事件系统 无死锁 2-可观性 可控性 |
Deadlock-free decentralized supervisory control of discrete event systems |
| |
| WANG Fei,JIN Fujiang,LUO Jiliang.Deadlock-free decentralized supervisory control of discrete event systems[J].Journal of Tsinghua University(Science and Technology),2012(9):1182-1187. |
| |
| Authors: | WANG Fei JIN Fujiang LUO Jiliang |
| |
| Institution: | (College of Information Science and Engineering, Huaqiao University,Xiamen 361021,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
