@inproceedings{8e9e8372986e4a708a9164f3c60c52c0,
title = "On computation of coordinator in blocking decentralized supervisory control of state tree structures",
abstract = "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.",
keywords = "Coordinator, Decentralized Supervisory Control, Discrete-Event Systems, State Tree Structures, Symbolic Computation, System Blocking",
author = "Wujie Chao and Yongmei Gan and Zhaoan Wang",
year = "2012",
language = "英语",
isbn = "9789881563811",
series = "Chinese Control Conference, CCC",
pages = "2157--2162",
booktitle = "Proceedings of the 31st Chinese Control Conference, CCC 2012",
note = "31st Chinese Control Conference, CCC 2012 ; Conference date: 25-07-2012 Through 27-07-2012",
}