ROBUST DISTRIBUTED CONTROL IN DISCRETE-EVENT
S. Chand, Camino Dos Rios, Thousand Oaks · 1990
In the context of discrete-event systems, we define control as the enforcement of legal behavior in the propagation of, and reaction to random discrete events. In this paper, we present conditions for the existence of supervisory control and its efficiency for decentralized discrete-event systems. We introduce state machines called Monitoring State Machines (MSMs) for robust and efficient supervisory control for a class of distributed discrete-event systems. We show that the MSMs can significantly improve performance, diagnosis, and fault recovery. We state three necessary and sufficient conditions for the existence of MSMs and describe measures of efjiciency to compute the efficacy of MSMs in distributed control. An illustrative example of a manufacturing system is given to show the application and use of MSMs in distributed control.