Efficient Control Representation in Digital Twins: An Imperative Challenge for Declarative Languages
- 7 February 2023
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Industrial Informatics
- Vol. 19 (11) , 11080-11090
Abstract
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.Keywords
Funding Information
- Lombardia regional research and innovation project AD-COM (214632)
This publication has 35 references indexed in Scilit:
- Digital twin-driven rapid individualised designing of automated flow-shop manufacturing systemInternational Journal of Production Research, 2018
- Towards digital twins through object-oriented modelling: a machine tool case studyIFAC-PapersOnLine, 2018
- Applying Model Checking to Industrial-Sized PLC ProgramsIEEE Transactions on Industrial Informatics, 2015
- A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systemsManufacturing Letters, 2015
- Methods for Reliable Simulation-Based PLC Code VerificationIEEE Transactions on Industrial Informatics, 2012
- Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica2011
- A formal semantics for Grafcet specifications2011
- Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling2002
- Design and verification of the SFC program for sequential controlComputers & Chemical Engineering, 2000
- Physical system modeling with ModelicaControl Engineering Practice, 1998