Pages that link to "Item:Q2454178"
From MaRDI portal
The following pages link to Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178):
Displaying 17 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)
- Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← 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)
- Bisimilar symbolic models for stochastic control systems without state-space discretization (Q2986948) (← links)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q4978661) (← links)
- Finite-step approximately bi-similar symbolic model for switched systems (Q6559382) (← links)
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems (Q6569388) (← links)
