Convex/concave relaxations of parametric ODEs using Taylor models

Computers and Chemical Engineering

Volumn 35, Issue 5, 2011, Pages 844-857

  Sahlodin, A M ^a   Chachuat, B ^a,b  

^a MCMASTER UNIVERSITY   (Canada)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Convex relaxations; Dynamic optimization; Global optimization; Interval analysis; Ordinary differential equations; Taylor models

Indexed keywords

CONVEX RELAXATION; DYNAMIC OPTIMIZATION; INTERVAL ANALYSIS; INTERVAL BOUNDS; NONLINEAR ODES; OBJECT ORIENTED; OPERATOR OVERLOADING; RELAX METHOD; SECOND PHASE; TAYLOR MODELS; TIME STEP;

ALGORITHMS; CONVEX OPTIMIZATION; GLOBAL OPTIMIZATION; MATHEMATICAL OPERATORS; OPTIMIZATION; RELAXATION PROCESSES;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 79954618360     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compchemeng.2011.01.031     Document Type: Article

References (44)

1. Adjiman C.S., Dallwig S., Floudas C.A., Neumaier A. A global optimization method αBB, for general twice-differentiable constrained NLPs - I. Theoretical advances. Computers and Chemical Engineering 1998, 22(9):1137-1158.
2. Alefeld G., Mayer G. Interval analysis: Theory and applications. Journal of Computational and Applied Mathematics 2000, 121:421-464.
3. Berz M. From taylor series to taylor models. Nonlinear problems in accelerator physics 1997, 1-27. American Institute of Physics CP405.
4. Berz M., Makino K. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor series. Reliable Computing 1998, 4:361-369.
5. Berz M., Makino K. Performance of taylor model methods for validated integration of ODEs. Lecture Notes in Computer Science 2006, 3732:65-74.
6. Chachuat B., Latifi M.A. A new approach in deterministic global optimization of problems with ordinary differential equations. Nonconvex optimization and its applications 2003, Vol. 74:83-108. Kluwer Academic Publishers. C.A. Floudas, P.M. Pardalos (Eds.).
7. Chachuat B., Singer A.B., Barton P.I. Global mixed-integer dynamic optimization. AIChE Journal 2005, 51(8):2235-2253.
8. Chachuat B., Singer A.B., Barton P.I. Global methods for dynamic optimization and mixed-integer dynamic optimization. Industrial and Engineering Chemistry Research 2006, 45(25):8373-8392.
9. Corliss G.F., Rihm R. Validating an a priori enclosure using high-order Taylor series. Scientific computing and validated numerics: Proceedings of the international symposium on scientific computing, computer arithmetic and validated numerics - SCAN'95. 1996, 228-238. Akademie Verlag, Berlin, Germany. G. Alefeld, A. Frommer, B. Lang (Eds.).
10. Eble I. Über taylor-modelle. Ph.D. thesis 2007, Universität Karlsruhe, Germany.
11. Esposito W.R., Floudas C.A. Global optimization for the parameter estimation of differential-algebraic systems. Industrial and Engineering Chemistry Research 2000, 39(5):1291-1310.
12. Floudas C.A., Pardalos P.M., Adjiman C.S., Esposito W.R., Gumus Z.H., Harding S.T., Klepeis J.L., Meyer C.A., Schweiger C.A. Handbook of test problems in local and global optimization 1999, Kluwer Academic Publishers, Dordrecht, The Netherlands.
13. Harrison, G. W. (1977). Dynamic models with uncertain parameters. In: X. Avula (Ed.), Proc. 1st Intl. Conf. mathematical modeling. Vol. 1 (pp. 295-304).
14. Hiriart-Urruty J.-B., Lemarechal C. Fundamentals of convex analysis 2001, Springer-Verlag, Berlin.
15. Jackson K.R., Nedialkov N.S. Some recent advances in validated methods for IVPs for ODEs. Applied Numerical Mathematics 2002, 42:269-284.
16. Kearfott R.B. Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization. Optimization Methods & Software 2006, 21:715-731.
17. Kieffer M., Walter E. Guaranteed estimation of the parameters of nonlinear continuous-time models: Contribution of interval analysis. International Journal of Adaptive Control and Signal Processing 2010.
18. Lee C.K., Barton P.I. Global optimization of linear hybrid systems with varying transition times. SIAM Journal on Control and Optimization 2008, 47(2):791-816.
19. Lin Y., Stadtherr M.A. Deterministic global optimization of nonlinear dynamic systems. AIChE Journal 2007, 53(4):866-875.
20. Lin Y., Stadtherr M.A. Validated solutions of initial value problems for parametric ODEs. Applied Numerical Mathematics 2007, 57(10):1145-1162.
21. Lohner R.J. Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. Computational ordinary differential equations. 1992, Vol. 1:425-436. Clarendon Press.
22. Makino K., Berz M. Efficient control of the dependency problem based on taylor model methods. Reliable Computing 1999, 5(1):3-12.
23. Makino K., Berz M. Taylor models and other validated functional methods. International Journal of Pure & Applied Mathematics 2003, 4:379-456.
24. McCormick G.P. Computability of global solutions to factorable nonconvex programs: Part I - Convex underestimating problems. Mathematical Programming 1976, 10:147-175.
25. Mitsos A., Chachuat B., Barton P.I. McCormick-based relaxations of algorithms. SIAM Journal on Optimization 2009, 20(2):573-601.
26. Mitsos A., Chachuat B., Barton P.I. Towards global bilevel dynamic optimization. Journal of Global Optimization 2009, 45(1):63-93.
27. Moore R.E., Kearfott R.B., Cloud M.J. Introduction to interval analysis 2009, SIAM, Philadelphia, PA.
28. Nedialkov N.S., Jackson K.R., Corliss G.F. Validated solution of initial value problems for ordinary differential equations. Applied Mathematics and Computation 1999, 105:21-68.
29. Nedialkov N.S., Jackson K.R., Pryce J.D. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliable Computing 2001, 7:449-465.
30. Neher M., Jackson K.R., Nedialkov N.S. On Taylor model based integration of ODEs. SIAM Journal on Numerical Analysis 2007, 45:236-262.
31. Neumaier A. Taylor forms - Use and limits. Reliable Computing 2002, 9(1):43-79.
32. Papamichail I., Adjiman C.S. A rigorous global optimization algorithm for problems with ordinary differential equations. Journal of Global Optimization 2002, 24:1-33.
33. Ramdani N., Meslem N., Candau Y. A hybrid bounding method for computing an over-approximation for the reachable set of uncertain nonlinear systems. IEEE Transactions on Automatic Control 2009, 54(10):2352-2364.
34. Rauh A., Hofer E.P., Auer E. VALENCIA-IVP: A comparison with other initial value problem solvers. Proc. 12th Int. Symp. GAMM-IMACS 2006.
35. Rihm R. On a class of enclosure methods for initial value problems. Computing 1994, 53:369-377.
36. Sahlodin A., Chachuat B. Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs. Applied Numerical Mathematics 2010, in press, doi:10.1016/j.apnum.2011.01.009.
37. Scott J.K., Barton P.I. Tight, efficient bounds on the solutions of chemical kinetics models. Computers and Chemical Engineering 2010, 34(5):717-731.
38. Scott J.K., Chachuat B., Barton P.I. Nonlinear convex and concave relaxations for the solutions of parametric ODEs. SIAM Journal on Control and Optimization 2010.
39. Scott, J. K., Stuber, M. D., Barton, P. I. (2010). Generalized McCormick relaxations. Journal of Global Optimization; in press, doi:10.1007/s10898-011-9664-7.
40. Singer A.B., Barton P.I. Bounding the solutions of parameter dependent nonlinear ordinary differential equations. SIAM Journal on Scientific Computing 2006, 27(6):2167-2182.
41. Singer A.B., Barton P.I. Global optimization with nonlinear ordinary differential equations. Journal of Global Optimization 2006, 34(2):159-190.
42. Smith E.M.B., Pantelides C.C. A symbolic reformulation/spatial branch-and-bound algorithm for the global optimisation of nonconvex MINLPs. Computers and Chemical Engineering 1999, 23:457-478.
43. Tawarmalani M., Sahinidis N.V. Convexification and global optimization in continuous and mixed-integer nonlinear programming: Theory, algorithms, software, and applications. Nonconvex optimization and its applications 2002, Kluwer Academic Publishers, Boston, MA.
44. Walter W. Differential and integral inequalities 1970, Springer-Verlag, Berlin, Germany.