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):
Displayed 6 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)
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications (Q6201592) (← links)
- An STL-based Approach to Resilient Control for Cyber-Physical Systems (Q6202074) (← links)
- Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic (Q6202077) (← links)