Robust codiagnosability of discrete event systems
- 1 January 2009
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4 (07431619), 2202-2209
- https://doi.org/10.1109/acc.2009.5160208
Abstract
We consider robust decentralized diagnosis of discrete event systems, where the goal is to detect the occurrence of unobservable fault events using a set of local diagnosers that are themselves subject to failures. We introduce a formal notion of robust decentralized diagnosability, called robust codiagnosability, and study its properties. Two different tests of robust codiagnosability are presented; one uses diagnoser automata and the other uses verifier automata. We also revisit the problem of centralized diagnosability and study the problem of diagnosability under partial observation, where the set of observable events is reduced; in this regard, we introduce the notions of partial diagnosers and indeterminate hidden cycles, which are subsequently used in the study of robust codiagnosability.Keywords
This publication has 19 references indexed in Scilit:
- Distributed Diagnosis of Place-Bordered Petri NetsIEEE Transactions on Automation Science and Engineering, 2007
- Diagnosability Analysis Based on Component-Supported Analytical Redundancy RelationsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2006
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networksArtificial Intelligence, 2005
- Distributed Monitoring of Concurrent and Asynchronous Systems*Discrete Event Dynamic Systems, 2005
- Polynomial-time verification of diagnosability of partially observed discrete-event systemsIEEE Transactions on Automatic Control, 2002
- Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Failure diagnosis of dynamic systems: an approach based on discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2001
- Failure diagnosis using discrete-event modelsIEEE Transactions on Control Systems Technology, 1996
- Diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 1995
- The control of discrete event systemsProceedings of the IEEE, 1989