Pages that link to "Item:Q5352632"

The following pages link to Approximations of Stochastic Hybrid Systems: A Compositional Approach (Q5352632):

Displaying 10 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)
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems (Q3612955) (← links)
• (Q4672825) (← links)
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (Q5853981) (← links)
• Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach (Q6161374) (← links)