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