Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

Sergiy Bogomolov, Marius Greitschus, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis, Thomas Strump, Stavros Tripakis

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

296 Downloads (Pure)

Resumé

The Functional Mock-up Interface (FMI) is an industry standard which enables co-simulation of complex heterogeneous systems using multiple simulation engines. In this paper, we show how to use FMI in order to co-simulate hybrid systems modeled in the model checkers SPACEEX and UPPAAL. We show how FMI components can be automatically generated from SPACEEX and UPPAAL models. We also validate the cosimulation approach by comparing the simulations of a room heating benchmark in two cases: first, when a single model is simulated in SPACEEX; and second, when the model is split in two submodels, and co-simulated using SPACEEX and UPPAAL. Finally, we perform a measurement experiment on a composite model to show a potential for statistical model checking using stochastic co-simulations.
OriginalsprogEngelsk
Titel11th International Modelica Conference Proceedings
ForlagLinköping University Electronic Press
Publikationsdato2015
Sider159-169
Artikelnummer17
ISBN (Elektronisk)978-91-7685-955-1
DOI
StatusUdgivet - 2015
Begivenhed11th International Modelica Conference - Versailles , Frankrig
Varighed: 21 sep. 201523 sep. 2015

Konference

Konference11th International Modelica Conference
LandFrankrig
ByVersailles
Periode21/09/201523/09/2015
NavnLinköping Electronic Conference Proceedings
Nummer118
ISSN1650-3686

Fingerprint

Hybrid systems
Model checking
Engines
Heating
Composite materials

Citer dette

Bogomolov, S., Greitschus, M., Jensen, P. G., Larsen, K. G., Mikučionis, M., Strump, T., & Tripakis, S. (2015). Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. I 11th International Modelica Conference Proceedings (s. 159-169). [17] Linköping University Electronic Press. Linköping Electronic Conference Proceedings, Nr. 118 https://doi.org/10.3384/ecp15118159
Bogomolov, Sergiy ; Greitschus, Marius ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Mikučionis, Marius ; Strump, Thomas ; Tripakis, Stavros. / Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. 11th International Modelica Conference Proceedings. Linköping University Electronic Press, 2015. s. 159-169 (Linköping Electronic Conference Proceedings; Nr. 118).
@inproceedings{bb7bde62b5864fa6918cd668520db783,
title = "Co-Simulation of Hybrid Systems with SpaceEx and Uppaal",
abstract = "The Functional Mock-up Interface (FMI) is an industry standard which enables co-simulation of complex heterogeneous systems using multiple simulation engines. In this paper, we show how to use FMI in order to co-simulate hybrid systems modeled in the model checkers SPACEEX and UPPAAL. We show how FMI components can be automatically generated from SPACEEX and UPPAAL models. We also validate the cosimulation approach by comparing the simulations of a room heating benchmark in two cases: first, when a single model is simulated in SPACEEX; and second, when the model is split in two submodels, and co-simulated using SPACEEX and UPPAAL. Finally, we perform a measurement experiment on a composite model to show a potential for statistical model checking using stochastic co-simulations.",
keywords = "FMI, hybrid systems, timed automata, co-simulation",
author = "Sergiy Bogomolov and Marius Greitschus and Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand} and Marius Mikučionis and Thomas Strump and Stavros Tripakis",
year = "2015",
doi = "10.3384/ecp15118159",
language = "English",
pages = "159--169",
booktitle = "11th International Modelica Conference Proceedings",
publisher = "Link{\"o}ping University Electronic Press",

}

Bogomolov, S, Greitschus, M, Jensen, PG, Larsen, KG, Mikučionis, M, Strump, T & Tripakis, S 2015, Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. i 11th International Modelica Conference Proceedings., 17, Linköping University Electronic Press, Linköping Electronic Conference Proceedings, nr. 118, s. 159-169, Versailles , Frankrig, 21/09/2015. https://doi.org/10.3384/ecp15118159

Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. / Bogomolov, Sergiy; Greitschus, Marius; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Mikučionis, Marius; Strump, Thomas; Tripakis, Stavros.

11th International Modelica Conference Proceedings. Linköping University Electronic Press, 2015. s. 159-169 17 (Linköping Electronic Conference Proceedings; Nr. 118).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

AU - Bogomolov, Sergiy

AU - Greitschus, Marius

AU - Jensen, Peter Gjøl

AU - Larsen, Kim Guldstrand

AU - Mikučionis, Marius

AU - Strump, Thomas

AU - Tripakis, Stavros

PY - 2015

Y1 - 2015

N2 - The Functional Mock-up Interface (FMI) is an industry standard which enables co-simulation of complex heterogeneous systems using multiple simulation engines. In this paper, we show how to use FMI in order to co-simulate hybrid systems modeled in the model checkers SPACEEX and UPPAAL. We show how FMI components can be automatically generated from SPACEEX and UPPAAL models. We also validate the cosimulation approach by comparing the simulations of a room heating benchmark in two cases: first, when a single model is simulated in SPACEEX; and second, when the model is split in two submodels, and co-simulated using SPACEEX and UPPAAL. Finally, we perform a measurement experiment on a composite model to show a potential for statistical model checking using stochastic co-simulations.

AB - The Functional Mock-up Interface (FMI) is an industry standard which enables co-simulation of complex heterogeneous systems using multiple simulation engines. In this paper, we show how to use FMI in order to co-simulate hybrid systems modeled in the model checkers SPACEEX and UPPAAL. We show how FMI components can be automatically generated from SPACEEX and UPPAAL models. We also validate the cosimulation approach by comparing the simulations of a room heating benchmark in two cases: first, when a single model is simulated in SPACEEX; and second, when the model is split in two submodels, and co-simulated using SPACEEX and UPPAAL. Finally, we perform a measurement experiment on a composite model to show a potential for statistical model checking using stochastic co-simulations.

KW - FMI

KW - hybrid systems

KW - timed automata

KW - co-simulation

UR - https://modelica.org/events/modelica2015

U2 - 10.3384/ecp15118159

DO - 10.3384/ecp15118159

M3 - Article in proceeding

SP - 159

EP - 169

BT - 11th International Modelica Conference Proceedings

PB - Linköping University Electronic Press

ER -

Bogomolov S, Greitschus M, Jensen PG, Larsen KG, Mikučionis M, Strump T et al. Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. I 11th International Modelica Conference Proceedings. Linköping University Electronic Press. 2015. s. 159-169. 17. (Linköping Electronic Conference Proceedings; Nr. 118). https://doi.org/10.3384/ecp15118159