Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling

Hansen, Simon Thrane; Gomes, Cláudio; Larsen, Peter Gorm; Pol, Jaco van de

doi:10.23919/annsim52504.2021.9552073

Cited by 7 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…During Event mode, the FMUs and importer cooperate in solving a set of algebraic equations associated with the event that triggered the Event mode. To solve the equations, the importer will typically construct a dependency graph between the output and input variables, using the model structure declared by the FMU [19]. The FMU may be part of a larger simulation model (scenario), where its inputs can depend on both external entities as well as its own outputs.…”

Section: Background On Cs and Mementioning

confidence: 99%

“…The notation and nomenclature to describe the FMUs follows the notation from [14,19]. The abbreviations denoting the different sets of variables can be seen in the back matter.…”

Section: Notationmentioning

confidence: 99%

“…Neither has the aspect of event detection and handling been included. The method of finding an appropriate step size can trivially be incorporated using the approach described in [19].…”

Section: Definition 14 (Consistent State)mentioning

confidence: 99%

See 2 more Smart Citations

The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations

et al. 2022

View full text Add to dashboard Cite

This paper presents an overview and formalization of the Functional Mock-up Interface (FMI) 3.0. The formalization captures the new FMI 3.0 standard and is intended to be used as an introduction for conceptualizing the use of clocks in the FMI standard to support the simulation of event-based cyber-physical systems. The FMI 3.0 standard supports two kinds of clock-based simulations: Synchronous Clocked Simulation to ensure predictable systems scheduling with multiple simultaneous events and scheduled execution to facilitate real-time simulations comprising multiple black-box models by allowing fine-grained control over the computation time of submodels. The formalization is a basis for developing tools for orchestrating, verifying and validating the composition of multiple FMUs. The formalization is provided as an accessible VDM-SL specification.

show abstract

Section: Background On Cs and Mementioning

confidence: 99%

“…The notation and nomenclature to describe the FMUs follows the notation from [14,19]. The abbreviations denoting the different sets of variables can be seen in the back matter.…”

Section: Notationmentioning

confidence: 99%