On Computation of Coordinator in Blocking Decentralized Supervisory Control of State Tree Structures

被引：0

作者：

Chao Wujie ^{[1
]}

Gan Yongmei ^{[1
]}

Wang Zhaoan ^{[1
]}

机构：

[1] Xi An Jiao Tong Univ, Sch Elect Engn, 28 West Xianning Rd, Xian 710049, Shaanxi, Peoples R China

来源：

PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE | 2012年

关键词：

Discrete-Event Systems; State Tree Structures; Decentralized Supervisory Control; System Blocking; Coordinator; Symbolic Computation; DISCRETE-EVENT SYSTEMS; ARCHITECTURE;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The computation of coordinator in blocking decentralized supervisory control of discrete-event systems based on state tree structures is studied in this paper. This coordinator deals with the problem of system blocking(e.g. because of deadlock) that caused by the decentralized supervisory control. We take the reachable state set of the closed system as the specification and the closed system as the controlled plant, then synthesize the optimal supervisor of such control problem. We show that the resulting optimal supervisor is the coordinator as we want. The symbolic algorithm of computing the coordinator is presented. Based on this symbolic algorithm, we can get the coordinator easily even when the state size of the controlled plant is up to 10(10). Finally, we give an example to illustrate our method.

引用

页码：2157 / 2162

页数：6

共 17 条

[1] Chao Wujie, 2012, 24 CHIN CON IN PRESS
[2] Chao Wujie, 2012, 31 CHIN CON IN PRESS
[3] Supervisory control architecture for discrete-event systems
Feng, Lei
Wonham, W. M.
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (06) : 1449 - 1461
[4] Feng L, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P9
[5] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS
HAREL, D
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) : 231 - &
[6] Structural decentralised control of concurrent discrete-event systems
Lee, SH
Wong, KC
[J]. EUROPEAN JOURNAL OF CONTROL, 2002, 8 (05) : 477 - 491
[7] A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems
Li, ZhiWu
Zhou, MengChu
Wu, NaiQi
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 38 (02): : 173 - 188
[8] DECENTRALIZED SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS
LIN, F
WONHAM, WM
[J]. INFORMATION SCIENCES, 1988, 44 (03) : 199 - 224
[9] Nonblocking supervisory control of state tree structures
Ma, Chuan
Wonham, W. M.
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (05) : 782 - 793
[10] Ma Chuan, 2005, NONBLOCKING SUPERVIS

← 1 2 →