Deterministic global optimization of process flowsheets in a reduced space using McCormick relaxations. (English) Zbl 1386.90112

Summary: Deterministic global methods for flowsheet optimization have almost exclusively relied on an equation-oriented formulation where all model variables are controlled by the optimizer and all model equations are considered as equality constraints, which results in very large optimization problems. A possible alternative is a reduced-space formulation similar to the sequential modular infeasible path method employed in local flowsheet optimization. This approach exploits the structure of the model equations to achieve a reduction in problem size. The optimizer only operates on a small subset of the model variables and handles only few equality constraints, while the majority is hidden in externally defined functions from which function values and relaxations for the objective function and constraints can be queried. Tight relaxations and their subgradients for these external functions can be provided through the automatic propagation of McCormick relaxations. Three steam power cycles of increasing complexity are used as case studies to evaluate the different formulations. Unlike in local optimization or in previous sequential approaches relying on interval methods, the solution of the reduced-space formulation using McCormick relaxations enables dramatic reductions in computational time compared to the conventional equation-oriented formulation. Despite the simplicity of the implemented branch-and-bound solver that does not fully exploit the tight relaxations returned by the external functions but relies on further affine relaxation at a single point using the subgradients, in some cases it can solve the reduced-space formulation significantly faster without any range reduction than the state-of-the-art solver BARON can solve the equation-oriented formulation.


90C26 Nonconvex programming, global optimization
90C90 Applications of mathematical programming
Full Text: DOI


