Diagnosing PN-based models with partial observable transitions

Chung, Sheng‐Luen

doi:10.1080/0951192052000288206

Cited by 41 publications

(34 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recently, PNs have also been used for fault diagnosis applications including electro-mechanical equipment [6], power system [7], discrete event systems [3,[8][9][10][11] etc. Ushio et al have developed a Petri net model for discrete event system with faulty behaviors [8].…”

Section: Literature Reviewmentioning

confidence: 99%

See 1 more Smart Citation

A realtime fuzzy Petri net diagnoser for detecting progressive faults in PLC based discrete manufacturing system

Hsieh

2011

Int J Adv Manuf Technol

View full text Add to dashboard Cite

In this paper, we explored a realtime fuzzy Petri net approach to diagnose progressive faults in discrete manufacturing systems. Progressive faults are usually caused by deterioration or aging and show stochastic properties. Some researchers have reported how to detect abrupt faults in discrete manufacturing systems using Petri net. However, little research has been conducted on Petri net diagnoser to progressive faults in discrete manufacturing event systems. To tackle this problem, we explored an approach including a realtime Petri net model and a fuzzy Petri net diagnoser to replicate the plant and detect faults in discrete manufacturing systems. The realtime Petri net model monitors events generated from the discrete manufacturing system, also compares the outputs and pre-settings. Once a difference is detected, it will start the fuzzy Petri net diagnoser to locate faults. For the purpose of validation, this approach was implemented with Visual Basic for diagnosing a dual robot arm. Evaluation experiments validated the diagnoser's performance on accuracy and diagnosability. It illustrated that the proposed approach can have a high accuracy rate of 93% and maximum diagnosis delay of eight steps; it proves that the approach has the capability of integrating knowledge and handling uncertainties. It also remedies the nonsynchronization between the diagnoser and the plant. The approach to construct the model and diagnoser is systematic; it has an excellent projection on intermittent fault diagnosis and hybrid systems.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

“…Finally they extended Sampath's diagnosability condition [12] to unbounded Petri net. Chung et al [9,10] extended Ushio's PN fault diagnosis approach. They further assumed some of the transitions were observable, and showed how to construct the PN diagnoser and verifier respectively.…”

Section: Literature Reviewmentioning

confidence: 99%

A realtime fuzzy Petri net diagnoser for detecting progressive faults in PLC based discrete manufacturing system

Hsieh

2011

Int J Adv Manuf Technol

View full text Add to dashboard Cite

show abstract

“…Ushio et al [3] presented a sufficient condition for diagnosability of unbounded PNs based on indeterminate cycles defined as in [1], [2]. Chung in [4], in contrast with Ushio's paper, assumes that part of the transitions of the PN is observable and shows as the additional information from observed transitions in general adds diagnosability to the analyzed system. In [5] Wen and Jeng propose an approach to test diagnosability by checking the structure property of T-invariant of the nets.…”

Section: Introductionmentioning

confidence: 95%

Diagnosability of bounded Petri nets

Cabasino

Giua

Seatzu

2009

Proceedings of the 48h IEEE Conference on Decision and Control (CDC) Held Jointly With 2009 28th Chinese Control Conference

View full text Add to dashboard Cite

In this paper we present an approach to solve the problem of diagnosability of bounded Petri net systems. In particular, we first give necessary and sufficient conditions for diagnosability. Then, we present a method to test diagnosability that is based on the analysis of two graphs that depend on the structure of the net, including the faults model, and the initial marking. The first graph is called basis reachability diagnoser, the second one is called modified basis reachability graph.

show abstract

“…Due to the existence of unobservable places, some markings cannot be distinguished and therefore, the quotient set  is defined by using the label propagation function and the range function. The detailed explanation of the label propagation function and the modified range function of (Chung 2005) can be found in (Durmuş et al 2014).…”

Section: Fault Diagnosis and The Modular Architecturementioning

confidence: 99%

“…The diagnoser is obtained by using the system model itself and it observes online the behavior of the system (Sampath et al 1996). The studies of (Sampath et al 1995) and (Sampath et al 1996) defined the basics of DES based fault diagnosis and these basics further developed by many workgroups and studied as online (Ramirez-Trevino et al 2007), centralized (Ushio et al 1998;Chung 2005), decentralized (Debouk et al 2000;Cabasino et al 2013) and so on. As an application of DES based fault diagnosis to fixed-block railway signaling systems, (Durmuş et al 2014) considers diagnosability analysis as an intermediate step between modeling the system and testing the developed software which enables signaling system designers to preliminary check their models.…”

Section: Introductionmentioning

confidence: 99%

Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems

et al. 2016

View full text Add to dashboard Cite

Abstract:The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occur in railway field components both on the requirements preparation phase and on the development phase of the signaling system software or namely, the interlocking system. Although the diagnosis of different unobservable faults is relatively hard, especially for large scale railway fields, this complexity can be overcome by using the Discrete Event System (DES) based modular diagnosis approach which is explained in this paper. The main advantage of using such modular approach for fault diagnosis in fixed-block signaling systems is the inspection of the diagnosability of the whole system with respect to its subsystems (railway field components). In this study, the diagnosability of the railway field equipment and the whole system is also explained with a case study.

show abstract

Diagnosing PN-based models with partial observable transitions

Cited by 41 publications

References 0 publications

A realtime fuzzy Petri net diagnoser for detecting progressive faults in PLC based discrete manufacturing system

A realtime fuzzy Petri net diagnoser for detecting progressive faults in PLC based discrete manufacturing system

Diagnosability of bounded Petri nets

Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems

Contact Info

Product

Resources

About