We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of two 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 [l] for centralized systems, to the proposed coordinated decentralized architecture. We specify three protocols that realize the proposed architecture. We analyze the diagnostic properties of these protocol. The key features of the proposed protocols are: (i) they achieve, each under a set of assumptions, the same diagnostic performance as the centralized diagnoser; and (ii) they highlight the performance vs. complexity tradeoff that arises in coordinated decentralized architectures.
[1]
Feng Lin,et al.
Diagnosability of discrete event systems and its applications
,
1994,
Discret. Event Dyn. Syst..
[2]
Stéphane Lafortune,et al.
Failure diagnosis using discrete-event models
,
1996,
IEEE Trans. Control. Syst. Technol..
[3]
Demosthenis Teneketzis,et al.
Active diagnosis of discrete-event systems
,
1998
.
[4]
A. Benveniste,et al.
A Petri net approach to fault detection and diagnosis in distributed systems. I. Application to telecommunication networks, motivations, and modelling
,
1997,
Proceedings of the 36th IEEE Conference on Decision and Control.
[5]
Raja Sengupta,et al.
Diagnosability of discrete-event systems
,
1995,
IEEE Trans. Autom. Control..