Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hierarchical decomposition of LTL synthesis problem for nonlinear
  control systems   This paper deals with the control synthesis problem for a continuous
nonlinear dynamical system under a Linear Temporal Logic (LTL) formula. The
proposed solution is a top-down hierarchical decomposition of the control
problem involving three abstraction layers of the problem, iteratively solved
from the coarsest to the finest. The LTL planning is first solved on a small
transition system only describing the regions of interest involved in the LTL
formula. For each pair of consecutive regions of interest in the resulting
accepting path satisfying the LTL formula, a discrete plan is then constructed
in the partitioned workspace to connect these two regions while avoiding unsafe
regions. Finally, an abstraction refinement approach is applied to synthesize a
controller for the dynamical system to follow each discrete plan. The second
main contribution, used in the third abstraction layer, is a new
monotonicity-based method to over-approximate the finite-time reachable set of
any continuously differentiable system. The proposed framework is demonstrated
in simulation for a motion planning problem of a mobile robot modeled as a
disturbed unicycle.

8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph