Volume 19, Number 4, 551-575, DOI: 10.1007/s10626-009-0074-7

Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets

Yu Ru and Christoforos N. Hadjicostis

From the issue entitled "Special Issue on WODES '08; Guest Editors: Bengt Lennartson · Martin Fabian · Allesandro Giua · Ratnesh Kumar"

View Related Documents

Abstract

In this paper, we study fault diagnosis in discrete event systems modeled by partially observed Petri nets, i.e., Petri nets equipped with sensors that allow observation of the number of tokens in some of the places and/or partial observation of the firing of some of the transitions. We assume that the Petri net model is accompanied by a (possibly implicit) description of the likelihood of each firing sequence. Faults are modeled as unobservable transitions and are divided into different types. Given an ordered sequence of observations from place and transition sensors, our goal is to calculate the belief (namely, the degree of confidence) regarding the occurrence of faults belonging to each type. To handle information from transition and place sensors in a unified manner, we transform a given partially observed Petri net into an equivalent (as far as state estimation and fault diagnosis is concerned) labeled Petri net (i.e., a Petri net with only transition sensors), and construct a translator that translates the sensing information from place and transition sensors into a sequence of labels in the equivalent labeled Petri net. Once this transformation is established, we focus on the computation of beliefs on faults in a given labeled Petri net and construct an online monitor that recursively produces these beliefs by tracking the existence of faulty transitions in execution paths that match the sequence of labels observed so far. Using the transformed labeled Petri net and the translated observation sequence, we can then compute the belief for each fault type in partially observed Petri nets in the same way as in labeled Petri nets.

Keywords  Discrete event systems - Petri nets - Fault diagnosis - Partial observation

This material is based upon work supported in part by the National Science Foundation under NSF ITR Award 0426831 and NSF CNS Award 0834409. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of NSF. The research leading to these results has also received funding from the European Community’s Seventh Framework Programme (FP7/2007-2013) under grant agreements INFSO-ICT-223844 and PIRG02-GA-2007-224877.

Fulltext Preview

Image of the first page of the fulltext document