Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers

Ramírez-Treviño, A.; Ruiz-Beltrán, E.; Jesus, Ana; López-Mellado, Ernesto

doi:10.1109/tsmca.2011.2169950

Cited by 37 publications

(24 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“… A fault is detected in 0.000046 seconds. The fault ε f 2 is localized in 0.000129 seconds. “A fault may have occurred” and “a fault has not occurred for sure” are distinguished between in 0.000086 seconds. For the approach of Dotoli et al. For the implementation of the diagnostic algorithm in , we use the “intlinprog” toolbox of Matlab R2015a which is based on the branch and bound optimization algorithm for the resolution of ILPs. The fault ε f 2 is detected in 1.046846 seconds.…”

Section: Applicationmentioning

confidence: 99%

Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships

Chouchane

Khedher

Nasri

et al. 2018

Asian Journal of Control

View full text Add to dashboard Cite

In this paper, we design an efficient diagnosis technique for partially observed discrete event systems modeled by labeled Petri nets. The fault detection is based on analytical redundancy relationships derived from the nominal model. The decomposition of the Tun‐induced subnet to connected subgraphs allows determining the subgraphs that may contain faults. To appreciate the fault localization, a set of analytical redundancy relationships is etablished for each fault transition based on the fault model. The proposed diagnosis approach is independent of the length of the observed sequence and independent of the number of unobservable transitions. The detected faults with the proposed approach are faults which led to a change in the number of tokens in the net.

show abstract

Section: Applicationmentioning

confidence: 99%

Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships

Chouchane

Khedher

Nasri

et al. 2018

Asian Journal of Control

View full text Add to dashboard Cite

show abstract

“…Failures can emerge in any device or software. It is gratifying that PN can be used [3,7,10,11,[15][16][17]19,[21][22][23]26] also for systems where failures occur. There failures can be categorized into hardware failures and software ones.…”

Section: B Františekčapkovičmentioning

confidence: 99%

Failures in discrete-event systems and dealing with them by means of Petri nets

Čapkovič

2018

Vietnam J Comput Sci

View full text Add to dashboard Cite

An approach based on Petri nets pointing to the manner how to deal with failures in discrete-event systems is presented. It uses the reachability tree and/or reachability graph of the Petri net-based model of the real system as well as the synthesis of a supervisor to remove the possible deadlock(s). To illustrate the applicability of the approach to the detection and recovery of failures in DES modelled by Petri nets the case study on a railroad crossing is introduced.

show abstract

“…Starting from the different assumption that the states are partially observed and all events are silent, Lefebvre [31] and Wu and Hadjicostis [10] proposed some diagnosability conditions based on linear coding theory. Finally, inspired from the structural analysis of the net, Ramírez-Treviño et al [8], [32], [33] provided some results for structural diagnosability when transitions and places are assumed to be partially observed. Genc and Lafortune [17] enlarged diagnosability to predictability of a given fault and prognosis issues have been considered with automata.…”

Section: A Relevant Literaturementioning

confidence: 99%

Fault Diagnosis and Prognosis With Partially Observed Petri Nets

Lefebvre

2014

IEEE Trans. Syst. Man Cybern, Syst.

View full text Add to dashboard Cite

This paper concerns the prevention of faults in discrete event systems modeled with partially observed Petri nets (POPNs) that include the definition of sensors used to measure the events and markings. Observation sequences result from this modeling, and the firing sequences and initial marking consistent with a given observation sequence are systematically obtained. The degree of confidence of past and future states and events are computed: state estimation fault diagnosis and fault prediction result from this computation. Finally, diagnosability, detectability, and predictability are defined for observation sequences and POPNs and are discussed with respect to the sensor configuration.

show abstract

Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers

Cited by 37 publications

References 30 publications

Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships

Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships

Failures in discrete-event systems and dealing with them by means of Petri nets

Fault Diagnosis and Prognosis With Partially Observed Petri Nets

Contact Info

Product

Resources

About