Games for synthesis of controllers with partial observation. (Q1401346): Difference between revisions

@@ Property / cites work @@
+A unified approach to control problems in discrete event processes
+Normal rank
@@ Property / cites work @@
+State-strategies for games in <i>F<sub>σδ</sub></i> ∩ <i>G<sub>δσ</sub></i>
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q4840936
@@ Property / cites work: Q4840936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536385
@@ Property / cites work: Q4536385 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Control Synthesis for Partially Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and simple nested fixpoints
@@ Property / cites work: Fast and simple nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems of decentralized observation and control on regular languages
+Normal rank