FORMAL APPROACH TO DIGITAL TWIN SPECIFICATION

In a context of increasingly smart systems and ambient intelligence, the digital twin is a concept that is surfacing to help monitor, simulate, control and pilot such systems. As such, it is one of the new and disruptive trends in the area of Modeling and Simulation. However, despite numerous on-going research and development initiatives, there is a lack of formal approach to digital twin modeling and engineering. This work proposes a system-theoretic approach to achieve this goal. Such a framework allows formally and unambiguously specifying a digital twin, thus opening the way for both automated or semi-automated code synthesis, as well as symbolic manipulation to verification, validation, composition, reuse, and more.