Pages that link to "Item:Q4561447"
From MaRDI portal
The following pages link to Formal Guarantees in Data-Driven Model Identification and Control Synthesis (Q4561447):
Displaying 5 items.
- Safety-critical optimal control for autonomous systems (Q2070013) (← links)
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
- Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
- Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)
- Data-driven abstraction-based control synthesis (Q6551651) (← links)
