A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets

DOI10.1002/ASJC.2259MaRDI QIDQ6569829

Mohamed Ghazel, Kais Klai, Abderraouf Boussif

Publication date: 9 July 2024

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

zbMATH Keywords

fault diagnosisPetri netdiscrete event systemsdiagnosability analysisdiagnoser-based approach

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cites Work

• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
• On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
• A polynomial algorithm for testing diagnosability of discrete-event systems
• On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
• Codiagnosability Analysis of Bounded Petri Nets
• On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
• The Complexity of Diagnosability and Opacity Verification for Petri Nets
• Diagnosability of discrete-event systems
• The Diagnosability of Petri Net Models Using Minimal Explanations
• Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets
• Automated Technology for Verification and Analysis
• Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets

This page was built for publication: A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6569829)