Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers

This paper deals with diagnosis of permanent and operational faults of partially observed discrete event systems modeled by interpreted Petri nets capturing both normal and faulty behaviors. Two main results are presented: a structural characterization of the diagnosability property and a method for...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on systems, man and cybernetics. Part A, Systems and humans man and cybernetics. Part A, Systems and humans, 2012-03, Vol.42 (2), p.416-429
Main Authors: Ramirez-Trevino, A., Ruiz-Beltran, E., Aramburo-Lizarraga, J., Lopez-Mellado, E.
Format: Article
Language:English
Subjects:
Analytical models
Behavior
Computational modeling
Cybernetics
Design engineering
Faults
Monitors
On-line systems
Operations research
Permanent and operational faults
Petri net-based fault diagnosis
Petri nets
Polynomials
Position (location)
reduced diagnosers
Residues
Robot sensing systems
structural diagnosabilty
Studies
Tracking
Vectors
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper deals with diagnosis of permanent and operational faults of partially observed discrete event systems modeled by interpreted Petri nets capturing both normal and faulty behaviors. Two main results are presented: a structural characterization of the diagnosability property and a method for designing reduced model diagnosers for online fault detection and location. Sufficient conditions for diagnosability are provided based on the analysis of the influence area of every fault fi in the model and the relative distance between pairs of transitions; polynomial algorithms are proposed for determining diagnosability. The diagnoser includes two reduced models that monitor the system; one for tracking the actual behavior and the other for establishing the expected behavior; the difference of markings in such models, called residue, provides enough information for the immediate location of faults, even if they occur simultaneously.
ISSN:1083-4427
2168-2216
1558-2426
2168-2232
DOI:10.1109/TSMCA.2011.2169950