14 citations · 21 across the 3 of their papers we have counts for
3 papers
fmiSwap: Run-time Swapping of Models for Co-simulation and Digital Twins
Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri +1
Digital Twins represent a new and disruptive technology, where digital replicas of (cyber)-physical systems operate for long periods of time alongside their (cyber)-physical counte…
The Incubator Case Study for Digital Twin Engineering
Hao Feng, Cláudio Gomes, Casper Thule +3
To demystify the Digital Twin concept, we built a simple yet representative thermal incubator system. The incubator is an insulated box fitted with a heatbed, and complete with a s…
Towards Enabling Overture as a Platform for Formal Notation IDEs
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagić +3
Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) wil…