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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on industrial informatics Jg. 19; H. 11; S. 1 - 11
Hauptverfasser: Cimino, Chiara, Terraneo, Federico, Ferretti, Gianni, Leva, Alberto
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Piscataway IEEE 01.11.2023
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract 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.
AbstractList 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.
Digital twins (DTs) are enablers for the fast optimization processes required in the Industry 4.0 context. Declarative equation-based modeling 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, 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 optimization. We analyze the problem, propose a modeling 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, which we release as free software, built according to the said paradigm.
Author Ferretti, Gianni
Cimino, Chiara
Terraneo, Federico
Leva, Alberto
Author_xml – sequence: 1
  givenname: Chiara
  surname: Cimino
  fullname: Cimino, Chiara
  organization: Politecnico di Milano, Italy
– sequence: 2
  givenname: Federico
  orcidid: 0000-0001-7475-6167
  surname: Terraneo
  fullname: Terraneo, Federico
  organization: Politecnico di Milano, Italy
– sequence: 3
  givenname: Gianni
  orcidid: 0000-0001-5321-8992
  surname: Ferretti
  fullname: Ferretti, Gianni
  organization: Politecnico di Milano, Italy
– sequence: 4
  givenname: Alberto
  orcidid: 0000-0003-2165-2078
  surname: Leva
  fullname: Leva, Alberto
  organization: Politecnico di Milano, Italy
BookMark eNp9kDFPwzAQhS1UJNrCzsBgiTnlbCduzIZKgUqVWMocOc6luEqdYKcg_j2u0gExMN3p3vfudG9CRq51SMg1gxljoO42q9WMAxczwVOegzwjY6ZSlgBkMIp9lrFEcBAXZBLCDkDMQagxqZZ1bY1F11PTut63DfXYeQxxonvbOmodfbRb2-uGbr6sC_dUx-G-Qx_1T6TmXTcNui3SuvW0QtPok9Jotz3oLYZLcl7rJuDVqU7J29Nys3hJ1q_Pq8XDOjFCpH2iKp0Dq9KcVzI3qI2aQwmZxJrNVWkYyBQUSjSKyTLjqRaQVzyPmCgN8EpMye2wt_PtxwFDX-zag3fxZMFzKVPFZcYiJQfK-DYEj3Vh7PBr77VtCgbFMdEiJlocEy1OiUYj_DF23u61__7PcjNYLCL-wiGFSIgf3NaD7g
CODEN ITIICH
CitedBy_id crossref_primary_10_1080_0951192X_2024_2372262
crossref_primary_10_1016_j_jii_2025_100912
crossref_primary_10_1016_j_ifacol_2024_10_265
crossref_primary_10_3390_s24030767
Cites_doi 10.1016/j.ifacol.2020.12.2804
10.1016/j.rcim.2022.102455
10.1109/TII.2011.2182653
10.1109/ACC.2002.1024581
10.1016/j.ifacol.2021.08.186
10.1109/TII.2020.3007764
10.1109/COMST.2019.2938259
10.1016/j.jmsy.2022.06.015
10.1002/9781118094259
10.7148/2018-0219
10.1504/IJWMC.2019.100066
10.1109/IEEM50564.2021.9672892
10.1016/S0098-1354(00)00484-1
10.3384/ecp19157313
10.1016/j.ifacol.2018.03.104
10.1016/j.mfglet.2014.12.001
10.1016/j.simpat.2019.05.001
10.1109/JSYST.2020.2970545
10.1109/ACCESS.2019.2933275
10.1109/INDIN41052.2019.8972134
10.1080/00207543.2018.1471243
10.1109/CASE.2011.6042457
10.1016/j.compind.2021.103501
10.1109/INDIN45523.2021.9557372
10.1002/9781119329503
10.1016/S0967-0661(98)00047-1
10.1201/9781315218731-4
10.1109/TII.2015.2489184
10.1007/978-3-030-43946-0_3
10.1007/978-3-030-20704-5_13
10.1109/TPWRS.2018.2876668
10.1109/JIOT.2021.3079510
10.1016/j.ifacol.2018.08.474
10.1109/ETFA46521.2020.9212089
10.1109/TII.2021.3097761
ContentType Journal Article
Copyright Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2023
Copyright_xml – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2023
DBID 97E
RIA
RIE
AAYXX
CITATION
7SC
7SP
8FD
JQ2
L7M
L~C
L~D
DOI 10.1109/TII.2023.3242806
DatabaseName IEEE All-Society Periodicals Package (ASPP) 2005-present
IEEE All-Society Periodicals Package (ASPP) 1998-Present
IEEE Electronic Library (IEL)
CrossRef
Computer and Information Systems Abstracts
Electronics & Communications Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Technology Research Database
Computer and Information Systems Abstracts – Academic
Electronics & Communications Abstracts
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Technology Research Database
Database_xml – sequence: 1
  dbid: RIE
  name: IEL
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1941-0050
EndPage 11
ExternalDocumentID 10_1109_TII_2023_3242806
10040242
Genre orig-research
GrantInformation_xml – fundername: Lombardia regional research and innovation project AD-COM
  grantid: 214632
