Towards Optimal Supervisory Control of Probabilistic Discrete Event Systems

by Vera Pantelic, Mark Lawford


This paper considers optimal supervisory control of probabilistic discrete event systems (PDESs). PDESs are modeled as generators of probabilistic languages. The probabilistic supervisors employed enable/disable events with certain probabilities. We consider the case when there exists no probabilistic supervisor to match the behaviour of a plant to a probabilistic requirements specification. First, we define a notion of distance between two probabilistic generators. Then, given a plant and a desired probabilistic behaviour, we present an algorithm that minimizes the distance between the desired behaviour and the behaviour of the controlled plant achievable under probabilistic control.


BibTeX Entry

 author = {Vera Pantelic and Mark Lawford}
 title = {Towards Optimal Supervisory Control of
 Probabilistic Discrete Event Systems},
 booktitle = {DCDS 2009: 2nd IFAC Workshop on Dependable Control of Discrete Systems},
 year = {2009},
 location = {Bari, Italy}
 pages = {85-90}

Mark Lawford
Last modified: Fri Jul 31 13:59:36 EDT 2008