skip to main content
article

Dynamic structure multiparadigm modeling and simulation

Published:01 July 2003Publication History
Skip Abstract Section

Abstract

This article presents the Heterogeneous Flow System Specification (HFSS), a formalism aimed to represent hierarchical and modular hybrid flow systems with dynamic structure. The concept of hybrid flow systems provides a generalization of the conventional concept of hybrid system and it can represent a whole plethora of systems, namely: discrete event systems, multicomponent and multirate numerical methods, multirate and multicomponent sampling systems, event locators and time-varying systems. The ability to join all these types of models makes HFSS an excellent framework for merging components built in different paradigms. We present several examples of model definition in the HFSS formalism and we also exploit the ability of the HFSS formalism to represent mutirate numerical integrators.

References

  1. Alur, R., Grosu, R. Lee, I., and Sokolsky, O. 2001. Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control. Proceedings of the 4th International Conference (HSCC'01). Lecture Notes in Computer Science, vol. 2034. Springer-Verlag, New York, 33-48.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Antsaklis, P. J. 2000. A brief introduction to the theory and application of hybrid systems. Proc. IEEE 88, 7, 879--887.]]Google ScholarGoogle ScholarCross RefCross Ref
  3. Barros, F. J. 1997. Modeling formalisms for dynamic structure systems. ACM Trans. Model. Comput. Simulat. 7, 4, 501--515.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Barros, F. J. 1998. Hierarchical testing of dynamic structure models: A practical approach. Trans. SCS 15, 4, 181--189.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Barros, F. J. 2000. A Framework for representing numerical multirate integration methods. In Proceedings of the 2000 AI, Simulation and Planning in High Autonomy Systems (Tucson, Az.). SCS International, 149--154.]]Google ScholarGoogle Scholar
  6. Barros, F. J. 2001. Modeling and simulation of mobile software agents in chaos. In Proceedings of the European Simulation Symposium/DEVS Workshop (Marseille, France). SCS International, 605--610.]]Google ScholarGoogle Scholar
  7. Barros, F. J. 2002a. Modeling and simulation of dynamic structure heterogeneous flow systems. Simulat. Trans. SCS 78, 1, 18--27.]]Google ScholarGoogle ScholarCross RefCross Ref
  8. Barros, F. J. 2002b. Towards a theory of continuous flow models. Int. J. Gen. Syst. 31, 1, 29--39.]]Google ScholarGoogle ScholarCross RefCross Ref
  9. Barros, F. J. 2002c. Abstract simulators for dynamic structure hybrid components. In Proceedings of the AI, Simulation and Planning in High Autonomy Systems. SCS International, 71--77.]]Google ScholarGoogle Scholar
  10. Barros, F. J. 2003. Modeling and simulation of switched systems: A dynamic structure approach. In Proceedings of the 2003 Summer Computer Simulation Conference (Montreal, Ont., Canada). SCS International, Simulation Series, 35, 3, 426--431.]]Google ScholarGoogle Scholar
  11. Branicky, M. S. and Mattson, S. E. 1997. Simulation of hybrid systems. In Hybrid Systems IV, P. J. Antsaklis, W. Korn, A. Nerode, and S. Sastry, Eds. Lecture Notes in Computer Science, vol. 1273. Springer-Verlag, New York, 31--56.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Deshpande, A., Gollu, A., and Semenzato, L. 1997. The shift programming language and run-time system for dynamic networks of hybrid automata. In Proceedings of the 1997 NATO Workshop on Discrete Event and Hybrid Systems. Lecture Notes in Computer Science. Springer-Verlag, New York.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Engstler, C. and Lubich, C. 1997. Multirate extrapolation methods for differential equations with different time scales. Computing 58, 173--185.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Howe, R. M. 1998. Real-time multi-rate asynchronous simulation with single and multiple processors. In Proceedings of SPIE 12th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls: Enabling Technology for Simulation Science, vol. 3369 (Orlando, Fla.). SPIE, 331--342.]]Google ScholarGoogle Scholar
  15. Praehofer, H. 1991. System theoretic foundations for combined discrete-continuous system simulation, Ph.D. Dissertation, Department of Systems Theory and Information Engineering, Univ. Linz.]]Google ScholarGoogle Scholar
  16. Zeigler, B. P. 1976. Theory of Modelling and Simulation, Wiley, New York.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Zeigler, B. P. 1984. Multifacetted Modeling and Discrete Event Simulation. Academic Press, Orlando, Fla.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Zeigler, B. P. and Lee, J. S. 1998. Theory of quantized systems: Formal basis for DEVS/HLA distributed simulation environment. In Proceedings of SPIE 12th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls: Enabling Technology for Simulation Science, vol. 3369 (Orlando, Fla.). SPIE, 49--58.]]Google ScholarGoogle Scholar

Index Terms

  1. Dynamic structure multiparadigm modeling and simulation

    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

    Full Access

    • Published in

      cover image ACM Transactions on Modeling and Computer Simulation
      ACM Transactions on Modeling and Computer Simulation  Volume 13, Issue 3
      July 2003
      84 pages
      ISSN:1049-3301
      EISSN:1558-1195
      DOI:10.1145/937332
      Issue’s Table of Contents

      Copyright © 2003 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: 1 July 2003
      Published in tomacs Volume 13, Issue 3

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader