Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computing finite abstractions with robustness margins via local
  reachable set over-approximation   This paper proposes a method to compute finite abstractions that can be used
for synthesizing robust hybrid control strategies for nonlinear systems. Most
existing methods for computing finite abstractions utilize some global,
analytical function to provide bounds on the reachable sets of nonlinear
systems, which can be conservative and lead to spurious transitions in the
abstract systems. This problem is even more pronounced in the presence of
imperfect measurements and modelling uncertainties, where control synthesis can
easily become infeasible due to added spurious transitions. To mitigate this
problem, we propose to compute finite abstractions with robustness margins by
over-approximating the local reachable sets of nonlinear systems. We do so by
linearizing the nonlinear dynamics into linear affine systems and keeping track
of the linearization error. It is shown that this approach provides tighter
approximations and several numerical examples are used to illustrate of
effectiveness of the proposed methods.

32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas