Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Simpler Alternative: Minimizing Transition Systems Modulo Alternating
  Simulation Equivalence   This paper studies the reduction (abstraction) of finite-state transition
systems for control synthesis problems. We revisit the notion of alternating
simulation equivalence (ASE), a more relaxed condition than alternating
bisimulations, to relate systems and their abstractions. As with alternating
bisimulations, ASE preserves the property that the existence of a controller
for the abstraction is necessary and sufficient for a controller to exist for
the original system. Moreover, being a less stringent condition, ASE can reduce
systems further to produce smaller abstractions. We provide an algorithm that
produces minimal AS equivalent abstractions. The theoretical results are then
applied to obtain (un)schedulability certificates of periodic event-triggered
control systems sharing a communication channel. A numerical example
illustrates the results.

2
The categories of this paper are: math
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin