Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems

We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites communicating with a coordinator that is responsible for diagnosing the failures occurring in the system. We extend the notion of diagnosability, originally introduced in Sampath et al. (1995) for centralized systems, to the proposed coordinated decentralized architecture. We specify three protocols that realize the proposed architecture; each protocol is defined by the diagnostic information generated at the local sites, the communication rules used by the local sites, and the coordinator's decision rule. We analyze the diagnostic properties of each protocol. We also state and prove conditions for a language to be diagnosable under each protocol. These conditions are checkable off-line. The on-line diagnostic process is carried out using the diagnosers introduced in Sampath et al. (1995) or a slight var...

• Type: Journal
• Year: 2000
• Where: DEDS
• Authors: Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis
• Keywords: Architectures, DEDS 2000, Local Sites, Sampath Et