DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks
| Authors |
|
|---|---|
| Publication date | 2025 |
| Host editors |
|
| Book title | Leveraging Applications of Formal Methods, Verification and Validation. Application Areas |
| Book subtitle | 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Application Areas |
| Volume | Issue number | V |
| Pages (from-to) | 62-82 |
| Publisher | Cham: Springer |
| Organisations |
|
| 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.
|
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-031-75390-9_5 |
| Downloads |
24ditec
(Accepted author manuscript)
978-3-031-75390-9_5
(Final published version)
|
| Permalink to this page | |
