Robust codiagnosability of discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Reliable decentralized supervisory control of fuzzy discrete event systems
Fuzzy Sets and Systems
Automatica (Journal of IFAC)
| Hi-index | 0.00 |
We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors, and formulate a new 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 ⩽n-k local supervisors. So, k denotes the minimal number of local supervisors required to achieve the specification. First, we present necessary and sufficient conditions for the existence of a k-reliable decentralized supervisor. Next, we consider the case that a k-reliable decentralized supervisor for a given specification language does not exist. We take two approaches in this case. In the first approach, we present an algorithm for computing a sublanguage of the specification that 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