[1]陈启宏,费树岷,王笑峡.离散事件系统非阻塞模块监控器设计[J].东南大学学报(自然科学版),2002,32(2):206-210.[doi:10.3969/j.issn.1001-0505.2002.02.013]
 Chen Qihong,Fei Shumin,Wang Xiaoxia.Design of nonblocking modular supervisors of discrete event systems[J].Journal of Southeast University (Natural Science Edition),2002,32(2):206-210.[doi:10.3969/j.issn.1001-0505.2002.02.013]
点击复制

离散事件系统非阻塞模块监控器设计()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
32
期数:
2002年第2期
页码:
206-210
栏目:
自动化
出版日期:
2002-03-20

文章信息/Info

Title:
Design of nonblocking modular supervisors of discrete event systems
作者:
陈启宏 费树岷 王笑峡
东南大学自动化研究所,南京 210096
Author(s):
Chen Qihong Fei Shumin Wang Xiaoxia
Research Institute of Automation, Southeast University, Nanjing 210096,China
关键词:
离散事件系统 优先权模块控制 阻塞 通信控制器
Keywords:
discrete event systems modular control with priority blocking communication controller
分类号:
TP273
DOI:
10.3969/j.issn.1001-0505.2002.02.013
摘要:
为解决离散事件系统模块监控中的阻塞问题,提出了一种新的监控器设计思想.在监控器之间建立通信的基础上,运用传统的模块监控器设计方法,基于估计状态独立设计各个监控器; 在各监控器间的协调中,利用基于优先权函数的优先权模块控制(MCP)机制,使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的.利用这种方法设计的监控器非阻塞的充分条件是系统每个事件有一个监控器能观.最后给出一个应用实例,说明设计思想的有效性.
Abstract:
In order to solve modular supervisor blocking problem of discrete event systems, a new idea of framing supervisors is proposed.After creating communication between supervisors, the supervisors can be designed individually based on estimated states using conventional design method. A priority mechanism based on priority functions is used in the coordination of individual supervisors. The method makes the closed loop system’s dynamic behavior meet the desired specifications and mitigate or eliminate blocking.The sufficient condition of nonblocking is that each event of the system can be observed by one supervisor. An example is given to show the effectiveness of this method.

参考文献/References:

[1] Ramadge P J,Wonham W M.Supervisory control of a class of discrete-event processes[J].SIAM Journal of Control and Optimization,1987,25(1):206-230.
[2] Wonham W M,Ramadge P J.On the supremal controllable sublanguage of a given language[J].SIAM Journal of Control and Optimization,1987,25(3):637-659.
[3] Chen E,Lafortuune S.On nonconflicting languages that arise in supervisory control of discrete event systems[J].Syst Contr Lett,1991,17(8):105-113.
[4] Chen Y L,Lafortune S,Feng L.Design of nonblocking modular supervisors using event priority functions[J].IEEE Trans Automat Contr,2000,45(3):432-452.
[5] Fabian M,Kumar R.Mutually nonblocking supervisory of discrete event systems[J].Automatica,2000,36(12):1863-1869.
[6] Kumar R,Shayman M A.Nonblocking supervisory control of nondeterministic systems via prioritized synchronization[J].IEEE Trans Automat Contr,1996,41(8):1160-1175.
[7] Barrett G,Lafortune S.Decentralized supervisory control with communicating controllers[J].IEEE Trans Automat Contr,2000,45(9):1620-1638.
[8] Ramadge P J,Wonham W M.The control of discrete event systems[J].Proceedings of The IEEE,1989,77(1):81-98.

备注/Memo

备注/Memo:
基金项目: 国家高技术资助项目(2001AA423240).
作者简介: 陈启宏(1975—),男,博士生; 费树岷(联系人),男,教授,博士生导师,infcon@seu.edu.cn.
更新日期/Last Update: 2002-03-20