Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Supervisor Localization of Discrete-Event Systems with Infinite Behavior   Recently we developed supervisor localization, a top-down approach to
distributed control of discrete-event systems (DES) with finite behavior. Its
essence is the allocation of monolithic (global) control action among the local
control strategies of individual agents. In this report, we extend supervisor
localization to study the distributed control of DES with infinite behavior.
Specifically, we first employ Thistle and Wonham's supervisory control theory
for DES with infinite behavior to compute a safety supervisor (for safety
specifications) and a liveness supervisor (for liveness specifications), and
then design a suitable localization procedure to decompose the safety
supervisor into a set of safety local controllers, one for each controllable
event, and decompose the liveness supervisor into a set of liveness local
controllers, two for each controllable event. The localization procedure for
decomposing the liveness supervisor is novel; in particular, a local controller
is responsible for disabling the corresponding controllable event on only part
of the states of the liveness supervisor, and consequently, the derived local
controller in general has states number no more than that computed by
considering the disablement on all the states. Moreover, we prove that the
derived local controllers achieve the same controlled behavior with the safety
and liveness supervisors. We finally illustrate the result by a Small Factory
example.

36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
27
The categories of this paper are: comp-gas