Fault detection for discrete event systems using Petri nets with unobservable transitions |
| |
Authors: | Maria Paola Cabasino [Author Vitae] Alessandro Giua [Author Vitae] [Author Vitae] |
| |
Affiliation: | Department of Electrical and Electronic Engineering, University of Cagliari, Italy |
| |
Abstract: | In this paper we present a fault detection approach for discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservable, including all those transitions that model faulty behaviors. Our diagnosis approach is based on the notions of basis marking and justification, that allow us to characterize the set of markings that are consistent with the actual observation, and the set of unobservable transitions whose firing enable it. This approach applies to all net systems whose unobservable subnet is acyclic. If the net system is also bounded the proposed approach may be significantly simplified by moving the most burdensome part of the procedure off-line, thanks to the construction of a graph, called the basis reachability graph. |
| |
Keywords: | Petri nets Place/transition nets Discrete event systems Fault diagnosis On-line diagnosis |
本文献已被 ScienceDirect 等数据库收录! |