Branch-and-Lift Algorithm for Deterministic Global Optimization in Nonlinear Optimal Control

Journal of Optimization Theory and Applications

Volumn 162, Issue 1, 2014, Pages 208-248

  Houska, Boris ^a   Chachuat, Benoît ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Deterministic global optimization; Optimal control; Spatial branch and bound

Indexed keywords

BRANCH AND BOUND METHOD; GLOBAL OPTIMIZATION; OPTIMAL CONTROL SYSTEMS; PARAMETERIZATION;

ALGORITHM FOR SOLVING; CONDITION; CONTROL PARAMETERIZATION; DETERMINISTIC GLOBAL OPTIMIZATION; FUNCTIONALS; NON-LINEAR OPTIMAL CONTROL; NONCONVEX; OPTIMAL CONTROL PROBLEM; OPTIMAL CONTROLS; SPATIAL BRANCH AND BOUNDS;

CALCULATIONS;

EID: 84904210610     PISSN: 00223239     EISSN: 15732878     Source Type: Journal    
DOI: 10.1007/s10957-013-0426-1     Document Type: Article

References (72)

1. Mitsos, A., Chachuat, B., Barton, P. I.: Towards global bilevel dynamic optimization. J. Glob. Optim. 45(1), 63-93 (2009).
2. Betts, J. T.: Practical Methods for Optimal Control Using Nonlinear Programming, 2nd edn. Advances in Design and Control Series. SIAM, Philadelphia (2010).
3. Biegler, L. T.: Nonlinear Programming: Concepts, Algorithms, and Applications to Chemical Processes. MOS-SIAM Series on Optimization. SIAM, Philadelphia (2010).
4. Teo, K. L., Goh, C. J., Wong, K. H.: A Unified Computational Approach to Optimal Control Problems. Longman, New York (1991).
5. Banga, J. R., Moles, C. G., Alonso, A. A.: Global optimization of bioprocesses using stochastic and hybrid methods. In: Floudas, C. A., Pardalos, P. M. (eds.) Frontiers in Global Optimization. Nonconvex Optimization and Its Applications, vol. 74, pp. 45-70. Kluwer, Dordrecht (2003).
6. Egea, J. A., Vazquez, E., Banga, J. R., Marti, R. M.: Improved scatter search for the global optimization of computationally expensive dynamic models. J. Glob. Optim. 43(2-3), 175-190 (2009).
7. Luss, R.: Iterative Dynamic Programming. Chapman & Hall/CRC, Boca Raton (2000).
8. Bellman, R. E.: Dynamic Programming. Princeton University Press, Princeton (1957).
9. Björnberg, J., Diehl, M.: Approximate robust dynamic programming and robustly stable MPC. Automatica 42(5), 777-782 (2006).
10. Grüne, L., Semmler, W.: Using dynamic programming with adaptive grid scheme to solve nonlinear dynamic models in economics. Comput. Econ. Finance 2002(99) (2002).
11. Luss, R.: Optimal control by dynamic programming using systematic reduction in grid size. Int. J. Control 51(5), 995-1013 (1990).
12. Bryson, A. E., Ho, Y.: Applied Optimal Control. Hemisphere, Washington (1975).
13. von Stryk, O., Bulirsch, R.: Direct and indirect methods for trajectory optimization. Ann. Oper. Res. 37, 357-373 (1992).
14. Pontryagin, L. S., Boltyanskii, V. G., Gamkrelidze, R. V., Mishchenko, E. F.: The Mathematical Theory of Optimal Processes. Wiley, New York (1962).
15. Brusch, R., Schappelle, R.: Solution of highly constrained optimal control problems using nonlinear programming. AIAA J. 11(2), 135-136 (1973).
16. Sargent, R. W. H., Sullivan, G. R.: The development of an efficient optimal control package. In: Stoer, J. (ed.) Proc. 8th IFIP Conf. Optimization Techniques, 1977, Heidelberg (1978).
17. Chachuat, B., Singer, A. B., Barton, P. I.: Global methods for dynamic optimization and mixed-integer dynamic optimization. Ind. Eng. Chem. Res. 45(25), 8373-8392 (2006).
18. Esposito, W. R., Floudas, C. A.: Deterministic global optimization in nonlinear optimal control problems. J. Glob. Optim. 17, 96-126 (2000).
19. Esposito, W. R., Floudas, C. A.: Global optimization for the parameter estimation of differential-algebraic systems. Ind. Eng. Chem. Res. 39(5), 1291-1310 (2000).
20. Lin, Y., Stadtherr, M. A.: Validated solutions of initial value problems for parametric ODEs. Appl. Numer. Math. 57(10), 1145-1162 (2007).
21. Papamichail, I., Adjiman, C. S.: A rigorous global optimization algorithm for problems with ordinary differential equations. J. Glob. Optim. 24, 1-33 (2002).
22. Singer, A. B., Barton, P. I.: Global optimization with nonlinear ordinary differential equations. J. Glob. Optim. 34(2), 159-190 (2006).
23. Sahlodin, A. M.: Global optimization of dynamic process systems using complete search methods. Ph. D. thesis, McMaster University, Ontario, Canada (2012).
24. Horst, R., Tuy, H.: Global Optimization: Deterministic Approaches, 3rd edn. Springer, Berlin (1996).
25. Bock, H. G., Plitt, K. J.: A multiple shooting algorithm for direct solution of optimal control problems. In: Proc. IFAC 9th World Congress, Budapest, Hungary, pp. 242-247 (1984).
26. Houska, B., Ferreau, H. J., Diehl, M.: ACADO Toolkit-an open source framework for automatic control and dynamic optimization. Optim. Control Appl. Methods 32(3), 298-312 (2011).
27. Leineweber, D. B., Bauer, I., Bock, H. G., Schlöder, J. P.: An efficient multiple shooting based reduced SQP strategy for large-scale dynamic process optimization. Part I: Theoretical aspects. Comput. Chem. Eng. 27, 157-166 (2003).
28. Neuman, C. P., Sen, A.: A suboptimal control algorithm for constrained problems using cubic splines. Automatica 9, 601-603 (1973).
29. Tsang, T. H., Himmelblau, D. M., Edgar, T. F.: Optimal control via collocation and nonlinear programming. Int. J. Control 21, 763-768 (1975).
30. Tawarmalani, M., Sahinidis, N. V.: A polyhedral branch-and-cut approach to global optimization. Math. Program. 103(2), 225-249 (2005).
31. Sahinidis, N. V. B.: A general purpose global optimization software package. J. Glob. Optim. 8(2), 201-205 (1996).
32. Flores Tlacuahuac, A., Terrazas, S., Biegler, L. T.: Global optimization of highly nonlinear dynamic systems. Ind. Eng. Chem. Res. 47(8), 2643-2655 (2008).
33. Galperin, E. F., Zheng, Q.: Variation-free iterative method for global optimal control. Int. J. Control 50(5), 1731-1743 (1989).
34. Scott, J. K., Barton, P. I.: Convex relaxations for nonconvex optimal control problems. In: Proc. 50th IEEE Conf. Decision Control, Orlando, Florida, pp. 1042-1047 (2011).
35. Verfaillie, G., Lemaître, M., Schiex, T.: Russian doll search for solving constraint optimization problems. In: Proc. 13th Nat. Conf. Artificial Intelligence, Portland, Oregon, vol. 1, pp. 181-187 (1996).
36. Floudas, C. A.: Deterministic Global Optimization: Theory, Methods, and Applications. Kluwer, Dordrecht (1999).
37. Neumaier, A.: Complete search in continuous global optimization and constraint satisfaction. Acta Numer. 13, 271-369 (2004).
38. Achterberg, T., Koch, T., Martin, A.: Branching rules revisited. Oper. Res. Lett. 33, 42-54 (2005).
39. Belotti, P., Lee, J., Liberti, L., Margot, F., Wächter, A.: Branching and bounds tightening techniques for non-convex MINLP. Oper. Res. Lett. 33, 42-54 (2005).
40. Lasserre, J. B.: Moments, Positive Polynomials and Their Applications. Imperial College Press, London (2009).
41. Walter, W.: Differential and Integral Inequalities. Springer, Berlin (2009).
42. Sahlodin, A. M., Chachuat, B.: Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs. Appl. Numer. Math. 61, 803-820 (2011).
43. Scott, J. K., Chachuat, B., Barton, P. I.: Nonlinear convex and concave relaxations for the solutions of parametric ODEs. Optim. Control Appl. Methods 34(2), 145-163 (2013).
44. Scott, J. K., Barton, P. I.: Improved relaxations for the parametric solutions of ODEs using differential inequalities. J. Glob. Optim. 57(1), 143-176 (2013).
45. Singer, A. B., Barton, P. I.: Bounding the solutions of parameter dependent nonlinear ordinary differential equations. SIAM J. Sci. Comput. 27(6), 2167-2182 (2006).
46. McCormick, G. P.: Computability of global solutions to factorable nonconvex programs: Part I-Convex underestimating problems. Math. Program. 10, 147-175 (1976).
47. Berz, M., Makino, K.: Performance of Taylor model methods for validated integration of ODEs. In: Lecture Notes Comput. Sci., vol. 3732, pp. 65-74. Springer, Berlin (2006).
48. Neher, M., Jackson, K. R., Nedialkov, N. S.: On Taylor model based integration of ODEs. SIAM J. Numer. Anal. 45, 236-262 (2007).
49. Sahlodin, A. M., Chachuat, B.: Convex/concave relaxations of parametric ODEs using Taylor models. Comput. Chem. Eng. 35, 844-857 (2011).
50. Bompadre, A., Mitsos, A., Chachuat, B.: Convergence analysis of Taylor and McCormick-Taylor models. J. Glob. Optim. 57(1), 75-114 (2013).
51. Houska, B., Logist, F., van Impe, Y., Diehl, M.: Robust optimization of nonlinear dynamic systems with application to a jacketed tubular reactor. J. Process Control 22(6), 1152-1160 (2012).
52. Kurzhanski, A. B., Valyi, P.: Ellipsoidal Calculus for Estimation and Control. Birkhäuser, Boston (1997).
53. Kurzhanski, A. B., Varaiya, P.: Reachability analysis for uncertain systems-the ellipsoidal technique. Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 9, 347-367 (2002).
54. Lin, Y., Stadtherr, M. A.: Deterministic global optimization of nonlinear dynamic systems. AIChE J. 53(4), 866-875 (2007).
55. Zhao, Y., Stadtherr, M. A.: Rigorous global optimization for dynamic systems subject to inequality path constraints. Ind. Eng. Chem. Res. 50(22), 12678-12693 (2011).
56. Adjiman, C. S., Dallwig, S., Floudas, C. A., Neumaier, A.: A global optimization method, αBB, for general twice-differentiable constrained NLPs-I. Theoretical advances. Comput. Chem. Eng. 22(9), 1137-1158 (1998).
57. Chachuat, B., Latifi, M. A.: A new approach in deterministic global optimization of problems with ordinary differential equations. In: Floudas, C. A., Pardalos, P. M. (eds.) Frontiers in Global Optimization, Nonconvex Optimization and Its Applications, vol. 74, pp. 83-108. Kluwer, Dordrecht (2003).
58. Mitsos, A., Chachuat, B., Barton, P. I.: McCormick-based relaxations of algorithms. SIAM J. Optim. 20(2), 573-601 (2009).
59. Horst, R.: Deterministic global optimization with partition sets whose feasibility is not known: application to concave minimization, reverse convex constraints, DC-programming, and Lipschitzian optimization. J. Optim. Theory Appl. 58(1), 11-37 (1988).
60. Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Nonconvex Optimization and Its Applications vol. 13. Kluwer, Dordrecht (1996).
61. Kearfott, R. B.: On proving existence of feasible points in equality constrained optimization problems. Math. Program. 83, 89-100 (1998).
62. Filippov, A. F.: On certain questions in the theory of optimal control. J. SIAM Control Ser. A 1(1), 76-84 (1962).
63. Saff, E. B., Totik, V.: Polynomial approximation of piecewise analytic functions. J. Lond. Math. Soc. 39(2), 487-498 (1989).
64. Gottlieb, D., Shu, C. W.: On the Gibbs phenomenon and its resolution. SIAM Rev. 39(4), 644-668 (1997).
65. Bhattacharjee, B., Lemonidis, P., Green, W. H., Barton, P. I.: Global solution of semi-infinite programs. Math. Program., Ser. B 103(2), 283-307 (2005).
66. Nedialkov, N. S., Jackson, K. R., Corliss, G. F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21-68 (1999).
67. Parulekar, S. J.: Analysis of forced periodic operations of continuous bioprocesses-single input variations. Chem. Eng. Sci. 53(14), 2481-2502 (1998).
68. Ruan, L., Chen, X. D.: Comparison of several periodic operations of a continuous fermentation process. Biotechnol. Prog. 12, 286-288 (1996).
69. Agarwal, P., Koshy, G., Ramirez, M.: An algorithm for operating a fed-batch fermentor at optimum specific growth rate. Biotechnol. Bioeng. 33, 115-125 (1989).
70. Houska, B., Logist, F., van Impe, Y., Diehl, M.: Approximate robust optimization of time-periodic stationary states with application to biochemical processes. In: Proc. 50th IEEE Conf. Decision Control, Shanghai, China, pp. 6280-6285 (2009).
71. Azhmyakov, V., Raisch, J.: Convex control systems and convex optimal control. IEEE Trans. Autom. Control 53(4), 993-998 (2008).
72. Boyd, S., Vandenberghe, L.: Convex Optimization. University Press, Cambridge (2004).