Pages that link to "Item:Q1693824"
From MaRDI portal
The following pages link to Towards scalable synthesis of stochastic control systems (Q1693824):
Displaying 12 items.
- Duality-based nested controller synthesis from STL specifications for stochastic linear systems (Q1631235) (← links)
- Symbolic control design for monotone systems with directed specifications (Q1679067) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Bisimilar symbolic models for stochastic control systems without state-space discretization (Q2986948) (← links)
- (Q3768793) (← links)
- High-Quality Synthesis Against Stochastic Environments (Q5278414) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
- Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)
