Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Comparing Asynchronous $l$-Complete Approximations and Quotient Based
  Abstractions   This paper is concerned with a detailed comparison of two different
abstraction techniques for the construction of finite state symbolic models for
controller synthesis of hybrid systems. Namely, we compare quotient based
abstractions (QBA), with different realizations of strongest (asynchronous)
$l$-complete approximations (SAlCA) Even though the idea behind their
construction is very similar, we show that they are generally incomparable both
in terms of behavioral inclusion and similarity relations. We therefore derive
necessary and sufficient conditions for QBA to coincide with particular
realizations of SAlCA. Depending on the original system, either QBA or SAlCA
can be a tighter abstraction.

5
The categories of this paper are: gr-qc
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
19
The categories of this paper are: eess