Pages that link to "Item:Q1693823"
From MaRDI portal
The following pages link to Augmented finite transition systems as abstractions for control synthesis (Q1693823):
Displaying 7 items.
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)
- Switching controller synthesis for delay hybrid systems under perturbations (Q6201580) (← links)