Marking diagnosability verification in labeled Petri nets (Q2665360): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2021.109713
+Normal rank
@@ Property / OpenAlex ID @@
+W3170812736
@@ Property / OpenAlex ID: W3170812736 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability Analysis of Labeled Time Petri Net Systems
+Normal rank
@@ Property / cites work @@
+On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
+Normal rank
@@ Property / cites work @@
+A branch and bound approach for the design of decentralized supervisors in Petri net models
+Normal rank
@@ Property / cites work @@
+A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
+Normal rank
@@ Property / cites work @@
+Fault detection for discrete event systems using Petri nets with unobservable transitions
+Normal rank
@@ Property / cites work @@
+Diagnosability of intermittent sensor faults in discrete event systems
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+The Diagnosability of Petri Net Models Using Minimal Explanations
+Normal rank
@@ Property / cites work @@
+Decentralized Prognosis of Failures in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
+Normal rank
@@ Property / cites work @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
+Normal rank
@@ Property / cites work @@
+Codiagnosability Analysis of Bounded Petri Nets
@@ Property / cites work: Codiagnosability Analysis of Bounded Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Codiagnosability and coobservability under dynamic observations: transformation and verification
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
+Normal rank
@@ Property / cites work @@
+A general approach for optimizing dynamic sensor activation for discrete event systems
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Fault diagnosis in discrete-event systems: incorporating timing information
+Normal rank