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

Environmental Modelling and Software

Volumn 25, Issue 5, 2010, Pages 648-660

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

^a ENEA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

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

Indexed keywords

ARTIFICIAL NEURAL NETWORK; BUSINESS PROCESS MANAGEMENT; EVENT DETECTION; MANAGEMENT SYSTEMS; RULE BASED;

BATCH REACTORS; CHEMICAL OXYGEN DEMAND; DENITRIFICATION; DISSOLUTION; DISSOLVED OXYGEN; DISSOLVED OXYGEN SENSORS; ENTERPRISE RESOURCE MANAGEMENT; INTELLIGENT SYSTEMS; MATCHED FILTERS; OXIDATION; SIGNAL DETECTION; SIGNAL PROCESSING; WASTEWATER; WASTEWATER RECLAMATION; WASTEWATER TREATMENT; WATER RECYCLING; WATER TREATMENT PLANTS;

NEURAL NETWORKS;

ALGORITHM; ARTIFICIAL NEURAL NETWORK; DISSOLVED OXYGEN; OXIDATION; REDOX POTENTIAL; WASTE FACILITY; WASTEWATER; WATER TREATMENT;

EID: 75149198666     PISSN: 13648152     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.envsoft.2009.05.013     Document Type: Article

References (42)

1. Aamodt A., and Plaza E. Case-fundamental issues, methodological variations and system approaches. AI Communications 7 1 (1994) 39-59
2. Aguado D., Ribes J., Montoya T., Ferrer J., and Seco A. A methodology for sequencing batch reactor identification with artificial neural networks: a case study. Computers and Chemical Engineering 33 2 (2009) 465-472
3. Akin B.S., and Ugurlu A. Monitoring and control of biological nutrient removal in a sequencing batch reactor. Process Biochemistry 40 8 (2005) 2873-2878
4. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P., 2008. Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic, 9(4), ACM New York, NY, USA.
5. Artan N., and Orhon D. Mechanisms and Design of Sequencing Batch Reactors for Nutrient Removal. IWA Scientific and Technical Report no. 19 (2005), IWA Publishers, London
6. Baeza J., Gabriel D., and Lafuente J. An expert supervisory system for a pilot WWTP. Environmental Modelling and Software 14 5 (1999) 383-390
7. Belanche B., Sànchez M., Cortés U., and Serra P. A Knowledge-based System for the Diagnosis of Waste-water Treatment Plants. Lecture Notes in Computer Science, Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (1992), Springer-Verlag, Berlin
8. Bishop M.C. Pattern Recognition and Machine Learning (2006), Springer Science Publishing
9. Bradley A.P. The use of the area under the ROC curve in the evaluation of machine learning algorithms. Pattern Recognition 30 7 (1997) 1145-1159
10. Chartrand, R., 2007. Numerical differentiation of noisy, nonsmooth data. Available at: http://math.lanl.gov/Research/Publications/Docs/chartrand-2007-numerical.pdf
11. Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S., 2008. Compliance checking of execution traces to business rules: an approach based on logic programming. In: Proceedings of the Sixth International Conference on Business Process Management.
12. Cho B.C., Liaw S.L., Chang C.N., Yu R.F., Yang S.J., and Chiou B.R. Development of a real-time control strategy with artificial neural networks for automatic control of a continuous-flow sequencing batch reactor. Water Science and Technology 44 1 (2001) 95-104
13. Cohen A., Hegg D., De Michele M., Song Q., and Kasabov N. An intelligent controller for automated operation of sequencing batch reactors. Water Science and Technology 47 12 (2003) 57-63
14. Donald B.P., and Walden A.T. Wavelet Methods for Time Series Analysis (2000), Cambridge University Press
15. Dubois D., and Prade H. Fuzzy Sets and Systems. Theory and Applications (1980), Academic Press
16. Giarratano J.C., and Riley G.C. Expert Systems: Principles and Programming. third ed. (1998), Course Technology
17. Haykin S. Neural Networks: a Comprehensive Foundation. second ed. (1999), Prentice-Hall
18. Henze M., Harremoes P., la Cour Jansen J., and Arvin E. Wastewater Treatment-Biological and Chemical Processes. third ed. (2000), Springer, Heidelberg
19. Irvine R.L., Wilderer P.A., and Flemming H.-C. Controlled unsteady state processes and technologies - an overview. Water Science and Technology 35 1 (1997) 1-10
20. Jeppsson U., Alex J., Pons M.N., Spaniers H., and Vanrolleghem P.A. Status and future trends of ICA in wastewater treatment - a European perspective. Water Science and Technology 45 4-5 (2002) 485-494
21. Kim J.-H., Chen M., Kishida N., and Sudo R. Integrated real-time control strategy for nitrogen removal in swine wastewater treatment using sequencing batch reactors. Water Research 38 14-15 (2004) 3340-3348
22. Klir G.J., and Folger T.A. Fuzzy Sets, Uncertainty, and Information (1988), Prentice Hall Int. Editions, New York
23. Kolodner J. Case-based Reasoning (1993), Morgan Kaufmann, San Francisco CA
24. Luccarini L., Porrà E., Spagni A., Ratini P., Grilli S., Longhi S., and Bortone G. Soft sensors for control of nitrogen and phosphorus removal from wastewaters by neural networks. Water Science and Technology 45 4-5 (2002) 101-107
25. Li H.X., Li L.X., and Wang J.Y. Interpolation representation of feedforward neural networks. Mathematical and Computer Modelling 37 (2002) 829-847
26. Mace S., and Mata-Alvarez J. Utilization of SBR technology for wastewater treatment: an overview. Industrial and Engineering Chemistry 41 (2002) 5539-5553
27. Marsili-Libelli S. Control of SBR switching by fuzzy pattern recognition. Water Research 40 (2006) 1095-1107
28. Marsili-Libelli S., Spagni A., and Susini R. Intelligent monitoring system for long-term control of sequencing batch reactors. Water Science and Technology 57 3 (2008) 431-438
29. Olsson G., and Newell B. Wastewater Treatment Systems: Modeling, Diagnosis and Control (1999), IWA Publishing, London, UK
30. Olsson G. Instrumentation, control and automation in the water industry - state-of-the-art and new challenges. Water Science and Technology 53 4-5 (2006) 1-16
31. Olsson G., Nielsen M.K., Yuan Z., Lynggaard-Jensen A., and Steyer J.P. Instrumentation, Control and Automation in Wastewater Treatment Systems. Scientific and Technical Report No. 15 (2005), IWA Publishing, London, UK
32. Poch M., Comas J., Rodriguez-Roda I., Sanchez-Marrè M., and Cortes U. Designing and building real environmental decision support systems. Environmental Modelling and Software 19 9 (2004) 857-873
33. Rodriguez-Roda I., Sanchez-Marrè M., Comas J., Baeza J., Colprim J., Lafuente J., Cortes U., and Poch M. A hybrid supervisory system to support wastewater treatment plant operations. Water Science and Technology 45 4/5 (2002) 289-297
34. Sánchez-Marré M., Cortés U., Martínez M., Comas J., and Rodríguez-Roda I. An Approach for Temporal Case-based Reasoning: Episode-based Reasoning. Lecture Notes in Computer Science, Case-based Reasoning Research and Development vol. 3620 (2005), Springer-Verlag, Berlin Heidelberg 465-476
35. Sottara, D., Colombini, G., Luccarini, L., Mello, P., 2009. A pool of experts to evaluate the evolution of biological processes in SBR plants. In: Proceedings of HAIS09, Fourth International Conference on Hybrid Artificial Intelligence Systems, Salamanca, Spain, June 10-12, 2009, springer.
36. Spagni A., Buday J., Ratini P., and Bortone G. Experimental considerations on monitoring ORP, pH, conductivity and dissolved oxygen in nitrogen and phosphorus biological removal processes. Water Science and Technology 43 11 (2001) 197-204
37. Van der Aalst W.M.P., van Dongen B.F., Gunther C.W., Mans R.S., de Medeiros A.A., Rozinat A., Rubin V., Song M., Verbeek H.M.W., and Weijters A.J.M.M. ProM 4.0: comprehensive support for real process analysis. In: Kleijn J., and Yakovle A. (Eds). Application and Theory of Petri Nets and Other Models of Concurrency vol. 4546 (2007) 484-494 (ICATPN 2007)
38. Van Dongen B.F., and van der Aalst W.M.P. A meta model for process mining data. In: Casto J., and Teniente E. (Eds). Proceedings of the CAiSE'05 Workshops vol. 2 (2005), FEUP, Porto, Portugal 309-320 (EMOI-INTEROP Workshop)
39. Water Environment Federation. Automation of Wastewater Treatment Facilities. WEF Manual of Practice n. 21. third ed. (2006), WEF Press and McGraw-Hill, Alexandria Virginia
40. Weske M. Business process management: concepts, languages, architectures. Springer-Verlag Berlin Heidelberg (2007) ISBN: 978-3-540-73521-2
41. Yoo C.K., Lee D.S., and Vanrolleghem P.A. Application of multiway ICA for on-line process monitoring of a sequencing batch reactor. Water Research 38 (2004) 1715-1732
42. Zhao H., Hao O.J., and McAvoy T.J. Approaches to modelling nutrient dynamics: ASM2, simplified model and neural nets. Water Science and Technology 39 1 (1999) 227-234