Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps

Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique, enabling the coupling of specialized simulation tools through an orchestration algorithm. The orchestrator describes how to coordinate the simulation of multi...

Celý popis

Podrobná bibliografia

Vydané v:	International journal on software tools for technology transfer Ročník 24; číslo 6; s. 999 - 1024
Hlavní autori:	Hansen, Simon Thrane, Thule, Casper, Gomes, Cláudio, van de Pol, Jaco, Palmieri, Maurizio, Inci, Emin Oguz, Madsen, Frederik, Alfonso, Jesús, Castellanos, José Ángel, Rodriguez, José Manuel
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Predmet:	Algebra Algorithms Communication Computer engineering Computer Science Cyber-physical systems Simulation Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Cyber-physical systems Formal methods Co-simulation Model-checking
ISSN:	1433-2779, 1433-2787
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!