GroupedDBID 0R~
29I
4.4
5GY
6IK
97E
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABQJQ
ABVLG
ACGFS
ACIWK
AENEX
AGQYO
AHBIQ
AKJIK
AKQYR
ALMA_UNASSIGNED_HOLDINGS
ATWAV
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CS3
DU5
EBS
HZ~
IFIPE
IPLJI
JAVBF
LAI
M43
O9-
OCL
P2P
RIA
RIE
RNS
5VS
AAYXX
AETIX
AGSQL
CITATION
EJD
7SC
7SP
8FD
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-c334t-9da801d482d68ceac970b056ef179bc106409e6ec916b524a308d28c973bc02d3
IEDL.DBID RIE
ISICitedReferencesCount 4
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001181996300043&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1551-3203
IngestDate Mon Jun 30 08:42:20 EDT 2025
Sat Nov 29 04:17:06 EST 2025
Tue Nov 18 22:11:17 EST 2025
Wed Aug 27 02:18:24 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Issue 11
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
https://doi.org/10.15223/policy-029
https://doi.org/10.15223/policy-037
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c334t-9da801d482d68ceac970b056ef179bc106409e6ec916b524a308d28c973bc02d3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0003-2165-2078
0000-0001-5321-8992
0000-0001-7475-6167
OpenAccessLink https://hdl.handle.net/11311/1233352
PQID 2866492651
PQPubID 85507
PageCount 11
ParticipantIDs ieee_primary_10040242
proquest_journals_2866492651
crossref_citationtrail_10_1109_TII_2023_3242806
crossref_primary_10_1109_TII_2023_3242806
PublicationCentury 2000
PublicationDate 2023-11-01
PublicationDateYYYYMMDD 2023-11-01
PublicationDate_xml – month: 11
  year: 2023
  text: 2023-11-01
  day: 01
PublicationDecade 2020
PublicationPlace Piscataway
PublicationPlace_xml – name: Piscataway
PublicationTitle IEEE transactions on industrial informatics
PublicationTitleAbbrev TII
PublicationYear 2023
Publisher IEEE
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml – name: IEEE
– name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References ref13
ref35
lundvall (ref16) 0
ref12
ref34
ref15
ref37
ref14
ref36
ref31
lundvall (ref20) 0
otter (ref21) 0
ref30
ref33
ref32
ref2
ref1
ref39
ref38
kågedal (ref25) 0
ref24
ref46
ref23
ref45
petzold (ref11) 1982
ref42
ref41
ref22
ref44
ref43
cellier (ref10) 2006
(ref19) 2023
ref28
ref27
(ref17) 2013
ref8
ref7
tao (ref29) 2019; 25
ref9
ref4
lundvall (ref26) 0
ref3
(ref18) 2023
ref6
ref5
ref40
References_xml – ident: ref30
  doi: 10.1016/j.ifacol.2020.12.2804
– ident: ref46
  doi: 10.1016/j.rcim.2022.102455
– ident: ref35
  doi: 10.1109/TII.2011.2182653
