Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant.
Luca LuccariniGianni Luigi BragadinGabriele ColombiniMaurizio ManciniPaola MelloMarco MontaliDavide SottaraPublished in: Environ. Model. Softw. (2010)
Keyphrases
- formal verification
- wastewater treatment
- artificial neural networks
- case study
- dissolved oxygen
- model checking
- hybrid model
- wastewater treatment plant
- analytical model
- symbolic model checking
- bounded model checking
- model checker
- automated verification
- neural network
- back propagation
- fuzzy control
- computational intelligence
- neural network model
- control system
- fuzzy controller
- formal specification
- temporal logic
- software development
- long term
- artificial intelligence