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 journalArticle

33 Citations (Scopus)

Abstract

This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as "apexes", "knees" and "steps", from the signals acquired in the reaction tanks. These patterns, which show changes in the signals trend, are mapped to events in the process and logged using an appropriate XML format. The logs, in turn, are considered traces of the execution of a manufacturing process and validated using tools commonly applied for the Verification of Business Processes. The system has been applied to the data collected from a Sequencing Batch Reactor (SBR) for municipal wastewater treatment, equipped with probes for the on-line acquisition of signals such as pH, oxidation--reduction potential (ORP) and dissolved oxygen (DO). A SBR has turned out to be a suitable case study since the commonly acknowledged criteria for monitoring the biological processes (nitrification and denitrification) can be expressed in the form or qualitative constraints, which are easily translated into formal rules. The process logs, hence, are matched against these rules, which act as filters and quality classifiers.

Original languageEnglish (US)
Pages (from-to)648-660
Number of pages13
JournalEnvironmental Modelling and Software
Volume25
Issue number5
DOIs
StatePublished - May 1 2010
Externally publishedYes

Fingerprint

Batch reactors
Wastewater treatment
artificial neural network
Neural networks
Nitrification
Denitrification
Dissolved oxygen
XML
Classifiers
biological processes
nitrification
Monitoring
denitrification
dissolved oxygen
manufacturing
probe
filter
Industry
monitoring
Formal verification

Keywords

  • Artificial neural networks
  • Business process management
  • Event detection
  • Intelligent systems
  • Rule-based management system
  • SBR

ASJC Scopus subject areas

  • Software
  • Environmental Engineering
  • Ecological Modeling

Cite this

Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study : SBR plant. / Luccarini, Luca; Bragadin, Gianni Luigi; Colombini, Gabriele; Mancini, Maurizio; Mello, Paola; Montali, Marco; Sottara, Davide.

In: Environmental Modelling and Software, Vol. 25, No. 5, 01.05.2010, p. 648-660.

Research output: Contribution to journalArticle

Luccarini, Luca ; Bragadin, Gianni Luigi ; Colombini, Gabriele ; Mancini, Maurizio ; Mello, Paola ; Montali, Marco ; Sottara, Davide. / Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study : SBR plant. In: Environmental Modelling and Software. 2010 ; Vol. 25, No. 5. pp. 648-660.
@article{46a89a1359ba49afbf85cc1a27cc0b8f,
title = "Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant",
abstract = "This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as {"}apexes{"}, {"}knees{"} and {"}steps{"}, from the signals acquired in the reaction tanks. These patterns, which show changes in the signals trend, are mapped to events in the process and logged using an appropriate XML format. The logs, in turn, are considered traces of the execution of a manufacturing process and validated using tools commonly applied for the Verification of Business Processes. The system has been applied to the data collected from a Sequencing Batch Reactor (SBR) for municipal wastewater treatment, equipped with probes for the on-line acquisition of signals such as pH, oxidation--reduction potential (ORP) and dissolved oxygen (DO). A SBR has turned out to be a suitable case study since the commonly acknowledged criteria for monitoring the biological processes (nitrification and denitrification) can be expressed in the form or qualitative constraints, which are easily translated into formal rules. The process logs, hence, are matched against these rules, which act as filters and quality classifiers.",
keywords = "Artificial neural networks, Business process management, Event detection, Intelligent systems, Rule-based management system, SBR",
author = "Luca Luccarini and Bragadin, {Gianni Luigi} and Gabriele Colombini and Maurizio Mancini and Paola Mello and Marco Montali and Davide Sottara",
year = "2010",
month = "5",
day = "1",
doi = "10.1016/j.envsoft.2009.05.013",
language = "English (US)",
volume = "25",
pages = "648--660",
journal = "Environmental Modelling and Software",
issn = "1364-8152",
publisher = "Elsevier BV",
number = "5",

}

TY - JOUR

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

T2 - SBR plant

AU - Luccarini, Luca

AU - Bragadin, Gianni Luigi

AU - Colombini, Gabriele

AU - Mancini, Maurizio

AU - Mello, Paola

AU - Montali, Marco

AU - Sottara, Davide

PY - 2010/5/1

Y1 - 2010/5/1

N2 - This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as "apexes", "knees" and "steps", from the signals acquired in the reaction tanks. These patterns, which show changes in the signals trend, are mapped to events in the process and logged using an appropriate XML format. The logs, in turn, are considered traces of the execution of a manufacturing process and validated using tools commonly applied for the Verification of Business Processes. The system has been applied to the data collected from a Sequencing Batch Reactor (SBR) for municipal wastewater treatment, equipped with probes for the on-line acquisition of signals such as pH, oxidation--reduction potential (ORP) and dissolved oxygen (DO). A SBR has turned out to be a suitable case study since the commonly acknowledged criteria for monitoring the biological processes (nitrification and denitrification) can be expressed in the form or qualitative constraints, which are easily translated into formal rules. The process logs, hence, are matched against these rules, which act as filters and quality classifiers.

AB - This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as "apexes", "knees" and "steps", from the signals acquired in the reaction tanks. These patterns, which show changes in the signals trend, are mapped to events in the process and logged using an appropriate XML format. The logs, in turn, are considered traces of the execution of a manufacturing process and validated using tools commonly applied for the Verification of Business Processes. The system has been applied to the data collected from a Sequencing Batch Reactor (SBR) for municipal wastewater treatment, equipped with probes for the on-line acquisition of signals such as pH, oxidation--reduction potential (ORP) and dissolved oxygen (DO). A SBR has turned out to be a suitable case study since the commonly acknowledged criteria for monitoring the biological processes (nitrification and denitrification) can be expressed in the form or qualitative constraints, which are easily translated into formal rules. The process logs, hence, are matched against these rules, which act as filters and quality classifiers.

KW - Artificial neural networks

KW - Business process management

KW - Event detection

KW - Intelligent systems

KW - Rule-based management system

KW - SBR

UR - http://www.scopus.com/inward/record.url?scp=75149198666&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=75149198666&partnerID=8YFLogxK

U2 - 10.1016/j.envsoft.2009.05.013

DO - 10.1016/j.envsoft.2009.05.013

M3 - Article

VL - 25

SP - 648

EP - 660

JO - Environmental Modelling and Software

JF - Environmental Modelling and Software

SN - 1364-8152

IS - 5

ER -