– ident: ref24
  doi: 10.1109/ACC.2002.1024581
– ident: ref7
  doi: 10.1016/j.ifacol.2021.08.186
– ident: ref37
  doi: 10.1109/TII.2020.3007764
– ident: ref1
  doi: 10.1109/COMST.2019.2938259
– ident: ref28
  doi: 10.1016/j.jmsy.2022.06.015
– ident: ref14
  doi: 10.1002/9781118094259
– ident: ref31
  doi: 10.7148/2018-0219
– ident: ref43
  doi: 10.1504/IJWMC.2019.100066
– ident: ref8
  doi: 10.1109/IEEM50564.2021.9672892
– ident: ref23
  doi: 10.1016/S0098-1354(00)00484-1
– start-page: 51
  year: 0
  ident: ref20
  article-title: Modelling concurrent activities and resource sharing in Modelica
  publication-title: Proc 44th Scand Conf Simul Model
– ident: ref22
  doi: 10.3384/ecp19157313
– start-page: 299
  year: 0
  ident: ref25
  article-title: Generating a Modelica compiler from natural semantics specifications
  publication-title: Proc Summer Comput Simul Conf
– ident: ref33
  doi: 10.1016/j.ifacol.2018.03.104
– year: 2023
  ident: ref18
  article-title: Modelica association home page
– ident: ref40
  doi: 10.1016/j.mfglet.2014.12.001
– year: 2013
  ident: ref17
  publication-title: IEC 61131-3 Programmable Controllers-Part 3 Programming Languages Edition 3 0
– ident: ref38
  doi: 10.1016/j.simpat.2019.05.001
– volume: 25
  start-page: 1
  year: 2019
  ident: ref29
  article-title: Five-dimension digital twin model and its ten applications
  publication-title: Comput Integr Manuf Syst
– ident: ref45
  doi: 10.1109/JSYST.2020.2970545
– year: 1982
  ident: ref11
  article-title: Description of DASSL: A differential/algebraic system solver
– ident: ref42
  doi: 10.1109/ACCESS.2019.2933275
– year: 2006
  ident: ref10
  publication-title: Continuous System Simulation
– ident: ref3
  doi: 10.1109/INDIN41052.2019.8972134
– ident: ref2
  doi: 10.1080/00207543.2018.1471243
– start-page: 179
  year: 0
  ident: ref16
  article-title: Event handling in the OpenModelica compiler and run-time system
  publication-title: Proc 46th Conf Simul Model Scand Simul Soc
– ident: ref9
  doi: 10.1109/CASE.2011.6042457
– ident: ref12
  doi: 10.1016/j.compind.2021.103501
– ident: ref39
  doi: 10.1109/INDIN45523.2021.9557372
– ident: ref27
  doi: 10.1002/9781119329503
– ident: ref15
  doi: 10.1016/S0967-0661(98)00047-1
– year: 2023
  ident: ref19
– ident: ref44
  doi: 10.1201/9781315218731-4
– ident: ref36
  doi: 10.1109/TII.2015.2489184
– ident: ref41
  doi: 10.1007/978-3-030-43946-0_3
– start-page: 23
  year: 0
  ident: ref26
  article-title: Towards automatic generation of model checkable code from Modelica
  publication-title: Proc 45th Conf Simul Model Scand Simul Soc
– ident: ref4
  doi: 10.1007/978-3-030-20704-5_13
– ident: ref32
  doi: 10.1109/TPWRS.2018.2876668
– start-page: 569
  year: 0
  ident: ref21
  article-title: StateGraph-A Modelica library for hierarchical state machines
  publication-title: Proc 4th Int Modelica Conf
– ident: ref13
  doi: 10.1109/JIOT.2021.3079510
– ident: ref5
  doi: 10.1016/j.ifacol.2018.08.474
– ident: ref6
  doi: 10.1109/ETFA46521.2020.9212089
– ident: ref34
  doi: 10.1109/TII.2021.3097761
