{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:46:39Z","timestamp":1777902399822,"version":"3.51.4"},"reference-count":42,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T00:00:00Z","timestamp":1498089600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2018,3]]},"abstract":"<jats:p>Geometric integrators play an essential role for simulating second-order energy preserving systems, offering an alternative to the decomposition of systems into first-order Ordinary Differential Equations. This approach, although commonly used nowadays in modeling and simulation software, is not acceptable when long simulation runs are required. In this work we develop a modular representation of geometric, adaptive step-size integrators using the Heterogeneous Flow Systems Specification (HyFlow) formalism. Modularity is achieved in HyFlow through the use of an explicit definition of sampling that is treated as a first-order construct, enabling a novel representation of continuous systems and their seamless integration. We show that the HyFlow representation enables the interoperability of geometrical integrators with other families of models including, for example, conventional integrators, enhancing the ability to represent complex systems. HyFlow sampling enables geometric integrators to operate asynchronously, contributing to simulation efficiency by allowing the sampling rate to de defined independently by each component. We demonstrate that HyFlow-based geometric integrators can be used to model systems with a dynamic topology. In addition, we show that the modifying model topology at run-time can provide an effective solution to some systems exhibiting Zeno behavior.<\/jats:p>","DOI":"10.1177\/0037549717714613","type":"journal-article","created":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T10:02:53Z","timestamp":1498125773000},"page":"259-274","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":7,"title":["Modular representation of asynchronous geometric integrators with support for dynamic topology"],"prefix":"10.1177","volume":"94","author":[{"given":"Fernando J","family":"Barros","sequence":"first","affiliation":[{"name":"Department of Informatics Engineering, University of Coimbra, Portugal"}]}],"member":"179","published-online":{"date-parts":[[2017,6,22]]},"reference":[{"key":"bibr1-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1109\/32.761446"},{"key":"bibr2-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_7"},{"key":"bibr3-0037549717714613","unstructured":"Tiwari A. Formal semantics and analysis methods for Simulink stateflow models. Technical report, SRI International, 2002."},{"key":"bibr4-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1145\/937332.937335"},{"key":"bibr5-0037549717714613","volume-title":"Principles of object-oriented modeling and simulation with Modelica 2.1","author":"Fritzson P","year":"2003"},{"key":"bibr6-0037549717714613","volume-title":"Geometrical numerical integration: structure-preserving algorithms for ordinary differential equations","author":"Hairer E","year":"2005"},{"key":"bibr7-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1007\/BF00048485"},{"key":"bibr8-0037549717714613","volume-title":"Computer methods for ordinary differential equations and differential-algebraic equations","author":"Ascher U","year":"1988"},{"key":"bibr9-0037549717714613","first-page":"373","volume-title":"12th annual IEEE international conference on engineering computer- based systems","author":"Barros F"},{"key":"bibr10-0037549717714613","volume-title":"international workshop on radical agent concepts","author":"Barros F"},{"key":"bibr11-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"bibr12-0037549717714613","doi-asserted-by":"crossref","unstructured":"Praehofer H. System theoretic foundations for combined discrete-continuous system simulation. PhD Thesis, University of Linz, 1991.","DOI":"10.1080\/03081079108935175"},{"key":"bibr13-0037549717714613","volume-title":"Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems","author":"Zeigler B","year":"2000"},{"key":"bibr14-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"bibr15-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3922-0"},{"key":"bibr16-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1080\/03081070290008011"},{"key":"bibr17-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1504\/IJSPM.2016.079201"},{"key":"bibr18-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1145\/1385989.1386020"},{"key":"bibr19-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2016.7822207"},{"key":"bibr20-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1137\/0914057"},{"key":"bibr21-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1137\/040606995"},{"key":"bibr22-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1007\/BF01990352"},{"key":"bibr23-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000278"},{"key":"bibr24-0037549717714613","volume-title":"DEVS\u201915 Proceedings of the symposium on theory of modeling & simulation: DEVS integrative M&S symposium","author":"Barros F"},{"key":"bibr25-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1017\/S0962492902000144"},{"key":"bibr26-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1063\/1.442716"},{"key":"bibr27-0037549717714613","volume-title":"Groovy in action","author":"Knig D","year":"2015"},{"key":"bibr28-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1137\/040606995"},{"key":"bibr29-0037549717714613","doi-asserted-by":"crossref","unstructured":"Zeigler B, Lee J. Theory of quantized systems: Formal basis for DEVS\/HLA distributed simulation environment. In: Proceedings of the SPIE, Bellingham, WA: 1998, vol. 3369, pp.49\u201358, http:\/\/dx.doi.org\/10.1117\/12.319354","DOI":"10.1117\/12.319354"},{"key":"bibr30-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1007\/BF02238234"},{"key":"bibr31-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1086\/427175"},{"key":"bibr32-0037549717714613","first-page":"25","volume-title":"hybrid systems: computation and control","author":"Lee EA"},{"key":"bibr33-0037549717714613","first-page":"393","volume":"22","author":"Nagurka M","year":"2006","journal-title":"Int J Eng Educ"},{"key":"bibr34-0037549717714613","first-page":"37","volume-title":"Proceedings of the 7th workshop on multi-paradigm modeling co-located with the 16th international conference on model driven engineering languages and systems (MODELS 2013)","author":"Mosterman PJ"},{"key":"bibr35-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2012.09.006"},{"key":"bibr36-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2016.06.001"},{"key":"bibr37-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1177\/0037549710368029"},{"key":"bibr38-0037549717714613","first-page":"464","volume-title":"5th international symposium on autonomous decentralized systems","author":"Giambiasi N"},{"key":"bibr39-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1177\/0037549711401000"},{"key":"bibr40-0037549717714613","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2013.03.004"},{"key":"bibr41-0037549717714613","volume-title":"DEVS\u201915 Proceedings of the symposium on theory of modeling & simulation: DEVS integrative M&S symposium","author":"Barros F"},{"key":"bibr42-0037549717714613","doi-asserted-by":"publisher","DOI":"10.11128\/sne.22.tn.10107"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549717714613","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0037549717714613","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549717714613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:28:24Z","timestamp":1777634904000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549717714613"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,22]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["10.1177\/0037549717714613"],"URL":"https:\/\/doi.org\/10.1177\/0037549717714613","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,22]]}}}