Coordinated decentralized protocols for failure diagnosis of discrete event systems

Abstract

Abstract. We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites communicating with a coordinator that is responsible for diagnosing the failures occurring in the system. We extend the notion of diagnosability, originally introduced in Sampath et al. (1995) for centralized systems, to the proposed coordinated decentralized architecture. We specify three protocols that realize the proposed architecture; each protocol is defined by the diagnostic information generated at the local sites, the communication rules used by the local sites, and the coordinator's decision rule. We analyze the diagnostic properties of each protocol. We also state and prove conditions for a language to be diagnosable under each protocol. These conditions are checkable off-line. The on-line diagnostic process is carried out using the diagnosers introduced in Sampath et al. (1995) or a slight variation of these diagnosers. The key features of the proposed protocols are: (i) they achieve, each under a set of assumptions, the same diagnostic performance as the centralized diagnoser; and (ii) they highlight the "performance vs. complexity" tradeoff that arises in coordinated decentralized architectures. The correctness of two of the protocols relies on some stringent global ordering assumptions on message reception at the coordinator's site, the relaxation of which is briefly discussed.

Diagnosis of Higher-Order Discrete-Event Systems

“…However, complexity of the DES has become a research issue only recently. Previous research has mainly focused on relevant yet different aspects, including incrementality [2,9], distribution / decentralization [20,6,22,7,8,21,23], and uncertainty / incompleteness [15,25,18,14,26].…”

“…Shown in Fig. 1 is a HDES representing a power transmission line Consumes cl event and closes b 3 Consumes op event, yet keeps closed b 4 Consumes cl event, yet keeps open b 5 Consumes cl event b 6 Consumes op event…”

Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets

“…Solving the fault diagnosis problem of discrete event systems (DESs) consists in associating a diagnosis state, such as "normal" or "faulty" or "uncertain", to each observation. The problem has received much attention in the literature in the past few decades [1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17].…”

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

“…2 Literature review Fault diagnosis in dynamic systems is a subject that has received a lot of attention in the past decades. In the context of discrete event systems (DES), several original approaches have been proposed using automata models; see [4,12,21,27,26,22,28,34,35,36,18] for a sample of this work. Automata models often suer from the problem of combinatorial explosion of the state space, when the system is composed of several interacting components.…”