论文信息 - Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps - 字舞流文

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

Casper Thule | Jim Woodcock | Cláudio Gomes | Maurizio Palmieri | Jaco van de Pol | Simon Thrane Hansen

[1] Werner Schiehlen,et al. Two Methods of Simulator Coupling , 2000 .

[2] Casper Thule,et al. Semantic adaptation for FMI co-simulation with hierarchical simulators , 2019, Simul..

[3] Jim Woodcock,et al. Behavioural Models for FMI Co-simulations , 2016, ICTAC.

[4] Casper Thule,et al. Generation of Co-simulation Algorithms Subject to Simulator Contracts , 2019, SEFM Workshops.

[5] Simon Foster,et al. Formalising Cosimulation Models , 2017, SEFM Workshops.

[6] Maurizio Palmieri,et al. A framework for FMI-based co-simulation of human–machine interfaces , 2019, Software and Systems Modeling.

[7] Casper Thule,et al. Demo: Stabilization Technique in INTO-CPS , 2018, STAF Workshops.

[8] Cláudio Gomes,et al. Hint-Based Configuration of Co-simulations with Algebraic Loops , 2019 .

[9] Julien DeAntoni,et al. Towards the Verification of Hybrid Co-simulation Algorithms , 2018, STAF Workshops.

[10] David Broman,et al. Co-Simulation , 2018, ACM Comput. Surv..

[11] B. Schweizer,et al. Explicit and Implicit Cosimulation Methods: Stability and Convergence Analysis for Different Solver Coupling Approaches , 2015 .

[12] Jim Woodcock,et al. Checking SysML Models for Co-simulation , 2016, ICFEM.