Pages that link to "Item:Q2174019"
From MaRDI portal
The following pages link to Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019):
Displaying 6 items.
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
