Abstract
We introduce the concept of an augmented language of a specified language. First, we show the relationship between a controllable language and the corresponding augmented language. Next, we give a fixpoint characterization of the augmented language, and propose an algorithm for the computation of a controllable sublanguage for which a finite state supervisor exists. We also deal with blocking in such a finite state supervisor Finally, we present the relationship between the Wonham-Ramadge algorithm and our proposed algorithm. Moreover, convergence criteria of the Wonham-Ramadge algorithm is extended, and it is shown that there exists a finite state supervisor for the supremal controllable sublanguage under the same condition.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
E. Chen and S. Lafortune, “Dealing with blocking in supervisory control of discrete-event systems,” IEEE Trans. on Automatic Control, vol. AC-36, no. 6, pp. 724–735, 1991.
E. Chen and S. Lafortune„ “On nonconflicting languages that arise in supervisory control of discrete event systems,” Systems & Control Letters, vol. 17,, pp. 105–113, 1991.
J. E. Hoperoft and J. D. Ullman, Introduction to Automata Theory, Language, and Computation, Addison-Wesley, Reading MA, 1979.
S. Lafortune and E. Chen, “The infimal closed controllable superlanguage and its application in supervisory control,” IEEE Trans. on Automatic Control, vol. AC-35, no. 4, pp. 398–405, 1990.
P. J. Ramadge, “Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata,” IEEE Trans. Automatic Contr., vol. AC-34, no. 1, pp. 10–19, 1989.
P. J. Ramadge and W. M. Wonham, “Supervisory control of a class of discrete-event processes,” SIAM J. Contr. Optimiz., vol. 25, pp. 206–230, 1987.
T. Ushio, “On controllability of controlled Petri nets,” Control–Theory and Advanced Technology, vol. 5, no. 3, pp. 265–275, 1989.
T. Ushio, “On the existence of finite state supervisors in discrete-event systems,” in Proc. 29th IEEE CDC., pp. 2857–2860, 1990.
T. Ushio, “The augmented language and its application in supervisory control,” Recent Advances in Mathematical Theory of Systems, Control, Networks and Signal Processing II, edited by H. Kimura and S. Kodama, pp. 4348, 1992.
W. M. Wonham and P. J. Ramadge, “On the supremal controllable sublanguage of a given language,” SIAM J. Contr. Optimiz., vol. 25, pp. 637–659, 1987.
W. M. Wonham and P. J. Ramadge, “Modular supervisory control of discrete-event systems,” Math. Contr. Signals and Syst., vol. 1, no. 1, pp. 13–30, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Birkhäuser Verlag Basel
About this chapter
Cite this chapter
Ushio, T. (1993). Augmented Languages and Supervisory Control in Discrete Event Systems. In: Balemi, S., Kozák, P., Smedinga, R. (eds) Discrete Event Systems: Modeling and Control. Progress in Systems and Control Theory, vol 13. Birkhäuser Basel. https://doi.org/10.1007/978-3-0348-9120-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-0348-9120-2_1
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-0348-9916-1
Online ISBN: 978-3-0348-9120-2
eBook Packages: Springer Book Archive