Fault Diagnosis of Distributed Discrete Event Systems Using OBDD

Authors:
Fei Xue;Da-zhong Zheng;Lu Yan
Affiliations:
Department of Automation, Tsinghua University, Beijing 100084, China, e-mail: xuefei00@mails.tsinghua.edu.cn;Department of Automation, Tsinghua University, Beijing 100084, China, e-mail: xuefei00@mails.tsinghua.edu.cn;Turku Centre for Computer Science (TUCS) and Department of Computer Science, Åbo Akademi University, Turku 20520, Finland
Venue:
Informatica
Year:
2005

Citing 10
Cited 1

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Diagnosis of large active systems

Artificial Intelligence
Symbolic Analysis of Bounded Petri Nets

IEEE Transactions on Computers
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
Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks

Discrete Event Dynamic Systems
On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems

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
Diagnosis of a class of distributed discrete-event systems

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

A Decentralised Symbolic Diagnosis Approach

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we study the fault diagnosis problem for distributed discrete event systems. The model assumes that the system is composed of distributed components that are modeled in labeled Petri nets and interact with each other via sets of common resources (places). Further, a component's own access to a common resource is an observable event. Based on the diagnoser approach proposed by Sampath et al, a distributed fault diagnosis algorithm with communication is presented. The distributed algorithm assumes that the local diagnosis process can exchange messages upon the occurrence of observable events. We prove the distribute diagnosis algorithm is correct in the sense that it recovers the same diagnostic information as the centralized diagnosis algorithm. And then, the OBDD (Ordered Binary Decision Diagrams) is introduced to manage the state explosion problem in state estimation of the system.