Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Supervisory Control of Probabilistic Discrete Event Systems under
  Partial Observation   The supervisory control of probabilistic discrete event systems (PDESs) is
investigated under the assumptions that the supervisory controller (supervisor)
is probabilistic and has a partial observation. The probabilistic P-supervisor
is defined, which specifies a probability distribution on the control patterns
for each observation. The notions of the probabilistic controllability and
observability are proposed and demonstrated to be a necessary and sufficient
conditions for the existence of the probabilistic P-supervisors. Moreover, the
polynomial verification algorithms for the probabilistic controllability and
observability are put forward. In addition, the infimal probabilistic
controllable and observable superlanguage is introduced and computed as the
solution of the optimal control problem of PDESs. Several examples are
presented to illustrate the results obtained.

27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph