Temporal logic model predictive control (Q889006): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2015.03.029
@@ Property / DOI: 10.1016/j.automatica.2015.03.029 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q58233165
@@ Property / Wikidata QID: Q58233165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis using approximately bisimilar abstractions
+Normal rank
@@ Property / cites work @@
+Temporal logic model predictive control for discrete-time systems
+Normal rank
@@ Property / cites work @@
+Language-Guided Controller Synthesis for Linear Systems
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Complete abstractions of dynamical systems by timed automata
+Normal rank
@@ Property / cites work @@
+Q4418864
@@ Property / cites work: Q4418864 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logic Control of Discrete-Time Piecewise Affine Systems
+Normal rank
@@ Property / DBLP publication ID @@
+journals/automatica/GolLB15
@@ Property / DBLP publication ID: journals/automatica/GolLB15 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2015.03.029
@@ Property / DOI: 10.1016/J.AUTOMATICA.2015.03.029 / rank @@
+Normal rank