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

> Research article (Journal of Process Control, 2018) · cited 13× · AI/ML

**Wikidata**: [openalex:W2886331135](https://www.wikidata.org/wiki/openalex:W2886331135)  
**Source**: https://4ort.xyz/entity/formal-controller-synthesis-for-wastewater-systems-with-signal-temporal-logic-constraints-the-barcelona-case-study