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 25 items.
- Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets (Q255791) (← links)
- Reachability for partially observable discrete time stochastic hybrid systems (Q466266) (← 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)
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936) (← links)
- Reachability analysis of stochastic hybrid systems: a biodiesel production system (Q629649) (← links)
- Approximate model checking of stochastic hybrid systems (Q629650) (← links)
- Stochastic reachability analysis of hybrid systems. (Q663166) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← 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)
- Safety of stochastic systems: an analytic and computational approach (Q2065176) (← links)
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← 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)
- Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction (Q4974545) (← links)
- Hybrid Systems: Computation and Control (Q5307925) (← links)
- Approximations of Stochastic Hybrid Systems: A Compositional Approach (Q5352632) (← links)
- Model reduction of switched affine systems (Q5890723) (← links)
- Hybrid Systems: Computation and Control (Q5898982) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)
