Abstract
This paper introduces the concept of an augmented (super) language of a specified language and studies its application to finite state supervisory control. First, we investigate several properties of an augmented language, especially related to controllability of the specified language. We propose an algorithm for the computation of a controllable sublanguage for which a finite state supervisor exists, using an augmented language, and show a sufficient condition for the controllable sublanguage to be supremal. It is shown, however, that such a finite state supervisor is sometimes blocking. Moreover, we discuss the relationship between the Wonham-Ramadge algorithm and our proposed one.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Chen, E., and Lafortune, S. 1991a. Dealing with blocking in supervisory control of discrete-event systems,IEEE Trans. Automat. Control AC-36, pp. 724–735.
Chen, E., and Lafortune, S. 1991b. On nonconflicting languages that arise in supervisory control of discrete event systems,Systems Control Lett. 17, pp. 105–113.
Hopcroft, J.E., and Ullman, J.D. 1979.Introduction to Automata Theory, Language, and Computation Reading, MA: Addison-Wesley.
Lafortune, S., and Chen, E. 1990. The infimal closed controllable superlanguage and its application in supervisory control,IEEE Trans. Automat. Control AC-35, pp. 398–405.
Ramadge, P.J. 1989. Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata,IEEE Trans. Automat. Control AC-34, pp. 10–19.
Ramadge, P.J., and Wonham, W.M. 1987. Supervisory control of a class of discrete-event processes,SIAM J. Control Optim. 25, pp. 206–230.
Ushio, T. 1989. On controllability of controlled Petri nets,Control-Theory Adv. Technol. 5, pp. 265–275.
Ushio, T. 1990. On the existence of finite state supervisors in discrete-event systems,Proc. 29th IEEE CDC, pp. 2857–2860.
Ushio, T. 1992. The augmented language and its application in supervisory control. InRecent Advances in Mathematical Theory of Systems, Control, Networks and Signal Processing II (H. Kimura and S. Kodama, eds.), pp. 43–48.
Wonham, W.M., and Ramadge, P.J. 1987. On the supremal controllable sublanguage of a given language,SIAM J. Control Optim. 25, pp. 637–659.
Wonham, W.M., and Ramadge, R.J. 1988. Modular supervisory control of discrete-event systems,Math. Control Signals Systems 1, pp. 13–30.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ushio, T. Supervisory control using augmented languages in discrete event systems. Discrete Event Dyn Syst 4, 5–22 (1994). https://doi.org/10.1007/BF01516008
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01516008