A stochastic approximation method for reachability computations
From MaRDI portal
Stochastic ordinary differential equations (aspects of stochastic analysis) (60H10) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Attainable sets, reachability (93B03) Application models in control theory (93C95) Stochastic systems in control theory (general) (93E03)
Recommendations
- Lagrangian approximations for stochastic reachability of a target tube
- Stochastic reachability of a target tube: theory and computation
- A stochastic reach-avoid problem with random obstacles
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Stochastic reachability analysis of hybrid systems.
Cited in
(15)- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- Reachability design through approximate Bayesian computation
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Stochastic reachability of a target tube: theory and computation
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
- The stochastic reach-avoid problem and set characterization for diffusions
- Computing bounded reach sets from sampled simulation traces
- scientific article; zbMATH DE number 1361118 (Why is no real title available?)
- Reachability for partially observable discrete time stochastic hybrid systems
- State constrained reachability for stochastic hybrid systems
- Maximizing the probability of attaining a target prior to extinction
- Certified reinforcement learning with logic guidance
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Safe autonomy under perception uncertainty using chance-constrained temporal logic
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
This page was built for publication: A stochastic approximation method for reachability computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434961)
