Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.5555/2975389.2975416guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
research-article
Free access

A modular representation of asynchronous, geometric solvers

Published: 03 April 2016 Publication History

Abstract

The representation of complex systems requires the ability to combine several types of models. The simultaneous use of different formalisms to describe distinct aspects of the same system enables the most adequate representation of each sub-model. Although a large number of numerical methods and modeling formalisms have been developed, a common language that enables these algorithms and formalisms to interoperate is still a major research challenge. In previous work we have developed a representation for several families of models using the Heterogeneous Flow Systems Specification (HFSS). In this paper we extend this set of models by providing a description of geometric ODE solvers in HFSS. Geometric solvers play an essential role for simulation 2nd order energy preserving systems, offering an alternative to the decomposition of systems into 1st order Ordinary Differential Equations (ODEs). This latter approach, although commonly used in nowadays M&S software, is not acceptable when long simulation runs are required. We show that the HFSS representation enables the interoperability of geometrical solvers with other families of models enhancing the ability to represent complex systems.

References

[1]
Barros, F. Towards a theory of continuous flow models. International Journal of General Systems 31, 1 (2002), 29--39.
[2]
Barros, F. Dynamic structure multiparadigm modeling and simulation. ACM Transactions on Modeling and Computer Simulation 13, 3 (2003), 259--275.
[3]
Barros, F. Simulating the data generated by a network of track-while-scan radars. In 12th Annual IEEE International Conference on Engineering Computer-Based Systems (2005), 373--377.
[4]
Barros, F. A system theory approach to the representation of mobile digital controllers agents. In International Workshop on Radical Agent Concepts (2005).
[5]
Barros, F. Semantics of discrete event systems. In Distributed Event-Based Systems (2008), 252--258.
[6]
Barros, F. Asynchronous, polynomial ODE solvers based on error estimation. In Symposium on Theory of Modeling and Simulation (2015).
[7]
Barros, F. A modular representation of Fluid Stochastic Petri Nets. In Symposium on Theory of Modeling and Simulation (2015).
[8]
Bergero, F., and Kofman, E. PowerDEVS: A tool for hybrid system modeling and real time simulation. Simulation: Transactions of the Society for Modeling and Simulation International 87 (2011), 113--132.
[9]
Calvo, M., and Sanz-Serna, J. The development of variable-step symplectic integrators with application to the two-body problem. SIAM Journal Science Computing 14, 4 (1993), 936--952.
[10]
Caspi, P., Curic, A., Maignan, A., Sofronis, C., and Tripakis, S. Translating discrete-time Simulink to Lustre. In International Conference on Embedded Software (2003), 84--99.
[11]
Cellier, F. Continuous System Modeling. Springer, 1991.
[12]
Ciardo, G., Nicol, D., and Trivedi, K. Discrete-event simulation of Fluid Stochastic Petri Nets. IEEE Transactions on Software Engineering 25, 2 (1999), 207--217.
[13]
Deatcu, C., and Pawletta, T. A qualitative comparison of two hybrid DEVS approaches. Simulation Notes Europe 22, 1 (2012), 15--24.
[14]
Fritzson, P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, 2003.
[15]
Gladman, B., Duncan, M., and Candy, J. Symplectic integrators for long-term integrations in celestial mechanics. Celestial Mechanics and Dynamical Astronomy 52, 3 (1991), 221--240.
[16]
Hairer, E., Lubich, C., and Wanner, G. Geoemetrical Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations. Springer, 2005.
[17]
Henzinger, T. The theory of hybrid automata. In 11th Annual IEEE Symposium on Logic in Computer Science (1996), 278--292.
[18]
Praehofer, H. System Theoretic Foundations for Combined Discrete-Continuous System Simulation. PhD thesis, University of Linz, 1991.
[19]
Swope, W. C., Andersen, H. C., Berens, P. H., and Wilson, K. R. A computer simulation method for the calculation of equilibrium constants for the formation of physical clusters of molecules: Application to small water clusters. Journal of Chemical Physics 76, 1 (1982), 637--649.
[20]
Tiwari, A. Formal semantics and analysis methods for simulink stateflow models. Tech. rep., SRI International, 2002.
[21]
Tripakis, S., Stergiou, C., Shaver, C., and Lee, E. A modular formal semantics for ptolemy. Mathematical Structures in Computer Science 23 (2013), 834--881.
[22]
Zeigler, B., and Lee, J. Theory of quantized systems: Formal basis for DEVS/HLA distributed simulation environment. In Enabling Technology for Simulation Science II, vol. 3369 of SPIE (1998), 49--58.
[23]
Zeigler, B., Praehofer, H., and Kim, T. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press, 2000.

Cited By

View all
  • (2018)Modular simulation of 2nd-order energy preserving systemsProceedings of the 2018 Winter Simulation Conference10.5555/3320516.3320679(1310-1321)Online publication date: 9-Dec-2018
  • (2018)Composition of numerical integrators in the HyFlow formalismProceedings of the 2018 Winter Simulation Conference10.5555/3320516.3320671(1238-1249)Online publication date: 9-Dec-2018
  • (2018)Co-simulation of cyber-physical systems using a DEVS wrapping strategy in the MECSYCO middlewareSimulation10.1177/003754971774901494:12(1099-1127)Online publication date: 1-Dec-2018

Index Terms

  1. A modular representation of asynchronous, geometric solvers

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    TMS-DEVS '16: Proceedings of the Symposium on Theory of Modeling & Simulation
    April 2016
    229 pages
    ISBN:9781510823211

    Publisher

    Society for Computer Simulation International

    San Diego, CA, United States

    Publication History

    Published: 03 April 2016

    Author Tags

    1. HFSS formalism
    2. geometric solvers
    3. hamiltonian systems
    4. hybrid systems
    5. model interoperability
    6. multi-paradigm models
    7. multi-sampling solvers

    Qualifiers

    • Research-article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)29
    • Downloads (Last 6 weeks)6
    Reflects downloads up to 16 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2018)Modular simulation of 2nd-order energy preserving systemsProceedings of the 2018 Winter Simulation Conference10.5555/3320516.3320679(1310-1321)Online publication date: 9-Dec-2018
    • (2018)Composition of numerical integrators in the HyFlow formalismProceedings of the 2018 Winter Simulation Conference10.5555/3320516.3320671(1238-1249)Online publication date: 9-Dec-2018
    • (2018)Co-simulation of cyber-physical systems using a DEVS wrapping strategy in the MECSYCO middlewareSimulation10.1177/003754971774901494:12(1099-1127)Online publication date: 1-Dec-2018

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media