Pages that link to "Item:Q2454178"
From MaRDI portal
The following pages link to Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178):
Displayed 12 items.
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Uncertain bang-bang control problem for multi-stage switched systems (Q2141135) (← 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)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Stochastic incremental \(H_\infty\) control for discrete-time switched systems with disturbance dependent noise (Q2660746) (← links)
- Sample controllability of impulsive differential systems with random coefficients (Q2822274) (← links)