Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net
DOI:
https://doi.org/10.5614/itbj.eng.sci.2012.44.1.1Abstract
This paper proposes a new control design approach for industrial wastewater treatmentwhere its logic control is verifiable. In this research, a treatment control design in a lab-scale was controlled by a microcontroller circuit. The developed system combined anaerobicdigestion, aerationand filtration process. Its logic control algorithm was designed by using Signal Interpreted Petri Net. In the logic verification, six analysis properties were satisfied: conflict free (logical process had no conflict behavior), termination (the process could be terminated from any state), non-contradictory outputs, live (any process state could always be reached from other state), deadlock-free, and reversible (the process could always back to initial condition). In the design evaluation, the average value of transparency metrics was 0.984 close to 1 as the best value. The system performance was evaluated by pollutant removal efficiency. The highest removal efficiencies were obtained when each anaerobic and aeration treatment were performed for three days respectively and followed by filtration. Within this condition, the system obtained average removal efficiency 91.7% of Chemical Oxygen Demand and 95.4% of Total Suspended Solids. In terms of electricity consumption, the system needed only 1,857.6 Watt-hour for a batch treatment process.
Downloads
References
Leito, R.C., van Haandel, A.C., Zeeman, G. & Lettinga, G., The Effects of Operational and Environmental Variations on Anaerobic Wastewater Treatment Systems: A Review, Bioresource Technology, 97(9), pp. 1105-1118, 2006.
Aiyuk, S.E., Forrez, I., De Kempeneer, L., van Haandel, A. & Verstraete, W., Anaerobic and Complementary Treatment of Domestic Sewage in Regions with Hot Climates: A Review, Bioresource Technology, 97(17), pp. 2225-2241, 2006.
Van Haandel, A., Kato, M. T., Cavalcanti, P. & Florencio, L., Anaerobic Reactor Design Concepts for the Treatment of Domestic Wastewater, Reviews in Environmental Science and Biotechnology, 5(1), pp. 21-38, 2006.
Sandino, J., Selecting Appropriate Wastewater Treatment Technologies for Large Urban Applications in Developing Countries, Water 21, 1(1), pp. 42-44, 2007.
Sitorus, B. New Development in Low Investment Sewage Treatment, Verlag Dr. M1/4ller, Saarbr1/4cken-Germany, 2010.
Mendoza, L., Carballa, M., Sitorus, B., Pieters, J. & Verstraete, W., Technical and Economic Feasibility of Gradual Concentric Chambers Reactor for Sewage Treatment in Developing Countries, Electronic Journal of Biotechnology, 12(2), pp. 1-13, 2009.
Olsson, G. & Newell, R.B., Wastewater Treatment Systems - Modelling, Diagnosis and Control, IWA Publishing, 1999.
Devisscher, M., Harmand, J., Steyer, J.P. & Vanrolleghem, P.A., Control Design of An Industrial Equalization System-Handling System Constraints, Actuator Faults and Varying Operating Conditions, Proc. IFAC 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, IFAC, 2000.
Kim, J., Chenb, M., Kishidac, N. & Sudoa, R., Integrated Real-Time Control Strategy for Nitrogen Removal in Swine Wastewater Treatment Using Sequencing Batch Reactors, Water Research, 38(14-15), pp. 3340-3348, 2004.
Kishida, N., Kim, J., Chen, M., Sasaki, H. & Sudo, R., Effectiveness of Oxidation-Reduction Potential and pH as Monitoring and Control Parameters for Nitrogen Removal in Swine Wastewater Treatment by Sequencing Batch Reactors, Journal of Bioscience and Bioengineering, 96(3), pp. 285-290, 2003.
Bae, H., Kim, S., Lee, M.H., Kim, Y. & Kim, C.W., Knowledge-Based Unmanned Automation and Control Systems for the SBR Wastewater Treatment Process, Artif Life Robotics, 7, pp. 107-111, 2003.
Jun, B., Park, J. & Chun, M., Knowledge-Based Fuzzy Control of Pilot-Scale SBR for Wastewater Treatment, R. Khosla et al. (Eds.): KES 2005, LNAI 3682, Springer-Verlag Berlin Heidelberg, pp. 608-614, 2005.
Caraman, S., Sbarciog, M. & Barbu, M., Predictive Control of a Wastewater Treatment Process, International Journal of Computers, Communications & Control, 2(2), pp. 132-142, 2007.
Yao, A.W.L., Ji, Z. & Liao, H.T., A Petri Nets-based Process Planning System for Wastewater Treatment, Asian Journal of Control, 12(3), pp. 281-291, 2009.
Frey, G., Design and Formal Analysis of Petri Net based Logic Control Algorithms, Shaker Verlag, Aachen, 2002.


