Pages that link to "Item:Q2982915"
From MaRDI portal
The following pages link to Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions (Q2982915):
Displayed 24 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)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← 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)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← 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)
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← 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)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Estimating infinitesimal generators of stochastic systems with formal error bounds (Q6120678) (← links)
- Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach (Q6161374) (← links)