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

摘要：

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 1010. Finally, we give an example to illustrate our method.

关键词： Discrete-Event Systems State Tree Structures Decentralized Supervisory Control System Blocking Coordinator Symbolic Computation

作者: CHAO Wujie GAN Yongmei WANG Zhaoan

作者单位: School of Electrical Engineering, Xi’an Jiaotong University, No.28, West Xianning Road, Xi’an, Shaanxi 710049, P. R. China

会议类型: 国际会议

会议名称: The 31st Chinese Control Conference(第三十一届中国控制会议)

会议地点: 合肥

会议语种:英文

页码: 2157-2162

在线出版日期: 2012-07-01（万方平台首次上网日期，不代表论文的发表时间）