Modelling of Engineering Phenomena by Finite Automata

  • Jörg Raisch

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.): HS 1997. LNCS, vol. 1567. Springer, Heidelberg (1999)MATHGoogle Scholar
  2. 2.
    Antsaklis, P.J., Nerode, A.: IEEE Transactions on Automatic Control–Special Issue on Hybrid Control Systems 43 (1998)Google Scholar
  3. 3.
    Booth, T.L.: Sequential Machines and Automata Theory. John Wiley, New York (1967)MATHGoogle Scholar
  4. 4.
    Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Boston (1999)MATHGoogle Scholar
  5. 5.
    Evans, R., Savkin, A.V.: Systems and Control Letters–Special Issue on Hybrid Control Systems 38 (1999)Google Scholar
  6. 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)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)MATHGoogle Scholar
  8. 8.
    Lunze, J., Lamnabhi-Lagarrigue, F. (eds.): The HYCON Handbook of Hybrid Systems Control: Theory, Tools, Applications. Cambridge University Press (2009)Google Scholar
  9. 9.
    Lynch, N.A., Krogh, B.H. (eds.): HSCC 2000. LNCS, vol. 1790. Springer, Heidelberg (2000)MATHGoogle Scholar
  10. 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)MathSciNetMATHGoogle Scholar
  11. 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)MathSciNetMATHCrossRefGoogle Scholar
  12. 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)MathSciNetCrossRefGoogle Scholar
  13. 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. 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)MathSciNetMATHCrossRefGoogle Scholar
  15. 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)MATHGoogle Scholar
  16. 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)MathSciNetMATHCrossRefGoogle Scholar
  17. 17.
    Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77, 81–98 (1989)CrossRefGoogle Scholar
  18. 18.
    Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer-Verlag, New York Inc. (2009)Google Scholar
  19. 19.
    Willems, J.C.: Models for Dynamics. Dynamics Reported 2, 172–269 (1989)MathSciNetGoogle Scholar
  20. 20.
    Willems, J.C.: Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control 36(3), 258–294 (1991)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Wonham, W.M.: Notes on control of discrete event systems. Department of Electrical & Computer Engineering. University of Toronto, Canada (2001)Google Scholar

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  • Jörg Raisch
    • 1
    • 2
  1. 1.Fachgebiet RegelungssystemeTU BerlinBerlinGermany
  2. 2.Fachgruppe System- und RegelungstheorieMax-Planck-Institut für Dynamik komplexer technischer SystemeMagdeburgGermany

Personalised recommendations