Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
From MaRDI portal
Recommendations
- Hybrid Systems: Computation and Control
- Stochastic reachability analysis of hybrid systems.
- Hybrid Systems: Computation and Control
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
- Hybrid Systems: Computation and Control
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Approximations of Stochastic Hybrid Systems
- State constrained reachability for stochastic hybrid systems
Cited in
(35)- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Lagrangian approximations for stochastic reachability of a target tube
- Safety of stochastic systems: an analytic and computational approach
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
- Static analysis and stochastic search for reachability problem
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Robust global recurrence for a class of stochastic hybrid systems
- Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets
- Stochastic reachability of a target tube: theory and computation
- Probabilistic verification of a biodiesel production system using statistical model checking
- Probabilistic invariance of mixed deterministic-stochastic dynamical systems
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
- scientific article; zbMATH DE number 1956626 (Why is no real title available?)
- Trajectory-based theory for hybrid systems
- Reachability for partially observable discrete time stochastic hybrid systems
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
- Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
- Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
- Hybrid Systems: Computation and Control
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- State constrained reachability for stochastic hybrid systems
- Model reduction of switched affine systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Reachability analysis of stochastic hybrid systems: a biodiesel production system
- Approximate model checking of stochastic hybrid systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Stochastic reachability analysis of hybrid systems.
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
This page was built for publication: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612955)
