Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant

Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini, Paola Mello, Marco Montali, Davide Sottara

Research output: Contribution to journalArticlepeer-review

43 Scopus citations

Fingerprint

Dive into the research topics of 'Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant'. Together they form a unique fingerprint.

Engineering & Materials Science

Earth & Environmental Sciences

Chemical Compounds