SSID ssj0037039
Score 2.3999088
Snippet Digital Twins (DTs) are enablers for the fast optimisation processes required in the Industry 4.0 context. Declarative equation-based modelling languages, in...
Digital twins (DTs) are enablers for the fast optimization processes required in the Industry 4.0 context. Declarative equation-based modeling languages, in...
SourceID proquest
crossref
ieee
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 1
SubjectTerms 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
Title Efficient control representation in Digital Twins: an imperative challenge for declarative languages
URI https://ieeexplore.ieee.org/document/10040242
https://www.proquest.com/docview/2866492651
Volume 19
WOSCitedRecordID wos001181996300043&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEL
  customDbUrl:
  eissn: 1941-0050
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0037039
  issn: 1551-3203
  databaseCode: RIE
  dateStart: 20050101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFA9ueNCDnxOnU3Lw4qFbm_Qj8Sa64UCGhwm7lXxVBqOTddN_35c0lYEoeAvlJZT-kryXvrzfD6EbBi7WZf2JoWEQi6QIGONFQCiciIwQqeCuUPg5m0zYbMZffLG6q4UxxrjLZ6Zvmy6Xr5dqY3-VDSy7mfUpLdTKsqwu1mq2XQpTlzty1CQKKAlpk5MM-WA6HvetTHjfRg_Mihtt-SAnqvJjJ3buZXT4zxc7Qgc-jsT3NfDHaMeUJ2h_i13wFOmho4eAnthfSMeOwrIpNyrxvMSP8zcrG4Knn_OyusMCHkIgXdOBY9UorWAIbbE2auGJwnHzm7PqoNfRcPrwFHhRhUBRGq8DrgU4JR0zolOmYNvlWSghCjIFLE2pIpvZ4yY1CuJGmZBY0JBpwsCMShUSTc9Qu1yW5hxhSaRkSapFYeJYFratYGCRgSmPCtNFg-Yz58ozjlvhi0XuTh4hzwGY3AKTe2C66Pa7x3vNtvGHbccCsWVXY9BFvQbK3K_HKicsTS01YhJd_NLtEu3Z0esywx5qr1cbc4V21cd6Xq2u3VT7AqV70V0
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH7oFNSDPydOp-bgxUO3Nmm7xJvoxoZzeKiwW0mTVAqjk3XTf98kbWUgCt5CeWlLvyTvNS_v-wBuqHaxNuuPFXEdnwepQylLHUz0H5HiPOTMFgqPe5MJnU7ZS1WsbmthlFL28JnqmKbN5cu5WJmtsq5hNzM-ZRO2At_HXlmuVS-8RA9eZulRA88h2CV1VtJl3Wg06hih8I6JH6iRN1rzQlZW5cdabB3M4OCfr3YI-1Ukie5L6I9gQ-XHsLfGL3gCsm8JInRPVB1JR5bEsi44ylGWo8fszQiHoOgzy4s7xPVFHUqXhOBI1ForSAe3SCoxq6jCUb3RWTThddCPHoZOJavgCEL8pcMk125J-hTLkAq98LKem-g4SKV6cibCM7k9pkIldOSYBNjnxKUSU21GEuFiSU6hkc9zdQYowUlCg1DyVPl-kpq20DfmPW3KvFS1oFt_5lhUnONG-mIW238Pl8UamNgAE1fAtOD2u8d7ybfxh23TALFmV2LQgnYNZVzNyCLGNAwNOWLgnf_S7Rp2htHzOB6PJk8XsGueVBYdtqGxXKzUJWyLj2VWLK7ssPsCsNnUpA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Efficient+control+representation+in+Digital+Twins%3A+an+imperative+challenge+for+declarative+languages&rft.jtitle=IEEE+transactions+on+industrial+informatics&rft.au=Cimino%2C+Chiara&rft.au=Terraneo%2C+Federico&rft.au=Ferretti%2C+Gianni&rft.au=Leva%2C+Alberto&rft.date=2023-11-01&rft.pub=IEEE&rft.issn=1551-3203&rft.spage=1&rft.epage=11&rft_id=info:doi/10.1109%2FTII.2023.3242806&rft.externalDocID=10040242
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1551-3203&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1551-3203&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1551-3203&client=summon