Skip to main content

Control of Modular and Distributed Discrete-Event Systems

  • Conference paper
Formal Methods for Components and Objects (FMCO 2005)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 4111))

Included in the following conference series:

Abstract

Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems. For both modular and distributed discrete-event systems sufficient and necessary conditions are derived for modular control synthesis to equal global control synthesis for the supremal controllable sublanguage, for the supremal normal sublanguage, and for the supremal controllalble and normal sublanguage. The modular control synthesis has a much lower computational complexity than the corresponding global control synthesis for the respective sublanguages.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Cassandras, S.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)

    MATH  Google Scholar 

  2. Gaudin, B., Marchand, H.: Modular Supervisory Control of a Class of Concurrent Discrete Event Systems. In: Proceedings WODES 2004, Workshop on Discrete-Event Systems, Reims, September 22-24, pp. 181–186 (2004)

    Google Scholar 

  3. Komenda, J., van Schuppen, J.H.: Supremal Normal Sublanguages of Large Distributed Discrete-Event Systems. In: Proceedings WODES 2004, Workshop on Discrete-Event Systems, Reims, September 22-24 (2004)

    Google Scholar 

  4. Komenda, J.: Modular Control of Large Distributed Discrete-Event Systems with Partial Observations. In: Proceedings of the 15th International Conference on Systems Science, Wroclaw, Poland, vol. II, pp. 175–184 (September 2004)

    Google Scholar 

  5. Komenda, J., van Schuppen, J.H.: Modular antipermissive control of discrete-event systems. In: Proceedings of IFAC World Congress 2005, Prague (July 2005)

    Google Scholar 

  6. Komenda, J., van Schuppen, J.H.: Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems. In: Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference, Sevilla, pp. 2775–2780 (December 2005)

    Google Scholar 

  7. Komenda, J., van Schuppen, J.H.: Modular control of discrete-event systems with coalgebra (submitted) (August 2005)

    Google Scholar 

  8. Komenda, J., van Schuppen, J.H.: Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. Discrete Event Dynamical Systems: Theory and Applications 15(3), 257–315 (2005)

    Article  MATH  Google Scholar 

  9. Komenda, J., van Schuppen, J.H.: Optimal Solutions of Modular Supervisory Control Problems with Indecomposable Specification Languages. In: Proceedings International Workshop on Discrete Event Systems (WODES) (to appear, 2006)

    Google Scholar 

  10. Lamouchi, M., Thistle, J.G.: Effective Control Synthesis For Discrete Event Systems Under Partial Observations. In: Proceedings of the IEEE Conference on Decision and Control (2000)

    Google Scholar 

  11. Lin, F., Wonham, W.M.: On Observability of Discrete-Event Systems. Information Sciences 44, 173–198 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  12. Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall International, New York (1989)

    MATH  Google Scholar 

  13. Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: Pnueli, A., Rosner, R. (eds.) Proceedings of the 1990 IEEE Symposium on the Foundations of Computer Science, pp. 746–757. IEEE, New York (1990)

    Chapter  Google Scholar 

  14. Ramadge, P.J., Wonham, W.M.: The Control of Discrete-Event Systems. Proc. IEEE 77, 81–98 (1989)

    Article  Google Scholar 

  15. Rutten, J.J.M.M.: Universal Coalgebra: A Theory of Systems. Theoretical Computer Science 249(1), 3–80 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  16. Tripakis, S.: Undecidable Problems of Decentralized Observation and Control. In: Proceedings of the IEEE Conference on Decision and Control (2001)

    Google Scholar 

  17. Tsitsiklis, J.N.: On the Control of Discrete-Event Dynamical Systems. Mathematics of Control, Signal, and Systems, 95–107 (1989)

    Google Scholar 

  18. Wong, K.C., Lee, S.: Structural Decentralized Control of Concurrent Discrete-Event Systems. European Journal of Control 8, 477–491 (2002)

    Article  Google Scholar 

  19. Wonham, W.M.: Lecture notes on control of discrete-event systems, University of Toronto, Department ECE, Toronto (2005), http://www.control.toronto.edu/people/profs/wonham/wonham.html

  20. Wonham, W.M., Ramadge, P.J.: On the Supremal Controllable Sublanguage of a Given Language. SIAM J. Control Optim. 25, 637–659 (1987)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Komenda, J., van Schuppen, J.H. (2006). Control of Modular and Distributed Discrete-Event Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, WP. (eds) Formal Methods for Components and Objects. FMCO 2005. Lecture Notes in Computer Science, vol 4111. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11804192_3

Download citation

  • DOI: https://doi.org/10.1007/11804192_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-36749-9

  • Online ISBN: 978-3-540-36750-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics