Pages that link to "Item:Q4974594"
From MaRDI portal
The following pages link to Approximations of Stochastic Hybrid Systems (Q4974594):
Displayed 23 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach (Q473311) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← 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)
- 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)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems (Q2677118) (← links)
- Random assignment versus fixed assignment in multilevel importance splitting for estimating stochastic reach probabilities (Q2684914) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← 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)
- Model reduction of switched affine systems (Q5890723) (← 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)