Reliable decentralized supervisory control of discrete eventsystems |
| |
Authors: | Takai S. Ushio T. |
| |
Affiliation: | Dept. of Opt-Mechatronics, Wakayama Univ. |
| |
Abstract: | 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. |
| |
Keywords: | |
|
|