Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Feedback Motion Plan Verification for Vehicles with Bounded Curvature
  Constraints   The kinematic approximation of Dubin's Vehicle has been largely exploited in
the formulation of various motion planning methods. In the majority of these
methods, planning and control phases are decoupled, and the burden of rejecting
disturbances is left to the controller. An alternative to this approach is the
use of a feedback motion plan, where for each state there is a specific
pre-computed action that will be executed. This planning approach provides the
ability to verify all trajectories off-line. The verification can be performed
using backward reachability, which provides the set of configurations from
which a region is reachable. In this paper, we formulate a verification process
that relies on the computation of the backward reachable set using geometric
principles. In addition to the theoretical foundation of the method, we provide
a numerical implementation of the method and we illustrate a practical example.

3
The categories of this paper are: physics
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol