Decentralized supervisory control of discrete event systems moving decisions closer to actions

摘要

In decentralized control of discrete event systems, two main agents contribute to the computation of decisions: local supervisors and fusion modules. The local supervisors process the information detected on the plant and its environment, and transmit their results to the fusion modules. The latter process what is received from the local supervisors in order to decide actions to be applied to the plant. In the existing decentralized control architectures, the local supervisors execute complex operations, while the fusion modules execute simple operations. In the present article, we propose to move the decision computation complexity from local supervisors to fusion modules, that is what we term: moving decisions closer to actions. We justify this movement of decision and develop a simple architecture based on it. With the proposed architecture, the local supervisors are simple local observers, while all decisions are computed by the fusion modules. We characterize the class of languages achievable with the new architecture and compare it with the classes of languages achievable with the existing decentralized architectures and the centralized architecture.