Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Supervisory Control for Behavior Composition   We relate behavior composition, a synthesis task studied in AI, to
supervisory control theory from the discrete event systems field. In
particular, we show that realizing (i.e., implementing) a target behavior
module (e.g., a house surveillance system) by suitably coordinating a
collection of available behaviors (e.g., automatic blinds, doors, lights,
cameras, etc.) amounts to imposing a supervisor onto a special discrete event
system. Such a link allows us to leverage on the solid foundations and
extensive work on discrete event systems, including borrowing tools and ideas
from that field. As evidence of that we show how simple it is to introduce
preferences in the mapped framework.

30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat