Verification of C-detectability using Petri nets (Q2023240): Difference between revisions

@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2921227100
@@ Property / OpenAlex ID: W2921227100 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07827
@@ Property / arXiv ID: 1903.07827 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank
@@ Property / cites work @@
+Fault detection for discrete event systems using Petri nets with unobservable transitions
+Normal rank
@@ Property / cites work @@
+Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
+Normal rank
@@ Property / cites work @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Marking Estimation of Petri Nets With Silent Transitions
+Normal rank
@@ Property / cites work @@
+Generalized detectability for discrete event systems
+Normal rank
@@ Property / cites work @@
+The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Delayed Detectability of Discrete Event Systems
@@ Property / cites work: Delayed Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of deciding detectability in discrete event systems
+Normal rank
@@ Property / cites work @@
+Deciding detectability for labeled Petri nets
@@ Property / cites work: Deciding detectability for labeled Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+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 @@
+Finding All the Elementary Circuits of a Directed Graph
+Normal rank
@@ Property / cites work @@
+A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
+Normal rank