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

@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 93B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B52
@@ Property / Mathematics Subject Classification ID: 93B52 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6054192
@@ Property / zbMATH DE Number: 6054192 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symbolic transition systems
@@ Property / zbMATH Keywords: symbolic transition systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+controller synthesis
@@ Property / zbMATH Keywords: controller synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial observation
@@ Property / zbMATH Keywords: partial observation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract interpretation
@@ Property / zbMATH Keywords: abstract interpretation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fixpoint
@@ Property / describes a project that uses: Fixpoint / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Apron
@@ Property / describes a project that uses: Apron / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2045602111
@@ Property / OpenAlex ID: W2045602111 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:434470