Reliable decentralized supervisory control of discrete event systems

We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors, and formulate a decentralized supervisory control problem, called a reliable decentralized supervisory control problem. A decentralized supervisor is said to be k-reliable (1⩽k⩽n) if it exactly achieves a specification language under possible failures of any less than or equal to n-k local supervisors. First, we present necessary and sufficient conditions for the existence of a k-reliable decentralized supervisor. Next, we consider the case that there does not exist a k-reliable decentralized supervisor for a given specification language. We take two approaches in this case. In the first approach, we present an algorithm for computing a sublanguage of the specification which satisfies the existence conditions of a k-reliable decentralized supervisor. In the second one, we use a coordinator to synthesize a k-reliable decentralized supervisor without altering the specification