Formalizing a framework of inference capabilities for Digital Twin engineering
| dc.rights.license | open | en_US |
| hal.structure.identifier | Laboratoire de l'intégration, du matériau au système [IMS] | |
| dc.contributor.author | DIAKITÉ, Mama | |
| hal.structure.identifier | Laboratoire de l'intégration, du matériau au système [IMS] | |
| dc.contributor.author | TRAORE, Mamadou Kaba
IDREF: 112136893 | |
| dc.date.accessioned | 2024-09-10T09:58:01Z | |
| dc.date.available | 2024-09-10T09:58:01Z | |
| dc.date.issued | 2024-01-31 | |
| dc.identifier.issn | 0037-5497 | en_US |
| dc.identifier.uri | oai:crossref.org:10.1177/00375497241228281 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/201507 | |
| dc.description.abstractEn | 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. | |
| dc.language.iso | EN | en_US |
| dc.source | crossref | |
| dc.subject.en | Digital twin | |
| dc.subject.en | Formal specification | |
| dc.subject.en | Inference capability | |
| dc.subject.en | Model inference | |
| dc.title.en | Formalizing a framework of inference capabilities for Digital Twin engineering | |
| dc.title.alternative | Simulation | en_US |
| dc.type | Article de revue | en_US |
| dc.identifier.doi | 10.1177/00375497241228281 | en_US |
| dc.subject.hal | Sciences de l'ingénieur [physics] | en_US |
| bordeaux.journal | SIMULATION: Transactions of The Society for Modeling and Simulation International | en_US |
| bordeaux.volume | 100 | en_US |
| bordeaux.hal.laboratories | IMS : Laboratoire de l'Intégration du Matériau au Système - UMR 5218 | en_US |
| bordeaux.issue | 9 | en_US |
| bordeaux.institution | Université de Bordeaux | en_US |
| bordeaux.institution | Bordeaux INP | en_US |
| bordeaux.institution | CNRS | en_US |
| bordeaux.peerReviewed | oui | en_US |
| bordeaux.inpress | non | en_US |
| bordeaux.import.source | dissemin | |
| hal.identifier | hal-04692929 | |
| hal.version | 1 | |
| hal.date.transferred | 2024-09-10T09:58:03Z | |
| hal.popular | non | en_US |
| hal.audience | Internationale | en_US |
| hal.export | true | |
| workflow.import.source | dissemin | |
| dc.rights.cc | Pas de Licence CC | en_US |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=SIMULATION:%20Transactions%20of%20The%20Society%20for%20Modeling%20and%20Simulation%20International&rft.date=2024-01-31&rft.volume=100&rft.issue=9&rft.eissn=0037-5497&rft.issn=0037-5497&rft.au=DIAKIT%C3%89,%20Mama&TRAORE,%20Mamadou%20Kaba&rft.genre=article |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||