Pages that link to "Item:Q2280818"
From MaRDI portal
The following pages link to Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818):
Displaying 17 items.
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- 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)
- Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems (Q2074755) (← 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 construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
- Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← 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 synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems (Q4560092) (← links)
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach (Q4630123) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
