Diagnosability of Discrete Event Systems with Modular Structure

Authors:
Olivier Contant;Stéphane Lafortune;Demosthenis Teneketzis
Affiliations:
Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, USA 48109---2122;Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, USA 48109---2122;Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, USA 48109---2122
Venue:
Discrete Event Dynamic Systems
Year:
2006

Citing 10
Cited 6

Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets

Discrete Event Dynamic Systems
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems

Discrete Event Dynamic Systems
Process algebras for systems diagnosis

Artificial Intelligence
Centralized Modular Diagnosis and the Phenomenon of Coupling

WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Distributed Diagnosis for Qualitative Systems

WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Diagnosis of Intermittent Faults

Discrete Event Dynamic Systems
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
Distributed diagnosis of discrete-event systems using Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A bridged diagnostic method for the monitoring of polymorphic discrete-event systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Diagnosis of quantized systems based on a timed discrete-eventmodel

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

On-line diagnosis of discrete event systems with two successive temporal windows

AI Communications
Fault detection and isolation based on fuzzy automata

Information Sciences: an International Journal
Specifying the worst case: orthogonal modeling of hardware errors

Proceedings of the eighteenth international symposium on Software testing and analysis
Robust diagnosis of discrete event systems against intermittent loss of observations

Automatica (Journal of IFAC)
Robust diagnosis of discrete-event systems against permanent loss of observations

Automatica (Journal of IFAC)
Reasoning on partially-ordered observations in online diagnosis of DESs

AI Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diagnosing such systems. The notion of modular diagnosability is introduced and the corresponding necessary and sufficient conditions to ensure it are presented. The verification of modular diagnosability is performed by a new algorithm that incrementally exploits the modular structure of the system to save on computational effort. The correctness of the algorithm is proved. Online diagnosis of modularly diagnosable systems is achieved using only local diagnosers.