Advertisement

Decentralized Discrete-Event Systems and Computational Complexity

  • Karen Rudie
  • Jan C. Willems
Part of the The IMA Volumes in Mathematics and its Applications book series (IMA, volume 73)

Abstract

A summary is given of computational complexity results for decentralized discrete-event control problems. These results generalize the earlier work of Tsitsiklis, who showed that for a special class of centralized supervisory control problems under partial observation, there is an algorithm for determining in polynomial-time whether or not a solution exists. The negative complexity results associated with Tsitsiklis’ work also carry over to the decentralized case, so that solution existence for the more general class is not decidable in polynomial time. Moreover, even when it can be shown that supervisor solutions exist for problems in either the special or general class, there is no polynomial-time algorithm for producing such solutions.

Key words

discrete-event systems computational complexity decentralized supervisory control 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    S. Balemi, Discrete-event systems control of a rapid thermal multiprocessor, Report No. 91–12, Automatic Control Laboratory, Swiss Federal Institute of Technology, ETH-Zentrum, Zürich, Switzerland 1991.Google Scholar
  2. [2]
    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) Mar (1988), pp. 249–260.Google Scholar
  3. [3]
    H. Cho AND S.I. Marcus, Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations, Mathematical Systems Theory 22 (1989), pp. 177–211.MathSciNetzbMATHCrossRefGoogle Scholar
  4. [4]
    M.R. Garey AND D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman and Company, San Francisco 1979.Google Scholar
  5. [5]
    E. Horowitz AND S. Sahni, Fundamentals of Data Structures, Computer Science Press, Rockville, MD 1982.Google Scholar
  6. [6]
    G. Hoffmann, C. Schaper AND G. Franklin, Discrete event controller for a rapid thermal multiprocessor in Proceedings of the American Control Conference 3, Boston, MA, Jun 1991, pp. 2936–2938.Google Scholar
  7. [7]
    B.H. Krogh, Controlled Petri nets and maximally permissive feedback logic in Proceedings of the 25th Annual Allerton Conference on Communication, Control and Computing, University of Illinois, Urbana 1987, pp. 317–326.Google Scholar
  8. [8]
    S. Lafortune, Modeling and analysis of transaction execution in database systems, IEEE Transactions on Automatic Control 33(5) May (1988), pp. 439–447.Google Scholar
  9. [9]
    F. Lin AND W.M. Wonham, On observability of discrete-event systems, Information Sciences 44 (1988), pp. 173–198. (Also appears as Systems Control Group Report #8701, Department of Electrical Engineering, University of Toronto, 1987.)Google Scholar
  10. [10]
    F. Lin AND W.M. Wonham, Decentralized control and coordination of discrete-event systems with partial observation, IEEE Transactions on Automatic Control 35(12) Dec (1990), pp. 1330–1337. (Also appears as Systems Control Group Report #8909, Department of Electrical Engineering, University of Toronto, 1989; and in shorter form as Decentralized control and coordina¬tion of discrete-event systems in Proceedings of the 27th IEEE Conference on Decision and Control, December 1988, pp. 1125–1130.Google Scholar
  11. [11]
    P.J. Ramadge, Control and Supervision of Discrete Event Processes, ( Ph.D. thesis) Department of Electrical Engineering, University of Toronto 1983.Google Scholar
  12. [12]
    P.J. Ramadge AND W.M. Wonham, Supervision of discrete event processes in Proceedings of the 21st IEEE Conference on Decision and Control 3, Dec 1982, pp. 1228–1229.Google Scholar
  13. [13]
    P.J. Ramadge AND W.M. Wonham, Supervisory control of a class of discrete-event processes, SIAM Journal of Control and Optimization 25(1) (1987), pp. 206–230. (Also appears as Systems Control Group Report #8311, Department of Electrical Engineering, University of Toronto 1983.)Google Scholar
  14. [14]
    K. Rudie AND W.M. Wonham, Supervisory control of communicating processes in Protocol Specification, Testing and Verification X (eds., L. Logrippo, R.L. Probert AND H. Ural) Elsevier Science (North-Holland) 1990, pp. 243–257. (Expanded version appears as Systems Control Group Report #8907, Department of Electrical Engineering, University of Toronto 1989.)Google Scholar
  15. [15]
    K. Rudie AND W.M. Wonham, Protocol verification using discrete-event systems in Proceedings of the 31st IEEE Conference on Decision and Control, Tucson, Arizona, Dec 1992, pp. 3770–3777.Google Scholar
  16. [16]
    K. Rudie AND W.M. Wonham, Think globally, act locally: decentralized supervisory control, IEEE Transactions on Automatic Control 37 (11), Nov 1992, pp. 1692–1708.MathSciNetzbMATHCrossRefGoogle Scholar
  17. [17]
    K. Rudie AND J. C. Willems, The computational complexity of decentralized discrete-event control problems, IMA Preprint Series #1105, Institute for Mathematics and its Applications 1993.Google Scholar
  18. [18]
    J.N. Tsitsiklis, On the control of discrete-event dynamical systems, Mathematics of Control, Signals, and Systems 2 (1989), pp. 95–107.CrossRefGoogle Scholar
  19. [19]
    W.M. Wonham, A control theory for discrete-event systems in Advanced Computing Concepts and Techniques in Control Engineering F47 (eds., M.J. Denham AND A.J. Laub) NATO ASI Series, Springer-Verlag, Berlin 1988, pp. 129–169. (Also appears as Systems Control Group Report #8714, Department of Electrical Engineering, University of Toronto 1988.)Google Scholar
  20. [20]
    W.M. Wonham AND P.J. Ramadge, On the supremal controllable sublanguage of a given language, SIAM Journal of Control and Optimization 25(3) (1987), pp. 637–659. (Also appears as Systems Control Group Report #8312, Department of Electrical Engineering, University of Toronto 1983.)Google Scholar
  21. [21]
    W.M. Wonham AND P.J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems 1 (1988), pp. 13–30.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag New York, Inc 1995

Authors and Affiliations

  • Karen Rudie
    • 1
  • Jan C. Willems
    • 2
  1. 1.Department of Electrical and Computer EngineeringQueen’s UniversityKingstonCanada
  2. 2.Mathematics InstituteUniversity of GroningenGroningenThe Netherlands

Personalised recommendations