DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks

Victoria Degeler; Mostafa Hadadian; Erkan Karabulut; Alexander Lazovik; Hester van het Loo; Andrés Tello; Huy Truong

doi:10.1007/978-3-031-75390-9_5

DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks

Victoria Degeler^*, Mostafa Hadadian, Erkan Karabulut, Alexander Lazovik, Hester van het Loo, Andrés Tello, Huy Truong

^*Corresponding author for this work

Distributed Systems

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

40 Downloads (Pure)

Abstract

Conventional digital twins (DT) for critical infrastructures are widely used to model and simulate the system’s 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.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Application Areas
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer International Publishing, Cham, Switzerland
Pages	62-82
Number of pages	21
ISBN (Print)	9783031753893
DOIs	https://doi.org/10.1007/978-3-031-75390-9_5
Publication status	Published - 2024

Access to Document

10.1007/978-3-031-75390-9_5Licence: CC BY

DiTECFinal publisher's version, 1.4 MBLicence: CC BY

Handle.net

Persistent link

Cite this

Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. V. H., Tello, A., & Truong, H. (2024). DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation : Application Areas (pp. 62-82). Springer International Publishing, Cham, Switzerland. https://doi.org/10.1007/978-3-031-75390-9_5

@inbook{374c1bf668594ee8b774d68d0e746075,

title = "DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks",

abstract = "Conventional digital twins (DT) for critical infrastructures are widely used to model and simulate the system{\textquoteright}s 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.",

author = "Victoria Degeler and Mostafa Hadadian and Erkan Karabulut and Alexander Lazovik and Loo, {Hester van het} and Andr{\'e}s Tello and Huy Truong",

year = "2024",

doi = "10.1007/978-3-031-75390-9_5",

language = "English",

isbn = "9783031753893",

pages = "62--82",

editor = "Margaria, {Tiziana } and Steffen, {Bernhard }",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

publisher = "Springer International Publishing, Cham, Switzerland",

}

Degeler, V, Hadadian, M, Karabulut, E, Lazovik, A, Loo, HVH, Tello, A & Truong, H 2024, DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation : Application Areas. Springer International Publishing, Cham, Switzerland, pp. 62-82. https://doi.org/10.1007/978-3-031-75390-9_5

DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks. / Degeler, Victoria; Hadadian, Mostafa; Karabulut, Erkan et al.
Leveraging Applications of Formal Methods, Verification and Validation : Application Areas. ed. / Tiziana Margaria; Bernhard Steffen. Springer International Publishing, Cham, Switzerland, 2024. p. 62-82.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - DiTEC

T2 - Digital Twin for Evolutionary Changes in Water Distribution Networks

AU - Degeler, Victoria

AU - Hadadian, Mostafa

AU - Karabulut, Erkan

AU - Lazovik, Alexander

AU - Loo, Hester van het

AU - Tello, Andrés

AU - Truong, Huy

PY - 2024

Y1 - 2024

N2 - Conventional digital twins (DT) for critical infrastructures are widely used to model and simulate the system’s 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.

AB - Conventional digital twins (DT) for critical infrastructures are widely used to model and simulate the system’s 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.

UR - https://doi.org/10.1007/978-3-031-75390-9_5

U2 - 10.1007/978-3-031-75390-9_5

DO - 10.1007/978-3-031-75390-9_5

M3 - Chapter

SN - 9783031753893

SP - 62

EP - 82

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer International Publishing, Cham, Switzerland

ER -

Degeler V, Hadadian M, Karabulut E, Lazovik A, Loo HVH, Tello A et al. DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation : Application Areas. Springer International Publishing, Cham, Switzerland. 2024. p. 62-82 doi: 10.1007/978-3-031-75390-9_5

DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks

Abstract

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this