Towards the Verification of Hybrid Co-simulation Algorithms

Engineering modern systems is becoming increasingly difficult due to the heterogeneity between different subsystems. Modelling and simulation techniques have traditionally been used to tackle complexity, but with increasing heterogeneity of the subsystems, it becomes impossible to find appropriate modelling languages and tools to specify and analyse the system as a whole.

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

[2]  Huai Liu,et al.  Metamorphic Testing , 2018, ACM Comput. Surv..

[3]  Andreas Junghanns,et al.  The Functional Mockup Interface for Tool independent Exchange of Simulation Models , 2011 .

[4]  François E. Cellier,et al.  Continuous System Simulation , 2006 .

[5]  Herman Van der AuweraerJan.  Virtual engineering at work: the challenges for designing mechatronic products , 2013 .

[6]  Eilif Pedersen,et al.  Energy conservation and power bonds in co-simulations: non-iterative adaptive step size control and error estimation , 2016, Engineering with Computers.

[7]  Zohar Manna,et al.  Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday , 2004 .

[8]  Tamás Kalmár-Nagy,et al.  Can complex systems really be simulated? , 2014, Appl. Math. Comput..

[9]  David Broman,et al.  Hybrid Co-simulation: It's About Time , 2018, MoDELS.

[10]  Hans Vangheluwe,et al.  Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios , 2017, SEFM Workshops.

[11]  Pieter J. Mosterman,et al.  Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation , 2008 .

[12]  Martin Arnold,et al.  Error Analysis and Error Estimates for Co-Simulation in FMI for Model Exchange and Co-Simulation V2.0 , 2013 .

[13]  Casper Thule,et al.  Maestro: The INTO-CPS co-simulation framework , 2019, Simul. Model. Pract. Theory.

[14]  Martin Arnold,et al.  Stability of Sequential Modular Time Integration Methods for Coupled Multibody System Models , 2010 .

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

[16]  David Broman,et al.  Determinate composition of FMUs for co-simulation , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[17]  H. Vangheluwe,et al.  An introduction to multi-paradigm modelling and simulation. , 2002 .

[18]  Werner Schiehlen,et al.  Modular Simulation in Multibody System Dynamics , 2000 .

[19]  Raphaël M. Jungers,et al.  Stable Adaptive Co-simulation: A Switched Systems Approach , 2019, IUTAM Symposium on Solver-Coupling and Co-Simulation.

[20]  Adrian Pop,et al.  OpenModelica - A free open-source environment for system modeling, simulation, and teaching , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[21]  Hanifa Boucheneb,et al.  A formalization of global simulation models for continuous/discrete systems , 2007, SCSC.

[22]  David Broman,et al.  Co-simulation: State of the art , 2017, ArXiv.

[23]  Nadine Gottschalk,et al.  Computer Controlled Systems Theory And Design , 2016 .

[24]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[25]  Hilding Elmqvist,et al.  Interface Jacobian‐based Co‐Simulation , 2014 .

[26]  Waguih ElMaraghy,et al.  Complexity of Multi-Disciplinary Design , 2007 .

[27]  Andreas Junghanns,et al.  Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .

[28]  Martin Benedikt,et al.  NEPCE - A nearly energy-preserving coupling element for weak-coupled problems and co-simulation , 2013 .

[29]  David Broman,et al.  Requirements for hybrid cosimulation standards , 2015, HSCC.

[30]  Eilif Pedersen,et al.  Energy conservation and coupling error reduction in non-iterative co-simulations , 2019, Engineering with Computers.

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

[32]  Peter Palensky,et al.  Cosimulation of Intelligent Power Systems: Fundamentals, Software Architecture, Numerics, and Coupling , 2017, IEEE Industrial Electronics Magazine.

[33]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[34]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[35]  M. Busch.  Continuous approximation techniques for co‐simulation methods: Analysis of numerical stability and local error , 2016 .

[36]  Helmut Veith,et al.  Counterexamples Revisited: Principles, Algorithms, Applications , 2003, Verification: Theory and Practice.