Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Supervisor Localization of Discrete-Event Systems based on State Tree
  Structures   Recently we developed supervisor localization, a top-down approach to
distributed control of discrete-event systems in the Ramadge-Wonham supervisory
control framework. Its essence is the decomposition of monolithic (global)
control action into local control strategies for the individual agents. In this
paper, we establish a counterpart supervisor localization theory in the
framework of State Tree Structures, known to be efficient for control design of
very large systems. In the new framework, we introduce the new concepts of
local state tracker, local control function, and state-based local-global
control equivalence. As before, we prove that the collective localized control
behavior is identical to the monolithic optimal (i.e. maximally permissive) and
nonblocking controlled behavior. In addition, we propose a new and more
efficient localization algorithm which exploits BDD computation. Finally we
demonstrate our localization approach on a model for a complex semiconductor
manufacturing system.

0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
2
The categories of this paper are: math
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int