10 Downloads (Pure)

Abstrakt

Storm water detention ponds are used to manage the discharge of rainfall runoff from urban areas to nearby streams. Their purpose is to reduce the hydraulic impact and sediment loads of the receiving waters. Detention ponds are currently designed based on static controls: the output flow of a pond is capped at a fixed value. This is not optimal with respect to the current infrastructure capacity and for some detention ponds it might even violate current regulations set by the European Water Framework Directive. We apply formal methods to synthesize (i.e., derive automatically) a safe and optimal active controller. We model the storm water detention pond, including the urban catchment area and the rain forecasts, as a hybrid Markov decision process. Subsequently, we use the tool Uppaal Stratego to synthesize a control strategy minimizing the cost related to pollution (optimality) while guaranteeing no emergency overflow of the detention pond (safety). Simulation results for an existing pond show that Uppaal Stratego can learn optimal strategies that prevent emergency overflows, where the current static control is not always able to prevent it. At the same time, our approach can improve sedimentation during low rain periods.
OriginalsprogEngelsk
TitelIFAC-PapersOnLine : 7th IFAC Conference on Analysis and Design of Hybrid Systems
Antal sider6
Vol/bind54
ForlagElsevier
Publikationsdato2021
Udgave5
Sider13-18
AnsøgerVelux Fonden
DOI
StatusUdgivet - 2021
Begivenhed7th IFAC Conference on Analysis and Design of Hybrid Systems - Brussels, Belgien
Varighed: 7 jul. 20219 jul. 2021
Konferencens nummer: 7

Konference

Konference7th IFAC Conference on Analysis and Design of Hybrid Systems
Nummer7
Land/OmrådeBelgien
ByBrussels
Periode07/07/202109/07/2021
NavnIFAC-PapersOnLine
Nummer5
Vol/bind54
ISSN2405-8963

Fingeraftryk

Dyk ned i forskningsemnerne om 'Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds'. Sammen danner de et unikt fingeraftryk.

Citationsformater