Modeling and analysis for optimal scheduling of a biodiesel batch-plant: strategies for tackling complexity

• Autorzy: Amir M. F. , Hanisch H. M.
• Języki publikacji: EN

Abstrakty

EN

Motivated by a purpose of closing the gap between theory and practice, this paper demonstrates how a well-known formal method is used to design a suitable control strategy for a large system. The formal method must deal with issues of complexity which usually prevent analysis of the large plant. The proposed strategies are based on modular principles and decomposition techniques and are proven to be able to cope with the complexity of the analysis of the investigated plant.

Słowa kluczowe

EN

process control; batch-plant; complexity; state explosion; optimization; control strategy

PL

kontrola; strategia; optymalizacja

• Wydawca: Production Engineering Committee of the Polish Academy of Sciences ; Polish Association for Production Management
• Czasopismo: Management and Production Engineering Review
• Rocznik: 2011
• Tom: Vol. 2, No. 4
• Strony: 5--20
• Opis fizyczny: Bibliogr. 13 poz., rys., tab.

Twórcy

autor

Amir M. F.

autor

Hanisch H. M.

• Institute of Computer Science, Martin Luther University of Halle-Wittenberg, Kurth-Mothes-Str. 1, 06120 Halle/Saale, Germany, phone: [phone],

Bibliografia

• [1] Hanisch H.M., On the Use of Petri Nets for Design, Verification and Optimization of Control Procedures for Batch Processes, IEEE Conference on Systems, Man and Cybernetics, San Antonio, Texas, October 1994, Proceedings, Vol. 1, pp. 326-330.
• [2] Amir M.-F., Hanisch H.-M., Modeling and Simulation of Optimal Scheduling of a Biodiesel Batch-Plant: Modular Strategy for Tackling Complexity, International Conference Instrumentation Control and Automation ICA 2009, Bandung-Indonesia, October 2009. Available at: http://ica-itb.org/2009/archive/ICA2009-A12.pdf
• [3] Christmann U., BatchMon - Monitoring and Simulation of Recipe Driven Batch Processes in Disturbance Situations, Ph.D thesis, ISBN 3-89722-801-7, 2001.
• [4] Hanisch H.-M., Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control, Lecture Notes in Computer Science, Vol. 691, pp. 282-299, Springer-Verlag, 1993.
• [5] Hanisch H.-M., Christmann U., Modeling and Analysis of a Polymer Production Plant by Means of Arc-Timed Petri Nets, Conference on Computer Integrated Manufacturing in the Process Industries (CIMPRO’94), Rutgers University, New Brunswick, NJ, April 1994, Proceedings, 194-207, also in: International Journal of Flexible Automation and Integrated Manufacturing, 3(1), 33-46, 1995.
• [6] Genrich H.J., Hanisch H.M., Wöllhaf K., Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets, Lecture Notes in Computer Science, Vol. 815, Springer Verlag, 1994, pp. 278-297.
• [7] Hanisch H.M., Fleck S., A Resource Allocation Scheme for Flexible Batch Plants based on HighLevel Petri Nets, IEEE SMC, CESA ‘96 IMACS Multiconference, Lille, France, July 9-12, 1996.
• [8] Mohamad Fauzan Amir, Modeling and Analysis for Optimal Scheduling of Biodiesel Batch-Plants, Hallenser Schriften zur Automatisierungstechnik, Bd.8 (Vol. 8), Logos-Verlag, Berlin, Dissertation (Ph.D. Thesis), ISBN 978-3-8325-2933-8, 2011.
• [9] Mittelbach M., Remschmidt C., Biodiesel - The Comprehensive Handbook, ISBN: 3-200-00249-2, 2004.
• [10] Hanisch H.M., Thieme J., Lüder A., Wienhold O., Modelling of PLC Behavior by Means of Timed Net Condition/Event Systems, 6th IEEE International Conference on Emerging Technologies and Factory Automation ETFA’97, Los Angeles,USA, September 1997.
• [11] Thieme J., Symbolische Erreichbarkeitanalyse und automatishce Implementierung structucturierter zeitbewerteter Steuerungsmodelle, Hallenser Schriften zur Automatisierungstechnik, Bd.3, LogosVerlag, Berlin, Dissertation, 2002.
• [12] Christian Gerber, Implementation and Verification of Distributed Control Systems, Hallenser Schriften zur Automatisierungstechnik, Bd.7, Logos-Verlag, Berlin, Dissertation, 2011.
• [13] The data of benchmark prices of Biodiesel export sourced from Ministry of Industry and Trade the Republic of Indonesia, available at: http://www.depdag.go.id/files/regulasi/2010/10/HPE27102010.pdf