Pages that link to "Item:Q2178236"

The following pages link to Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236):

Displaying 9 items.

• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
• Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← 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 construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
• Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
• Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
• Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
• Abstraction for Stochastic Systems by Erlang’s Method of Stages (Q3541024) (← links)