Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships

DOI10.1002/asjc.1832zbMath1432.93210OpenAlexW2811239991MaRDI QIDQ5213917

Atef Khedher, Othman Nasri, Anas Kamoun, Amira Chouchane

Publication date: 6 February 2020

Published in: Asian Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/asjc.1832

zbMATH Keywords

diagnosisnominal modelfault modellabeled Petri netsanalytical redundancy relationshipsdisconnected subgraphs

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Related Items (2)

Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ Diagnosis on a sliding window for partially observable Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
• State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
• On-Line Fault Diagnosis With Partially Observed Petri Nets
• On the inherent intractability of certain coding problems (Corresp.)
• Computing the block triangular form of a sparse matrix
• On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
• Fault Detection and Isolation Method Based on H₋/H_∞ Unknown Input Observer Design in Finite Frequency Domain
• An Efficient Approach for Online Diagnosis of Discrete Event Systems
• Algebraic approaches for fault identification in discrete-event systems
• Bayesian Sensor Fault Detection in a Markov Jump System
• Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets
• Structuring acyclic Petri nets for reachability analysis and control

This page was built for publication: Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships