research-article

Knowledge Equivalence in Digital Twins of Intelligent Systems

Authors:

Nikos Tziritas,

Georgios TheodoropoulosAuthors Info & Claims

ACM Transactions on Modeling and Computer Simulation, Volume 34, Issue 1

Article No.: 3, Pages 1 - 37

https://doi.org/10.1145/3635306

Published: 14 January 2024 Publication History

Abstract

A digital twin contains up-to-date data-driven models of the physical world being studied and can use simulation to optimise the physical world. However, the analysis made by the digital twin is valid and reliable only when the model is equivalent to the physical world. Maintaining such an equivalent model is challenging, especially when the physical systems being modelled are intelligent and autonomous. The article focuses in particular on digital twin models of intelligent systems where the systems are knowledge-aware but with limited capability. The digital twin improves the acting of the physical system at a meta-level by accumulating more knowledge in the simulated environment. The modelling of such an intelligent physical system requires replicating the knowledge-awareness capability in the virtual space. Novel equivalence maintaining techniques are needed, especially in synchronising the knowledge between the model and the physical system. This article proposes the notion of knowledge equivalence and an equivalence maintaining approach by knowledge comparison and updates. A quantitative analysis of the proposed approach confirms that compared to state equivalence, knowledge equivalence maintenance can tolerate deviation thus reducing unnecessary updates and achieve more Pareto efficient solutions for the tradeoff between update overhead and simulation reliability.

References

[1]

Fatemeh Akbarian, Emma Fitzgerald, and Maria Kihl. 2020. Synchronization in digital twins for industrial control systems. In 16th Swedish National Computer Networking Workshop (SNCNW’20). 4. http://arxiv.org/abs/2006.03447

[2]

Tomas Ambra and Cathy Macharis. 2020. Agent-based digital twins (ABM-DT) in synchromodal transport and logistics: The fusion of virtual and pysical spaces. In Proceedings of the Winter Simulation Conference.IEEE Press, Orlando, FL, 159–169.

[3]

ARUP. 2019. Digital Twin: Towards a Meaningful Framework. Technical Report. ARUP. Retrieved from www.arup.com/digitaltwinreport

[4]

Barbara Rita Barricelli, Elena Casiraghi, and Daniela Fogli. 2019. A survey on digital twin: Definitions, characteristics, applications, and design implications. IEEE Access 7 (2019), 167653–167671.

[5]

A. Biere, A. Cimatti, E.M. Clarke, M. Fujita, and Y. Zhu. 1999. Symbolic model checking using SAT procedures instead of BDDs. In Proceedings of the 1999 Design Automation Conference (Cat. No. 99CH36361). ACM, New York, NY, 317–320.

[6]

Erik Blasch. 2018. DDDAS advantages from high-dimensional simulation. In Proceedings of the 2018 Winter Simulation Conference.IEEE Press, Gothenburg, Sweden, 1418–1429.

Digital Library

[7]

Nicola Bombieri, Franco Fummi, Graziano Pravadelli, and Joao Marques-Silva. 2007. Towards equivalence checking between TLM and RTL models. In Proceedings of the 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign. IEEE Computer Society, 113–122.

Digital Library

[8]

Stefan Boschert and Roland Rosen. 2016. Digital Twin—The Simulation Aspect. Springer International Publishing, Cham, 59–74. DOI:

[9]

Valeria Cardellini, Francesco Lo Presti, Matteo Nardelli, and Gabriele Russo Russo. 2018. Decentralized self-adaptation for elastic data stream processing. Future Generation Computer Systems 87 (2018), 171–185. DOI:

Digital Library

[10]

John S. Carson. 2002. Model verification and validation. In Proceedings of the Winter Simulation Conference, Vol. 1. IEEE Press, San Diego, CA, 52–58.

[11]

Roberto Casadei, Andrea Placuzzi, Mirko Viroli, and Danny Weyns. 2021. Augmented collective digital twins for self-organising cyber-physical systems. In Proceedings of the 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion.IEEE, DC, 160–165. DOI:

[12]

Shuyi Chen, Masatoshi Hanai, Zhengchang Hua, Nikos Tziritas, and Georgios Theodoropoulos. 2020. Efficient direct agent interaction in optimistic distributed multi-agent-system simulations. In Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation.ACM, Miami, FL, Spain, 123–128.

Digital Library

[13]

Tao Chen, Funmilade Faniyi, Rami Bahsoon, Peter R. Lewis, Xin Yao, Leandro L. Minku, and Lukas Esterle. 2015. The handbook of engineering self-aware and self-expressive systems. (2015). arXiv:1409.1793v3. Retrieved from https://arxiv.org/abs/1409.1793v3

[14]

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, and Jon Whittle. 2009. Software engineering for self-adaptive systems: A research roadmap. In Proceedings of the Software Engineering for Self-Adaptive Systems. Springer, Berlin, 1–26. DOI:

Digital Library

[15]

Berkeley Churchill, Oded Padon, Rahul Sharma, and Alex Aiken. 2019. Semantic program alignment for equivalence checking. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, Phoenix, AZ, 1027–1040.

Digital Library

[16]

Edmund M. Clarke, William Klieber, Miloš Nováček, and Paolo Zuliani. 2012. Model Checking and the State Explosion Problem. Springer, Berlin, 1–30.

[17]

Thomas Clemen, Nima Ahmady-Moghaddam, Ulfia A. Lenfers, Florian Ocker, Daniel Osterholz, Jonathan Ströbele, and Daniel Glake. 2021. Multi-agent systems and digital twins for smarter cities. In Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation.ACM, New York, NY, 45–55.

Digital Library

[18]

Frederica Darema. 2004. Dynamic data driven applications systems: A new paradigm for application simulations and measurements. In Proceedings of the Computational Science - ICCS 2004. Springer, Berlin, 662–669. DOI:

[19]

Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, and Gigliola Vaglini. 2016. Heuristic search for equivalence checking. Software and Systems Modeling 15, 2 (2016), 513–530.

Digital Library

[20]

Mohammad Dehghanimohammadabadi, Sahil Belsare, and Renee Thiesing. 2021. Simulation-optimization of digital twin. In Proceedings of the 2021 Winter Simulation Conference. IEEE, Phoenix, AZ, 1–10. DOI:

[21]

Ada Diaconescu, Kirstie L. Bellman, Lukas Esterle, Holger Giese, Sebastian Götz, Peter Lewis, and Andrea Zisman. 2017. Architectures for collective self-aware computing systems. In Proceedings of the Self-Aware Computing Systems. Springer International Publishing, Cham, Switzerland, 191–235.

[22]

Georgios Diamantopoulos, Nikos Tziritas, Rami Bahsoon, and Georgios Theodoropoulos. 2022. Digital twins for dynamic management of blockchain systems. In Proceedings of the 2022 Winter Simulation Conference. IEEE, Singapore, 2876–2887. DOI:

[23]

Carlos Henrique dos Santos, José Arnaldo Barra Montevechi, José Antônio de Queiroz, Rafael de Carvalho Miranda, and Fabiano Leal. 2021. Decision support in productive processes through DES and ABS in the digital twin era: A systematic literature review. International Journal of Production Research 60, 8 (2021), 2662–2681.

[24]

Matthias Eckhart and Andreas Ekelhart. 2018. A specification-based state replication approach for digital twins. In Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy. ACM, New York, New York, 36–47.

Digital Library

[25]

Abdessalam Elhabbash, Rami Bahsoon, and Peter Tino. 2016. Interaction-awareness for self-adaptive volunteer computing. In Proceedings of the 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems.IEEE Press, Augsburg, Germany, 148–149.

[26]

A. Elhabbash, R. Bahsoon, P. Tino, P. R. Lewis, and Y. Elkhatib. 2021. Attaining meta-self-awareness through assessment of quality-of-knowledge. In Proceedings of the 2021 IEEE International Conference on Web Services. IEEE Computer Society, Los Alamitos, CA, 712–723.

[27]

Naeem Esfahani and Sam Malek. 2013. Uncertainty in Self-Adaptive Software Systems. Springer, Berlin, 214–238.

[28]

Lukas Esterle and Peter R. Lewis. 2017. Online multi-object k-coverage with mobile smart cameras. In Proceedings of the 11th International Conference on Distributed Smart Cameras.ACM, New York, NY, 107–112.

Digital Library

[29]

Lukas Esterle, Peter R. Lewis, Xin Yao, and Bernhard Rinner. 2014. Socio-economic vision graph generation and handover in distributed smart camera networks. ACM Transactions on Sensor Networks 10, 2 (2014), 1–24.

Digital Library

[30]

Francesco Flammini. 2021. Digital twins as run-time predictive models for the resilience of cyber-physical systems: A conceptual framework. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 379, 2207 (2021), 11. DOI:

[31]

Chuanchao Gao, Heejong Park, and Arvind Easwaran. 2021. An anomaly detection framework for digital twin driven cyber-physical systems. In Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems. ACM, New York, NY, 44–54.

Digital Library

[32]

Adam Ghandar, Ayyaz Ahmed, Shahid Zulfiqar, Zhengchang Hua, Masatoshi Hanai, and Georgios Theodoropoulos. 2021. A decision support system for urban agriculture using digital twin: A case study with aquaponics. IEEE Access 9 (2021), 35691–35708.

[33]

C. Lee Giles, Christian W. Omlin, and Karvel K. Thornber. 1999. Equivalence in knowledge representation: Automata, recurrent neural networks, and dynamical fuzzy systems. Proc. IEEE 87, 9 (1999), 1623–1640.

[34]

Edward Glaessgen and David Stargel. 2012. The digital twin paradigm for future NASA and U.S. air force vehicles. In Proceedings of the 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference. American Institute of Aeronautics and Astronautics, Reston, Virigina, 1–14. DOI:

[35]

Sven Gronauer and Klaus Diepold. 2022. Multi-agent deep reinforcement learning: A survey. Artificial Intelligence Review 55, 2 (2022), 895–943.

Digital Library

[36]

Britton Hammit, Rachel James, and Mohamed Ahmed. 2018. A case for online traffic simulation: Systematic procedure to calibrate car-following models using vehicle data. In Proceedings of the 2018 21st International Conference on Intelligent Transportation Systems.IEEE Press, Maui, HI, 3785–3790.

Digital Library

[37]

Hossein Hashemi, Khaled F. Abdelghany, and Ahmed F. Abdelghany. 2017. A multi-agent learning approach for online calibration and consistency checking of real-time traffic network management systems. Transportmetrica B: Transport Dynamics 5, 3 (2017), 364–384.

[38]

Dwayne Henclewood, Wonho Suh, Michael Rodgers, Michael Hunter, and Richard Fujimoto. 2012. A case for real-time calibration of data-driven microscopic traffic simulation tools. In Proceedings of the 2012 Winter Simulation Conference. IEEE Press, Berlin, Germany, 1–12.

[39]

Markus C. Huebscher and Julie A. McCann. 2008. A survey of autonomic computing degrees, models, and applications. Comput. Surveys 40, 3 (2008), 1–28. DOI:

Digital Library

[40]

IBM. 2001. Autonomic Computing: IBM’s Perspective on the State of Information Technology. Technical Report.

[41]

IBM. 2005. An Architectural Blueprint for Autonomic Computing. Technical Report. 34 pages.

[42]

IEEE Std 7001-2021. 2022. IEEE Standard for Transparency of Autonomous Systems. Standard. DOI:

[43]

IEEE Std 7010-2020. 2020. IEEE Recommended Practice for Assessing the Impact of Autonomous and Intelligent Systems on Human Well-Being. Standard. DOI:

[44]

Pengyi Jia, Xianbin Wang, and Xuemin Shen. 2021. Digital-twin-enabled intelligent distributed clock synchronization in industrial IoT systems. IEEE Internet of Things Journal 8, 6 (2021), 4548–4559.

[45]

David Jones, Chris Snider, Aydin Nassehi, Jason Yon, and Ben Hicks. 2020. Characterising the digital twin: A systematic literature review. CIRP Journal of Manufacturing Science and Technology 29 (2020), 36–52.

[46]

Michael G. Kapteyn, Jacob V. R. Pretorius, and Karen E. Willcox. 2021. A probabilistic graphical model foundation for enabling predictive digital twins at scale. Nature Computational Science 1, 5 (2021), 337–347.

[47]

Catriona Kennedy and Georgios Theodoropoulos. 2006. Intelligent management of data driven simulations to support model building in the social sciences. In Proceedings of the Computational Science.Springer, Berlin, 562–569.

Digital Library

[48]

Catriona Kennedy, Georgios Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, and Chris Skelcher. 2007. AIMSS: An architecture for data driven simulations in the social sciences. In Proceedings of the Computational Science.Springer, Berlin, 1098–1105.

Digital Library

[49]

Catriona Kennedy, Georgios Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, and Chris Skelcher. 2011. Data driven simulation to support model building in the social sciences. Journal of Algorithms & Computational Technology 5, 4 (2011), 561–581.

[50]

J.O. Kephart and D.M. Chess. 2003. The vision of autonomic computing. Computer 36, 1 (2003), 41–50. DOI:

Digital Library

[51]

B. Korth, C. Schwede, and M. Zajac. 2018. Simulation-ready digital twin for realtime management of logistics systems. In Proceedings of the 2018 IEEE International Conference on Big Data. IEEE Press, Seattle, WA, 4194–4201.

[52]

Michael Lees, Brian Logan, Rob Minson, Ton Oguara, and Georgios Theodoropoulos. 2005. Modelling environments for distributed simulation. In Proceedings of the Environments for Multi-Agent Systems. Springer, Berlin, 150–167.

Digital Library

[53]

Peter R. Lewis, Arjun Chandra, Funmilade Faniyi, Kyrre Glette, Tao Chen, Rami Bahsoon, Jim Torresen, and Xin Yao. 2015. Architectural aspects of self-aware and self-expressive computing systems: From psychology to engineering. Computer 48, 8 (82015), 62–70.

Digital Library

[54]

Peter R. Lewis, Marco Platzner, Bernhard Rinner, Jim Tørresen, and Xin Yao. 2016. Self-aware Computing Systems: An Engineering Approach (1st ed.). Springer Cham.

[55]

Mengnan Liu, Shuiliang Fang, Huiyue Dong, and Cunzhi Xu. 2021. Review of digital twin about concepts, technologies, and industrial applications. Journal of Manufacturing Systems 58 (2021), 346–361. DOI:

[56]

Giovanni Lugaresi, Sofia Gangemi, Giulia Gazzoni, and Andrea Matta. 2022. Online validation of simulation-based digital twins exploiting time series analysis. In Proceedings of the 2022 Winter Simulation Conference. IEEE, Singapore, 2912–2923.

[57]

Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, and Peter Gorm Larsen. 2021. Towards a digital twin framework for autonomous robots. In Proceedings of the 2021 IEEE 45th Annual Computers, Software, and Applications Conference.IEEE, Madrid, Spain, 1254–1259. DOI:

[58]

Sarah Malik, Rakeen Rouf, Krzysztof Mazur, and Antonios Kontsos. 2020. A dynamic data driven applications systems (DDDAS)-based digital twin IoT framework. In Proceedings of the Dynamic Data Driven Applications Systems.. Springer International Publishing, Cham, 29–36. DOI:

Digital Library

[59]

Fabien Michel, Jacques Ferber, and Alexis Drogoul. 2009. Multi-agent systems and simulation: A survey from the agent community’s perspective. In Proceedings of the Multi-Agent Systems: Simulation and Applications. CRC Press, Boca Raton, FL, 3–51.

[60]

Stefan Mihai, Mahnoor Yaqoob, Dang V. Hung, William Davis, Praveer Towakel, Mohsin Raza, Mehmet Karamanoglu, Balbir Barn, Dattaprasad Shetve, Raja V. Prasad, Hrishikesh Venkataraman, Ramona Trestian, and Huan X. Nguyen. 2022. Digital twins: A survey on enabling technologies, challenges, trends and future prospects. IEEE Communications Surveys and Tutorials 24, 4 (2022), 2255–2291. DOI:

[61]

Roberto Minerva, Gyu Myoung Lee, and Noel Crespi. 2020. Digital twin in the IoT context: A survey on technical features, scenarios, and architectural models. Proc. IEEE 108, 10 (2020), 1785–1824.

[62]

Htet Naing, Wentong Cai, Nan Hu, Tiantian Wu, and Liang Yu. 2021. Data-driven microscopic traffic modelling and simulation using dynamic LSTM. In Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. ACM, New York, NY, 1–12.

Digital Library

[63]

Michael J. North, Nicholson T. Collier, Jonathan Ozik, Eric R. Tatara, Charles M. Macal, Mark Bragen, and Pam Sydelko. 2013. Complex adaptive systems modeling with repast simphony. Complex Adaptive Systems Modeling 1, 1 (2013), 3.

[64]

Vasileia Papathanasopoulou, Ioulia Markou, and Constantinos Antoniou. 2016. Online calibration for microscopic traffic simulation and dynamic multi-step prediction of traffic speed. Transportation Research Part C: Emerging Technologies 68 (2016), 144–159.

[65]

Danilo Pianini, Federico Pettinari, Roberto Casadei, and Lukas Esterle. 2022. A collective adaptive approach to decentralised k-coverage in multi-robot systems. ACM Trans. Auton. Adapt. Syst. 17, 1–2 (2022), 39 pages. DOI:

Digital Library

[66]

Federico Quin, Danny Weyns, and Omid Gheibi. 2021. Decentralized self-adaptive systems: A mapping study. In Proceedings of the 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE, Madrid, Spain, 18–29. DOI:

[67]

Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, and Marco Picone. 2022. Web of digital twins. ACM Transactions on Internet Technology 22, 4 (2022), 101:1–101:30. DOI:

Digital Library

[68]

Bernhard Rinner, Lukas Esterle, Jennifer Simonjan, Georg Nebehay, Roman Pflugfelder, Gustavo Fernández Domínguez, and Peter R. Lewis. 2015. Self-aware and self-expressive camera networks. Computer 48, 7 (2015), 21–28. DOI:

Digital Library

[69]

Luis F. Rivera, Miguel Jiménez, Norha M. Villegas, Gabriel Tamura, and Hausi A. Müller. 2022. The forging of autonomic and cooperating digital twins. IEEE Internet Computing 26, 5 (2022), 41–49. DOI:

Digital Library

[70]

Luis F Rivera, Hausi A Müller, Norha M Villegas, Gabriel Tamura, and Miguel Jiménez. 2020. On the engineering of IoT-intensive digital twin software systems. In Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops. ACM, New York, NY, 631–638.

Digital Library

[71]

Stuart Russell and Peter Norvig. 2009. Artificial Intelligence: A Modern Approach (3rd ed.). Prentice Hall Press.

[72]

Mazeiar Salehie and Ladan Tahvildari. 2009. Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems 4, 2 (2009), 1–42. DOI:

Digital Library

[73]

Robert G. Sargent. 2010. Verification and validation of simulation models. In Proceedings of the 2010 Winter Simulation Conference. IEEE Press, Baltimore, MD, 166–183.

[74]

Rahul Sharma, Eric Schkufza, Berkeley Churchill, and Alex Aiken. 2013. Data-driven equivalence checking. In “Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications”. ACM, Indianapolis, Indiana, 391–406.

Digital Library

[75]

Vinoth Suryanarayanan and Georgios Theodoropoulos. 2013. Synchronised range queries in distributed simulations of multiagent systems. ACM Trans. Model. Comput. Simul. 23, 4 (2013), 25 pages.

Digital Library

[76]

Barıs Tan and Andrea Matta. 2022. Optimizing digital twin synchronization in a finite horizon. In Proceedings of the 2022 Winter Simulation Conference. IEEE, Singapore, 2924–2935.

[77]

Fei Tao, Fangyuan Sui, Ang Liu, Qinglin Qi, Meng Zhang, Boyang Song, Zirong Guo, Stephen C.Y. Lu, and A. Y. C. Nee. 2019. Digital twin-driven product design framework. International Journal of Production Research 57, 12 (2019), 3935–3953. DOI:

[78]

Fei Tao, He Zhang, Ang Liu, and A. Y.C. C Nee. 2019. Digital twin in industry: State-of-the-art. IEEE Transactions on Industrial Informatics 15, 4 (2019), 2405–2415. DOI:

[79]

Fei Tao and Meng Zhang. 2017. Digital twin shop-floor: A new shop-floor paradigm towards smart manufacturing. IEEE Access 5 (2017), 20418–20427. DOI:

[80]

Adam Thelen, Xiaoge Zhang, Olga Fink, Yan Lu, Sayan Ghosh, Byeng D. Youn, Michael D. Todd, Sankaran Mahadevan, Chao Hu, and Zhen Hu. 2022. A comprehensive review of digital twin–part 1: Modeling and twinning enabling technologies. Structural and Multidisciplinary Optimization 65, 12 (2022), 55. DOI:

Digital Library

[81]

US Department of Defense. 2009. DoD Modeling and Simulation (M&S) Verification, Validation, and Accreditation (VV&A): DoD Instruction 5000.61. Technical Report. US Department of Defense.

[82]

A.J. van der Schaft. 2004. Equivalence of dynamical systems by bisimulation. IEEE Trans. Automat. Control 49, 12 (2004), 2160–2172.

[83]

Hendrik van der Valk, Hendrik Hasse, Frederik Moeller, Michael Arbter, Jan-Luca Henning, and Boris Otto. 2020. A taxonomy of digital twins. In AMCIS 2020 Proceedings. ASSOC INFORMATION SYSTEMS, P.O. BOX 2712, Atlanta, GA 30301-2712. Retrieved from https://aisel.aisnet.org/amcis2020/org_transformation_is/org_transformation_is/4

[84]

Eric VanDerHorn and Sankaran Mahadevan. 2021. Digital twin: Generalization, characterization and implementation. Decision Support Systems 145 (2021), 113524.

[85]

Chi-Hsu Wang and Jung-Sheng Wen. 2008. On the equivalence of a table lookup (TL) technique and fuzzy neural network (FNN) with block pulse membership functions (BPMFs) and its application to water injection control of an automobile. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 38, 4 (2008), 574–580.

Digital Library

[86]

Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, and William R. Cook. 2018. Verifying equivalence of database-driven applications. Proceedings of the ACM on Programming Languages 2, POPL (2018), 1–29.

Digital Library

[87]

Danny Weyns. 2021. An Introduction to Self-adaptive Systems: A Contemporary Software Engineering Perspective. Wiley, Hoboken.

[88]

Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, and Karl M Göschka. 2013. On patterns for decentralized control in self-adaptive systems. In Proceedings of the Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers. Springer, Berlin, 76–107.

[89]

Lyndon While, Phil Hingston, Luigi Barone, and Simon Huband. 2006. A faster algorithm for calculating hypervolume. IEEE Transactions on Evolutionary Computation 10, 1 (2006), 29–38.

Digital Library

[90]

Michael Wooldridge and Nicholas R. Jennings. 1995. Intelligent agents: Theory and practice. The Knowledge Engineering Review 10, 2 (1995), 115–152.

[91]

Senquan Yang, Fan Ding, Pu Li, and Songxi Hu. 2022. Distributed multi-camera multi-target association for real-time tracking. Scientific Reports 12, 1 (2022), 11052. DOI:

[92]

Nan Zhang, Rami Bahsoon, and Georgios Theodoropoulos. 2020. Towards engineering cognitive digital twins with self-awareness. In Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics. IEEE, Toronto, ON, Canada, 3891–3891.

Digital Library

[93]

Q.K. Zhu. 2008. Logic equivalence check in SOC design: Solution and issues. In Proceedings of the IET Conference. Institution of Engineering and Technology, Beijing, China, 623–626.

[94]

H. Zipper and C. Diedrich. 2019. Synchronization of industrial plant and digital twin. In Proceedings of the 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation. IEEE Press, Zaragoza, Spain, 1678–1681.

Digital Library

Cited By

Hua ZDjemame KTziritas NTheodoropoulos GRossetti MHunter S(2024)A Framework for Digital Twin CollaborationProceedings of the Winter Simulation Conference10.5555/3712729.3712982(3046-3057)Online publication date: 15-Dec-2024
https://dl.acm.org/doi/10.5555/3712729.3712982
Guder MBalta-Ozkan N(2024)A Data-Driven Approach to Understanding Online Service Access and Technological Energy Injustice Among Minority Ethnic CommunitiesProceedings of the 2024 The 6th World Symposium on Software Engineering (WSSE)10.1145/3698062.3698094(218-225)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3698062.3698094
Hua ZDjemame KTziritas NTheodoropoulos G(2024)A Framework for Digital Twin Collaboration2024 Winter Simulation Conference (WSC)10.1109/WSC63780.2024.10838936(3046-3057)Online publication date: 15-Dec-2024
https://doi.org/10.1109/WSC63780.2024.10838936
Show More Cited By

