Pages that link to "Item:Q533800"
From MaRDI portal
The following pages link to Symbolic approximate time-optimal control (Q533800):
Displaying 5 items.
- Symbolic control design for monotone systems with directed specifications (Q1679067) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- SCOTS (Q2988967) (← links)
- Sampling-based Approximate Optimal Control Under Temporal Logic Constraints (Q5275336) (← links)