Skip to main content
SpringerLink
Log in
Book cover

Control of Discrete-Event Systems pp 45–64Cite as

Supervisory Control with Complete Observations

  • Chapter

  • 2139 Accesses

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 433))

Abstract

Supervisory control is control of a behavior or, equivalently, of a discrete-event system in this chapter modeled as an automaton. Supervisory control is exerted by specifying after each observation the set of enabled events. The automaton then chooses an event from the subset of enabled events, makes a transition and produces the observed event, after which the process repeats. The logical control objectives of supervisory control are legal behavior and required behavior. Legal behavior is a formal language which specifies what the automaton is safely allowed to do. The required behavior is a formal language which specifies what the system is required to do such as the completion of tasks. The main theorem is then that there exists a supervisory control such that the formal language of the controlled automaton equals the specification if and only if the specification is a controllable sublanguage. An algorithm to determine whether a specification is controllable is provided as well as an algorithm to compute the supervisor. If the specification is not controllable then there exists a supremal controllable sublanguage of the specification and a corresponding supervisory control.

This is a preview of subscription content, 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   119.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   159.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Article  MATH  Google Scholar 

  2. Brandt, R.D., Garg, V., Kumar, R., Lin, F., Marcus, S.I., Wonham, W.M.: Formulas for calculating supremal controllable and normal sublanguages. Systems & Control Letters 15, 111–117 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  3. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the Amererican Mathematical Society 138, 295–311 (1969)

    Google Scholar 

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

    Book  MATH  Google Scholar 

  5. Chen, E., Lafortune, S.: Dealing with blocking in supervisory control of discrete event systems. In: Proc. of the 28th IEEE Conference on Decision and Control, New York, USA (1989)

    Google Scholar 

  6. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)

    MATH  Google Scholar 

  7. Fabian, M., Lennartson, B.: A class of nondeterministic specification for supervisory control. European Journal of Control 3, 81–90 (1997)

    MATH  Google Scholar 

  8. Forschelen, S.T.J., van de Mortel-Fronczak, J.M., Su, R., Rooda, J.E.: Application of supervisory control theory to theme park vehicles. In: Proc. 10th Workshop on Discrete Event Systems, Berlin, Germany (2010)

    Google Scholar 

  9. Hashtrudi-Zad, S., Kwong, R.H., Wonham, W.M.: Supremum operators and computation of supremal elements in system theory. SIAM Journal of Control and Optimization 37, 695–709 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  10. Jacobson, N.: Basic Algebra, 2nd edn., vol. 1. W.H. Freeman and Company, New York (1985)

    MATH  Google Scholar 

  11. Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes. Princeton University Press, Princeton (1994)

    Google Scholar 

  12. Lafortune, S., Chen, E.: The infimal closed controllable superlanguage and its application in supervisory control. IEEE Transactions on Automatic Control 35, 398–405 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  13. Lawvere, F.W., Roseburgh, R.: Sets for Mathematics. Cambridge University Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  14. Lee, S.H.: Structural Decentralised Control of Concurrent Discrete-Event Systems. PhD thesis. Australian National University, Canberra, Australia (1998)

    Google Scholar 

  15. Overkamp, A.: Supervisory control using failure semantics and partial specifications. IEEE Transactions on Automatic Control 42, 498–510 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  16. Polderman, J.W., Willems, J.C.: Introduction to mathematical system theory–A behavioral approach. Texts in Applied Mathematics, vol. 26. Springer, New York (1997)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  18. Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings IEEE 77, 81–98 (1989)

    Article  Google Scholar 

  19. Theunissen, R.J.M., Schiffelers, R.R.H., van Beek, D.A., Rooda, J.E.: Supervisory control synthesis for a patient support system. In: Proc. European Control Conference, Budapest, Hungary (2009)

    Google Scholar 

  20. Thistle, J.G.: On control of systems modelled as deterministic Rabin automata. Discrete Event Dynamics Systems 5, 357–381 (1995)

    Article  MATH  Google Scholar 

  21. Thistle, J.G.: Supervisory control of discrete event systems. Mathematical and Computer Modelling 23, 25–53 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  22. Thistle, J.G., Malhamé, R.P., Hoang, H.H., Lafortune, S.: Feature interaction modelling, detection and resolution: A supervisory control approach. In: Feature Interactions in Telecommunications and Distributed Systems IV. IOS Press, Amsterdam (1997)

    Google Scholar 

  23. Thistle, J.G., Wonham, W.M.: Control of infinite behavior of finite automata. SIAM Journal of Control and Optimization 32, 1075–1097 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  24. Thistle, J.G., Wonham, W.M.: Supervision of infinite behavior of discrete-event systems. SIAM Journal of Control and Optimization 32, 1098–1113 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  25. Thomas, W.: Automata on infinite objects. In: van Leeuwen (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 133–191. Elsevier Science Publishers, Amsterdam (1990)

    Google Scholar 

  26. Thomas, W.: Universal Algebra for Computer Scientists. Springer, Berlin (1992)

    Google Scholar 

  27. Wong-Toi, H., Hoffmann, G.: The control of dense real-time discrete event systems. In: Proc. 30th IEEE Conference on Decision and Control, New York (1991)

    Google Scholar 

  28. Wonham, W.M.: Linear Multivariable Control: A Geometric Approach. Springer, Berlin (1979)

    Book  MATH  Google Scholar 

  29. Wonham, W.M.: Supervisory Control of Discrete-Event Systems. University of Toronto (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Academy of Sciences of the Czech Republic, Žižkova 22, 616 62, Brno, Czech Republic

    Tomáš Masopust

  2. CWI, P.O. Box 94079, 1090, GB, Amsterdam, Netherlands

    Jan H. van Schuppen

Authors
  1. Tomáš Masopust
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan H. van Schuppen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tomáš Masopust .

Editor information

Editors and Affiliations

  1. , Department of Electrical, University of Cagliari, Piazza D'Armi, Cagliari, 09124, Italy

    Carla Seatzu

  2. , Department of Computer Science, University of Zaragoza, Calle María de Luna 1, Zaragoza, 50018, Spain

    Manuel Silva

  3. Centrum Wiskunde & Informatica, Amsterdam, 1090 GB, Netherlands

    Jan H. van Schuppen

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag London

About this chapter

Cite this chapter

Masopust, T., van Schuppen, J.H. (2013). Supervisory Control with Complete Observations. In: Seatzu, C., Silva, M., van Schuppen, J. (eds) Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, vol 433. Springer, London. https://doi.org/10.1007/978-1-4471-4276-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-4276-8_3

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-4275-1

  • Online ISBN: 978-1-4471-4276-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation