TY - GEN
T1 - Decentralized modular control of concurrent discrete event systems
AU - Zhou, Changyan
AU - Kumar, Ratnesh
AU - Sreenivas, Ramavarapu S.
PY - 2007
Y1 - 2007
N2 - The paper studies decentralized modular control of concurrent discrete event systems that are composed of multiple interacting modules. A modular supervisor consists of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors. No communication among local supervisor modules occurs in the setting of decentralized modular control. In this paper we introduce the notion of separable-controllability, a property strictly stronger than controllability and separability combined, as a condition for the existence of a decentralized modular control, and present a way to verify this property. We show that non-unique maximal separably-controllable sublanguages and the unique minimal closed and separably-controllable superlanguage of a specification language exist. These serve as an upper bound (resp., the lower bound) for a restrictive (resp., relaxive) decentralized modular control. We present modular computations for synthesizing a restrictive as well as a relaxive decentralized modular control. When appropriate we also compare our results with the existing ones.
AB - The paper studies decentralized modular control of concurrent discrete event systems that are composed of multiple interacting modules. A modular supervisor consists of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors. No communication among local supervisor modules occurs in the setting of decentralized modular control. In this paper we introduce the notion of separable-controllability, a property strictly stronger than controllability and separability combined, as a condition for the existence of a decentralized modular control, and present a way to verify this property. We show that non-unique maximal separably-controllable sublanguages and the unique minimal closed and separably-controllable superlanguage of a specification language exist. These serve as an upper bound (resp., the lower bound) for a restrictive (resp., relaxive) decentralized modular control. We present modular computations for synthesizing a restrictive as well as a relaxive decentralized modular control. When appropriate we also compare our results with the existing ones.
KW - Concurrent systems
KW - Decentralized control
KW - Discrete event systems
KW - Modular control
KW - Separability
KW - Separable-controllability
UR - http://www.scopus.com/inward/record.url?scp=62749165898&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=62749165898&partnerID=8YFLogxK
U2 - 10.1109/CDC.2007.4434489
DO - 10.1109/CDC.2007.4434489
M3 - Conference contribution
AN - SCOPUS:62749165898
SN - 1424414989
SN - 9781424414987
T3 - Proceedings of the IEEE Conference on Decision and Control
SP - 5918
EP - 5923
BT - Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 46th IEEE Conference on Decision and Control 2007, CDC
Y2 - 12 December 2007 through 14 December 2007
ER -