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

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2015.03.029
+Normal rank
@@ Property / OpenAlex ID @@
+W2036664528
@@ Property / OpenAlex ID: W2036664528 / 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