skip to main content
10.1145/2461328.2461346acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
research-article

A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox

Published:08 April 2013Publication History

ABSTRACT

This paper describes the Hybrid Equations (HyEQ) Toolbox implemented in Matlab/Simulink for the simulation of hy- brid dynamical systems. This toolbox is capable of comput- ing approximations of trajectories to hybrid systems given in terms of differential and difference equations with con- straints, called hybrid equations. The toolbox is suitable for the simulation of hybrid systems with different type of trajectories, including those that are Zeno and that have multiple jumps at the same instant. It is also capable of simulating hybrid systems without inputs, with inputs, as well as interconnections of hybrid systems. The structure, components, and usage of the simulation scripts within the toolbox are described. Examples are included to illustrate the main capabilities of the toolbox.

References

  1. A. Abate, A. D. Ames, and S. S. Sastry. Error bounds based stochastic approximations and simulations of hybrid dynamical systems. In Proc. 25th American Control Conference, pages 4742--4747, 2006.Google ScholarGoogle ScholarCross RefCross Ref
  2. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proc. of the IEEE, 91:11--28, 2003.Google ScholarGoogle ScholarCross RefCross Ref
  3. U. M. Ascher and L. R. Petzold. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. SIAM, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. M. K. Camlibel, W.P.M.H. Heemels, and J.M.H. Schumacher. Consistency of a time-stepping method for a class of piecewise-linear networks. IEEE Trans. Circ. Syst. I, 49(3):349--357, 2002.Google ScholarGoogle ScholarCross RefCross Ref
  5. D. A. Copp and R. G. Sanfelice. On the effect and robustness of zero-crossing detection algorithms in simulation of hybrid systems jumping on surfaces. In Proceedings of the American Control Conference, pages 2449--2454, 2012.Google ScholarGoogle ScholarCross RefCross Ref
  6. H. Elmqvist, S.E. Mattsson, and M. Otter. Modelica: The new object-oriented modeling language. In Proc. of 12th European Simulation Multiconference, 1998.Google ScholarGoogle Scholar
  7. J.M. Esposito, V. Kumar, and G.J. Pappas. Accurate event detection for simulating hybrid systems. In Hybrid Systems: Computation and Control: 4th International Workshop, pages 204--217, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. R. Goebel, R. G. Sanfelice, and A. R. Teel. Hybrid Dynamical Systems: Modeling, Stability, and Robustness. Princeton University Press, 2012.Google ScholarGoogle Scholar
  9. R. Goebel, R.G. Sanfelice, and A.R. Teel. Hybrid dynamical systems. IEEE Control Systems Magazine, pages 28--93, 2009.Google ScholarGoogle ScholarCross RefCross Ref
  10. K.H. Johansson, J. Lygeros, S. Sastry, and M. Egerstedt. Simulation of Zeno hybrid automata. In Proc. 38th IEEE Conference on Decision and Control, volume 4, pages 3538--3543, 1999.Google ScholarGoogle ScholarCross RefCross Ref
  11. E. Kofman. Discrete event simulation of hybrid systems. SIAM Journal on Scientific Computing, 25(5):1771--1797, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. E. A. Lee and H. Zheng. Operational semantics for hybrid systems. In Hybrid Systems: Computation and Control: 8th International Workshop, pages 25--53, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. J. Liu and E. A. Lee. A component-based approach to modeling and simulating mixed-signal and hybrid systems. ACM Transactions on Modeling and Computer Simulation, 12(4):343--368, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S.Sastry, and E. A. Lee. A hierarchical hybrid system model and its simulation. In Proc. 38th IEEE Conf. Dec. Contr., volume 4, pages 3508--3513, 1999.Google ScholarGoogle Scholar
  15. P.J. Mosterman and G. Biswas. A hybrid modeling and simulation methodology for dynamic physical systems. Simulation, 78:5--17, 2002.Google ScholarGoogle ScholarCross RefCross Ref
  16. R. G. Sanfelice and A. R. Teel. Dynamical properties of hybrid systems simulators. Automatica, 46(2):239--248, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. A. M. Stuart and A.R. Humphries. Dynamical Systems and Numerical Analysis. Cambridge University Press, 1996.Google ScholarGoogle Scholar
  18. F.D. Torrisi and A. Bemporad. HYSDEL - A tool for generating computational hybrid models for analysis and synthesis problems. IEEE Trans. Control Systems Technology, 12:235--249, 2004.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        HSCC '13: Proceedings of the 16th international conference on Hybrid systems: computation and control
        April 2013
        378 pages
        ISBN:9781450315678
        DOI:10.1145/2461328

        Copyright © 2013 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 8 April 2013

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article

        Acceptance Rates

        HSCC '13 Paper Acceptance Rate40of86submissions,47%Overall Acceptance Rate153of373submissions,41%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader