Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Identification of stormwater control strategies and their associated uncertainties using Bayesian Optimization
Dynamic control is emerging as an effective methodology for operating stormwater systems under stress from rapidly evolving weather patterns. Informed by rainfall predictions and real-time sensor measurements, control as…
Bayesian OptimizationComputational Efficiencypystorms: A simulation sandbox for the development and evaluation of stormwater control algorithms
Recent accessibility of affordable sensing technologies, microcontrollers, and wireless communication technology has made it possible for stormwater systems to be retrofitted with an assortment of sensors and actuators. …
Flood Risk Mitigation and Valve Control in Stormwater Systems: State-Space Modeling, Control Algorithms, and Case Studies
The increasing access to non-expensive sensors, computing power, and more accurate forecasting of storm events provides unique opportunities to shift flood management practices from static approaches to an optimization-b…
ManagementModel Predictive ControlA Non-linear Differentiable Model for Stormwater-based Irrigation of a Green Roof in Toronto
Green infrastructure has potential to alleviate the environmental impact of rapidly growing cities. This potential has inspired laws in Toronto that require the inclusion of rooftops with large vegetation beds, called gr…
CVaR-based Safety Analysis in the Infinite Time Horizon Setting
We develop a risk-averse safety analysis method for stochastic systems on discrete infinite time horizons. Our method quantifies the notion of risk for a control system in terms of the severity of a harmful random outcom…
Management