Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470): Difference between revisions

@@ Property / cites work @@
+Supervisory control of a rapid thermal multiprocessor
+Normal rank
@@ Property / cites work @@
+Formulas for calculating supremal controllable and normal sublanguages
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.
+Normal rank
@@ Property / cites work @@
+Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Predicates and predicate transformers for supervisory control of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / 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 @@
+A first step towards adaptive control for linear systems in max algebra
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Feedback Logic for Discrete Event Systems
@@ Property / cites work: Modular Feedback Logic for Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+Normal rank
@@ Property / cites work @@
+Characterization of all M-controllable subpredicates of a given predicate
+Normal rank
@@ Property / cites work @@
+Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Effective Control Synthesis for Partially Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Solvability of centralized supervisory control under partial observation
+Normal rank