Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-24310-3_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1782668875
@@ Property / OpenAlex ID: W1782668875 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Q3602752
@@ Property / cites work: Q3602752 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Controller Synthesis with Budget Constraints
@@ Property / cites work: Controller Synthesis with Budget Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Energy and Mean-Payoff Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Synthesis using approximately bisimilar abstractions
+Normal rank
@@ Property / cites work @@
+Approximate simulation relations for hybrid systems
+Normal rank
@@ Property / cites work @@
+Discrete-time control for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q4536385
@@ Property / cites work: Q4536385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952307
@@ Property / cites work: Q4952307 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+On the model-based control of networked systems
@@ Property / cites work: On the model-based control of networked systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+Normal rank
@@ Property / cites work @@
+Active acquisition of information for diagnosis and supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank