Skip to main content
SpringerLink
Log in

An algebraic temporal logic approach to the forbidden state problem in discrete event control

  • The Automata Theoretic Approach
  • Conference paper
  • First Online:
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))

  • 327 Accesses

Abstract

In this paper, we present an axiomatic approach to the forbidden state problem in discrete event control for a class of concurrent DES using temporal logic. A simple example illustrates the main ideas developed.

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. J. S. Ostroff, “Appendix A: Formal overview of temporal logic and Appendix B: Temporal logic theorems and rules,” Temporal logic for Real Time Systems, pp. 155–171 and 172–183, New York: Research Studies Press Ltd. John Wiley & Sons Inc, 1989. Advanced Software Development Series.

    Google Scholar 

  2. J. G. Thistle and W. M. Wonham, “Control problems in a temporal logic framework,” International Journal of Control, vol. 44, no. 4, pp. 943–976, September 1986.

    Google Scholar 

  3. Jing-Yue Lin and Dan Ionescu, “Verifying a class of nondeterministic discrete event systems in a generalized temporal logic,” IEEE Transactions on Systems, Man and Cybernetics, vol. 22, no. 6, pp. 1461–1469, November/December 1992.

    Google Scholar 

  4. P. J. Ramadge and W. M. Wonham, “Modular feedback logic for discrete event systems,” SIAM Journal of Control and Optimization, vol. 25, no. 5, pp. 1202–1218, September 1987.

    Article  Google Scholar 

  5. Ratnesh Kumar, Vijay K. Garg, and Steven I. Marcus, “Using predicate transformers for supervisory control,” Proceedings of the 30th IEEE International Conference on Decision and Control, (Brighton, England), pp. 98–103, December 1991.

    Google Scholar 

  6. E. W. Dijkstra, A Discipline of Programming. Prentice Hall, Inc. Englewood Cliffs, New Jersey, 1985.

    Google Scholar 

  7. P. J. Ramadge and W. M. Wonham, “Supervisory control of a class of discrete event processes,” SIAM Journal of Control and Optimization, vol. 25, no. 1, pp. 206–230, January 1987.

    Article  Google Scholar 

  8. Yong Li and W. M. Wonham, “Strict concurrency and nondeterministic control of discrete event systems,” Proceedings of the 28th IEEE International Conference on Decision and Control, (Tampa, Florida, U.S.A), pp. 2731–2736, December 1989.

    Google Scholar 

  9. K. A. Ross and C. R. B. Wright, Discrete Mathematics, ch. 2.2: Propositional Calculus. Prentice Hall, Inc. Englewood Cliffs, New Jersey, 2nd ed., 1988. Tables on Logical Equivalences, Logical implications and Rules of inference.

    Google Scholar 

  10. R. P. Trueblood and A. Sengupta, “Dynamic analysis of the effects access rule modifications have upon security,” IEEE Transactions on Software Engineering, vol. SE-12, no. 8, pp. 866–870, August 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Electrical and Electronic Engineering, Nanyang Technological University, Nanyang Avenue S(2263), Republic of Singapore

    KiamTian Seow & R. Devanathan

Authors
  1. KiamTian Seow
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Devanathan
    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

Seow, K., Devanathan, R. (1994). An algebraic temporal logic approach to the forbidden state problem in discrete event control. 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/BFb0033539

Download citation

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

  • 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