화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.50, No.12, 2015-2021, 2005
Robust nonblocking supervisory control of discrete-event systems
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.