Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732): Difference between revisions

@@ Property / cites work @@
+Q2978532
@@ Property / cites work: Q2978532 / 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 @@
+Synthesis of opaque systems with static and dynamic masks
+Normal rank
@@ Property / cites work @@
+Supervisory Control Architecture for Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+On Tractable Instances of Modular Supervisory Control
+Normal rank
@@ Property / cites work @@
+Multi-level hierarchical interface-based supervisory control
+Normal rank
@@ Property / cites work @@
+Coordination control of discrete-event systems revisited
+Normal rank
@@ Property / cites work @@
+Hierarchical interface-based supervisory control-part II: parallel case
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Complexity of Verifying Nonblockingness in Modular Supervisory Control
+Normal rank
@@ Property / cites work @@
+Complexity of deciding detectability in discrete event systems
+Normal rank
@@ Property / cites work @@
+PSPACE-completeness of modular supervisory control problems
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Generalized detectability for discrete event systems
+Normal rank
@@ Property / cites work @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636862
@@ Property / cites work: Q5636862 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+Verification complexity of a class of observational properties for modular discrete events systems
+Normal rank
@@ Property / cites work @@
+The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
+Normal rank
@@ Property / Wikidata QID @@
+Q128638799
@@ Property / Wikidata QID: Q128638799 / rank @@
+Normal rank