DIAKITÉ, Mama; TRAORE, Mamadou Kaba

doi:10.1177/00375497241228281

Métadonnées

Afficher la notice complète

Licence d’utilisation du document

DIAKITÉ, Mama
Laboratoire de l'intégration, du matériau au système [IMS]

TRAORE, Mamadou Kaba

Laboratoire de l'intégration, du matériau au système [IMS]

Langue

Article de revue

Ce document a été publié dans

SIMULATION: Transactions of The Society for Modeling and Simulation International. 2024-01-31, vol. 100, n° 9

Résumé en anglais

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.< Réduire

Mots clés en anglais

Digital twin

Formal specification

Inference capability

Model inference

Métadonnées

Partager cette publication !

Licence d’utilisation du document

Formalizing a framework of inference capabilities for Digital Twin engineering

Langue

Ce document a été publié dans

Résumé en anglais

Mots clés en anglais

URI

DOI

Unités de recherche