Summary
This chapter presents formal methods and approaches for process systems engineering. This requires giving a brief introduction on process systems engineering and the difficulties and challenges and how formal methods can address these difficulties.
Among the challenges that faces process systems engineering is the process design and plant operation engineering and management. This chapter will provide practical formal methods approaches that are useful for process design and plant operation practices.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
2.9 References
ANSI/ISA-S88.01, 1995. Batch Control. Part 1. Models and terminology.
Aoyama, A., Yamada, I., Batres, R., & Naka, Y. (2000). Development of batch process operation management platform. The 10th European Symposium on Computer Aided Process Engineering. Special Issue of Computers & Chemical Engineering, 24, 519–524.
Arzen, K.E. (1994). Grafcet for intelligent supervisory control applications. Automatica 30(10), 1513–1525.
Asprey, S., Batres, R., Fuchino, T., and Naka, Y. (1999). Simulation-based operations planning in the presence of quantitative safety constraints. Proceedings of 2nd Conference on Process Integration, Modeling and Optimization for Energy Saving and Pollution Reduction (PRES’99), Budapest, Hungary, pp.133–138 (1999).
Gabbar, H.A., Aoyama, A., Naka, Y. (2003). Model-Based Computer-Aided Design Environment for Operational Design. Journal of Computers & Industrial Engineering (Submitted).
Gabbar, H.A., Aoyama, A., Naka, Y. (2003). AOPS an Automated Solution for Operating Procedures Synthesis for Batch Plants. Journal of Computers & Chemical Engineering (Submitted).
Gabbar, H.A., Aoyama, A., Naka, Y. (2003). Recipe Formal Definition Language For Operating Procedures Synthesis. Journal of Computers & Chemical Engineering (Submitted).
Gabbar, H.A., Chung, P.W.H., Suzuki, K., and Shimada, Y. (2000). Utilization of unified modeling language (UML) to represent the artifacts of the plant design model. Proceedings of “PSE Asia 2000” International Symposium on Design, Operation and Control of Next Generation Chemical Plants, PS54, 387–392, Kyoto-Japan.
Gabbar, H.A. and Naka, Y. (2003). Computer-Aided Operation Design Environment for Chemical Production Plants. ICCTA’2003 — IEEE, 12th International Conference on Computer Theory and Applications, Aug-2003, Alexandria, Egypt, P27.
Johnsson, C. and Arzen, K.E. (1998). Grafchart for recipe based batch control. Computers & Chemical Engineering, 22, 1811–1228
Kim, J. and Moon, I. (2000). Synthesis of safe operating procedure for multi-purpose batch processes using SMV. Computers & Chemical Engineering, Vol. 24 (2000), Issues 2–7, 385–392.
Kim, M. and Lee, I.B. (1997). Rule-based reactive rescheduling system for multipurpose batch processes. Computers & Chemical Engineering, Vol. 21,Suppl. Pp. S1197–S1202.
Kirkwood, R.L., Locke, M.H., and Douglas, J.M. (1988). A prototype expert system for synthesizing chemical process flowsheets. Computers & Chemical Engineering, Vol. 12 (1988), Issue 4, 329–343.
Lakshmanan, R. and Stephanopoulos, G. (1990). Synthesis of operating procedures for complete chemical plants — I Hierarchical, structured modelling for nonlinear. Computers & Chemical Engineering, Volume 14 (1990), Issue 3, 301–317.
Lu, M. L., Batres, R., Li, H. S., and Naka, Y. (1997). A G2 based MDOOM testbed for concurrent process engineering. Computers & Chemical Engineering, Vol. 21,Suppl., pp. S11–S16.
Lu, M. L., Naka, Y., Shibao, K., Wang, X. Z., and McGreavy, C. (1995). A multi-dimensional object-oriented model for chemical engineering. Proceedings of the Second International Conference on Concurrent Engineering, Research and Application, Virginia, Aug. 1995, USA, pp. 21–29.
Naka, Y. and McGreavy, C. (1994). Modular approach for startup operational procedures of chemical plant. Proceedings of PSE’94, 1007–1013.
Naka, Y., Batres, R., and Fuchino, T.; Operational design and its benefits in real-time use, Foundations of computer aided process operations (1999), ISBN 0-8169-0776-5, pp: 570.
Ruiz, D., Canton, J., Nougues, J.M., Espuna, A., and Puigjaner, L. (2001). On-line fault diagnosis system support for reactive scheduling in multipurpose batch chemical plants. Computers & Chemical Engineering, Vol. 25, pp. 829–837.
Viswanathan, S., Johnsson, C., Srinivasan, R., and Venkatasubramanian, V., & Arzen, K.E. (1998). Automating operation procedure synthesis for batch processes: Part I. Knowledge representation and planning framework. Computers & Chemical Engineering, 22, 1673–1685.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Gabbar, H.A. (2006). Formal Methods for Process Systems Engineering. In: Gabbar, H.A. (eds) Modern Formal Methods and Applications. Springer, Dordrecht. https://doi.org/10.1007/1-4020-4223-X_2
Download citation
DOI: https://doi.org/10.1007/1-4020-4223-X_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4222-5
Online ISBN: 978-1-4020-4223-2
eBook Packages: Chemistry and Materials ScienceChemistry and Material Science (R0)