STCT: An Efficient Algorithm for Supervisory Control Design

  • Zhonghua Zhang
  • W. M. Wonham


This paper introduces a new synthesis approach for the supervisory control of discrete-event systems (DES). Our algorithm, named S(mart)TCT after our software package CTCT hitherto in use, is much more efficient than CTCT. Efficiency is achieved by exploiting the modular composition of the plant and specification in DES, and its embodiment in integer decision diagrams (IDDs) as the basic data structure.


Efficient Algorithm Flexible Manufacturing System Supervisory Control Discrete Event System Binary Decision Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ake78]
    S.B. Akers. Functional testing with binary decision diagrams. Eighth Annual Conference on Fault-Tolerant Computing, pages 75–82, 1978.Google Scholar
  2. [BA95]
    K. Barkaoui, I. Ben Abdallah. A deadlock prevention method for a class of FMS. Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 4119–4124, Vancouver, Canada, October 1995.Google Scholar
  3. [Bry86]
    R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 12 (8): 677–691, August 1986.CrossRefGoogle Scholar
  4. [CL99]
    C.G. Cassandras and S.Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.Google Scholar
  5. [DAJ95]
    A. A. Desrochers and R. Y. Al-Jaar. Applications of Petri Nets in Manufacturing Systems, Modeling, Control and Performance Analysis. IEEE, 1995.Google Scholar
  6. [Den89]
    M.J. Denham. A Petri net approach to discrete event control. In IEE Colloquium on Modelling, Simulation and Control of Discrete Event Systems, December 1989.Google Scholar
  7. [GD92]
    A. Giva and F. DiCesare. On the existence of Petri net supervisors. In Proc. of 31 st IEEE Conf. Decision and Control, pages 3380–3385, Tucson, AZ, USA, December 1992.Google Scholar
  8. [Ger95]
    R. Germundsson. Symbolic Systems - Theory, Computation and Applications. Linköping Studies in Science and Technology, Dissertation No. 389, Linköping University, 1995.Google Scholar
  9. [Gun97]
    J. Gunnarsson. Symbolic Methods and Tools for Discrete Event Dynamic Systems. Linköping Studies in Science and Technology, Dissertation No. 477, Linköping University, 1997.Google Scholar
  10. [Kro87]
    B.H. Krogh. Controlled Petri nets and maximally permissive feedback logic. In Proc. of 25th Allerton Conf. on Communication, Control and Computing, volume 1, pages 317–326, Monticello, IL, USA, 1987.Google Scholar
  11. [LW93]
    Y. Li and W.M. Wonham. Control of vector discrete-event systems I–the base model. IEEE Trans. Autom. Control, 38 (8): 1214–1227, August 1993.MathSciNetzbMATHCrossRefGoogle Scholar
  12. [LW94]
    Y. Li and W.M. Wonham. Control of vector discrete-event systems II–controller synthesis. IEEE Trans. Autom. Control, 39 (3): 512–531, March 1994.MathSciNetzbMATHCrossRefGoogle Scholar
  13. [MA98]
    J. Moody and P. Antsaklis. Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, 1998.Google Scholar
  14. [MP00]
    H. Marchand, S. Pinchinat. Supervisory control problem using symbolic bisimulation techniques. Proc. American Control Conference, pp. 4067–1071, Chicago, June 2000.Google Scholar
  15. [RW87]
    P.J. Ramadge and W.M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25 (1): 206–230, January 1987.MathSciNetzbMATHCrossRefGoogle Scholar
  16. [SS00]
    M. Seidl and G. Schmidt. Avoiding deadlocks in flexible manufacturing systems. In Discrete event systems: analysis and control, pages 149–158. Kluwer Academic Publishers, 2000.Google Scholar
  17. [Tro97]
    E. Tronci. On computing optimal controllers for finite state systems. Proc. 36 th IEEE Conf. on Decision and Control, pp. 3592–3593, San Diego, December 1997.Google Scholar
  18. [UM88]
    T. Ushio and R. Matsumoto. State feedback and modular control synthesis in controlled Petri nets. In Proc. of 27 th IEEE Conf. Decision and Control, pages 1502–1507, Austin, TX, USA, December 1988.Google Scholar
  19. [Won99]
    W. M. Wonham. Notes on Control of Discrete-Event Systems. Department of Elec- trical and Computer Engineering, University of Toronto, December 1999.Google Scholar
  20. [ZD93]
    M.C. Zhou and F. DiCesare. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, 1993.Google Scholar
  21. [Zha01]
    Z.H. Zhang. Smart TCT: An Efficient Algorithm for Supervisory Control Design. M.A.Sc. Thesis, Dept. of Electl. and Cmptr. Engrg., Univ. of Toronto, April 2001.Google Scholar
  22. [ZV99]
    M.C. Zhou and K. Venkatesh. Modeling, Simulation, and Control of Flexible Manufacturing Systems: a Petri Net Approach. World Scientific, 1999.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • Zhonghua Zhang
    • 1
  • W. M. Wonham
    • 1
  1. 1.Systems Control Group ECE DepartmentUniversity of TorontoCanada

Personalised recommendations