Pages that link to "Item:Q889006"
From MaRDI portal
The following pages link to Temporal logic model predictive control (Q889006):
Displaying 17 items.
- Temporal logic motion planning for dynamic robots (Q1012729) (← 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)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Optimal control of multi-task Boolean control networks via temporal logic (Q2242936) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Time window temporal logic (Q2402278) (← links)
- LTL receding horizon control for finite deterministic systems (Q2628417) (← links)
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach (Q2677109) (← links)
- Design and implement of optimal patrolling control system to satisfy the complex requirements (Q2823582) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Language-guided controller synthesis for discrete-time linear systems (Q2986756) (← links)
- Temporal logic model predictive control for discrete-time systems (Q2986939) (← links)
- Control problems in a temporal logic framework (Q3745691) (← links)
- Sampling-based Approximate Optimal Control Under Temporal Logic Constraints (Q5275336) (← links)
