Digital Twin Concepts
The ARCHES PiCar-X was specifically developed to help scientists and engineers understand and experiment with the concept of Digital Twins. In our paper “From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications”, we formalized the Digital Twin concept and its sub-concepts physical twin, digital model, digital template, digital thread, digital shadow, digital twin, and digital twin prototype using Object-Z. In “Toward Reproducibility of Digital Twin Research: Exemplified with the PiCar-X.”, we then demonstrated how these concepts were implemented using the ARCHES PiCar-X. This project contains the source code for that implementation. Here, we give only a brief overview of the concepts.