Pages that link to "Item:Q2116657"
From MaRDI portal
The following pages link to Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657):
Displaying 5 items.
- Duality-based nested controller synthesis from STL specifications for stochastic linear systems (Q1631235) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Automated formal synthesis of provably safe digital controllers for continuous plants (Q2303883) (← links)
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications (Q2988959) (← links)
- Data-driven abstraction-based control synthesis (Q6551651) (← links)