Pages that link to "Item:Q2986939"
From MaRDI portal
The following pages link to Temporal logic model predictive control for discrete-time systems (Q2986939):
Displaying 12 items.
- Temporal logic model predictive control (Q889006) (← links)
- Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745) (← links)
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications (Q2061223) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- LTL receding horizon control for finite deterministic systems (Q2628417) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Language-guided controller synthesis for discrete-time linear systems (Q2986756) (← links)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
- Control problems in a temporal logic framework (Q3745691) (← links)
- Sampling-based Approximate Optimal Control Under Temporal Logic Constraints (Q5275336) (← links)
- Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems (Q6077088) (← links)