Pages that link to "Item:Q2986948"
From MaRDI portal
The following pages link to Bisimilar symbolic models for stochastic control systems without state-space discretization (Q2986948):
Displaying 7 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)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q4978661) (← links)