Skip to main content
SpringerLink
Log in

Hierarchical control of timed discrete-event systems

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

An abstract hierarchical control theory is developed for a class of timed discrete-event systems (TDES) within the discrete-event control architectural framework proposed earlier by the authors. For this development, a control theory for TDES is introduced in the spirit of a prior theory of Brandin. A notion of time control structures is introduced, and on its basis a general property of hierarchical consistency is achieved by establishing control consistency — namely preservation of time control structures through the aggregation mapping in a two-level hierarchy.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • B. A. Brandin.Real-Time Supervisory Control of Automated Manufacturing Systems. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1993, Also appears as Technical Report 9302, Systems Control Group, Department of Electrical Engineering, University of Toronto, February, 1993.

  • B. A. Brandin and W. M. Wonham. Supervisory control of timed discrete-event systems.IEEE Transactions on Automatic Control, 39(2):329–342, 1994.

    Google Scholar 

  • R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya. Supervisory control of discrete-event processes with partial observations.IEEE Transactions on Automatic Control, 33(3):249–260, March 1988.

    Google Scholar 

  • K. Inan. An algebraic approach to supervisory control.Mathematics of Control, Signals, and Systems, 5:151–164, 1992.

    Google Scholar 

  • F. Lin and W. M. Wonham. Decentralized supervisory control of discrete-event systems.Information Sciences, 44:199–224, 1988.

    Google Scholar 

  • J. S. Ostroff. Deciding properties of timed transition models.IEEE Trans. on Parallel and Distributed Systems, 1(2):170–183, April 1990.

    Google Scholar 

  • P. J. Ramadge.Control and Supervision of Discrete Event Processes. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1983.

  • P. J. Ramadge and W. M. Wonham. Supervision of discrete event processes. InProc. of 21st Conf. on Decision and Control, pages 1228–1229, 1982.

  • P. J. Ramadge and W. M. Wonham. Modular feedback logic for discrete event systems.SIAM J. Control and Optimization, 25(5):1202–1218, 1987.

    Google Scholar 

  • P. J. Ramadge and W. M. Wonham. The control of discrete event systems.Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77(1):81–98, January 1989.

    Google Scholar 

  • K. Rudie and W. M. Wonham. Think globally, act locally: decentralized supervisory control.IEEE Transactions on Automatic Control, 37(11):1692–1708, 1992.

    Google Scholar 

  • J. G. Thistle.Control of Infinite Behaviour of Discrete-Event Systems. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1991, Also appears as Technical Report 9012, Systems Control Group, Department of Electrical Engineering, University of Toronto, January, 1991.

  • Y. Willner and M. Heymann. On supervisory control of concurrent discrete-event systems. Technical Report 9009, Computer Science Department, Israel Institute of Technology, Technion, 1990.

  • K. C. Wong.Discrete-Event Control Architecture: An Algebraic Approach. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1994, Also appears as Technical Report 9407, Systems Control Group, Department of Electrical Engineering, University of Toronto, July, 1994.

  • K. C. Wong and W. M. Wonham. Hierarchical control of discrete-event systems.Discrete Event Dynamic Systems: Theory and Applications, 6:241–273, 1996.

    Google Scholar 

  • K. C. Wong and W. M. Wonham. Hierarchical and modular control of discrete-event systems. InProc. of Thirtieth Annual Allerton Conference on Communication, Control, and Computing, pages 614–623, Monticello, Illinois, September–October 1992.

  • K. C. Wong and W. M. Wonham. Hierarchical control of timed discrete-event systems. InProc. of Second European Control Conference, pages 509–512, Groningen, The Netherlands, June–July 1993.

  • W. M. Wonham. Towards an abstract internal model principle.IEEE Transactions on Systems, Man, and Cybernetics, SMC-6(11):735–740, November 1976.

    Google Scholar 

  • W. M. Wonham and P. J. Ramadge. Modular supervisory control of discrete event systems.Mathematics of Control, Signal and Systems, 1(1):13–30, 1988.

    Google Scholar 

  • H. Zhong.Hierarchical control of discrete-event systems. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1992, Also appears as Technical Report 9208, Systems Control Group, Department of Electrical Engineering, University of Toronto, July, 1992.

  • H. Zhong and W. M. Wonham. On the consistency of hierarchical supervision in discrete-event systems.IEEE Transactions on Automatic Control, 35(10):1125–1134, October 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Electrical and Computer Engineering, University of Toronto, Canada

    K. C. Wong & W. M. Wonham

Authors
  1. K. C. Wong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. W. M. Wonham
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wong, K.C., Wonham, W.M. Hierarchical control of timed discrete-event systems. Discrete Event Dyn Syst 6, 275–306 (1996). https://doi.org/10.1007/BF01797155

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01797155

Keywords

Search

Navigation