Robust nonblocking supervisory control of discrete-event systems

by Sean Bourdon, Mark Lawford, W.M. Wonham


In this note, we generalize a robust supervisory control framework to deal with marked languages. We show how to synthesize a supervisor to control a family of plant models, each with its own specification. The solution we obtain is the most general in that it provides the closest approximation to the supremal controllable sublanguage for each plant/specification pair. We end the note by extending these results to deal with timed discrete-event systems.


BibTeX Entry

title={Robust nonblocking supervisory control of discrete-event systems},
author={Bourdon, S.E. and Lawford, M. and Wonham, W.M.},
journal={Automatic Control, IEEE Transactions on},
pages={ 2015-2021},
keywords={ adaptive control, control system synthesis, discrete event systems, robust control adaptive control, discrete-event systems, robust nonblocking supervisory control, supremal controllable sublanguage},
ISSN={0018-9286}, }

Mark Lawford
Last modified: Wed May 27 16:50:40 EDT 2009