Skip to main content
SpringerLink
Log in

Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems

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

Abstract

This paper is concerned with the elimination of unnecessary states in discrete-event system control agents. Several approaches to supervisor reduction are studied and a new relation between agents, comparability, is defined to encapsulate most of the concepts found in the aforementioned methods. This relation is also proven to be preserved under conjunction, which is commonly employed to determine the centralized representation of two decentralized DES supervisors.

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

  • Al-Falou AA, Van Schuppen JH (2003) Aggregation in hierarchical discrete-event systems. Discrete Event Dyn Syst: Theory Appl 13:321–340

    Article  MATH  Google Scholar 

  • Brave Y, Heymann M (1991) Control of discrete event systems modeled as hierarchical state machines. In: Proceedings of the 30th conference on decision and control, Brighton, England, pp 1499–1504, December 1991

  • Caines P, Wei YJ (1995) The hierarchical lattices of a finite machine. Syst Control Lett 25:257–263, July 1995

    Article  MathSciNet  Google Scholar 

  • Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Boston, MA

    MATH  Google Scholar 

  • Marchand H, Gaudin B (2002) Supervisory control problems of hierarchical finite state machines. In: Proceedings of the 41st conference on decision and control, Las Vegas, USA, pp 1199–1204, December 2002

  • Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete-event processes. SIAM J Control Optim 25(1):206–230, January 1987

    Article  MATH  MathSciNet  Google Scholar 

  • Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98, January 1989

    Article  Google Scholar 

  • Rudie K (2002) The current state of decentralized discrete-event control systems. In: Proceedings of the 10th Mediterranean conference on control and automation, Lisbon, Portugal, July 2002

  • Rudie K, Lafortune S, Lin F (2003) Minimal communication in a distributed discrete-event system. IEEE Trans Automat Contr 48(6):957–975, June 2003

    Article  MathSciNet  Google Scholar 

  • Su R, Wonham WM (2004) Supervisor reduction for discrete-event systems. Discrete Event Dyn Syst: Theory Appl 14:31–53

    Article  MATH  MathSciNet  Google Scholar 

  • Takai S (1999) Minimizing the set of local supervisors in fully decentralized supervision. IEEE Trans Automat Contr 44(7):1441–1444, July 1999

    Article  MATH  MathSciNet  Google Scholar 

  • Vaz AF, Wonham WM (1986) On supervisor reduction in discrete-event systems. Int J Control 44(2):475–491, December 1986

    Article  MATH  MathSciNet  Google Scholar 

  • Whittaker S-J (2005) Does size matter? The effects of supervisor reduction on minimal communication between distributed discrete-event agents. Master’s thesis, School of Computing, Queen’s University, Kingston, Ontario, Canada

  • Wong KC, Wonham WM (1992) Hierarchical and modular control of discrete-event systems. In: Proceedings of the 30th annual allerton conference on communication, control and computing, pp 614–623, September 1992

  • Wonham WM (2006) Supervisory control of discrete-event systems, last revised in July, 2006. Notes for ECE 1636F/1637S; can be downloaded at http://www.control.toronto.edu/people/profs/wonham/wonham.html

  • Wonham WM et al (2006) CTCT, last updated July, 2006. Discrete-event systems software; can be downloaded at http://www.control.toronto.edu/people/profs/wonham/wonham.html

  • Wonham WM, Ramadge PJ (1988) Modular supervisory control of discrete-event systems. Math Control Signals Syst 1:13–30

    Article  MATH  MathSciNet  Google Scholar 

  • Zhong H, Wonham WM (1990) On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans Automat Contr 35(10):1125–1134, October 1990

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, Queen’s University, Kingston, Ontario, Canada, K7L 3N6

    Sarah-Jane Whittaker

  2. Department of Electrical and Computer Engineering, Queen’s University, Kingston, Ontario, Canada, K7L 3N6

    Karen Rudie

Authors
  1. Sarah-Jane Whittaker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Karen Rudie
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sarah-Jane Whittaker.

Additional information

This research was supported by the Ontario Provincial Government and by the Natural Sciences and Engineering Research Council of Canada.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Whittaker, SJ., Rudie, K. Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems. Discrete Event Dyn Syst 18, 285–321 (2008). https://doi.org/10.1007/s10626-007-0033-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-007-0033-0

Keywords

Search

Navigation