Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study

Autor: Rupak Majumdar, Samira S. Farahani, Carlos Ocampo-Martinez, Sadegh Soudjani
Přispěvatelé: Ministerio de Economía y Competitividad (España), European Commission, Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial, Universitat Politècnica de Catalunya. SAC - Sistemes Avançats de Control
Rok vydání: 2018
Předmět:
0209 industrial biotechnology
Mathematical optimization
Optimization problem
Informàtica::Automàtica i control [Àrees temàtiques de la UPC]
optimisation
Computer science
02 engineering and technology
control theory
Industrial and Manufacturing Engineering
020901 industrial engineering & automation
Control theory
Signal Temporal Logic
0202 electrical engineering
electronic engineering
information engineering
Quadratic programming
Model Predictive Control
automation
business.industry
Wastewater Management
Formal Synthesis
020208 electrical & electronic engineering
Automation
Computer Science Applications
Model predictive control
Nonlinear system
Control and Systems Engineering
Modeling and Simulation
Mixed Integer Linear/Quadratic Programing
Automation [Classificació INSPEC]
Robust control
business
Robust Control
Integer (computer science)
Zdroj: Digital.CSIC. Repositorio Institucional del CSIC
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
Popis: 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.
The work of C. Ocampo-Martinez is partially supported by the project DEOCS (Ref. DPI2016-76493-C3-3-R) from the Spanish MINECO/FEDER.
Databáze: OpenAIRE
Externí odkaz: