Abstract
The increased frequency and severity of ex-treme weather events are challenging traditional static control strategies for stormwater detention ponds, which are critical components in urban water management infrastructures. This paper introduces a compositional control methodology, rooted in formal verification and reinforcement learning, and tailored for the synthesis of a joint optimal control strategy for the management of distributed but interconnected ponds. Combining hybrid Markov Decision Processes (HMDPs) and reinforcement learning via Uppaal Stratego, the compositional control strategy provides a balance between fully centralized and decentralized control strategies, both in terms of quality and computational complexity. Based on a real-world case study we analyze and compare the proposed methodology and show how the synthesized strategies can control the timing and volume of water discharge, reducing the risk of overflow caused by the simultaneous discharge of rainwater collected in multiple ponds.
Originalsprog | Engelsk |
---|---|
Titel | 2024 European Control Conference, ECC 2024 |
Antal sider | 8 |
Forlag | IEEE (Institute of Electrical and Electronics Engineers) |
Publikationsdato | 28 feb. 2024 |
Sider | 3130-3137 |
ISBN (Trykt) | 979-8-3315-4092-0 |
ISBN (Elektronisk) | 978-3-9071-4410-7 |
DOI | |
Status | Udgivet - 28 feb. 2024 |
Begivenhed | 2024 European Control Conference, ECC 2024 - Stockholm, Sverige Varighed: 25 jun. 2024 → 28 jun. 2024 |
Konference
Konference | 2024 European Control Conference, ECC 2024 |
---|---|
Land/Område | Sverige |
By | Stockholm |
Periode | 25/06/2024 → 28/06/2024 |