Skip to main content
SpringerLink
Log in

A Summary of Some Discrete-Event System Control Problems

  • Conference paper
Implementation and Application of Automata (CIAA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6482))

Included in the following conference series:

Abstract

A summary of the area of control of discrete-event systems is given. In this research area, automata and formal language theory is used as a tool to model physical problems that arise in technological and industrial systems. The key ingredients to discrete-event control problems are a process that can be modeled by an automaton, events in that process that cannot be disabled or prevented from occurring, and a controlling agent that manipulates the events that can be disabled to guarantee that the process under control either generates all the strings in some prescribed language or as many strings as possible in some prescribed language. When multiple controlling agents act on a process, decentralized control problems arise. In decentralized discrete-event systems, it is presumed that the agents effecting control cannot each see all event occurrences. Partial observation leads to some problems that cannot be solved in polynomial time and some others that are not even decidable.

This work was supported by a Discovery Grant from the Natural Sciences and Engineering Research Council (NSERC).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ramadge, P.J.: Control and Supervision of Discrete Event Processes. PhD thesis, Department of Electrical Engineering, University of Toronto (1983)

    Google Scholar 

  2. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete-event processes. SIAM Journal of Control and Optimization 25(1), 206–230 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  3. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)

    Book  MATH  Google Scholar 

  4. Lin, F., Wonham, W.M.: On observability of discrete-event systems. Information Sciences 44, 173–198 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  5. Ramadge, P.J., Wonham, W.M.: Supervision of discrete event processes. In: Proceedings of the 21st IEEE Conference on Decision and Control, vol. 3, pp. 1228–1229 (December 1982)

    Google Scholar 

  6. Tsitsiklis, J.N.: On the control of discrete-event dynamical systems. Mathematics of Control, Signals, and Systems 2, 95–107 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  7. Rudie, K., Wonham, W.M.: The infimal prefix-closed and observable superlanguage of a given language. Systems & Control Letters 15(5), 361–371 (1990)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  10. Rudie, K., Willems, J.C.: The computational complexity of decentralized discrete-event control problems. IEEE Transactions on Automatic Control 40(7), 1313–1319 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  11. Rudie, K., Wonham, W.M.: Protocol verification using discrete-event systems. In: Proceedings of the 31st IEEE Conference on Decision and Control, Tucson, Arizona, pp. 3770–3777 (December 1992)

    Google Scholar 

  12. Rudie, K., Wonham, W.M.: Supervisory control of communicating processes. In: Logrippo, L., Probert, R.L., Ural, H. (eds.) Protocol Specification, Testing and Verification X, pp. 243–257. Elsevier Science (North-Holland), Amsterdam (1990); Expanded version appears as Systems Control Group Report #8907, Department of Electrical Engineering, University of Toronto (1989)

    Google Scholar 

  13. Puri, A., Tripakis, S., Varaiya, P.: Problems and examples of decentralized observation and control for discrete event systems. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.) Synthesis and Control of Discrete Event Systems, pp. 37–55. Kluwer Academic Publishers, Dordrecht (2001)

    Google Scholar 

  14. Thistle, J.G.: Undecidability in decentralized supervision. Systems & Control Letters 54, 503–509 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  15. Tripakis, S.: Undecidable problems of decentralized observation and control. In: Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, pp. 4104–4109 (December 2001)

    Google Scholar 

  16. Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters 90, 21–28 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  17. Tripakis, S.: Decentralized control of discrete-event systems with bounded or unbounded delay communication. IEEE Transactions on Automatic Control 49(9), 1489–1501 (2004)

    Article  MathSciNet  Google Scholar 

  18. Brandin, B.A., Wonham, W.M., Benhabib, B.: Manufacturing cell supervisory control—a timed discrete-event system approach. In: Proceedings of the IEEE Conference on Robotics and Automation, Nice, France, pp. 931–936 (May 1992)

    Google Scholar 

  19. Krogh, B.H., Holloway, L.E.: Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27(4), 641–651 (1991)

    Article  Google Scholar 

  20. Balemi, S., Hoffmann, G.J., Gyugyi, P., Wong-Toi, H., Franklin, G.F.: Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control 38(7), 1040–1059 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  21. Yoo, T.-S., Lafortune, S.: A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 12, 335–377 (2002)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  23. Caines, P.E., Wei, Y.J.: The hierarchical lattices of a finite machine. Systems & Control Letters 25, 257–263 (1995)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  25. Lawford, M., Wonham, W.M.: Supervisory control of probabilistic discrete event systems. In: Proceedings of the 36th Midwest Symposium on Circuits and Systems, Detroit, MI, pp. 327–331 (1993)

    Google Scholar 

  26. Kumar, R., Garg, V.K.: Control of stochastic discrete event systems modeled by probabilistic languages. IEEE Transactions on Automatic Control 46(4), 593–606 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  27. Holloway, L., Krogh, B.H., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 2(7), 151–190 (1997)

    Article  MATH  Google Scholar 

  28. Ostroff, J.S., Wonham, W.M.: A framework for real-time discrete event control. IEEE Transactions on Automatic Control 35(4), 386–397 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  29. Ricker, S.L., Rudie, K.: Know means no: Incorporating knowledge into decentralized discrete-event control. IEEE Transactions on Automatic Control 45(9), 1656–1668 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  30. Ricker, S.L., Rudie, K.: Knowledge is a terrible thing to waste: Using inference in discrete-event contol problems. IEEE Transactions on Automatic Control 52(3), 428–441 (2007)

    Article  MathSciNet  Google Scholar 

  31. Chung, S.-L., Lafortune, S., Lin, F.: Limited lookahead policies in supervisory control of discrete event systems. IEEE Transactions on Automatic Control 37(12), 1921–1935 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  32. Auer, A., Dingel, J., Rudie, K.: Concurrency control generation for dynamic threads using discrete-event systems. In: Proceedings of the Allerton Conference on Communication, Control and Computing, Monticello, IL, September 30-October 2, pp. 927–934 (2009)

    Google Scholar 

  33. Kelly, T., Wang, Y., Lafortune, S., Mahlke, S.: Eliminating concurrency bugs with control engineering. Computer 42(12), 52–60 (2009)

    Article  Google Scholar 

  34. Whittaker, S.-J., Rudie, K., McLellan, J., Haar, S.: Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. In: Proceedings of the Allerton Conference on Communication, Control and Computing, Monticello, IL, September 30-October 2, pp. 652–659 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Karen Rudie

Authors
  1. Karen Rudie
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Manitoba, R3T 2N2, Winnipeg, MB, Canada

    Michael Domaratzki

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

    Kai Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rudie, K. (2011). A Summary of Some Discrete-Event System Control Problems. In: Domaratzki, M., Salomaa, K. (eds) Implementation and Application of Automata. CIAA 2010. Lecture Notes in Computer Science, vol 6482. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18098-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-18098-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-18097-2

  • Online ISBN: 978-3-642-18098-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation