Pages that link to "Item:Q5352632"
From MaRDI portal
The following pages link to Approximations of Stochastic Hybrid Systems: A Compositional Approach (Q5352632):
Displayed 7 items.
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← 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)
- Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
- Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach (Q6161374) (← links)