Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties

Applied Mathematical Modelling

Volumn 34, Issue 3, 2010, Pages 744-762

  Krasnochtanova, Irina ^a   Rauh, Andreas ^b   Kletting, Marco ^c   Aschemann, Harald ^b   Hofer, Eberhard P ^d   Schoop, Karl Michael ^e  

^a University of Rostock ^*  (Russian Federation)

^b UNIVERSITY OF ROSTOCK   (Germany)

^c AIRBUS GROUP INNOVATIONS   (Germany)

^d UNIVERSITY OF ULM   (Germany)

^e Schoop GmbH   (Germany)

Author keywords

Biological wastewater treatment; Interval methods; Parameter uncertainties; Reduction of overestimation; Stability analysis; Verified simulation

Indexed keywords

BIOLOGICAL WASTEWATER TREATMENT; INTERVAL METHODS; PARAMETER UNCERTAINTIES; STABILITY ANALYSIS; VERIFIED SIMULATION;

BIOLOGICAL WATER TREATMENT; CHAOTIC SYSTEMS; ENCLOSURES; MODEL STRUCTURES; NONLINEAR EQUATIONS; SIMULATORS; SYSTEM STABILITY; TIME VARYING SYSTEMS; UNCERTAINTY ANALYSIS; WASTEWATER; WASTEWATER RECLAMATION; WATER RECYCLING; WATER TREATMENT PLANTS;

WASTEWATER TREATMENT;

EID: 70350621352     PISSN: 0307904X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apm.2009.06.019     Document Type: Article

References (33)

