Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computation for Supremal Simulation-Based Controllable and Strong
  Observable Subautomata   Bisimulation relation has been successfully applied to computer science and
control theory. In our previous work, simulation-based controllability and
simulation-based observability are proposed, under which the existence of
bisimilarity supervisor is guaranteed. However, a given specification automaton
may not satisfy these conditions, and a natural question is how to compute a
maximum permissive subspecification. This paper aims to answer this question
and investigate the computation of the supremal simulation-based controllable
and strong observable subautomata with respect to given specifications by the
lattice theory. In order to achieve the supremal solution, three monotone
operators, namely simulation operator, controllable operator and strong
observable operator, are proposed upon the established complete lattice. Then,
inequalities based on these operators are formulated, whose solution is the
simulation-based controllable and strong observable set. In particular, a
sufficient condition is presented to guarantee the existence of the supremal
simulation-based controllable and strong observable subautomata. Furthermore,
an algorithm is proposed to compute such subautomata.

18
The categories of this paper are: econ
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics