Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2018 | OriginalPaper | Buchkapitel

Towards the Verification of Hybrid Co-simulation Algorithms

verfasst von : Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe

Erschienen in: Software Technologies: Applications and Foundations

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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.
Co-simulation is a technique to combine multiple models and their simulators in order to analyse the behaviour of the whole system over time. Past research, however, has shown that the naïve combination of simulators can easily lead to incorrect simulation results, especially when co-simulating hybrid systems.
This paper shows: (i) how co-simulation of a family of hybrid systems can fail to reproduce the order of events that should have occurred (event ordering); (ii) how to prove that a co-simulation algorithm is correct (w.r.t. event ordering), and if it is incorrect, how to obtain a counterexample; and (iii) how to correct an incorrect co-simulation algorithm. We apply the above method to two well known co-simulation algorithms used with the FMI Standard, and we show that one of them is incorrect for the family of hybrid systems under study, under the restrictions of the standard. The conclusion is that either the standard needs to be revised, or one of the algorithms should be avoided.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Nächstes Kapitel A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
Fußnoten
1
This formula assumes that the software FMU only outputs a timeout event after the timeout (as it happens in Fig. 7), and not at the timeout. In the latter case, the formula becomes \(P(H)=H \times N\).
 
Literatur
1.
Arnold, M.: Stability of sequential modular time integration methods for coupled multibody system models. J. Comput. Nonlinear Dyn. 5(3), 9 (2010)CrossRef
2.
Arnold, M., Clauß, C., Schierz, T.: Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0. In: Schöps, S., Bartel, A., Günther, M., ter Maten, E.J.W., Müller, P.C. (eds.) Progress in Differential-Algebraic Equations. DEF, pp. 107–125. Springer, Heidelberg (2014). https://​doi.​org/​10.​1007/​978-3-662-44926-4_​6CrossRefMATH
3.
Aström, K.J., Wittenmark, B.: Computer-Controlled Systems: Theory and Design. Courier Corporation, Chelmsford (2011)
4.
Benedikt, M., Watzenig, D., Zehetner, J., Hofer, A.: NEPCE-a nearly energy preserving coupling element for weak-coupled problems and co-simulation. In: IV International Conference on Computational Methods for Coupled Problems in Science and Engineering, Coupled Problems, pp. 1–12. Ibiza, Spain, June 2013
5.
Blochwitz, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference, pp. 105–114. Linköping University Electronic Press, Linköpings universitet, Dresden, Germany, June 2011
6.
Blockwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: 9th International Modelica Conference, pp. 173–184. Linköping University Electronic Press, Munich, Germany, November 2012
7.
Broman, D., et al.: Determinate composition of FMUs for co-simulation. In: Eleventh ACM International Conference on Embedded Software, Article no. 2. IEEE Press, Piscataway, Montreal (2013)
8.
Broman, D., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M.: Requirements for hybrid cosimulation standards. In: 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015, pp. 179–188. ACM, New York, Seattle (2015)
9.
Busch, M.: Continuous approximation techniques for co-simulation methods: analysis of numerical stability and local error. ZAMM - J. Appl. Math. Mech. 96(9), 1061–1081 (2016)MathSciNetCrossRef
10.
11.
12.
Cremona, F., Lohstroh, M., Broman, D., Lee, E.A., Masin, M., Tripakis, S.: Hybrid co-simulation: it’s about time. Softw. Syst. Model. (2017)
13.
FMI: functional mock-up interface for model exchange and co-simulation. Technical report (2014)
14.
Fritzson, P., et al.: OpenModelica - a free open-source environment for system modeling, simulation, and teaching. In: 2006 IEEE Conference on Computer Aided Control System Design. 2006 IEEE International Conference on Control Applications. 2006 IEEE International Symposium on Intelligent Control, pp. 1588–1595, October 2006
15.
Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.: A formalization of global simulation models for continuous/discrete systems. In: Summer Computer Simulation Conference, SCSC 2007, pp. 559–566. Society for Computer Simulation International, San Diego, July 2007
16.
17.
Gomes, C., Legat, B., Jungers, R.M., Vangheluwe, H.: Stable adaptive co-simulation: a switched systems approach. In: IUTAM Symposium on Co-Simulation and Solver Coupling, Darmstadt, Germany (2017, to appear)
18.
Gomes, C., et al.: Semantic adaptation for FMI co-simulation with hierarchical simulators. SIMULATION, 1–29 (2018)
19.
20.
Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), Article no. 49 (2018)CrossRef
21.
Gomes, C., Thule, C., Larsen, P.G., Denil, J., Vangheluwe, H.: Co-simulation of continuous systems: a tutorial. arXiv:​1809.​08463 [cs, math], September 2018
22.
23.
Holzmann, G.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279–295 (1997)CrossRef
24.
Kalmar-Nagy, T., Stanciulescu, I.: Can complex systems really be simulated? Appl. Math. Comput. 227, 199–211 (2014)MathSciNetMATH
25.
Kübler, R., Schiehlen, W.: Modular simulation in multibody system dynamics. Multibody Syst. Dyn. 4(2–3), 107–127 (2000)CrossRef
26.
Lee, E.A.: Cyber physical systems: design challenges. In: 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, ISORC, pp. 363–369 (2008)
27.
Palensky, P., Van Der Meer, A.A., Lopez, C.D., Joseph, A., Pan, K.: Cosimulation of intelligent power systems: fundamentals, software architecture, numerics, and coupling. IEEE Ind. Electron. Mag. 11(1), 34–50 (2017)CrossRef
28.
Sadjina, S., Kyllingstad, L.T., Skjong, S., Pedersen, E.: Energy conservation and power bonds in co-simulations: non-iterative adaptive step size control and error estimation. Eng. Comput. 33(3), 607–620 (2017)CrossRef
29.
30.
Schweizer, B., Li, P., Lu, D.: Explicit and implicit cosimulation methods: stability and convergence analysis for different solver coupling approaches. J. Comput. Nonlinear Dyn. 10(5), 051007 (2015)CrossRef
31.
Sicklinger, S., et al.: Interface Jacobian-based co-simulation. Int. J. Numer. Methods Eng. 98(6), 418–444 (2014)MathSciNetCrossRef
32.
Thule, C., Lausdahl, K., Larsen, P.G., Meisl, G.: Maestro: the INTO-CPS co-simulation orchestration engine (2018). Submitted to Simulation Modelling Practice and Theory
33.
Tomiyama, T., D’Amelio, V., Urbanic, J., ElMaraghy, W.: Complexity of multi-disciplinary design. CIRP Ann. - Manuf. Technol. 56(1), 185–188 (2007)CrossRef
34.
Van der Auweraer, H., Anthonis, J., De Bruyne, S., Leuridan, J.: Virtual engineering at work: the challenges for designing mechatronic products. Eng. Comput. 29(3), 389–408 (2013)CrossRef
35.
Vangheluwe, H., De Lara, J., Mosterman, P.J.: An introduction to multi-paradigm modelling and simulation. In: AI, Simulation and Planning in High Autonomy Systems, pp. 9–20. SCS (2002)
36.
Zhang, F., Yeddanapudi, M., Mosterman, P.J.: Zero-crossing location and detection algorithms for hybrid system simulation. In: IFAC Proceedings Volumes, vol. 41, pp. 7967–7972. Elsevier Ltd., Seoul, July 2008CrossRef
Metadaten
Titel
Towards the Verification of Hybrid Co-simulation Algorithms
verfasst von
Casper Thule
Cláudio Gomes
Julien Deantoni
Peter Gorm Larsen
Jörg Brauer
Hans Vangheluwe
Copyright-Jahr
2018
Buch
Software Technologies: Applications and Foundations

Print ISBN: 978-3-030-04770-2

Electronic ISBN: 978-3-030-04771-9

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-030-04771-9_1