Decentralized modular diagnosis of concurrent discrete event systems

C. Zhou, R. Kumar, Ramavarapu S Sreenivas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The problem of decentralized modular fault diagnosis of concurrent discrete event systems, that is composed of a set of component modules, is formulated and studied. In the proposed decentralized modular framework, diagnosis is performed by the local diagnosers, located at the component sites, using their own local observations. This is to ensure the scalability of the approach with respect to the number of component modules, and we require that the local diagnosers be "modularly computable", i.e., their computation should be based on the local models, and not the global models. It is also required that there are no missed-detections (every fault is detected within a bounded number of transitions) and no false-alarms (a fault detection report is issued only when a fault has occurred). We formally define the decentralized modular diagnosis problem and introduce the notion of modular diagnosability as a key property for the existence of desired decentralized modular diagnosers. We show that under this property, the complexity for constructing the local diagnosers is polynomial in the number of local modules. We present a method for testing the modular diagnosability property by reducing it to an instance of a certain codiagnosability property for which known verification techniques exist.

Original languageEnglish (US)
Title of host publicationProceedings - 9th International Workshop on Discrete Event Systems, WODES' 08
Pages388-393
Number of pages6
DOIs
StatePublished - Oct 8 2008
Event9th International Workshop on Discrete Event Systems, WODES' 08 - Goteborg, Sweden
Duration: May 28 2008May 30 2008

Publication series

NameProceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Other

Other9th International Workshop on Discrete Event Systems, WODES' 08
CountrySweden
CityGoteborg
Period5/28/085/30/08

Keywords

  • Concurrent systems
  • Discrete event systems
  • Failure diagnosis
  • Fault diagnosis
  • Modular diagnosability
  • Modularity

ASJC Scopus subject areas

  • Computer Science Applications
  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'Decentralized modular diagnosis of concurrent discrete event systems'. Together they form a unique fingerprint.

  • Cite this

    Zhou, C., Kumar, R., & Sreenivas, R. S. (2008). Decentralized modular diagnosis of concurrent discrete event systems. In Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08 (pp. 388-393). [4605977] (Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08). https://doi.org/10.1109/WODES.2008.4605977