{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T22:49:52Z","timestamp":1778539792238,"version":"3.51.4"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031753893","type":"print"},{"value":"9783031753909","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Conventional digital twins (DT) for critical infrastructures are widely used to model and simulate the system\u2019s state. But fundamental environment changes bring challenges for DT adaptation to new conditions, leading to a progressively decreasing correspondence of the DT to its physical counterpart. This paper introduces the DiTEC system, a Digital Twin for Evolutionary Changes in Water Distribution Networks (WDN). This framework combines novel techniques, including semantic rule learning, graph neural network-based state estimation, and adaptive model selection, to ensure that changes are adequately detected, processed and the DT is updated to the new state. The DiTEC system is tested on the Dutch Oosterbeek region WDN, with results showing the superiority of the approach compared to traditional methods.\n<\/jats:p>","DOI":"10.1007\/978-3-031-75390-9_5","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:02:40Z","timestamp":1729882960000},"page":"62-82","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["DiTEC: Digital Twin for\u00a0Evolutionary Changes in\u00a0Water Distribution Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7054-3770","authenticated-orcid":false,"given":"Victoria","family":"Degeler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4675-9111","authenticated-orcid":false,"given":"Mostafa","family":"Hadadian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2710-7951","authenticated-orcid":false,"given":"Erkan","family":"Karabulut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6337-1840","authenticated-orcid":false,"given":"Alexander","family":"Lazovik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hester","family":"van het Loo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1962-1440","authenticated-orcid":false,"given":"Andr\u00e9s","family":"Tello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9079-321X","authenticated-orcid":false,"given":"Huy","family":"Truong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"key":"5_CR1","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-031-30047-9_3","volume-title":"IDA 2023","author":"I Ashraf","year":"2023","unstructured":"Ashraf, I., Hermes, L., Artelt, A., Hammer, B.: Spatial graph convolution neural networks for water distribution systems. In: Cr\u00e9milleux, B., Hess, S., Nijssen, S. (eds.) IDA 2023. LNCS, vol. 13876, pp. 29\u201341. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-30047-9_3"},{"key":"5_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-031-47240-4_22","volume-title":"ISWC 2023","author":"H Babaei Giglou","year":"2023","unstructured":"Babaei Giglou, H., D\u2019Souza, J., Auer, S.: LLMS4OL: large language models for ontology learning. In: Payne, T.R., et al. (eds.) ISWC 2023. LNCS, vol. 14265, pp. 408\u2013427. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-47240-4_22"},{"key":"5_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2022.108632","volume":"245","author":"F Bayram","year":"2022","unstructured":"Bayram, F., Ahmed, B.S., Kassler, A.: From concept drift to model degradation: an overview on performance-aware drift detectors. Knowl.-Based Syst. 245, 108632 (2022). https:\/\/doi.org\/10.1016\/j.knosys.2022.108632","journal-title":"Knowl.-Based Syst."},{"key":"5_CR4","unstructured":"Bommasani, R., et\u00a0al.: On the opportunities and risks of foundation models. arXiv preprint arXiv:2108.07258 (2021)"},{"key":"5_CR5","unstructured":"Bretas, A., Bretas, N., London,\u00a0Jr. J.B., Carvalho, B.: Cyber-Physical Power Systems State Estimation. Elsevier (2021)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Brucherseifer, E., Winter, H., Mentges, A., M\u00fchlh\u00e4user, M., Hellmann, M.: Digital twin conceptual framework for improving critical infrastructure resilience. at-Automatisierungstechnik 69(12), 1062\u20131080 (2021)","DOI":"10.1515\/auto-2021-0104"},{"key":"5_CR7","unstructured":"Chen, M., Wei, Z., Huang, Z., Ding, B., Li, Y.: Simple and deep graph convolutional networks. Mach. Learn. Res. 119, 1725\u20131735 (2020)"},{"issue":"8","key":"5_CR8","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1080\/1573062X.2020.1771382","volume":"17","author":"P Conejos Fuertes","year":"2020","unstructured":"Conejos Fuertes, P., Mart\u00ednez Alzamora, F., Herv\u00e1s Carot, M., Alonso Campos, J.: Building and exploiting a digital twin for the management of drinking water distribution networks. Urban Water J. 17(8), 704\u2013713 (2020)","journal-title":"Urban Water J."},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3526195","volume":"18","author":"K Gai","year":"2022","unstructured":"Gai, K., et al.: Digital twin-enabled AI enhancement in smart critical infrastructures for 5G. ACM Trans. Sens. Netw. (TOSN) 18(3), 1\u201320 (2022)","journal-title":"ACM Trans. Sens. Netw. (TOSN)"},{"key":"5_CR10","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-031-45728-9_2","volume-title":"SummerSOC 2023","author":"MHN Yousefi","year":"2023","unstructured":"Yousefi, M.H.N., Degeler, V., Lazovik, A.: Empowering machine learning development with service-oriented computing principles. In: Aiello, M., Barzen, J., Dustdar, S., Leymann, F. (eds.) SummerSOC 2023. CCIS, vol. 1847, pp. 24\u201344. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-45728-9_2"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Hadadian Nejad\u00a0Yousefi, M., Degeler, V., Lazovik, A.: Self-adaptive service selection for machine learning continuous delivery. In: 2024 IEEE International Conference on Web Services (ICWS) (2024)","DOI":"10.1109\/ICWS62655.2024.00123"},{"key":"5_CR12","unstructured":"Hajgat\u00f3, G., Gyires-T\u00f3th, B., Pa\u00e1l, G.: Reconstructing nodal pressures in water distribution systems with graph neural networks. arXiv:2104.13619 (2021)"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/335191.335372","volume":"29","author":"J Han","year":"2000","unstructured":"Han, J., Pei, J., Yin, Y.: Mining frequent patterns without candidate generation. ACM SIGMOD Rec. 29(2), 1\u201312 (2000)","journal-title":"ACM SIGMOD Rec."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"He, K., Chen, X., Xie, S., Li, Y., Doll\u00e1r, P., Girshick, R.: Masked autoencoders are scalable vision learners. In: Proceedings the IEEE-CVF Conference on Computer Vision and Pattern Recognition, pp. 16000\u201316009 (2022)","DOI":"10.1109\/CVPR52688.2022.01553"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1016\/j.isatra.2021.08.021","volume":"126","author":"L He","year":"2022","unstructured":"He, L., Wen, K., Gong, J., Wu, C.: A multi-model ensemble digital twin solution for real-time unsteady flow state estimation of a pumping station. ISA Trans. 126, 242\u2013253 (2022). https:\/\/doi.org\/10.1016\/j.isatra.2021.08.021","journal-title":"ISA Trans."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1016\/j.future.2019.02.028","volume":"97","author":"AA Heidari","year":"2019","unstructured":"Heidari, A.A., Mirjalili, S., Faris, H., Aljarah, I., Mafarja, M., Chen, H.: Harris hawks optimization: algorithm and applications. Futur. Gener. Comput. Syst. 97, 849\u2013872 (2019)","journal-title":"Futur. Gener. Comput. Syst."},{"key":"5_CR17","unstructured":"Karabulut, E., Degeler, V., Groth, P.: Semantic association rule learning from time series data and knowledge graphs. In: Proceedings International Workshop on Semantic Industrial Information Modelling (SemIIM), pp.\u00a01\u20137 (2023)"},{"key":"5_CR18","unstructured":"Karabulut, E., Degeler, V., Groth, P.: AE SemRL: learning semantic association rules with autoencoders. arXiv preprint arXiv:2403.18133 (2024)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1016\/j.future.2023.12.013","volume":"153","author":"E Karabulut","year":"2024","unstructured":"Karabulut, E., Pileggi, S.F., Groth, P., Degeler, V.: Ontologies in digital twins: a systematic literature review. Futur. Gener. Comput. Syst. 153, 442\u2013456 (2024). https:\/\/doi.org\/10.1016\/j.future.2023.12.013","journal-title":"Futur. Gener. Comput. Syst."},{"key":"5_CR20","unstructured":"Kaushik, M., Sharma, R., Fister, Jr. I., Draheim, D.: Numerical association rule mining: a systematic literature review. arXiv preprint arXiv:2307.00662 (2023)"},{"key":"5_CR21","unstructured":"Kingma, D.P., Ba, J.: Adam: a method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Klise, K.A., Murray, R., Haxton, T.: An overview of the water network tool for resilience (WNTR) (2018)","DOI":"10.2172\/1376816"},{"issue":"5","key":"5_CR23","doi-asserted-by":"publisher","first-page":"1748","DOI":"10.1007\/s12559-023-10136-5","volume":"15","author":"J Lai","year":"2023","unstructured":"Lai, J., et al.: Deep learning based traffic prediction method for digital twin network. Cogn. Comput. 15(5), 1748\u20131766 (2023)","journal-title":"Cogn. Comput."},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/s10270-022-01075-0","volume":"22","author":"M Masi","year":"2023","unstructured":"Masi, M., Sellitto, G.P., Aranha, H., Pavleska, T.: Securing critical infrastructures with a cybersecurity digital twin. Softw. Syst. Model. 22(2), 689\u2013707 (2023)","journal-title":"Softw. Syst. Model."},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Pregnolato, M., et al.: Towards civil engineering 4.0: concept, workflow and application of digital twins for existing infrastructure. Autom. Constr. 141, 104421 (2022)","DOI":"10.1016\/j.autcon.2022.104421"},{"issue":"5","key":"5_CR26","doi-asserted-by":"publisher","first-page":"7247","DOI":"10.1109\/TII.2022.3230698","volume":"19","author":"Y Qin","year":"2023","unstructured":"Qin, Y., Arunan, A., Yuen, C.: Digital twin for real-time li-ion battery state of health estimation with partially discharged cycling data. IEEE Trans. Industr. Inf. 19(5), 7247\u20137257 (2023)","journal-title":"IEEE Trans. Industr. Inf."},{"issue":"8","key":"5_CR27","doi-asserted-by":"publisher","first-page":"1304","DOI":"10.3390\/w14081304","volume":"14","author":"HM Ramos","year":"2022","unstructured":"Ramos, H.M., et al.: New challenges towards smart systems\u2019 efficiency by digital twin in water distribution networks. Water 14(8), 1304 (2022)","journal-title":"Water"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Rice, J.R.: The algorithm selection problem. In: Advances in Computers, vol.\u00a015, pp. 65\u2013118. Elsevier (1976)","DOI":"10.1016\/S0065-2458(08)60520-3"},{"key":"5_CR29","unstructured":"Rossman, L.A., et\u00a0al.: EPANET 2: users manual (2000)"},{"issue":"1","key":"5_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3522586","volume":"32","author":"G Tama\u0161auskait\u0117","year":"2023","unstructured":"Tama\u0161auskait\u0117, G., Groth, P.: Defining a knowledge graph development process through a systematic review. ACM Trans. Softw. Eng. Methodol. 32(1), 1\u201340 (2023)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR31","doi-asserted-by":"publisher","unstructured":"Tello, A., Degeler, V.: Digital twins: an enabler for digital transformation. In: The Digital Transformation Handbook. Groningen Digital Business Centre (GDBC) (2022). https:\/\/doi.org\/10.5281\/zenodo.7647493","DOI":"10.5281\/zenodo.7647493"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Tello, A., Truong, H., Lazovik, A., Degeler, V.: Large-scale multipurpose benchmark datasets for assessing data-driven deep learning approaches for water distribution networks. arXiv preprint arXiv:2404.15386 (2024)","DOI":"10.3390\/engproc2024069050"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Truong, H., Tello, A., Lazovik, A., Degeler, V.: Graph neural networks for pressure estimation in water distribution systems. Water Resour. Res. 60(7), e2023WR036741 (2024). https:\/\/doi.org\/10.1029\/2023WR036741","DOI":"10.1029\/2023WR036741"},{"key":"5_CR34","unstructured":"Veli\u010dkovi\u0107, P., Cucurull, G., Casanova, A., Romero, A., Li\u00f2, P., Bengio, Y.: Graph attention networks. In: International Conference on Learning Representations (2018)"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Vincent, P., Larochelle, H., Bengio, Y., Manzagol, P.A.: Extracting and composing robust features with denoising autoencoders. In: Proceedings of the 25th International Conference on Machine Learning, pp. 1096\u20131103 (2008)","DOI":"10.1145\/1390156.1390294"},{"issue":"2","key":"5_CR36","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1109\/TSC.2022.3184013","volume":"16","author":"D Zhao","year":"2023","unstructured":"Zhao, D., Zhou, Z., Hung, P.C.K., Deng, S., Xue, X., Gaaloul, W.: CTL-based adaptive service composition in edge networks. IEEE Trans. Serv. Comput. 16(2), 1051\u20131065 (2023)","journal-title":"IEEE Trans. Serv. Comput."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Application Areas"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75390-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:08:23Z","timestamp":1729883303000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75390-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031753893","9783031753909"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75390-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,26]]},"assertion":[{"value":"26 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}