New Results on Decentralized Diagnosis of Discrete Event Systems
Yin Wang · 2004
The past decade has witnessed the development of a body of theory, with associated applications, for fault diagnosis of dynamic systems that can be modeled in a discrete event systems framework. This paper presents several new notions of diagnosability, together with on-line diagnosis decision rules, in the context of a general decentralized architecture that allows for the use of “conditional decisions” by local diagnosers. The properties of these new notions of diagnosability are presented and their relationship with existing work discussed. Verification algorithms and local diagnoser synthesis methods are briefly outlined.