Reliable Decentralized Supervisory Control of Discrete Event Systems with Communication Delays

被引:8
作者
Liu, Fuchun [2 ]
Lin, Hai [1 ,2 ]
机构
[1] Natl Univ Singapore, Dept Elect & Comp Engn, Singapore 117576, Singapore
[2] Guangdong Univ Technol, Fac Comp, Guangzhou 510006, Guangdong, Peoples R China
来源
2009 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, VOLS 1-3 | 2009年
关键词
Discrete event systems; decentralized supervisory control; communication delays; reliable delay-coobservability; reliable control;
D O I
10.1109/AIM.2009.5229985
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The reliable decentralized supervisory control of discrete event systems (DESs) with communication delays is investigated in this paper. For a system equipped with n local supervisors, we formalize the notion of k-reliable (1 <= k <= n) decentralized supervisor under communication delays, in which some local supervisors are allowed to fail and the system can achieve exactly the specification under any k local supervisors. In particular, necessary and sufficient conditions for the existence of a k-reliable decentralized supervisor under communication delays are presented by means of the modified controllability and reliable delay-coobservability. These results can be reduced to those in [10] if the communication delays are negligible. Moreover, the results of [8] can be regarded as a special case of the proposed k-reliable decentralized control with k = n.
引用
收藏
页码:368 / +
页数:2
相关论文
共 14 条
[1]   Decentralized supervisory control with communicating controllers [J].
Barrett, C ;
Lafortune, S .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (09) :1620-1638
[2]  
Cassandras C.G., 2021, Introduction to Discrete Event Systems, DOI [DOI 10.1007/978-3-030-72274-6, 10.1007/978-3-030-72274-6]
[3]   DECENTRALIZED CONTROL AND COORDINATION OF DISCRETE-EVENT SYSTEMS WITH PARTIAL OBSERVATION [J].
LIN, F ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (12) :1330-1337
[4]   Decentralized diagnosis of stochastic discrete event systems [J].
Liu, Fuchun ;
Qiu, Daowen ;
Xing, Hongyan ;
Fan, Zhujun .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (02) :535-546
[5]   Safe diagnosability of stochastic discrete event systems [J].
Liu, Fuchun ;
Qiu, Daowen .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (05) :1291-1296
[6]   Decentralized supervisory control of discrete-event systems over communication networks [J].
Mannani, Amin ;
Gohari, Peyman .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (02) :547-559
[7]   Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures [J].
Park, Seong-Jin ;
Cho, Kwang-Hyun .
AUTOMATICA, 2007, 43 (04) :738-743
[8]   Delay-robust supervisory control of discrete-event systems with bounded communication delays [J].
Park, Seong-Jin ;
Cho, Kwang-Hyun .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (05) :911-915
[9]   The synthesis of safe control policies in decentralized control of discrete-event systems [J].
Rohloff, K ;
Lafortune, S .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (06) :1064-1068
[10]   Reliable decentralized supervisory control of discrete event systems [J].
Takai, S ;
Ushio, T .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05) :661-667