Abstract
A modular approach to the supervisory control of a class of discrete-event systems is formulated, and illustrated with an example. Discrete-event systems are modeled 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.
Similar content being viewed by others
References
R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, Supervisory control of discrete-event processes with partial observations,Proceedings of the 25th IEEE Conference on Decision and Control, Athens, 1986, pp. 604–607.
[HU] J. E. Hopcroft and J. D. Ullman,Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979.
F. Lin and W. M. Wonham, Decentralized supervisory control of discrete-event systems,Tenth World Congress International Federation of Automatic Control, Munich, 1987; also to appear inInform. Sci. (1987).
P. J. Ramadge, Control and Supervision of Discrete-Event Processes, Ph.D. Thesis, Department of Electrical Engineering, University of Toronto, 1983.
[RW1] P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete-event processes,SIAM J. Control Optim.,25 (1987), 206–230.
P. J. Ramadge and W. M. Wonham, Modular feedback logic for discrete event systems,SIAM J. Control Optim.,25 (1987) (to appear).
[RW3] P. J. Ramadge and W. M. Wonham, Modular supervisory control of discrete-event systems,Proceedings of the Seventh International Conference on Analysis and Optimization of Systems, Antibes, June 25–27, 1986, pp. 202–214, Lecture Notes in Control and Information Sciences, vol. 83 (Bensoussan and J. L. Lions, eds.) Springer-Verlag, New York, 1986.
W. M. Wonham and P. J. Ramadge, On modular synthesis of supervisory controls for discrete-event processes,Proceedings of the IEEE and I.I.Sc. International Conference on Computers, Systems and Signal Processing, Bangalore, 1984, pp. 500–504.
[WR2] W. M. Wonham and P. J. Ramadge, On the supremal controllable sublanguage of a given language.SIAM J. Control Optim.,25 (1987), 637–659.
Author information
Authors and Affiliations
Additional information
The work of this author was supported by NSERC (Canada) under Grant No. A-7399.
The work of this author was supported by the National Science Foundation through Grant No. ECS-8504584.
Rights and permissions
About this article
Cite this article
Wonham, W.M., Ramadge, P.J. Modular supervisory control of discrete-event systems. Math. Control Signal Systems 1, 13–30 (1988). https://doi.org/10.1007/BF02551233
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02551233