Abstract:
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.
@ARTICLE{1556732, 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}, year={2005}, month={Dec.}, volume={50}, number={12}, 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}, doi={10.1109/TAC.2005.860237}, ISSN={0018-9286}, }