Pages that link to "Item:Q5092060"
From MaRDI portal
The following pages link to Controller Synthesis for Linear System With Reach-Avoid Specifications (Q5092060):
Displaying 3 items.
- Explicit Construction of Stabilizing Robust Avoidance Controllers for Linear Systems With Drift (Q5854040) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Controller synthesis made real: reach-avoid specifications and linear dynamics (Q6045012) (← links)