CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Formal controller synthesis for wastewater systems with signal temporal logic constraints: the Barcelona case study
Authors
Samira S. Farahani
Rupak Majumdar
Carlos Ocampo-Martínez
Sadegh Zadeh Soudjani
Publication date
1 January 2018
Publisher
'Elsevier BV'
Doi
Cite
Abstract
© . This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/We present an approach for formal controller synthesis of the Barcelona wastewater system. The goal of the controller is to minimize overflow in the system and to reduce environmental contamination (pollution). Due to the influence of sudden and unpredictable weather changes within the Mediterranean climate, we propose robust model predictive control strategy. This approach synthesizes control inputs (i.e., flows through network actuators) that make the system robust to uncertainties in the weather forecast; control inputs are updated in an online fashion to incorporate the newly available measurements from the system and the disturbances. We employ signal temporal logic as a formal mechanism to express the desired behavior of the system. The quantitative semantics of the logic is then used to encode the desired behavior in both the set of constraints and the objective function of the optimization problem. We propose a solution approach for the obtained worst-case optimization, which is based on transforming the nonlinear dynamics of the system into a mixed logical dynamical model. Then, we employ Monte Carlo sampling and dual reformulation to get a mixed integer linear or quadratic programming problem. The proposed approach is applied to a catchment of the Barcelona wastewater system to illustrate its effectiveness.Peer ReviewedPostprint (author's final draft
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
UPCommons
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:upcommons.upc.edu:2117/124...
Last time updated on 17/04/2020
Digital.CSIC
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:digital.csic.es:10261/1797...
Last time updated on 15/05/2019
UPCommons. Portal del coneixement obert de la UPC
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:upcommons.upc.edu:2117/124...
Last time updated on 02/02/2019