Pages that link to "Item:Q2123411"
From MaRDI portal
The following pages link to Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411):
Displaying 5 items.
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
- Safety preserving control synthesis for sampled data systems (Q2252964) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Continuous-time synthesizing robust sampled-data dynamic output-feedback controllers for uncertain nonlinear systems in Takagi-Sugeno form: a descriptor representation approach (Q6086295) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)