{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T05:33:00Z","timestamp":1777354380524,"version":"3.51.4"},"reference-count":94,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T00:00:00Z","timestamp":1705190400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Shenzhen Science and Technology Program, China","award":["GJHZ20210705141807022"],"award-info":[{"award-number":["GJHZ20210705141807022"]}]},{"name":"SUSTech-University of Birmingham Collaborative PhD Programme"},{"name":"Guangdong Province Innovative and Entrepreneurial Team Programme, China","award":["2017ZT07X386"],"award-info":[{"award-number":["2017ZT07X386"]}]},{"name":"SUSTech Research Institute for Trustworthy Autonomous Systems, China"},{"name":"EPSRC\/EverythingConnected Network project on Novel Cognitive Digital Twins for Compliance, UK"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2024,1,31]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/3635306","type":"journal-article","created":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T12:05:25Z","timestamp":1701777925000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Knowledge Equivalence in Digital Twins of Intelligent Systems"],"prefix":"10.1145","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5728-0440","authenticated-orcid":false,"given":"Nan","family":"Zhang","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Southern University of Science and Technology (SUSTech), China and School of Computer Science, University of Birmingham, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1139-5795","authenticated-orcid":false,"given":"Rami","family":"Bahsoon","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Birmingham, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2091-2037","authenticated-orcid":false,"given":"Nikos","family":"Tziritas","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Telecommunications, University of Thessaly, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7448-5886","authenticated-orcid":false,"given":"Georgios","family":"Theodoropoulos","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering and Research Institute for Trustworthy Autonomous Systems, Southern University of Science and Technology (SUSTech), China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,1,14]]},"reference":[{"key":"e_1_3_3_2_2","unstructured":"Fatemeh Akbarian Emma Fitzgerald and Maria Kihl. 2020. Synchronization in digital twins for industrial control systems. In 16th Swedish National Computer Networking Workshop (SNCNW\u201920) . 4. http:\/\/arxiv.org\/abs\/2006.03447"},{"key":"e_1_3_3_3_2","first-page":"159","volume-title":"Proceedings of the Winter Simulation Conference.","author":"Ambra Tomas","year":"2020","unstructured":"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\u2013169."},{"key":"e_1_3_3_4_2","volume-title":"Digital Twin: Towards a Meaningful Framework","year":"2019","unstructured":"ARUP. 2019. Digital Twin: Towards a Meaningful Framework. Technical Report. ARUP. Retrieved from www.arup.com\/digitaltwinreport"},{"key":"e_1_3_3_5_2","doi-asserted-by":"crossref","first-page":"167653","DOI":"10.1109\/ACCESS.2019.2953499","article-title":"A survey on digital twin: Definitions, characteristics, applications, and design implications","volume":"7","author":"Barricelli Barbara Rita","year":"2019","unstructured":"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\u2013167671.","journal-title":"IEEE Access"},{"key":"e_1_3_3_6_2","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1109\/DAC.1999.781333","volume-title":"Proceedings of the 1999 Design Automation Conference (Cat. No. 99CH36361)","author":"Biere A.","year":"1999","unstructured":"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\u2013320."},{"key":"e_1_3_3_7_2","doi-asserted-by":"crossref","first-page":"1418","DOI":"10.1109\/WSC.2018.8632336","volume-title":"Proceedings of the 2018 Winter Simulation Conference.","author":"Blasch Erik","year":"2018","unstructured":"Erik Blasch. 2018. DDDAS advantages from high-dimensional simulation. In Proceedings of the 2018 Winter Simulation Conference.IEEE Press, Gothenburg, Sweden, 1418\u20131429."},{"key":"e_1_3_3_8_2","first-page":"113","volume-title":"Proceedings of the 2007 5th IEEE\/ACM International Conference on Formal Methods and Models for Codesign.","author":"Bombieri Nicola","year":"2007","unstructured":"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\u2013122."},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32156-1_5"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.05.025"},{"key":"e_1_3_3_11_2","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/WSC.2002.1172868","volume-title":"Proceedings of the Winter Simulation Conference","volume":"1","author":"Carson John S.","year":"2002","unstructured":"John S. Carson. 2002. Model verification and validation. In Proceedings of the Winter Simulation Conference, Vol. 1. IEEE Press, San Diego, CA, 52\u201358."},{"key":"e_1_3_3_12_2","first-page":"160","volume-title":"Proceedings of the 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion.","author":"Casadei Roberto","year":"2021","unstructured":"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\u2013165. DOI:10.1109\/ACSOS-C52956.2021.00051"},{"key":"e_1_3_3_13_2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/3384441.3395977","volume-title":"Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation.","author":"Chen Shuyi","year":"2020","unstructured":"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\u2013128."},{"key":"e_1_3_3_14_2","unstructured":"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"},{"key":"e_1_3_3_15_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-02161-9","volume-title":"Proceedings of the Software Engineering for Self-Adaptive Systems","author":"Cheng Betty H. C.","year":"2009","unstructured":"Betty H. C. Cheng, Rog\u00e9rio 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\u00fcller, 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\u201326. DOI:10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_3_16_2","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1145\/3314221.3314596","volume-title":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Churchill Berkeley","year":"2019","unstructured":"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\u20131040."},{"key":"e_1_3_3_17_2","first-page":"1","volume-title":"Model Checking and the State Explosion Problem","author":"Clarke Edmund M.","year":"2012","unstructured":"Edmund M. Clarke, William Klieber, Milo\u0161 Nov\u00e1\u010dek, and Paolo Zuliani. 2012. Model Checking and the State Explosion Problem. Springer, Berlin, 1\u201330."},{"key":"e_1_3_3_18_2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/3437959.3459254","volume-title":"Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation.","author":"Clemen Thomas","year":"2021","unstructured":"Thomas Clemen, Nima Ahmady-Moghaddam, Ulfia A. Lenfers, Florian Ocker, Daniel Osterholz, Jonathan Str\u00f6bele, 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\u201355."},{"key":"e_1_3_3_19_2","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1007\/978-3-540-24688-6_86","volume-title":"Proceedings of the Computational Science - ICCS 2004","author":"Darema Frederica","year":"2004","unstructured":"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\u2013669. DOI:10.1007\/978-3-540-24688-6_86"},{"issue":"2","key":"e_1_3_3_20_2","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/s10270-014-0416-2","article-title":"Heuristic search for equivalence checking","volume":"15","author":"Francesco Nicoletta De","year":"2016","unstructured":"Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, and Gigliola Vaglini. 2016. Heuristic search for equivalence checking. Software and Systems Modeling 15, 2 (2016), 513\u2013530.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_3_21_2","first-page":"1","volume-title":"Proceedings of the 2021 Winter Simulation Conference","author":"Dehghanimohammadabadi Mohammad","year":"2021","unstructured":"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\u201310. DOI:10.1109\/WSC52266.2021.9715412"},{"key":"e_1_3_3_22_2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-319-47474-8_7","volume-title":"Proceedings of the Self-Aware Computing Systems","author":"Diaconescu Ada","year":"2017","unstructured":"Ada Diaconescu, Kirstie L. Bellman, Lukas Esterle, Holger Giese, Sebastian G\u00f6tz, 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\u2013235."},{"key":"e_1_3_3_23_2","doi-asserted-by":"crossref","first-page":"2876","DOI":"10.1109\/WSC57314.2022.10015447","volume-title":"Proceedings of the 2022 Winter Simulation Conference","author":"Diamantopoulos Georgios","year":"2022","unstructured":"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\u20132887. DOI:10.1109\/WSC57314.2022.10015447"},{"issue":"8","key":"e_1_3_3_24_2","doi-asserted-by":"crossref","first-page":"2662","DOI":"10.1080\/00207543.2021.1898691","article-title":"Decision support in productive processes through DES and ABS in the digital twin era: A systematic literature review","volume":"60","author":"Santos Carlos Henrique dos","year":"2021","unstructured":"Carlos Henrique dos Santos, Jos\u00e9 Arnaldo Barra Montevechi, Jos\u00e9 Ant\u00f4nio 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\u20132681.","journal-title":"International Journal of Production Research"},{"key":"e_1_3_3_25_2","first-page":"36","volume-title":"Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy","author":"Eckhart Matthias","year":"2018","unstructured":"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\u201347."},{"key":"e_1_3_3_26_2","first-page":"148","volume-title":"Proceedings of the 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems.","author":"Elhabbash Abdessalam","year":"2016","unstructured":"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\u2013149."},{"key":"e_1_3_3_27_2","first-page":"712","volume-title":"Proceedings of the 2021 IEEE International Conference on Web Services","author":"Elhabbash A.","year":"2021","unstructured":"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\u2013723."},{"key":"e_1_3_3_28_2","first-page":"214","volume-title":"Uncertainty in Self-Adaptive Software Systems","author":"Esfahani Naeem","year":"2013","unstructured":"Naeem Esfahani and Sam Malek. 2013. Uncertainty in Self-Adaptive Software Systems.. Springer, Berlin, 214\u2013238."},{"key":"e_1_3_3_29_2","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/3131885.3131909","volume-title":"Proceedings of the 11th International Conference on Distributed Smart Cameras.","author":"Esterle Lukas","year":"2017","unstructured":"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\u2013112."},{"issue":"2","key":"e_1_3_3_30_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2530001","article-title":"Socio-economic vision graph generation and handover in distributed smart camera networks","volume":"10","author":"Esterle Lukas","year":"2014","unstructured":"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\u201324.","journal-title":"ACM Transactions on Sensor Networks"},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2020.0369"},{"key":"e_1_3_3_32_2","first-page":"44","volume-title":"Proceedings of the ACM\/IEEE 12th International Conference on Cyber-Physical Systems","author":"Gao Chuanchao","year":"2021","unstructured":"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\u201354."},{"key":"e_1_3_3_33_2","doi-asserted-by":"crossref","first-page":"35691","DOI":"10.1109\/ACCESS.2021.3061722","article-title":"A decision support system for urban agriculture using digital twin: A case study with aquaponics","volume":"9","author":"Ghandar Adam","year":"2021","unstructured":"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\u201335708.","journal-title":"IEEE Access"},{"issue":"9","key":"e_1_3_3_34_2","doi-asserted-by":"crossref","first-page":"1623","DOI":"10.1109\/5.784244","article-title":"Equivalence in knowledge representation: Automata, recurrent neural networks, and dynamical fuzzy systems","volume":"87","author":"Giles C. Lee","year":"1999","unstructured":"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\u20131640.","journal-title":"Proc. IEEE"},{"key":"e_1_3_3_35_2","first-page":"1","volume-title":"Proceedings of the 53rd AIAA\/ASME\/ASCE\/AHS\/ASC Structures, Structural Dynamics and Materials Conference","author":"Glaessgen Edward","year":"2012","unstructured":"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\u201314. DOI:10.2514\/6.2012-1818"},{"issue":"2","key":"e_1_3_3_36_2","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1007\/s10462-021-09996-w","article-title":"Multi-agent deep reinforcement learning: A survey","volume":"55","author":"Gronauer Sven","year":"2022","unstructured":"Sven Gronauer and Klaus Diepold. 2022. Multi-agent deep reinforcement learning: A survey. Artificial Intelligence Review 55, 2 (2022), 895\u2013943.","journal-title":"Artificial Intelligence Review"},{"key":"e_1_3_3_37_2","first-page":"3785","volume-title":"Proceedings of the 2018 21st International Conference on Intelligent Transportation Systems.","author":"Hammit Britton","year":"2018","unstructured":"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\u20133790."},{"issue":"3","key":"e_1_3_3_38_2","first-page":"364","article-title":"A multi-agent learning approach for online calibration and consistency checking of real-time traffic network management systems","volume":"5","author":"Hashemi Hossein","year":"2017","unstructured":"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\u2013384.","journal-title":"Transportmetrica B: Transport Dynamics"},{"key":"e_1_3_3_39_2","first-page":"1","volume-title":"Proceedings of the 2012 Winter Simulation Conference","author":"Henclewood Dwayne","year":"2012","unstructured":"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\u201312."},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/1380584.1380585"},{"key":"e_1_3_3_41_2","volume-title":"Autonomic Computing: IBM\u2019s Perspective on the State of Information Technology","year":"2001","unstructured":"IBM. 2001. Autonomic Computing: IBM\u2019s Perspective on the State of Information Technology. Technical Report."},{"key":"e_1_3_3_42_2","first-page":"34","volume-title":"An Architectural Blueprint for Autonomic Computing","year":"2005","unstructured":"IBM. 2005. An Architectural Blueprint for Autonomic Computing. Technical Report. 34 pages."},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2022.9726144"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2020.9084219"},{"issue":"6","key":"e_1_3_3_45_2","doi-asserted-by":"crossref","first-page":"4548","DOI":"10.1109\/JIOT.2020.3029131","article-title":"Digital-twin-enabled intelligent distributed clock synchronization in industrial IoT systems","volume":"8","author":"Jia Pengyi","year":"2021","unstructured":"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\u20134559.","journal-title":"IEEE Internet of Things Journal"},{"key":"e_1_3_3_46_2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/j.cirpj.2020.02.002","article-title":"Characterising the digital twin: A systematic literature review","volume":"29","author":"Jones David","year":"2020","unstructured":"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\u201352.","journal-title":"CIRP Journal of Manufacturing Science and Technology"},{"issue":"5","key":"e_1_3_3_47_2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1038\/s43588-021-00069-0","article-title":"A probabilistic graphical model foundation for enabling predictive digital twins at scale","volume":"1","author":"Kapteyn Michael G.","year":"2021","unstructured":"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\u2013347.","journal-title":"Nature Computational Science"},{"key":"e_1_3_3_48_2","first-page":"562","volume-title":"Proceedings of the Computational Science.","author":"Kennedy Catriona","year":"2006","unstructured":"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\u2013569."},{"key":"e_1_3_3_49_2","first-page":"1098","volume-title":"Proceedings of the Computational Science.","author":"Kennedy Catriona","year":"2007","unstructured":"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\u20131105."},{"issue":"4","key":"e_1_3_3_50_2","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1260\/1748-3018.5.4.561","article-title":"Data driven simulation to support model building in the social sciences","volume":"5","author":"Kennedy Catriona","year":"2011","unstructured":"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\u2013581.","journal-title":"Journal of Algorithms & Computational Technology"},{"key":"e_1_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_3_52_2","doi-asserted-by":"crossref","first-page":"4194","DOI":"10.1109\/BigData.2018.8622160","volume-title":"Proceedings of the 2018 IEEE International Conference on Big Data","author":"Korth B.","year":"2018","unstructured":"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\u20134201."},{"key":"e_1_3_3_53_2","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/978-3-540-32259-7_8","volume-title":"Proceedings of the Environments for Multi-Agent Systems","author":"Lees Michael","year":"2005","unstructured":"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\u2013167."},{"issue":"8","key":"e_1_3_3_54_2","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MC.2015.235","article-title":"Architectural aspects of self-aware and self-expressive computing systems: From psychology to engineering","volume":"48","author":"Lewis Peter R.","year":"2015","unstructured":"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\u201370.","journal-title":"Computer"},{"key":"e_1_3_3_55_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-39675-0","volume-title":"Self-aware Computing Systems: An Engineering Approach (1st ed.)","author":"Lewis Peter R.","year":"2016","unstructured":"Peter R. Lewis, Marco Platzner, Bernhard Rinner, Jim T\u00f8rresen, and Xin Yao. 2016. Self-aware Computing Systems: An Engineering Approach (1st ed.). Springer Cham."},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2020.06.017"},{"key":"e_1_3_3_57_2","doi-asserted-by":"crossref","first-page":"2912","DOI":"10.1109\/WSC57314.2022.10015346","volume-title":"Proceedings of the 2022 Winter Simulation Conference","author":"Lugaresi Giovanni","year":"2022","unstructured":"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\u20132923."},{"key":"e_1_3_3_58_2","first-page":"1254","volume-title":"Proceedings of the 2021 IEEE 45th Annual Computers, Software, and Applications Conference.","author":"Lumer-Klabbers Gill","year":"2021","unstructured":"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\u20131259. DOI:10.1109\/COMPSAC51774.2021.00174"},{"key":"e_1_3_3_59_2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-3-030-61725-7_6","volume-title":"Proceedings of the Dynamic Data Driven Applications Systems.","author":"Malik Sarah","year":"2020","unstructured":"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\u201336. DOI:10.1007\/978-3-030-61725-7_6"},{"key":"e_1_3_3_60_2","first-page":"3","volume-title":"Proceedings of the Multi-Agent Systems: Simulation and Applications","author":"Michel Fabien","year":"2009","unstructured":"Fabien Michel, Jacques Ferber, and Alexis Drogoul. 2009. Multi-agent systems and simulation: A survey from the agent community\u2019s perspective. In Proceedings of the Multi-Agent Systems: Simulation and Applications. CRC Press, Boca Raton, FL, 3\u201351."},{"key":"e_1_3_3_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2022.3208773"},{"issue":"10","key":"e_1_3_3_62_2","doi-asserted-by":"crossref","first-page":"1785","DOI":"10.1109\/JPROC.2020.2998530","article-title":"Digital twin in the IoT context: A survey on technical features, scenarios, and architectural models","volume":"108","author":"Minerva Roberto","year":"2020","unstructured":"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\u20131824.","journal-title":"Proc. IEEE"},{"key":"e_1_3_3_63_2","first-page":"1","volume-title":"Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","author":"Naing Htet","year":"2021","unstructured":"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\u201312."},{"issue":"1","key":"e_1_3_3_64_2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1186\/2194-3206-1-3","article-title":"Complex adaptive systems modeling with repast simphony","volume":"1","author":"North Michael J.","year":"2013","unstructured":"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.","journal-title":"Complex Adaptive Systems Modeling"},{"key":"e_1_3_3_65_2","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/j.trc.2016.04.006","article-title":"Online calibration for microscopic traffic simulation and dynamic multi-step prediction of traffic speed","volume":"68","author":"Papathanasopoulou Vasileia","year":"2016","unstructured":"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\u2013159.","journal-title":"Transportation Research Part C: Emerging Technologies"},{"key":"e_1_3_3_66_2","doi-asserted-by":"publisher","DOI":"10.1145\/3547145"},{"key":"e_1_3_3_67_2","first-page":"18","volume-title":"Proceedings of the 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems","author":"Quin Federico","year":"2021","unstructured":"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\u201329. DOI:10.1109\/SEAMS51251.2021.00014"},{"key":"e_1_3_3_68_2","doi-asserted-by":"publisher","DOI":"10.1145\/3507909"},{"key":"e_1_3_3_69_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.209"},{"key":"e_1_3_3_70_2","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2021.3051902"},{"key":"e_1_3_3_71_2","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1145\/3387940.3392195","volume-title":"Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops.","author":"Rivera Luis F","year":"2020","unstructured":"Luis F Rivera, Hausi A M\u00fcller, Norha M Villegas, Gabriel Tamura, and Miguel Jim\u00e9nez. 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\u2013638."},{"key":"e_1_3_3_72_2","volume-title":"Artificial Intelligence: A Modern Approach (3rd ed.)","author":"Russell Stuart","year":"2009","unstructured":"Stuart Russell and Peter Norvig. 2009. Artificial Intelligence: A Modern Approach (3rd ed.). Prentice Hall Press."},{"key":"e_1_3_3_73_2","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_3_74_2","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/WSC.2010.5679166","volume-title":"Proceedings of the 2010 Winter Simulation Conference","author":"Sargent Robert G.","year":"2010","unstructured":"Robert G. Sargent. 2010. Verification and validation of simulation models. In Proceedings of the 2010 Winter Simulation Conference. IEEE Press, Baltimore, MD, 166\u2013183."},{"key":"e_1_3_3_75_2","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/2509136.2509509","volume-title":"\u201cProceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications\u201d","author":"Sharma Rahul","year":"2013","unstructured":"Rahul Sharma, Eric Schkufza, Berkeley Churchill, and Alex Aiken. 2013. Data-driven equivalence checking. In \u201cProceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications\u201d. ACM, Indianapolis, Indiana, 391\u2013406."},{"issue":"4","key":"e_1_3_3_76_2","first-page":"25","article-title":"Synchronised range queries in distributed simulations of multiagent systems","volume":"23","author":"Suryanarayanan Vinoth","year":"2013","unstructured":"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.","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"e_1_3_3_77_2","first-page":"2924","volume-title":"Proceedings of the 2022 Winter Simulation Conference","author":"Tan Bar\u0131s","year":"2022","unstructured":"Bar\u0131s Tan and Andrea Matta. 2022. Optimizing digital twin synchronization in a finite horizon. In Proceedings of the 2022 Winter Simulation Conference. IEEE, Singapore, 2924\u20132935."},{"key":"e_1_3_3_78_2","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2018.1443229"},{"key":"e_1_3_3_79_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2873186"},{"key":"e_1_3_3_80_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2756069"},{"key":"e_1_3_3_81_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00158-022-03425-4"},{"key":"e_1_3_3_82_2","volume-title":"DoD Modeling and Simulation (M&S) Verification, Validation, and Accreditation (VV&A): DoD Instruction 5000.61","author":"Defense US Department of","year":"2009","unstructured":"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."},{"issue":"12","key":"e_1_3_3_83_2","doi-asserted-by":"crossref","first-page":"2160","DOI":"10.1109\/TAC.2004.838497","article-title":"Equivalence of dynamical systems by bisimulation","volume":"49","author":"Schaft A.J. van der","year":"2004","unstructured":"A.J. van der Schaft. 2004. Equivalence of dynamical systems by bisimulation. IEEE Trans. Automat. Control 49, 12 (2004), 2160\u20132172.","journal-title":"IEEE Trans. Automat. Control"},{"key":"e_1_3_3_84_2","volume-title":"AMCIS 2020 Proceedings","author":"Valk Hendrik van der","year":"2020","unstructured":"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"},{"key":"e_1_3_3_85_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2021.113524"},{"issue":"4","key":"e_1_3_3_86_2","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TSMCC.2008.923869","article-title":"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","volume":"38","author":"Wang Chi-Hsu","year":"2008","unstructured":"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\u2013580.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)"},{"key":"e_1_3_3_87_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3158144","article-title":"Verifying equivalence of database-driven applications","volume":"2","author":"Wang Yuepeng","year":"2018","unstructured":"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\u201329.","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"e_1_3_3_88_2","doi-asserted-by":"crossref","DOI":"10.1002\/9781119574910","volume-title":"An Introduction to Self-adaptive Systems: A Contemporary Software Engineering Perspective","author":"Weyns Danny","year":"2021","unstructured":"Danny Weyns. 2021. An Introduction to Self-adaptive Systems: A Contemporary Software Engineering Perspective. Wiley, Hoboken."},{"key":"e_1_3_3_89_2","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-642-35813-5_4","volume-title":"Proceedings of the Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers","author":"Weyns Danny","year":"2013","unstructured":"Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, and Karl M G\u00f6schka. 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\u2013107."},{"issue":"1","key":"e_1_3_3_90_2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/TEVC.2005.851275","article-title":"A faster algorithm for calculating hypervolume","volume":"10","author":"While Lyndon","year":"2006","unstructured":"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\u201338.","journal-title":"IEEE Transactions on Evolutionary Computation"},{"issue":"2","key":"e_1_3_3_91_2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","article-title":"Intelligent agents: Theory and practice","volume":"10","author":"Wooldridge Michael","year":"1995","unstructured":"Michael Wooldridge and Nicholas R. Jennings. 1995. Intelligent agents: Theory and practice. The Knowledge Engineering Review 10, 2 (1995), 115\u2013152.","journal-title":"The Knowledge Engineering Review"},{"key":"e_1_3_3_92_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-022-15000-4"},{"key":"e_1_3_3_93_2","first-page":"3891","volume-title":"Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics","author":"Zhang Nan","year":"2020","unstructured":"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\u20133891."},{"key":"e_1_3_3_94_2","first-page":"623","volume-title":"Proceedings of the IET Conference","author":"Zhu Q.K.","year":"2008","unstructured":"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\u2013626."},{"key":"e_1_3_3_95_2","first-page":"1678","volume-title":"Proceedings of the 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation","author":"Zipper H.","year":"2019","unstructured":"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\u20131681."}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3635306","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3635306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:21Z","timestamp":1750178181000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3635306"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,14]]},"references-count":94,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1,31]]}},"alternative-id":["10.1145\/3635306"],"URL":"https:\/\/doi.org\/10.1145\/3635306","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"value":"1049-3301","type":"print"},{"value":"1558-1195","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,14]]},"assertion":[{"value":"2022-03-23","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-30","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-01-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}