Pages that link to "Item:Q4990166"
From MaRDI portal
The following pages link to Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications (Q4990166):
Displaying 6 items.
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Controller synthesis made real: reach-avoid specifications and linear dynamics (Q6045012) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)