Related references
Note: Only part of the references are listed.Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps
Simon Thrane Hansen et al.
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021 (2021)
A framework for FMI-based co-simulation of human-machine interfaces
Maurizio Palmieri et al.
SOFTWARE AND SYSTEMS MODELING (2020)
Generation of Co-simulation Algorithms Subject to Simulator Contracts
Claudio Gomes et al.
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2019 (2020)
Semantic adaptation for FMI co-simulation with hierarchical simulators
Claudio Gomes et al.
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL (2019)
Maestro: The INTO-CPS co-simulation framework
Casper Thule et al.
SIMULATION MODELLING PRACTICE AND THEORY (2019)
Semantics of Co-simulation Algorithms with Simulator Contracts
Claudio Gomes et al.
2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019) (2019)
Co-Simulation: A Survey
Claudio Gomes et al.
ACM COMPUTING SURVEYS (2018)
Integrating Tools: Co-Simulation in UPPAAL using FMI-FMU
Ulrik Nyman et al.
2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) (2017)
Behavioural Models for FMI Co-simulations
Ana Cavalcanti et al.
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016 (2016)
Checking SysML Models for Co-simulation
Nuno Amalio et al.
FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016 (2016)
Explicit and Implicit Cosimulation Methods: Stability and Convergence Analysis for Different Solver Coupling Approaches
Bernhard Schweizer et al.
JOURNAL OF COMPUTATIONAL AND NONLINEAR DYNAMICS (2015)