Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Bisimulation equivalence of DAE systems   In this paper the notion of bisimulation relation for linear
input-state-output systems is extended to general linear differential-algebraic
(DAE) systems. Geometric control theory is used to derive a linear-algebraic
characterization of bisimulation relations, and an algorithm for computing the
maximal bisimulation relation between two linear DAE systems. The general
definition is specialized to the case where the matrix pencil $sE - A$ is
regular. Furthermore, by developing a one-sided version of bisimulation,
characterizations of simulation and abstraction are obtained.

3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin