Marking diagnosability verification in labeled Petri nets
From MaRDI portal
Publication:2665360
DOI10.1016/J.AUTOMATICA.2021.109713zbMATH Open1478.93412OpenAlexW3170812736MaRDI QIDQ2665360FDOQ2665360
Authors: Ziyue Ma, Xiang Yin, Zhiwu Li 
Publication date: 19 November 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109713
Recommendations
- Codiagnosability Enforcement in Labeled Petri Nets
- On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
- scientific article; zbMATH DE number 6936874
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Diagnosability Analysis of Labeled Time Petri Net Systems
- Marking Predictability and Prediction in Labeled Petri Nets
- Diagnosability of Petri nets with observation graphs
- Probabilistic Marking Estimation in Labeled Petri Nets
Cites Work
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Decentralized Prognosis of Failures in Discrete Event Systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Diagnosability of discrete-event systems
- Fault diagnosis in discrete-event systems: incorporating timing information
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Verification of State-Based Opacity Using Petri Nets
- Diagnosability of intermittent sensor faults in discrete event systems
- Codiagnosability Analysis of Bounded Petri Nets
- The Diagnosability of Petri Net Models Using Minimal Explanations
- Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
- Diagnosability Analysis of Labeled Time Petri Net Systems
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
Cited In (19)
- \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets
- Deciding detectability for labeled Petri nets
- Corrections to “On the Decidability and Complexity of Diagnosability for Labeled Petri Nets” [Nov 17 5931-5938]
- Verification of C-detectability using Petri nets
- Optimal sensor selection for ensuring diagnosability in labeled Petri nets
- Diagnosability of Petri nets with observation graphs
- Finding a witness path for non-liveness in free-choice nets
- Diagnosability of fault patterns with labeled stochastic Petri nets
- The complexity of diagnosability and opacity verification for Petri nets
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Basis coverability graph for partially observable Petri nets with application to diagnosability analysis
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Diagnosability verification using LTL model checking
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
- Probabilistic Marking Estimation in Labeled Petri Nets
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
This page was built for publication: Marking diagnosability verification in labeled Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665360)
