Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Stochastic reachability of a target tube: Theory and computation   Probabilistic guarantees of safety and performance are important in
constrained dynamical systems with stochastic uncertainty. We consider the
stochastic reachability problem, which maximizes the probability that the state
remains within time-varying state constraints (i.e., a ``target tube''),
despite bounded control authority. This problem subsumes the stochastic
viability and terminal hitting-time stochastic reach-avoid problems. Of special
interest is the stochastic reach set, the set of all initial states from which
it is possible to stay in the target tube with a probability above a desired
threshold. We provide sufficient conditions under which the stochastic reach
set is closed, compact, and convex, and provide an underapproximative
interpolation technique for stochastic reach sets. Utilizing convex
optimization, we propose a scalable and grid-free algorithm that computes a
polytopic underapproximation of the stochastic reach set and synthesizes an
open-loop controller. This algorithm is anytime, i.e., it produces a valid
output even on early termination. We demonstrate the efficacy and scalability
of our approach on several numerical examples, and show that our algorithm
outperforms existing software tools for verification of linear systems.

30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics