Abstract
We examine a modular approach to the synthesis of supervisory controls for discrete-event systems. Discrete-event systems are modelled by automata together with a mechanism for enabling and disabling a subset of state transitions. The basic problem of interest is to ensure by appropriate supervision that the closed loop behavior of the system lies within a given legal behavior. Assuming this behavior can be decomposed into an intersection of component restrictions we determine conditions under which it is possible to synthesize the appropriate control in a modular fashion.
the National Science Foundation through grant ECS-8504584, and
by NSERC (Canada), grant no. A-7399
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arnold, A. and M. Nivat, “Controlling behaviours of systems: some basic concepts and some applications,” MFCS 1980 (Lecture Notes Comp. Science No. 88), pp. 113–122, Springer-Verlag, 1980.
Eilenberg, S., Automata, Languages and Machines, Volume A, Academic Press, New York, 1974.
Hoare, C. A. R., Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, New Jersey, 1985.
Hoperoft, J. E. and J. D. Tillman, Introduction to Automata Theory, Languages, and Computation, p. 17, Addison-Wesley, Reading, Massachusetts, 1979.
Ramadge, P. J., Control and Supervision of Discrete Event Processes, Ph.D. Thesis, Dept. of Electl. Engrg., University of Toronto., 1983.
Ramadge, P. J. and W. M. Wonham, “Supervisory control of a class of discrete-event processes,” To appear in the SIAM J. Contr. and Opt., see also Proc. Sixth Internat. Conf. Analysis and Optimization of Systems, Nice, France, June 1984.
Ramadge, P. J. and W. M. Wonham, Modular feedback logic for discrete event systems, Information Sci-ences and Systems Report No. 48, Department of Electrical Engineering, Princeton University, Princeton, N.J., also Control Systems Report No. 8511, Department of Electrical Engineering, University of Toronto,Canada., July 1985.
Wonham, W. M. and P. J. Ramadge, “On the supremal controllable sublanguage of a given language,” To appear in the SIAM J. Contr. and Opt., see also Proc. 23rd IEEE Conf. on Decision and Control, Las Vegas, Nevada, December 1984.
Wonham, W. M. and P. J. Ramadge, “On modular synthesis of supervisory controls for discrete- event processes,” International Conference on Computers, Systems & Signal Processing, Bangalore, India, December 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer Science+Business Media Dordrecht
About this paper
Cite this paper
Ramadge, P.J., Wonham, W.M. (1986). Modular Supervisory Control of Discrete Event Systems. In: Bensoussan, A., Lions, J.L. (eds) Analysis and Optimization of Systems. Lecture Notes in Control and Information Sciences, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0007558
Download citation
DOI: https://doi.org/10.1007/BFb0007558
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16729-7
Online ISBN: 978-3-540-39856-1
eBook Packages: Springer Book Archive