Index Terms

Knowledge Equivalence in Digital Twins of Intelligent Systems
1. Computer systems organization
  1. Architectures
  2. Embedded and cyber-physical systems
2. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
  2. Modeling and simulation

Recommendations

Facebook’s Cyber–Cyber and Cyber–Physical Digital Twins
EASE '21: Proceedings of the 25th International Conference on Evaluation and Assessment in Software Engineering

A cyber–cyber digital twin is a simulation of a software system. By contrast, a cyber–physical digital twin is a simulation of a non-software (physical) system. Although cyber–physical digital twins have received a lot of recent attention, their cyber–...
Foundation Models for the Digital Twins Creation of Cyber-Physical Systems
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Abstract
Foundation models are trained on a large amount of data to learn generic patterns. Consequently, these models can be used and fine-tuned for various purposes. Naturally, studying such models’ use in the context of digital twins for cyber-physical ...
Towards Secure Digital Twins
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Abstract
Advanced digital technology is finding its way into industrial production and control systems. This led to development of further concepts such as digital shadow and digital twin. In the former an accurate model of the cyber-physical system (CPS) ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Modeling and Computer Simulation

ACM Transactions on Modeling and Computer Simulation Volume 34, Issue 1

January 2024

108 pages

EISSN:1558-1195

DOI:10.1145/3613541

Editor:
Wentong Cai
Nanyang Technological University, Singapore

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 January 2024

Online AM: 05 December 2023

Accepted: 30 October 2023

Revised: 15 March 2023

Received: 23 March 2022

Published in TOMACS Volume 34, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Shenzhen Science and Technology Program, China
SUSTech-University of Birmingham Collaborative PhD Programme
Guangdong Province Innovative and Entrepreneurial Team Programme, China
SUSTech Research Institute for Trustworthy Autonomous Systems, China
EPSRC/EverythingConnected Network project on Novel Cognitive Digital Twins for Compliance, UK

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
455
Total Downloads

Downloads (Last 12 months)336
Downloads (Last 6 weeks)29

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hua ZDjemame KTziritas NTheodoropoulos GRossetti MHunter S(2024)A Framework for Digital Twin CollaborationProceedings of the Winter Simulation Conference10.5555/3712729.3712982(3046-3057)Online publication date: 15-Dec-2024
https://dl.acm.org/doi/10.5555/3712729.3712982
Guder MBalta-Ozkan N(2024)A Data-Driven Approach to Understanding Online Service Access and Technological Energy Injustice Among Minority Ethnic CommunitiesProceedings of the 2024 The 6th World Symposium on Software Engineering (WSSE)10.1145/3698062.3698094(218-225)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3698062.3698094
Hua ZDjemame KTziritas NTheodoropoulos G(2024)A Framework for Digital Twin Collaboration2024 Winter Simulation Conference (WSC)10.1109/WSC63780.2024.10838936(3046-3057)Online publication date: 15-Dec-2024
https://doi.org/10.1109/WSC63780.2024.10838936
Guder MBalta-Ozkan N(2024)An Integrated Agent-Based Modelling and Machine Learning Framework for Enhancing the Digital Service Access of Minority Ethnic Communities2024 14th International Conference on Advanced Computer Information Technologies (ACIT)10.1109/ACIT62333.2024.10712582(49-54)Online publication date: 19-Sep-2024
https://doi.org/10.1109/ACIT62333.2024.10712582
Huang ZZhang NShen JDiamantopoulos GHua ZTziritas NTheodoropoulos G(2024)Distributed Simulation for Digital Twins of Large-Scale Real-World DiffServ-Based NetworksEuro-Par 2024: Parallel Processing10.1007/978-3-031-69583-4_18(255-269)Online publication date: 26-Aug-2024
https://doi.org/10.1007/978-3-031-69583-4_18

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Full Text

View this article in Full Text.

Figures

Tables

Media

View full text|Download PDF

View Issue’s Table of Contents