Home
Scholarly Works
Optimal Supervisory Control of Probabilistic...
Journal article

Optimal Supervisory Control of Probabilistic Discrete Event Systems

Abstract

Probabilistic discrete event systems (PDES) are modeled as generators of probabilistic languages and the supervisors employed are a probabilistic generalization of deterministic supervisors used in standard supervisory control theory. In the case when there exists no probabilistic supervisor such that the behavior of a plant under control exactly matches the probabilistic language given as the requirements specification, we want to find a probabilistic control such that the behavior of the plant under control is “as close as possible” to the desired behavior. First, as a measure of this proximity, a pseudometric on states of generators is defined. Two algorithms for the calculation of the distance between states in this pseudometric are described. Then, an algorithm to synthesize a probabilistic supervisor that minimizes the distance between generators representing the achievable and required behavior of the plant is presented.

Authors

Pantelic V; Lawford M

Journal

IEEE Transactions on Automatic Control, Vol. 57, No. 5, pp. 1110–1124

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Publication Date

May 1, 2012

DOI

10.1109/tac.2011.2173420

ISSN

0018-9286

Contact the Experts team