Skip to main content
SpringerLink
Log in
Book cover

International Hybrid Systems Workshop

HS 1996: Hybrid Systems IV pp 31–56Cite as

Simulation of hybrid systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1273))

Abstract

Hybrid systems-those composed of the interaction of discrete and continuous inputs, outputs, states, and dynamic equations-are an important class of models of complex, real-world phenomena. However, the simulation tools currently available seem to be (1) ad hoc retro fitting of existing packages, (2) hastily-built new languages, or (3) specialized software for particular subclasses (e.g., piecewise-constant dynamics). Our goal is to produce fast, high fidelity simulations of (networks of) a very broad class of hybrid systems in a user-friendly environment. In this paper, we first review expertise in the mathematical modeling of hybrid systems, viz. the hybrid dynamical systems of Branicky (HDS). Also, we discuss the object-oriented modeling and simulation of combined discrete/continuous systems using the Omola modeling language and Omsim simulation environment developed over the last eight years at Lund. Leveraging these, we are led to our main contribution: a general set of hybrid systems model classes which encompass HDS and hence several other models popularized in the literature that combine finite automata and discrete event systems with ordinary differential (ODES) and differential algebraic equations (DAEs). These Omola model classes may be viewed as “templates” or “macros” for quick and easy entering of hybrid systems for subsequent analysis and numerically-sophisticated simulation using Omsim.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur, T. A. Henzinger, and E. D. Sontag, editors. Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science. Springer, New York, 1996.

    Google Scholar 

  2. M. Andersson. Object-Oriented Modeling and Simulation of Hybrid Systems. PhD thesis, Lund Institute of Technology, Dept. of Automatic Control, 1994.

    Google Scholar 

  3. P. Anstaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II, volume 999 of Lecture Notes in Computer Science. Springer, New York, 1995.

    Google Scholar 

  4. P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. Hybrid system modeling and autonomous control systems. In Grossman et al. [12], pages 366–392.

    Google Scholar 

  5. Z. Artstein. Examples of stabilization with hybrid feedback. In [1] pages 173–185.

    Google Scholar 

  6. A. Back, J. Guckenheimer, and M. Myers. A dynamical simulation facility for hybrid systems. In Grossman et al. [12], pages 255–267.

    Google Scholar 

  7. D. D. Bainov and P. S. Simeonov. Systems with Impulse Effect. Ellis Horwood, Chichester, England, 1989.

    Google Scholar 

  8. M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. ScD thesis, Massachusetts Institute of Technology, Dept. of Electrical Eng. and Comp. Science, June 1995.

    Google Scholar 

  9. M. S. Branicky, V. S. Borkar, and S. K. Mitter. A unified framework for hybrid control. In Proc. IEEE Conf. Decision and Control, pages 4228–4234, Lake Buena Vista, FL, Dec. 1994.

    Google Scholar 

  10. R. W. Brockett. Hybrid models for motion control systems. In H. L. Trentelman and J. C. Willems, editors, Essays in Control: Perspectives in the Theory and its Applications, pages 29–53. Birkhäuser, Boston, 1993.

    Google Scholar 

  11. A. Deshpande. Control of Hybrid Systems. PhD thesis, Univ. of California at Berkeley, 1994.

    Google Scholar 

  12. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer, New York, 1993.

    Google Scholar 

  13. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, stability. In Grossman et al. [12], pages 317–356.

    Google Scholar 

  14. K. S. Sibirsky. Introduction to Topological Dynamics. Noordhoff International Publishing, Leyden, The Netherlands, 1975. Translated by Leo F. Boron.

    Google Scholar 

  15. E. D. Sontag. Mathematical Control Theory: Deterministic Finite Dimensional Systems, volume 6 of Texts in Applied Mathematics. Springer, New York, 1990.

    Google Scholar 

  16. L. Tavernini. Differential automata and their discrete simulators. Nonlinear Analysis, Theory, Methods, and Applications, 11(6):665–683, 1987.

    Google Scholar 

  17. H. S. Witsenhausen. A class of hybrid-state continuous-time dynamic systems. IEEE Trans. Automatic Control, 11(2):161–167, 1966.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Electrical Eng. and Applied Physics, Case Western Reserve U., 10900 Euclid Ave. Glennan 515B, 44106-7221, Cleveland, OH

    Michael S. Branicky

  2. Dept. of Automatic Control, Lund Institute of Technology, PO Box 118, S-221 00, Lund, Sweden

    Sven Erik Mattsson

Authors
  1. Michael S. Branicky
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sven Erik Mattsson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Branicky, M.S., Mattsson, S.E. (1997). Simulation of hybrid systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031554

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63358-7

  • Online ISBN: 978-3-540-69523-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation