# Supervisory Control of Probabilistic Discrete Event Systems under Partial Observation

arXiv: https://arxiv.org/abs/1805.07196 · HTML: https://mlsanity.com/paper/1805.07196/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 17 May 2018.

## Built on by (most cited first, 1 of 1)

- [Supervisory Control of Quantum Discrete Event Systems](https://mlsanity.com/paper/2104.09753/) (2021)

## Abstract (arXiv)

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.