Pages that link to "Item:Q3612955"
From MaRDI portal
The following pages link to Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems (Q3612955):
Displaying 10 items.
- Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets (Q255791) (← links)
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach (Q473311) (← links)
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
- Robust global recurrence for a class of stochastic hybrid systems (Q2406968) (← links)
- Stochastic reachability of a target tube: theory and computation (Q2663957) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
- Model reduction of switched affine systems (Q5890723) (← links)
