Pages that link to "Item:Q313326"
From MaRDI portal
The following pages link to Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326):
Displaying 13 items.
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach (Q1690519) (← links)
- Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
- Automated formal synthesis of provably safe digital controllers for continuous plants (Q2303883) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities (Q2665719) (← links)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)
