Efficient control representation in Digital Twins: an imperative challenge for declarative languages

Digital Twins (DTs) are enablers for the fast optimisation processes required in the Industry 4.0 context. Declarative equation-based modelling languages, in turn, enable the creation of large-scale simulation-based DTs, as they relieve the analyst from creating the solution code. However, most indu...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on industrial informatics Vol. 19; no. 11; pp. 1 - 11
Main Authors: Cimino, Chiara, Terraneo, Federico, Ferretti, Gianni, Leva, Alberto
Format: Journal Article
Language:English
Published: Piscataway IEEE 01.11.2023
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
Codes
Computational modeling
Control system modelling
Cyber-Physical Systems
Declarative programming
Digital Twins
Industry 4.0
Libraries
Mathematical models
Modelling
Modelling languages and compilers
Object oriented modeling
Optimization
Process control
Programming languages
Representations
Simulation performance
Solid modeling
ISSN:1551-3203, 1941-0050
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Digital Twins (DTs) are enablers for the fast optimisation processes required in the Industry 4.0 context. Declarative equation-based modelling languages, in turn, enable the creation of large-scale simulation-based DTs, as they relieve the analyst from creating the solution code. However, most industrial assets are Cyber-Physical Systems (CPSs), the Cyber part being their digital controls. With the available technology, a precise representation of modulating and logic controls conflicts with DT simulation performance. The result is a barrier to using DTs for system-level optimisation. We analyse the problem, propose a modelling paradigm to solve it and suggest how to integrate that paradigm into equation-based language compilers. We support our proposal by presenting a Modelica/C++ library, that we release as free software, built according to the said paradigm.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1551-3203
1941-0050
DOI:10.1109/TII.2023.3242806