1. Jaulin L., Kieffer M., Didrit O., and Walter E. Applied Interval Analysis (2001), Springer-Verlag, London
2. J. Huo, R.B. Robinson, C.D. Cox, Uncertainty and sensitivity analysis of activated sludge model No. 1 by Monte-Carlo simulation for single CSTR with universal distribution parameters, World Water and Environmental Resources Congress, Salt Lake City, USA, 2004.
3. A. Rauh, M. Kletting, H. Aschemann, E.P. Hofer, Application of interval arithmetic simulation techniques to wastewater treatment processes, in: Proceedings of MIC 2004, Grindelwald, Switzerland, 2004. pp. 287-293.
4. Gouzé J.L., Rapaport A., and Hadj-Sadok M.Z. Interval observers for uncertain biological systems. Ecol. Modell. 133 (2000) 45-56
5. Rinner B., and Weiss U. Online monitoring by dynamically refining imprecise models. IEEE Trans. Syst. Man Cyber., Part B 34 4 (2004) 1811-1822
6. N.S. Nedialkov, Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, Ph.D. Thesis, University of Toronto, 1999.
7. N.S. Nedialkov, K.R. Jackson, A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations, Perspectives on Enclosure Methods, Springer-Verlag, 2001.
8. Nedialkov N.S. The Design and Implementation of an Object-Oriented Validated ODE Solver (2002), Kluwer Academic Publishers
9. Berz M., and Makino K. Verified integration of ODEs and flows using differential algebraic methods on high-order taylor models. Reliable Comput. 4 (1998) 361-369
10. E. Auer, A. Rauh, E.P. Hofer, W. Luther, Validated modeling of mechanical systems with SmartMOBILE: Improvement of performance by ValEncIA-IVP, in: P. Hertling et al. (Eds.), Proceedings of Dagstuhl Seminar 06021: Reliable Implementation of Real Number Algorithms: Theory and Practice, Lecture Notes in Computer Science, vol. 5045, Springer-Verlag, Berlin Heidelberg, 2008, pp. 1-27.
11. A. Rauh, E. Auer, E.P. Hofer, ValEncIA-IVP: A comparison with other initial value problem solvers, in: CD-Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany, IEEE Computer Society, 2007.
12. Fortmann T., and Hitz K. An Introduction to Linear Control Systems (1977), Marcel Dekker, New York
13. Y. Deville, M. Janssen, P. van Hentenryck, Consistency techniques for ordinary differential equations, in: Proceedings of the International Conference on Principles and Practice on Constraint Programming, 1998, pp. 162-176.
14. Hansen E. Global Optimization Using Interval Analysis (1992), Marcel Dekker, New York
15. Intlab, Version 5.4: .
16. S.M. Rump, IntLab - INTerval LABoratory, Developments in Reliable Computing, Kluwer Academic Publishers, 1999, pp. 77-104.
17. Rump S.M. Interval computations with IntLab. Brazil. Elect. J. Math. Comput. (1999)
18. A. Stancu, V. Puig, P. Cugueré, J. Quevedo, Benchmarking on approaches to interval observation applied to robust fault detection, Lecture Notes in Computer Science, vol. 3478, Springer-Verlag, Berlin Heidelberg, 2005, pp. 171-182.
19. Angeli D., and Sontag E.D. Monotone control systems. IEEE Trans. Automat. Contr. 48 10 (2003) 1684-1698
20. A. Rauh, M. Kletting, H. Aschemann, E.P. Hofer, Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes, in: Proceedings of 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN2004, Fukuoka, Japan, 2004, Journal of Computational and Applied Mathematics, vol. 199(2), 2007, pp. 207-212.
21. N. Delanoue, Algoritmes Numériques Pour l'Analyse Topologique - Analyse par Intervalles et Théorie des Graphes, Ph.D. Thesis, 2006 (in French).
22. Walter E., and Jaulin L. Guaranteed characterization of stability domains via set inversion. IEEE Trans. Automat. Contr. 39 4 (1994) 886-889
23. C. Bornemann, M. Freund, J. Londong, O. Nowak, R. Otterpohl, Th. Rolfs, Hinweise zur dynamischen Simulation von Belebungsanlagen mit dem Belebtschlammodell Nr. 1 der IAWQ, Korrespondenz Abwasser 45 Jhg, Heft 3, 1998 (in German).
24. M. Köhne, Analyse und Regelung biologischer Abwasserreinigungsprozesse in Kläranlagen, at-Automatisierungstechnik 46(5), pp. 215-234, R. Oldenbourg Verlag, München, 1998 (in German).
25. H. Aschemann, A. Rauh, M. Kletting, E.P. Hofer, Flatness-based control of a simplified wastewater treatment plant, in: Proceedings of the IEEE International Conference on Control Applications CCA 2006, Munich, Germany, 2006, pp. 2243-2248.
26. J. Copp (Ed.), The COST Simulation Benchmark - Description and Simulator Manual, COST Action 624 and COST Action 682, COST (European Cooperation in the field of Scientific and Technical Research), Brussels, Belgium, 2001.
27. M. Freihold, A. Rauh, E.P. Hofer, Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain models of blood cell dynamics, in: Presented at Minisymposium on Validated Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering, ECMI2008, London, UK, 2008.
28. WinErs: Ingenieurbüro Dr.-Ing. Schoop GmbH .
29. Office for Official Publications of the European Communities, Council Directive of 21 May 1991 concerning urban waste water treatment (91/271/EEC), 2003, .
30. M. Kletting, A. Rauh, H. Aschemann, E.P. Hofer, Interval observer design for nonlinear systems with uncertain time-varying parameters, in: Proceedings of 12th IEEE International Conference on Methods and Models in Automation and Robotics MMAR 2006, Miedzyzdroje, Poland, 2006, pp. 361-366.
31. A. Rauh, E.P. Hofer, Interval arithmetic optimization techniques for uncertain discrete-time systems, in: Proceedings of 13th International Workshop on Dynamics and Control, Wiesensteig, Germany, 2005, pp. 141-148.
32. A. Rauh, J. Minisini, E.P. Hofer, Interval techniques for design of optimal and robust control strategies, in: CD-Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany, IEEE Computer Society, 2007.
33. Puig V., Saludes J., and Quevedo J. Worst-case simulation of discrete linear time-invariant interval dynamic systems. Reliable Comput. 9 4 (2003) 251-290