Abstract
In the supervisory control of discrete-event systems based on controllable languages, a standard way to handle state explosion in large systems is by modular supervision: either horizontal (decentralized) or vertical (hierarchical). However, unless all the relevant languages are prefix-closed, a well-known potential hazard with modularity is that of conflict. In decentralized control, modular supervisors that are individually nonblocking for the plant may nevertheless produce blocking, or even deadlock, when operating on-line concurrently. Similarly, a high-level hierarchical supervisor that predicts nonblocking at its aggregated level of abstraction may inadvertently admit blocking in a low-level implementation. In two previous papers, the authors showed that nonblocking hierarchical control can be guaranteed provided high-level aggregation is sufficiently fine; the appropriate conditions were formalized in terms of ‘control structures’ and ‘observers’. In this paper we apply the same technique to decentralized control, when specifications are imposed on ‘local’ models of the ‘global’ process; in this way we remove the restriction in some earlier work that the plant and specification (marked) languages be prefix-closed. We then solve a more general problem of ‘coordination’: namely how to determine a high level ‘coordinator’ that forestalls conflict in a decentralized architecture when it potentially arises, but is otherwise minimally ‘intrusive’ on low-level control action. Coordination thus combines both vertical and horizontal modularity. The example of a simple production process is provided as a practical illustration. We conclude with an appraisal of the computational effort involved.
Similar content being viewed by others
References
Brandin, B.A. and Wonham, W.M. 1994. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2):329-342.
Chen, Y.-L., Lafortune, S. and Lin, F. 1995. Modular supervisory control with priorities for discrete event systems. In Proc. of the 34th IEEE Conf. on Decision and Control, pp. 409-415.
Cieslak, R., Desclaux, C., Fawaz, A.S. and Varaiya, P. 1988. Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control, 33(3):249-260.
Cohen, G. and J.-P. Quadrat, editors. 1994. 11th International Conference on Analysis and optimalization of Systems, Discrete event systems. INRIA France, Springer Verlag.
Desrochers, A.A. and Al-Jaar, R.Y. 1995. Applications of Petri Nets in Manufacturing Systems. IEEE Press.
Ho, Y.C. 1989. Special issue on dynamics of discrete event systems. Proceedings of The IEEE, 77(1):1-232.
Lin, F. and Wonham, W.M. 1988. Decentralized supervisory control of discrete-event systems. Information Sciences, 44:199-224.
MacLane, S. and Birkhoff, G. 1988. Algebra. Chelsea, New York.
Ramadge, P.J. and Wonham, W.M. 1987. Modular feedback logic for discrete event systems. SIAM J. Control and Optimization, 25(5):1202-1218.
Ramadge, P.J. and Wonham, W.M. 1989. The control of discrete event systems. Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77(1):81-98.
Rudie, K. and Wonham, W.M. 1992. Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control, 37(11):1692-1708.
Rudie, K.G. 1988. Software for the Control of Discrete Event Systems: A Complexity Study. M.A.Sc thesis, Department of Electrical Engineering, University of Toronto. Also appears as Technical Report 8806, Systems Control Group, Department of Electrical Engineering, University of Toronto, September, 1988.
Willner, Y. and Heymann, H. 1991. Supervisory control of concurrent discrete-event systems. International Journal of Control, 54(5):1143-1169.
Wong, K.C. 1994. Discrete-Event Control Architecture: An Algebraic Approach. Ph.D. thesis, Department of Electrical Engineering, University of Toronto.
Wong, K.C., Thistle, J.G., Hoang, H.H. and Malhamé, R.P. 1995. Conflict resolution in modular control with application to feature interaction. In Proc. of the 34th IEEE Conf. on Decision and Control, pp. 416-421.
Wong, K.C. and Wonham, W.M. 1992. Hierarchical and modular control of discrete-event systems. In Proc. of Thirtieth Annual Allerton Conference on Communication, Control, and Computing, pp. 614-623, Monticello, Illinois.
Wong, K.C. and Wonham, W.M. 1996. Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications, 6(3):241-273.
Wonham, W.M. 1995. Notes on control of discrete-event systems. ECE 1636F/1637S 1995-1996, Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto.
Wonham, W.M. and Ramadge, P.J. 1987. On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization, 25(3):637-659.
Wonham, W.M. and Ramadge, R.J. 1988. Modular supervisory control of discrete event systems. Mathematics of Control, Signal and Systems, 1(1):13-30.
Zhong, H. 1992. Hierarchical control of discrete-event systems. Ph.D. thesis, Department of Electrical Engineering, University of Toronto.
Zhong, H. and Wonham, W.M. 1990. On the consistency of hierarchical supervision in discrete-event systems. IEEE Transactions on Automatic Control, 35(10):1125-1134.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wong, K.C., Wonham, W.M. Modular Control and Coordination of Discrete-Event Systems. Discrete Event Dynamic Systems 8, 247–297 (1998). https://doi.org/10.1023/A:1008210519960
Issue Date:
DOI: https://doi.org/10.1023/A:1008210519960