Skip to main content
SpringerLink
Log in

Logical aspects of control of discrete-event systems: A survey of tools and techniques

  • The Automata Theoretic Approach
  • Conference paper
  • First Online:
Book cover 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems

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

Abstract

We have sketched some of the main directions in which theoretical frameworks for control of discrete-event systems have recently been extended and elaborated. While many of the proposed models bear marked similarities to the tools of computer scientists, control theory for DES is distinguished by an emphasis on formal synthesis that is typical of control science. As a consequence, properties such as controllability, observability and hierarchical consistency play a central role; we have discussed the generalization of some of these properties to extended modelling frameworks. In conclusion, we note that recent applications in areas such as semiconductor manufacturing [BHG+93], nuclear reactor safety [Law92] and intelligent vehicle / highway systems [Var93] suggest that tools and techniques for control of DES may be approaching a level of sophistication sufficient for the solution of problems of realistic complexity.

Supported by the Fonds pour la formation de chercheurs et l'aide à la recherche of the Province of Quebec, Canada, Bell-Northern Research Ltd. and the Natural Sciences and Engineering Research Council of Canada, under the Action concertée sur les méthodes mathématiques pour la synthèse de systèmes informatiques.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albert Benveniste and Karl J. Åström. Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue. IEEE Trans. Automatic Control, 38(7):1004–1010, July 1993.

    Article  Google Scholar 

  2. Y. Brave and M. Heymann. Formulation and control of real time discrete event processes. In Proc. 27th IEEE Conf. on Decision and Control, pages 1131–1132, December 1988.

    Google Scholar 

  3. Y. Brave and M. Heymann. Control of discrete event systems modeled as hierarchical state machines. IEEE Trans. Automatic Control, 12:1803–1819, 1993.

    Article  Google Scholar 

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

    Article  Google Scholar 

  5. B. A. Brandin and W. M. Wonham. Supervisory control of timed discrete-event systems. Tech. Rpt. 9210, Systems Control Group, Dept. of Electl. and Comp. Engrg., University of Toronto, August 1992.

    Google Scholar 

  6. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  Google Scholar 

  7. M. Heymann and F. Lin. On-line control of partially observed discrete event systems. Tech. Rpt. 9310, Center for Intelligent Systems, Technion — Israel Institute of Technology, Haifa 32000 Israel, March 1993.

    Google Scholar 

  8. K. İnan. An algebraic approach to supervisory control. Mathematics of Control, Signals and Systems, 5:151–164, 1992.

    Google Scholar 

  9. Kemal İnan and Pravin Varaiya. Finitely recursive processes. In P. Varaiya and A. B. Kurzhanski, editors, Discrete Event Systems: Models and Applications, IIASA Conference, Sopron, Hungary, Aug. 3–7, 1987 (LNCIS, vol. 103), pages 1–18, New York, 1988. Springer-Verlag.

    Google Scholar 

  10. Ratnesh Kumar, Vijay Garg, and Steven I. Marcus. On supervisory control of sequential behaviors. IEEE Trans. Automatic Control, 37(12):1978–1985, December 1992.

    Article  Google Scholar 

  11. Ratnesh Kumar, Vijay Garg, and Steven I. Marcus. Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans. on Automatic Control, 38(2):232–247, February 1993.

    Article  Google Scholar 

  12. Mark Stephen Lawford. Transformational equivalence of timed transition models. Tech. Rpt. Systems Control Group, Dept. of Electl. and Comp. Engrg., Univ. of Toronto, January 1992.

    Google Scholar 

  13. Y. Li and W. M. Wonham. On supervisory control of real-time discrete-event systems. Information Sciences, 46(3):159–183, 1988.

    Article  MathSciNet  Google Scholar 

  14. F. Lin and W. M. Wonham. Supervisory control of timed discrete event systems under partial observations. Tech. Rpt. 9316, Systems Control Group, Dept. of Electl. and Comp. Engrg., Univ. of Toronto, November 1993.

    Google Scholar 

  15. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1. Specification. Springer-Verlag, New York, 1992.

    Google Scholar 

  16. J. S. Ostroff. Formal methods for the specification and design of real-time safetycritical systems. J. Systems and Software, 18:33–60, April 1992.

    Article  Google Scholar 

  17. Jonathan S. Ostroff and W. Murray Wonham. A framework for real-time discrete-event control. IEEE Trans. Automatic Control, 35(4):386–397, 1990.

    Article  Google Scholar 

  18. Cüynet M. Özveren and Alan S. Willsky. Output stabilizability of discrete-event dynamic systems. IEEE Trans. Automatic Control, 36(8):925–935, August 1991.

    Article  Google Scholar 

  19. Peter J. G. Ramadge. Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata. IEEE Trans. Automatic Control, 34(1):10–19, January 1989.

    Article  Google Scholar 

  20. P.J. Ramadge and W.M. Wonham. Modular feedback logic for discrete event systems. SIAM J. Control and Optimization, 25(5):1202–1218, 1987.

    Article  Google Scholar 

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

    Article  Google Scholar 

  22. Karen Rudie and W. Murray Wonham. Think globally, act locally: Decentralized supervisory control. IEEE Trans. Automatic Control, 37(11):1692–1708, November 1992.

    Article  Google Scholar 

  23. J. G. Thistle and W. M. Wonham. Control of infinite behaviour of finite automata. To appear in SIAM J. Control and Optimization 32 (4), 1994.

    Google Scholar 

  24. J. G. Thistle and W. M. Wonham. Supervision of infinite behaviour of discrete-event systems. To appear in SIAM J. Control and Optimization 32 (4), 1994.

    Google Scholar 

  25. Pravin Varaiya. Smart cars on smart roads: Problems of control. IEEE Trans. on Automatic Control, 38(2):195–207, February 1993.

    Article  Google Scholar 

  26. Howard Wong-Toi and Gérard Hoffmann. The control of dense real-time discrete-event systems. Preprint, 1992.

    Google Scholar 

  27. K. C. Wong and W. M. Wonham. Hierarchical and modular control of discrete-event systems. In Proceedings of 30th Ann. Allerton Conf. on Communication, Control, and Computing, pages 614–623, September 1992.

    Google Scholar 

  28. K.C. Wong and W.M. Wonham. Hierarchical control of timed discrete-event systems. In Proceedings of Second European Control Conference, pages 509–512, June–July 1993.

    Google Scholar 

  29. S. Young, D. Spanjol, and V. K. Garg. Control of discrete event systems modeled with deterministic Büchi automata. In Proceedings of 1992 American Control Conference, pages 2809–2813, 1992.

    Google Scholar 

  30. Zhong Hao and W. Murray Wonham. On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans. Automatic Control, 35(10):1125–1134, October 1990.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Département de génie electrique et de génie informatique, École Polytechnique de Montréal, succursale Centre-ville, C.P. 6079, H3C 3A7, Montréal, Québec, Canada

    John G. Thistle

Authors
  1. John G. Thistle
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy Cohen Jean-Pierre Quadrat

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag London Limited

About this paper

Cite this paper

Thistle, J.G. (1994). Logical aspects of control of discrete-event systems: A survey of tools and techniques. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033527

Download citation

  • DOI: https://doi.org/10.1007/BFb0033527

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19896-3

  • Online ISBN: 978-3-540-39345-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation