LTL receding horizon control for finite deterministic systems (Q2628417): Difference between revisions

@@ Property / arXiv ID @@
+.2860
@@ Property / arXiv ID: 1203.2860 / rank @@
+Normal rank
@@ Property / cites work @@
+LTL to Büchi Automata Translation: Fast and More Deterministic
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Control of systems integrating logic, dynamics, and constraints
+Normal rank
@@ Property / cites work @@
+Characterizing finite Kripke structures in propositional temporal logic
+Normal rank
@@ Property / cites work @@
+A Control Lyapunov Approach to Predictive Control of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Dealing with Nondeterminism in Symbolic Control
@@ Property / cites work: Dealing with Nondeterminism in Symbolic Control / rank @@
+Normal rank
@@ Property / cites work @@
+A Cooperative Receding Horizon Controller for Multivehicle Uncertain Environments
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217266
@@ Property / cites work: Q4217266 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank