Fault diagnosis for discrete event systems using partially observed Petri nets
type: Item
instance of: scholarly article
title: Fault diagnosis for discrete event systems using partially observed Petri nets
zbMATH Open document ID: 1459.93104
DOI: 10.1155/2020/2392904
author: Ye Dandan
author: Luo Jiliang
author: Su Hongye
published in: Mathematical Problems in Engineering
publication date: 2020-07-13T00:00:00Z
review text: Summary: This study proposes a fault diagnosis method of discrete event systems on the basis of a Petri net model with partially observable transitions. Assume that the structure of the Petri net model and the initial marking are known, and the faults can be modeled by its unobservable transitions. One of the contributions of this work is the use of the structure information of Petri net to construct an online fault diagnoser which can describe the system behavior of normal or potential faults. By modeling the flow of tokens in particular places that contain fault information, the variation of tokens in these places may be calculated. The outputs and inputs of these places are determined to be enabled or not through analyzing some special structures. With the structure information, traversing all the states is not required. Furthermore, the computational complexity of the polynomial allows the model to meet real-time requirements. Another contribution of this work is to simplify the subnet model ahead of conducting the diagnostic process with the use of reduction rules. By removing some nodes that do not contain the necessary diagnostic information, the memory cost can be reduced.
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 7219923
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1155/2020/2392904
OpenAlex ID: W3037469611
cites work: Fault detection for discrete event systems using Petri nets with unobservable transitions
cites work: Diagnosability of discrete event systems with modular structure
cites work: Fault diagnosis in discrete-event systems: Framework and model reduction
cites work: A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
cites work: On-line fault detection in discrete event systems by Petri nets and integer linear programming
cites work: Algebraic approaches for fault identification in discrete-event systems
cites work: Q4909608
cites work: On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
cites work: Q4263300
cites work: Fault diagnosis in discrete event systems modeled by partially observed Petri nets
cites work: Diagnosis of asynchronous discrete-event systems: a net unfolding approach
cites work: An Efficient Approach for Online Diagnosis of Discrete Event Systems
cites work: Using pre-estimate with feedback for adaptation Web server QoS guarantee
description: scientific article; zbMATH DE number 7219923