Skip to main content
SpringerLink
Log in
Book cover

Control of Discrete-Event Systems pp 3–22Cite as

Modelling of Engineering Phenomena by Finite Automata

  • Chapter

  • 2178 Accesses

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

Abstract

This chapter addresses the modelling of technical systems by finite automata, both deterministic and nondeterministic. It will focus on various ways of describing the interaction between the system to be controlled and the controller. This ranges from an input/output point of view, which is mostly employed in “classical” systems theory, to the standard mechanism used in supervisory control, namely the partitioning of the overall event set into controllable and noncontrollable events. The former point of view leads to well-known concepts as Mealy and Moore automata, the latter to so-called generators, i.e., finite automata with partial transition functions. This chapter will also (briefly) touch on the issue of approximating finite automata, i.e., the question of how systems with an intrinsically infinite state space can be approximated by finite state machines such that control obtained for the approximation is meaningful for the underlying infinite state system.

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. Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.): HS 1997. LNCS, vol. 1567. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  2. Antsaklis, P.J., Nerode, A.: IEEE Transactions on Automatic Control–Special Issue on Hybrid Control Systems 43 (1998)

    Google Scholar 

  3. Booth, T.L.: Sequential Machines and Automata Theory. John Wiley, New York (1967)

    MATH  Google Scholar 

  4. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Boston (1999)

    MATH  Google Scholar 

  5. Evans, R., Savkin, A.V.: Systems and Control Letters–Special Issue on Hybrid Control Systems 38 (1999)

    Google Scholar 

  6. Girard, A., Pola, G., Tabuada, P.: Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control 55(1), 116–126 (2010)

    Article  MathSciNet  Google Scholar 

  7. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)

    MATH  Google Scholar 

  8. Lunze, J., Lamnabhi-Lagarrigue, F. (eds.): The HYCON Handbook of Hybrid Systems Control: Theory, Tools, Applications. Cambridge University Press (2009)

    Google Scholar 

  9. Lynch, N.A., Krogh, B.H. (eds.): HSCC 2000. LNCS, vol. 1790. Springer, Heidelberg (2000)

    MATH  Google Scholar 

  10. Moor, T., Raisch, J.: Supervisory control of hybrid systems within a behavioural framework. Systems and Control Letters–Special Issue on Hybrid Control Systems 38, 157–166 (1999)

    MathSciNet  MATH  Google Scholar 

  11. Moor, T., Raisch, J., O’Young, S.: Discrete Supervisory control of hybrid systems by l-Complete approximations. Journal of Discrete Event Dynamic Systems 12, 83–107 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  12. Moor, T., Davoren, J.M., Raisch, J.: Learning by doing – Systematic abstraction refinement for hybrid control synthesis. IEE Proc. Control Theory & Applications–Special Issue on Hybrid Systems 153, 591–599 (2006)

    Article  MathSciNet  Google Scholar 

  13. Morse, A.S., Pantelides, C.C., Sastry, S.S., Schumacher, J.M.: Automatica–Special issue on Hybrid Control Systems 35 (1999)

    Google Scholar 

  14. Raisch, J., O’Young, S.D.: Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control-Special Issue on Hybrid Systems 43(4), 569–573 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  15. Raisch, J.: Discrete abstractions of continuous systems–an Input/Output point of view. Mathematical and Computer Modelling of Dynamical Systems–Special Issue on Discrete Event Models of Continuous Systems 6, 6–29 (2000)

    MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  Google Scholar 

  18. Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer-Verlag, New York Inc. (2009)

    Google Scholar 

  19. Willems, J.C.: Models for Dynamics. Dynamics Reported 2, 172–269 (1989)

    MathSciNet  Google Scholar 

  20. Willems, J.C.: Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control 36(3), 258–294 (1991)

    Article  MathSciNet  Google Scholar 

  21. Wonham, W.M.: Notes on control of discrete event systems. Department of Electrical & Computer Engineering. University of Toronto, Canada (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachgebiet Regelungssysteme, TU Berlin, Sekr. EN11, Einsteinufer 17, 10587, Berlin, Germany

    Jörg Raisch

  2. Fachgruppe System- und Regelungstheorie, Max-Planck-Institut für Dynamik komplexer technischer Systeme, Magdeburg, Germany

    Jörg Raisch

Authors
  1. Jörg Raisch
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Raisch, J. (2013). Modelling of Engineering Phenomena by Finite Automata. 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_1

Download citation

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

  • 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