Pages that link to "Item:Q2494653"
From MaRDI portal
The following pages link to Stochastic hybrid systems. Theory and safety critical applications. (Q2494653):
Displayed 15 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)
- State constrained reachability for stochastic hybrid systems (Q547913) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Stabilizability of a class of stochastic bilinear hybrid systems (Q719601) (← 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)
- How adaptive and reliable is your program? (Q2117013) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- On nonlinear discrete-time systems driven by Markov chains (Q2449812) (← links)
- The Border Collision Normal Form with Stochastic Switching Surface (Q2876665) (← links)
- Stochastic Operators and Semigroups and Their Applications in Physics and Biology (Q2945459) (← links)
- Fluid limit theorems for stochastic hybrid systems with application to neuron models (Q3059695) (← links)