Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Approximately symbolic models for a class of continuous-time nonlinear
  systems   Discrete abstractions have become a standard approach to assist control
synthesis under complex specifications. Most techniques for the construction of
discrete abstractions are based on sampling of both the state and time spaces,
which may not be able to guarantee safety for continuous-time systems. In this
work, we aim at addressing this problem by considering only state-space
abstraction. Firstly, we connect the continuous-time concrete system with its
discrete (state-space) abstraction with a control interface. Then, a novel
stability notion called controlled globally asymptotic/practical stability with
respect to a set is proposed. It is shown that every system, under the
condition that there exists an admissible control interface such that the
augmented system (composed of the concrete system and its abstraction) can be
made controlled globally practically stable with respect to the given set, is
approximately simulated by its discrete abstraction. The effectiveness of the
proposed results is illustrated by a simulation example.

10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
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
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph