Abstract
Despite the large number of applications and growing interest in the challenges that co-simulation poses, the field is fragmented into multiple application domains, with limited sharing of knowledge.
This demo promotes a deeper understanding of a well known stabilization feature in co-simulation, which is used in the INTO-CPS tool chain.
We develop the techniques that explain the empirical results of instability of the double mass-spring-damper system, and how to the stabilization feature improves the results. Moreover, we show how the restrictions of the Functional Mock-up Interface Standard impacts stability.
This work was executed under the framework of the COST Action IC1404 – Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS), and partially supported by: Flanders Make vzw, the strategic research centre for the manufacturing industry; and PhD fellowship grants from the Agency for Innovation by Science and Technology in Flanders (IWT, dossier 151067).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The derivation presented can be applied to more sophisticated input extrapolation techniques, see [1, Eq. (9)].
References
Busch, M.: Continuous approximation techniques for co-simulation methods: analysis of numerical stability and local error. J. Appl. Math. Mech. 96(9), 1061–1081 (2016)
Gomes, C., Jungers, R., Legat, B., Vangheluwe, H.: Minimally constrained stable switched systems and application to co-simulation. Technical report. arXiv:1809.02648 (2018), http://arxiv.org/abs/1809.02648
Gomes, C., Legat, B., Jungers, R., Vangheluwe, H.: Minimally constrained stable switched systems and application to co-simulation. In: IEEE Conference on Decision and Control, Miami Beach, FL, USA (2018). To be published
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
Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. Technical report, February 2017. http://arxiv.org/abs/1702.00686
Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3) (2018). Article 49
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. http://arxiv.org/abs/1809.08463
Larsen, P.G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R., Pierce, K.: Features of integrated model-based co-modelling and co-simulation technology. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 377–390. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74781-1_26
Strang, G.: Introduction to Linear Algebra, vol. vol, p. 3. Wellesley-Cambridge Press, Wellesley (1993)
Thule, C.: Mass-spring-damper Case Study (2018). https://github.com/INTO-CPS-Association/example-mass_spring_damper
Thule, C., Gomes, C., Deantoni, J., Larsen, P.G., Brauer, J., Vangheluwe, H.: Towards verification of hybrid co-simulation algorithms. In: 2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems, Toulouse, France. Springer, Cham (2018). To be published
Thule, C., Lausdahl, K., Larsen, P.G., Meisl, G.: Maestro: The INTO-CPSCo-simulation orchestration engine (2018). Submitted to Simulation Modelling Practice and Theory
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Gomes, C., Thule, C., Lausdahl, K., Larsen, P.G., Vangheluwe, H. (2018). Demo: Stabilization Technique in INTO-CPS. In: Mazzara, M., Ober, I., Salaün, G. (eds) Software Technologies: Applications and Foundations. STAF 2018. Lecture Notes in Computer Science(), vol 11176. Springer, Cham. https://doi.org/10.1007/978-3-030-04771-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-04771-9_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-04770-2
Online ISBN: 978-3-030-04771-9
eBook Packages: Computer ScienceComputer Science (R0)