Advertisement

Discrete Event Dynamic Systems

, Volume 10, Issue 1–2, pp 131–186 | Cite as

Supervisory Control of Distributed Systems: Conflict Resolution

  • K.C. Wong
  • J.G. Thistle
  • R.P. Malhamé
  • H.-H. Hoang
Article

Abstract

In distributed synthesis and control, one well-known potential hazard is conflict between modular designs. In a modular approach to the supervisory control of discrete-event systems, modular supervisors that are individually nonblocking (with respect to the plant) may nevertheless conflict and thus produce blocking, or even deadlock, when operating concurrently. A scheme of resolving this potential conflict between the modular supervisors would be to accord priorities to the conflicting supervisors. When conflict arises, the modular supervisor that is assigned a higher priority will have sole control, or in other words the control action of the lower priority supervisor will be suspended. Thus by assigning priority appropriately, control actions of the modular supervisors will be suspended and reactivated in such a way that the potential conflict can be averted. In this article we formalize this scheme with reporter maps from a hierarchical approach to the supervisory control of discrete-event systems. These maps, each acting as an interface between a modular supervisor and the plant, mediate the flow of information and control, and thus in this way achieve suspension and reactivation of the modular supervisors. Sufficient conditions on these reporter maps for conflict resolution are obtained. Roughly speaking, the conditions are that (1) the reporter maps select suitable ‘subsystems’ of the plant; (2) within these subsystems, conflicts are ‘resolved’; (3) the reporter maps are ‘refined’ enough to lift these local conflict resolutions back to the original plant. With these conditions, a constructive solution is developed, which in essence suspends a supervisor ‘just in time’ to prevent conflict and reactivates it when the plant and the other supervisor return to the state they were in when the suspension began. Examples inspired by the feature interaction problem in telecommunication systems are provided for illustration.

discrete-event systems modular supervision conflict resolution 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bowen, T. F., Dworak, F. S., Chow, C. H., Griffeth, N. D., Herman, G. E., and Lin, Y.-J. 1989. The feature interaction problem in telecommunication systems. Proc. 7th IEE Int'l Conf. on Software Engineering for Telecommunications Systems.Google Scholar
  2. Cameron, E. J., Griffeth, N., Lin, Y.-J., Nilson, M. E., and Schnure,W. K. 1993. A feature interaction benchmark in IN and beyond. IEEE Communication Magazine 31(3).Google Scholar
  3. Chen, Y.-L., Lafortune, S., and Lin, F. 1995. Modular supervisory control with priorities for discrete event systems. Proceedings of the 34th IEEE Conf. on Decision and Control, pp. 409–415.Google Scholar
  4. 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.Google Scholar
  5. Heymann, M. 1990. Concurrency and discrete event control. IEEE Control Systems Magazine 10(4): 103-112.Google Scholar
  6. Kimbler, K. 1997. Addressing the interaction problem at the enterprise level. In Dini, P., Boutaba, R., and Logrippo, L. (eds.), Feature Interactions in Telecommunication Networks, pp. 13-22. IOS press.Google Scholar
  7. Lin, F., and Wonham, W. M. 1988. Decentralized supervisory control of discrete-event systems. Information Sciences 44: 199-224.Google Scholar
  8. Ramadge, P. J., and Wonham, W. M. 1987. Modular feedback logic for discrete event systems. SIAM J. Control and Optimization 25(5): 1202-1218.Google Scholar
  9. Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete-event processes. SIAM J. Control and Optimization 25(1): 206-230.Google Scholar
  10. 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.Google Scholar
  11. Rudie, K., and Wonham, W. M. 1992. Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control 37(11): 1692-1708.Google Scholar
  12. 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, 1988. Also appears as Technical Report 8806, Systems Control Group, Department of Electrical Engineering, University of Toronto.Google Scholar
  13. Thistle, J. G. 1996. Supervisory control of discrete event systems. Mathematical and Computer Modelling 23(11/12): 25-53.Google Scholar
  14. Thistle, J. G., Malhamé, R. P., Hoang, H.-H., and Lafortune, S. L. 1997. Feature interaction modelling, detection and resolution: A supervisory control approach. Dini, P., Boutaba, R., and Logrippo, L. (eds.), Feature Interactions in Telecommunication Networks, pp. 13-22. IOS Press.Google Scholar
  15. Willner, Y., and Heymann, M. 1991. Supervisory control of concurrent discrete-event systems. International Journal of Control 54(5): 1143-1169.Google Scholar
  16. Wong, K. C., Thistle, J. G., Hoang, H.-H., and Malhamé, R. P. 1995. Conflict resolution in modular control with application to feature interaction. Proceedings of the 34th IEEE Conf. on Decision and Control, pp. 416-421.Google Scholar
  17. Wong, K. C., Thistle, J. G., and Malhamé, R. P. 1995. Conflict resolution with flexible priority in modular control. Proc. of the Canadian Conference on Electrical and Computer Engineering, pp. 797-800.Google Scholar
  18. 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.Google Scholar
  19. Wong, K. C., and Wonham, W. M. 1998. Modular control and coordination of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 8(3): 247-297.Google Scholar
  20. Wonham, W. M. 1999. Notes on control of discrete-event systems. ELE 1636F/1637S, Department of Electrical Engineering, University of Toronto.Google Scholar
  21. 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.Google Scholar
  22. Wonham, W. M., and Ramadge, P. J. 1988. Modular supervisory control of discrete event systems. Mathematics of Control, Signal and Systems 1(1): 13-30.Google Scholar
  23. 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.Google Scholar

Copyright information

© Kluwer Academic Publishers 2000

Authors and Affiliations

  • K.C. Wong
  • J.G. Thistle
  • R.P. Malhamé
  • H.-H. Hoang

There are no affiliations available

Personalised recommendations