Advertisement

Control of Modular and Distributed Discrete-Event Systems

  • Jan Komenda
  • Jan H. van Schuppen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4111)

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.

Keywords

Common Event Control Synthesis Local Plant Supervisory Control Uncontrollable Event 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cassandras, S.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)MATHGoogle Scholar
  2. 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. 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. 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. 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. 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. 7.
    Komenda, J., van Schuppen, J.H.: Modular control of discrete-event systems with coalgebra (submitted) (August 2005)Google Scholar
  8. 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)MATHCrossRefGoogle Scholar
  9. 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. 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. 11.
    Lin, F., Wonham, W.M.: On Observability of Discrete-Event Systems. Information Sciences 44, 173–198 (1988)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall International, New York (1989)MATHGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 14.
    Ramadge, P.J., Wonham, W.M.: The Control of Discrete-Event Systems. Proc. IEEE 77, 81–98 (1989)CrossRefGoogle Scholar
  15. 15.
    Rutten, J.J.M.M.: Universal Coalgebra: A Theory of Systems. Theoretical Computer Science 249(1), 3–80 (2000)MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Tripakis, S.: Undecidable Problems of Decentralized Observation and Control. In: Proceedings of the IEEE Conference on Decision and Control (2001)Google Scholar
  17. 17.
    Tsitsiklis, J.N.: On the Control of Discrete-Event Dynamical Systems. Mathematics of Control, Signal, and Systems, 95–107 (1989)Google Scholar
  18. 18.
    Wong, K.C., Lee, S.: Structural Decentralized Control of Concurrent Discrete-Event Systems. European Journal of Control 8, 477–491 (2002)CrossRefGoogle Scholar
  19. 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. 20.
    Wonham, W.M., Ramadge, P.J.: On the Supremal Controllable Sublanguage of a Given Language. SIAM J. Control Optim. 25, 637–659 (1987)CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jan Komenda
    • 1
  • Jan H. van Schuppen
    • 2
  1. 1.Institute of Mathematics – Brno BranchCzech Academy of SciencesBrnoCzech Republic
  2. 2.CWIAmsterdamThe Netherlands

Personalised recommendations