Modular Supervisory Control of Discrete Event Systems
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.
KeywordsDiscrete-event systems modularity supervisory control
Unable to display preview. Download preview PDF.
- 1.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.Google Scholar
- 4.Hoperoft, J. E. and J. D. Tillman, Introduction to Automata Theory, Languages, and Computation, p. 17, Addison-Wesley, Reading, Massachusetts, 1979.Google Scholar
- 5.Ramadge, P. J., Control and Supervision of Discrete Event Processes, Ph.D. Thesis, Dept. of Electl. Engrg., University of Toronto., 1983.Google Scholar
- 6.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.Google Scholar
- 7.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.Google Scholar
- 8.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.Google Scholar
- 9.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.Google Scholar