Stochastic reachability of a target tube: theory and computation
From MaRDI portal
Publication:2663957
DOI10.1016/j.automatica.2020.109458zbMath1461.93554arXiv1810.05217OpenAlexW3125949109MaRDI QIDQ2663957
A. P. Vinod, Meeko M. K. Oishi
Publication date: 20 April 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1810.05217
Related Items (4)
Optimal retention of the trajectories of a discrete-time stochastic system in a tube: one problem statement ⋮ Robustness analysis of continuous-depth models with Lagrangian techniques ⋮ Lagrangian approximations for stochastic reachability of a target tube ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs
- Maximizing the probability of attaining a target prior to extinction
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Stochastic optimal control. The discrete time case
- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- On the minimax reachability of target sets and target tubes
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes
- Stochastic reachability based motion planning for multiple moving obstacle avoidance
- Stochastic Model Predictive Control: An Overview and Perspectives for Future Research
- Probability and Random Processes for Electrical and Computer Engineers
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Optimal Plans for Dynamic Programming Problems
- Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness
- Design of Affine Controllers via Convex Optimization
- SReachTools
- Efficiency through uncertainty
- Stochastic Receding Horizon Control With Bounded Control Inputs: A Vector Space Approach
- The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
- Infinite time reachability of state-space regions by using feedback control
- Analysis II
This page was built for publication: Stochastic reachability of a target tube: theory and computation
