Pages that link to "Item:Q5898988"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898988):
Displaying 5 items.
- A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← links)
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)