Mamadou Kaba Traoré

Nowadays, smart systems require the use of Digital Twins (DTs) for their engineering and management. Self-updating capability is a key feature in the DT technology. This raises the challenge of model inference from data collected on the system and requires a formal framework be defined, in which a system representation can be coupled with inference methods to achieve automatic model updating. While data-based process model inference is a well-known technique, the inference of a simulation model from existing knowledge and collected data is yet an unexplored area. In this paper, we first clarify and explicitly define some key elements of the terminology related to the DT concept, including model update and model inference, and we propose a framework of inference capabilities based on a formal DT specification, which formally captures the conditions for different updating capabilities and relates them. That way, on one hand, the framework enables the use of symbolic approaches to build a DT with the desired inference capability, and on the other hand, it establishes a partial order relation between inference capabilities. Through a case study, we show how the framework helps formally specifying the DT model of a mobility system toward realizing a fully capable DT.