Pages that link to "Item:Q4561443"
From MaRDI portal
The following pages link to Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems (Q4561443):
Displayed 7 items.
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- ABS: A formally correct software tool for space-efficient symbolic synthesis (Q6120714) (← links)
- BOCoSy: Small but Powerful Symbolic Output-Feedback Control (Q6120724) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Switching controller synthesis for delay hybrid systems under perturbations (Q6201580) (← links)