Fault diagnosis of discrete event systems using place invariants

Authors:
Iwan Tabakow
Affiliations:
Computer Science Department, Wroclaw University of Technology, Poland
Venue:
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Year:
2005

Citing 4
Cited 3

Petri nets: an introduction

Petri nets: an introduction
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
Primer in Petri Net Design

Primer in Petri Net Design
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets

Discrete Event Dynamic Systems

Using Place and Transition Fault Net Models for Sequential Diagnosis Time Assessment in Discrete Event Systems

IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Fault distinguishability of discrete event systems

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Fault Modeling in Discrete Event Systems Using Petri Nets

ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a method of using Petri net P-invariants in system diagnosis. The considered discrete event system is modelled by a live, bounded, and reversible place-transition net. The notions of D-partition of the set of places P of a given place-transition net N and net k-distinguishability are first introduced. Two different diagnosis test strategies are discussed and several examples are given.