Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Relaxing The Hamilton Jacobi Bellman Equation To Construct Inner And
  Outer Bounds On Reachable Sets   We consider the problem of overbounding and underbounding both the backward
and forward reachable set for a given polynomial vector field, nonlinear in
both state and input, with a given semialgebriac set of initial conditions and
with inputs constrained pointwise to lie in a semialgebraic set. Specifically,
we represent the forward reachable set using the value function which gives the
optimal cost to go of an optimal control problems and if smooth satisfies the
Hamilton-Jacobi- Bellman PDE. We then show that there exist polynomial upper
and lower bounds to this value function and furthermore, these polynomial
sub-value and super-value functions provide provable upper and lower bounds to
the forward reachable set. Finally, by minimizing the distance between these
sub-value and super-value functions in the L1-norm, we are able to construct
inner and outer bounds for the reachable set and show numerically on several
examples that for relatively small degree, the Hausdorff distance between these
bounds is negligible.

8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph