Stochastic DES fault diagnosis with coloured interpreted Petri nets
type: Item
instance of: scholarly article
title: Stochastic DES fault diagnosis with coloured interpreted Petri nets
zbMATH Open document ID: 1394.93184
DOI: 10.1155/2015/303107
author: Doyra Mariela Muñoz
author: Antonio Correcher
author: Emilio García
author: Francisco Morant
published in: Mathematical Problems in Engineering
publication date: 2018-08-27T00:00:00Z
review text: Summary: This proposal presents an online method to detect and isolate faults in stochastic discrete event systems without previous model. A coloured timed interpreted Petri Net generates the normal behavior language after an identification stage. The next step is fault detection that is carried out by comparing the observed event sequences with the expected event sequences. Once a new fault is detected, a learning algorithm changes the structure of the diagnoser, so it is able to learn new fault languages. Moreover, the diagnoser includes timed events to represent and diagnose stochastic languages. Finally, this paper proposes a detectability condition for stochastic DES and the sufficient and necessary conditions are proved.
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6926008
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1155/2015/303107
OpenAlex ID: W1967904462
Wikidata QID: Q59117930
cites work: Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
cites work: Diagnosability of discrete-event systems
cites work: A comparative analysis of recent identification approaches for discrete-event systems
cites work: Fault detection for discrete event systems using Petri nets with unobservable transitions
cites work: Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
cites work: Q4263300
cites work: Diagnosis of asynchronous discrete-event systems: a net unfolding approach
cites work: Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
cites work: On-line fault detection in discrete event systems by Petri nets and integer linear programming
cites work: An Efficient Approach for Online Diagnosis of Discrete Event Systems
cites work: Fault detection and isolation in manufacturing systems with an identified discrete event model
cites work: Fault diagnosis and fault tolerant control for non-Gaussian singular time-delayed stochastic distribution systems
cites work: Q2740516
cites work: Real time identification of discrete event systems using Petri nets
cites work: Identification of stochastic timed discrete event systems with st-IPN
cites work: Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
cites work: A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
cites work: Centralized modular diagnosis and the phenomenon of coupling
description: scientific article; zbMATH DE number 6926008