Compositional Control Synthesis for Water Management System

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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.

OriginalsprogEngelsk
Titel2024 European Control Conference, ECC 2024
Antal sider8
ForlagIEEE (Institute of Electrical and Electronics Engineers)
Publikationsdato28 feb. 2024
Sider3130-3137
ISBN (Trykt)979-8-3315-4092-0
ISBN (Elektronisk)978-3-9071-4410-7
DOI
StatusUdgivet - 28 feb. 2024
Begivenhed2024 European Control Conference, ECC 2024 - Stockholm, Sverige
Varighed: 25 jun. 202428 jun. 2024

Konference

Konference2024 European Control Conference, ECC 2024
Land/OmrådeSverige
ByStockholm
Periode25/06/202428/06/2024

Fingeraftryk

Dyk ned i forskningsemnerne om 'Compositional Control Synthesis for Water Management System'. Sammen danner de et unikt fingeraftryk.

Citationsformater