[1] Adjiman, CS; Androulakis, IP; Maranas, CD; Floudas, CA, A global optimization method, \(α \)BB, for process design, Comput. Chem. Eng., 20, s419-s424, (1996)
[2] Adjiman, CS; Dallwig, S; Floudas, CA; Neumaier, A, A global optimization method, \(α \)BB, for general twice-differentiable constrained NLPs-I, Theor. Adv. Comput. Chem. Eng., 22, 1137-1158, (1998)
[3] Ahadi-Oskui, T; Vigerske, S; Nowak, I; Tsatsaronis, G, Optimizing the design of complex energy conversion systems by branch and cut, Comput. Chem. Eng., 34, 1226-1236, (2010)
[4] Ahmetović, E; Grossmann, IE, Global superstructure optimization for the design of integrated process water networks, AIChE J., 57, 434-457, (2011)
[5] Androulakis, IP; Maranas, CD; Floudas, CA, A global optimization method for general constrained nonconvex problems, J. Glob. Optim., 7, 337-363, (1995) · Zbl 0846.90087
[6] Balendra, S., Bogle, I.D.L.: A comparison of flowsheet solving strategies using interval global optimisation methods. In: Kraslawski, A., Turunen, I. (eds.) European symposium on computer aided process engineering, vol. 13, pp. 23-28. Elsevier Science B.V., Amsterdam (2003) · Zbl 0349.90100
[7] Balendra, S; Bogle, IDL, Modular global optimisation in chemical engineering, J. Glob. Optim., 45, 169-185, (2009) · Zbl 1180.90387
[8] Baliban, RC; Elia, JA; Misener, R; Floudas, CA, Global optimization of a MINLP process synthesis model for thermochemical based conversion of hybrid coal, biomass, and natural gas to liquid fuels, Comput. Chem. Eng., 42, 64-86, (2012)
[9] Bendtsen, C., Stauning, O.: FADBAD++, a flexible C++ package for automatic differentiation. Version 2.1. (2012). http://www.fadbad.com. Accessed 18 October 2016
[10] Biegler, L.T.: Nonlinear Programming: Concepts, Algorithms, and Applications to Chemical Processes. MOS-SIAM, Philadelphia (2010) · Zbl 1207.90004
[11] Biegler, L.T., Grossmann, I.E., Westerberg, A.W.: Systematic Methods of Chemical Process Design. Prentice Hall PTR, Upper Saddle River (1997)
[12] Biegler, LT; Hughes, RR, Infeasible path optimization with sequential modular simulators, AIChE J., 28, 994-1002, (1982)
[13] Bogle, IDL; Byrne, RP; Dzemyda, G (ed.); Saltenis, V (ed.); Zilinskas, A (ed.), Global optimisation of chemical process flowsheets, 33-48, (2002), Dordrecht · Zbl 1211.90331
[14] Bompadre, A; Mitsos, A, Convergence rate of mccormick relaxations, J. Glob. Optim., 52, 1-28, (2012) · Zbl 1257.90077
[15] Bongartz, D., Mitsos, A.: Infeasible path global flowsheet optimization using McCormick relaxations. In: Espuña, A., Graells, M., Puigjaner, L. (eds.) Proceedings of the 27th European Symposium on Computer Aided Process Engineering - ESCAPE 27, in press (2017) · Zbl 1386.90112
[16] Bracco, S; Siri, S, Exergetic optimization of single level combined gas-steam power plants considering different objective functions, Energy, 35, 5365-5373, (2010)
[17] Byrd, R.H., Nocedal, J., Waltz, R.A.: KNITRO: an integrated package for nonlinear optimization. In: Di Pillo, G., Roma, M. (eds.) Large-Scale Nonlinear Optimization, pp. 35-59. Springer, Berlin (2006) · Zbl 1108.90004
[18] Byrne, RP; Bogle, IDL, Global optimisation of constrained non-convex programs using reformulation and interval analysis, Comput. Chem. Eng., 23, 1341-1350, (1999)
[19] Byrne, RP; Bogle, IDL, Global optimization of modular process flowsheets, Ind. Eng. Chem. Res., 39, 4296-4301, (2000)
[20] Chachuat, B.: MC++ (version 2.0): Toolkit for Construction, Manipulation and Bounding of Factorable Functions. (2014). https://omega-icl.bitbucket.io/mcpp/?. Accessed 18 October 2016
[21] Chen, JJJ, Comments on improvements on a replacement for the logarithmic Mean, Chem. Eng. Sci., 42, 2488-2489, (1987)
[22] Diwekar, UM; Grossmann, IE; Rubin, ES, An MINLP process synthesizer for a sequential modular simulator, Ind. Eng. Chem. Res., 31, 313-322, (1992)
[23] Drud, AS, CONOPT-a large-scale GRG code, ORSA J. Comput., 6, 207-216, (1994) · Zbl 0806.90113
[24] Edgar, T.F., Himmelblau, D.M., Lasdon, L.: Optimization of Chemical Processes. McGraw-Hill, New York (2001)
[25] Epperly, TGW; Pistikopoulos, EN, A reduced space branch and bound algorithm for global optimization, J. Glob. Optim., 11, 287-311, (1997) · Zbl 1040.90567
[26] Falk, JE; Soland, RM, An algorithm for separable nonconvex programming problems, Manag. Sci., 15, 550-569, (1969) · Zbl 0172.43802
[27] GAMS Development Corporation: General Algebraic Modeling System (GAMS) Release 24.8.4. Washington, DC (2016)
[28] Gunasekaran, S; Mancini, ND; Mitsos, A, Optimal design and operation of membrane-based oxy-combustion power plants, Energy, 70, 338-354, (2014)
[29] Horst, R., Tuy, H.: Global Optimization: Deterministic Approaches, 3rd edn. Springer, Berlin (1996) · Zbl 0867.90105
[30] International Business Machines Corporation: IBM ILOG CPLEX v12.5. Armonk, NY (2009) · Zbl 0846.90087
[31] Johnson, S.G.: The NLopt nonlinear-optimization package. http://ab-initio.mit.edu/nlopt. Accessed 18 October 2016
[32] Jüdes, M., Tsatsaronis, G.: Design optimization of power plants by considering multiple partial load operation points. In: Proceedings of IMECE2007. ASME International Mechanical Engineering Congress and Exposition. November 11-15, 2007, Seattle, WA, pp. 217-225 (2007)
[33] Kehlhofer, R., Hannemann, F., Stirnimann, F., Rukes, B.: Combined-Cycle Gas & Steam Turbine Power Plants, 3rd edn. PennWell Corporation, Tulsa (2009)
[34] Khan, KA; Watson, HA; Barton, PI, Differentiable mccormick relaxations, J. Glob. Optim., 67, 687-729, (2017) · Zbl 1365.49027
[35] Kocis, GR; Grossmann, IE, Global optimization of nonconvex mixed-integer nonlinear programming (MINLP) problems in process synthesis, Ind. Eng. Chem. Res., 27, 1407-1421, (1988)
[36] Kraft, D.: A software package for sequential quadratic programming. Tech. Rep. DFVLR-FB 88-28, Institut für Dynamik der Flugsysteme, Oberpfaffenhofen (1988) · Zbl 0646.90065
[37] Kraft, D, Algorithm 733: TOMP-Fortran modules for optimal control calculations, ACM T. Math. Softw., 20, 262-281, (1994) · Zbl 0888.65079
[38] Locatelli, M., Schoen, F.: Global Optimization: Theory, Algorithms, and Applications, vol. 15. MOS-SIAM, Philadelphia (2013) · Zbl 1286.90003
[39] Manassaldi, JI; Arias, AM; Scenna, NJ; Mussati, MC; Mussati, SF, A discrete and continuous mathematical model for the optimal synthesis and design of dual pressure heat recovery steam generators coupled to two steam turbines, Energy, 103, 807-823, (2016)
[40] McCormick, GP, Computability of global solutions to factorable nonconvex programs: part I-convex underestimating problems, Math. Program., 10, 147-175, (1976) · Zbl 0349.90100
[41] Misener, R; Floudas, CA, ANTIGONE: algorithms for continuous/integer global optimization of nonlinear equations, J. Glob. Optim., 59, 503-526, (2014) · Zbl 1301.90063
[42] Mistry, M; Misener, R, Optimising heat exchanger network synthesis using convexity properties of the logarithmic Mean temperature difference, Comput. Chem. Eng., 94, 1-17, (2016)
[43] Mitsos, A; Chachuat, B; Barton, PI, Mccormick-based relaxations of algorithms, SIAM J. Optim., 20, 573-601, (2009) · Zbl 1192.65083
[44] Najman, J; Mitsos, A, Convergence analysis of multivariate mccormick relaxations, J. Glob. Optim., 66, 597-628, (2016) · Zbl 1394.90471
[45] Najman, J., Mitsos, A.: Convergence order of McCormick relaxations of LMTD function in heat exchanger networks. In: Kravanja, Z. (ed.) Proceedings of the 26th European Symposium on Computer Aided Process Engineering, pp. 1605-1610 (2016) · Zbl 0856.90103
[46] Quesada, I; Grossmann, IE, Global optimization algorithm for heat exchanger networks, Ind. Eng. Chem. Res., 32, 487-499, (1993)
[47] Reneaume, JMF; Koehret, BM; Joulia, XL, Optimal process synthesis in a modular simulator environment: new formulation of the mixed-integer nonlinear programming problem, Ind. Eng. Chem. Res., 34, 4378-4394, (1995)
[48] Ryoo, HS; Sahinidis, NV, Global optimization of nonconvex NLPs and MINLPs with applications in process design, Comput. Chem. Eng., 19, 551-566, (1995)
[49] Ryoo, HS; Sahinidis, NV, A branch-and-reduce approach to global optimization, J. Glob. Optim., 8, 107-138, (1996) · Zbl 0856.90103
[50] Scott, JK; Stuber, MD; Barton, PI, Generalized mccormick relaxations, J. Glob. Optim., 51, 569-606, (2011) · Zbl 1232.49033
[51] Silveira, JL; Tuna, CE, Thermoeconomic analysis method for optimization of combined heat and power systems, Part I. Prog. Energ. Combust., 29, 479-485, (2003)
[52] Smith, EMB; Pantelides, CC, Global optimisation of nonconvex minlps, Comput. Chem. Eng., 21, s791-s796, (1997)
[53] Smith, EMB; Pantelides, CC, A symbolic reformulation/spatial branch-and-bound algorithm for the global optimisation of nonconvex minlps, Comput. Chem. Eng., 23, 457-478, (1999)
[54] Stuber, MD; Scott, JK; Barton, PI, Convex and concave relaxations of implicit functions, Optim. Method. Softw., 30, 424-460, (2015) · Zbl 1327.65114
[55] Tawarmalani, M; Sahinidis, NV, Global optimization of mixed-integer nonlinear programs: a theoretical and computational study, Math. Progam., 99, 563-591, (2004) · Zbl 1062.90041
[56] Tawarmalani, M; Sahinidis, NV, A polyhedral branch-and-cut approach to global optimization, Math. Program., 103, 225-249, (2005) · Zbl 1099.90047
[57] Tsoukalas, A; Mitsos, A, Multivariate mccormick relaxations, J. Glob. Optim., 59, 633-662, (2014) · Zbl 1312.90068
[58] Turton, R., Bailie, R.C., Whiting, W.B.: Analysis, Synthesis and Design of Chemical Processes, 4th edn. Prentice Hall PTR, Upper Saddle River (2012)
[59] U.S. Energy Information Administration: United States Natural Gas Industrial Price. https://www.eia.gov/dnav/ng/hist/n3035us3m.htm. Accessed 6 September 2016 · Zbl 1134.90542
[60] Valdés, M; Duran, MD; Rovira, A, Thermoeconomic optimization of combined cycle gas turbine power plants using genetic algorithms, Appl. Therm. Eng., 23, 2169-2182, (2003)
[61] Wächter, A; Biegler, LT, On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming, Math. Program., 106, 25-57, (2006) · Zbl 1134.90542
[62] Wechsung, A; Barton, PI, Global optimization of bounded factorable functions with discontinuities, J. Glob. Optim., 58, 1-30, (2014) · Zbl 1311.90114
[63] Wechsung, A; Scott, JK; Watson, HA; Barton, PI, Reverse propagation of mccormick relaxations, J. Glob. Optim., 63, 1-36, (2015) · Zbl 1322.49048
[64] Zamora, JM; Grossmann, IE, Continuous global optimization of structured process systems models, Comput. Chem. Eng., 22, 1749-1770, (1998)
[65] Zebian, H; Mitsos, A, A double-pinch criterion for regenerative rankine cycles, Energy, 40, 258-270, (2012)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.