title: Reliable decentralized supervisory control of discrete event systems.
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.
authors.affiliation: Dept. of Opt-Mechatronics, Wakayama Univ.
authors.forename: S
authors.initials: S
authors.lastname: Takai
authors.forename: T
authors.initials: T
authors.lastname: Ushio