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

@@ 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