collaborators

5 papers

cs.SE2025

Reusing Model Validation Methods for the Continuous Validation of Digital Twins of Cyber-Physical Systems

Joost Mertens, Joachim Denil

One of the challenges in twinned systems is ensuring the digital twin remains a valid representation of the system it twins. Depending on the type of twinning occurring, it is eith…

cs.SE2025

DarTwin made precise by SysMLv2 -- An Experiment

Øystein Haugen, Stefan Klikovits, Martin Arthur Andersen +4

The new SysMLv2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Speci…

cs.AI2025

Decision Oriented Technique (DOTechnique): Finding Model Validity Through Decision-Maker Context

Raheleh Biglari, Joachim Denil

Model validity is as critical as the model itself, especially when guiding decision-making processes. Traditional approaches often rely on predefined validity frames, which may not…

cs.GR2025

Lab-Scale Gantry Crane Digital Twin Exemplar

Joost Mertens, Joachim Denil

The research topic of digital twins has attracted a large amount of interest over the past decade. However, publicly available exemplars remain scarce. In the interest of open and…

cs.SE2024

Continuous Evolution of Digital Twins using the DarTwin Notation

Joost Mertens, Stefan Klikovits, Francis Bordeleau +2

Despite best efforts, various challenges remain in the creation and maintenance processes of digital twins (DTs). One of those primary challenges is the constant, continuous and om…