Validity Frame Supported Digital Twin Design of Complex Cyber-Physical Systems

Digital twins, that is, system models that track a specific system instance, enable various new possibilities in the domains of industry 4.0 and Cyber-Physical Systems. At their core, they consist of models and large amounts of data. Those models often abstract away or linearize parts of the system. Thus, to correctly interpret the output data of the digital twin, one must reason about the model's...