Show simple item record

dc.contributor.authorGomes, C
dc.contributor.authorKaralis, P
dc.contributor.authorNavarro-López, Eva María
dc.contributor.authorVangheluwe, H
dc.date.accessioned2021-07-12T14:48:12Z
dc.date.available2021-07-12T14:48:12Z
dc.date.issued2018-02-02
dc.identifier.citationGomes C., Karalis P., Navarro-López E.M., Vangheluwe H. (2018) Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. In: Cerone A., Roveri M. (eds) Software Engineering and Formal Methods. SEFM 2017. Lecture Notes in Computer Science, vol 10729. Springer, Cham. https://doi.org/10.1007/978-3-319-74781-1_24en
dc.identifier.isbn9783319747804en
dc.identifier.issn0302-9743en
dc.identifier.doi10.1007/978-3-319-74781-1_24en
dc.identifier.urihttp://hdl.handle.net/2436/624184
dc.descriptionThis is an accepted manuscript of an article published by Springer in: Cerone A., Roveri M. (eds) Software Engineering and Formal Methods. SEFM 2017. Lecture Notes in Computer Science, vol 10729, available online at: https://doi.org/10.1007/978-3-319-74781-1_24 The accepted version of the publication may differ from the final published version. For information on re-use, please refer to the publisher’s terms and conditions.en
dc.description.abstractCo-simulation is a technique to orchestrate multiple simulators in order to approximate the behavior of a coupled system as a whole. Simulators execute in a lockstep fashion, each exchanging inputs and output data points with the other simulators at pre-accorded times. In the context of systems with a physical and a cyber part, the communication frequency with which the simulators of each part communicate can have a negative impact in the accuracy of the global simulation results. In fact, the computed behavior can be qualitatively different, compared to the actual behavior of the original system, laying waste to potentially many hours of computation. It is therefore important to develop methods that answer whether a given communication frequency guarantees trustworthy co-simulation results. In this paper, we take a small step in that direction. We develop a technique to approximate the lowest frequency for which a particular set of simulation tools can exchange values in a co-simulation and obtain results that can be trusted.en
dc.formatapplication/pdfen
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesLecture Notes in Computer Science, volume 10729en
dc.relation.urlhttps://link.springer.com/chapter/10.1007%2F978-3-319-74781-1_24en
dc.subjecthybrid co-simulationen
dc.subjecthybrid systemsen
dc.subjectLyapunov stability analysisen
dc.subjectcoupled simulationen
dc.subjecthybrid automataen
dc.titleApproximated stability analysis of bi-modal hybrid co-simulation scenariosen
dc.typeConference contributionen
dc.identifier.eissn1611-3349
dc.identifier.journalLecture Notes in Computer Scienceen
dc.date.updated2021-07-08T16:07:54Z
rioxxterms.funderUniversity of Manchesteren
rioxxterms.identifier.projectUOW12072021ENLen
rioxxterms.versionAMen
dc.source.volume10729 LNCS
dc.source.beginpage345
dc.source.endpage360
dc.description.versionPublished version
refterms.dateFCD2021-07-12T14:47:14Z
refterms.versionFCDAM
refterms.dateFOA2021-07-12T14:48:12Z


Files in this item

Thumbnail
Name:
Gomes_et_al_Approximated_stabi ...
Size:
1.308Mb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record