Diagnosis of Discrete Event Systems Using Decentralized Architectures

Authors:
Yin Wang;Tae-Sic Yoo;Stéphane Lafortune
Affiliations:
Department of EECS, University of Michigan, Ann Arbor, USA 48109-2122;Idaho National Laboratory, Idaho Falls, USA 83403-2528;Department of EECS, University of Michigan, Ann Arbor, USA 48109-2122
Venue:
Discrete Event Dynamic Systems
Year:
2007

Citing 9
Cited 10

Diagnosis of large active systems

Artificial Intelligence
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems

Discrete Event Dynamic Systems
Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks

Discrete Event Dynamic Systems
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems

Discrete Event Dynamic Systems
Decentralized Failure Diagnosis for Discrete-Event Systems with Costly Communication between Diagnosers

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)
Distributed Monitoring of Concurrent and Asynchronous Systems*

Discrete Event Dynamic Systems
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

Artificial Intelligence
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems

Discrete control for safe execution of IT automation workflows

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Unfolding-Based Diagnosis of Systems with an Evolving Topology

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
On-line diagnosis of discrete event systems with two successive temporal windows

AI Communications
Robust codiagnosability of discrete event systems

ACC'09 Proceedings of the 2009 conference on American Control Conference
Unfolding-based diagnosis of systems with an evolving topology

Information and Computation
Brief paper: Abstraction-based verification of codiagnosability for discrete event systems

Automatica (Journal of IFAC)
The complexity of codiagnosability for discrete event and timed systems

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
A methodology for automatic diagnosability analysis

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
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)

Quantified Score

Hi-index	0.01

Visualization

Abstract

Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one centralized site. This paper casts the problem of decentralized diagnosis in a new hierarchical framework. A key feature is the exploitation of different local decisions together with appropriate rules for their fusion. This includes local diagnosis decisions that can be interpreted as "conditional decisions." Under this new framework, a series of new decentralized architectures are defined and studied. The properties of their corresponding notions of decentralized diagnosability are characterized and their relationship with existing work described. Corresponding verification algorithms are also presented and on-line diagnosis strategies discussed.