Deterministic global optimization of nonlinear dynamic systems

AIChE Journal

Volumn 53, Issue 4, 2007, Pages 866-875

  Lin, Youdong ^a   Stadtherr, Mark A ^a  

^a University of Notre Dame   (United States)

Author keywords

Dynamic modeling; Global optimization; Interval analysis; Optimal control; Validated computing

Indexed keywords

INTERVAL ANALYSIS; TAYLOR MODELS; VALIDATED COMPUTING;

COMPUTATION THEORY; CONSTRAINT THEORY; DYNAMIC MODELS; GLOBAL OPTIMIZATION; OPTIMAL CONTROL SYSTEMS; PROBLEM SOLVING;

NONLINEAR SYSTEMS;

COMPUTATION THEORY; CONSTRAINT THEORY; DYNAMIC MODELS; GLOBAL OPTIMIZATION; NONLINEAR SYSTEMS; OPTIMAL CONTROL SYSTEMS; PROBLEM SOLVING;

EID: 34047219435     PISSN: 00011541     EISSN: 15475905     Source Type: Journal    
DOI: 10.1002/aic.11101     Document Type: Article

References (45)

1. Neuman C, Sen A. A suboptimal control algorithm for constraint problems using cubic splines. Automatica. 1973;9:601-613.
2. Tsang TH, Himmelblau DM, Edgar TF. Optimal control via collocation and nonlinear programming. Int J Control. 1975;21:763-768.
3. Brusch R, Schappelle R. Solution of highly constrained optimal control problems using nonlinear programming. AIAA J. 1973;11:135-136.
4. Teo K, Goh G, Wong K. A Unified Computational Approach to Optimal Control Problems, volume 55 of Pitman Monographs and Surveys in Pure and Applied Mathematics. New York, NY: Wiley; 1991.
5. Luus R, Cormack DE. Multiplicity of solutions resulting from the use of variational methods in optimal control problems. Can J Chem Eng. 1972;50:309-311.
6. Esposito WR, Floudas CA. Deterministic global optimization in non-linear optimal control problems. J Global Optim. 2000;17:97-126.
7. Esposito WR, Floudas CA. Global optimization for the parameter estimation of differential-algebraic systems. Ind Eng Chem Res. 2000;39:1291-1310.
8. Adjiman CS, Androulakis IP, Floudas CA, Neumaier A. A global optimization method, αBB, for general twice-differentiable NLPs-I. Theoretical advances. Comput Chem Eng. 1998;22:1137-1158.
9. Adjiman CS, Dallwig S, Floudas CA, Neumaier A. A global optimization method, αBB, for general twice-differentiable NLPs-II. Implementation and computational results. Comput Chem Eng. 1998;22:1159-1179.
10. Papamichail I, Adjiman CS. A rigorous global optimization algorithm for problems with ordinary differential equations. J Global Optim. 2002;24:1-33.
11. Chachuat B, Latifi MA. A new approach in deterministic global optimisation of problems with ordinary differential equations. In: Floudas CA, Pardalos PM, eds., Frontiers in Global Optimization. Dordrecht, The Netherlands: Kluwer Academic Publishers, 2004;83-108.
12. Papamichail I, Adjiman CS. Global optimization of dynamic systems. Comput Chem Eng. 2004;28:403-415.
13. Singer AB, Barton PI. Global optimization with nonlinear ordinary differential equations. J Global Optim. 2006;34:159-190.
14. Singer AB, Barton PI. Bounding the solutions of parameter dependent nonlinear ordinary differential equations. SIAM J Sci Comput. 2006;27:2167-2182.
15. Singer AB. Global Dynamic Optimization. Ph.D. thesis. Massachusetts Institute of Technology, Cambridge, MA, 2004.
16. Sahinidis, NV, Bliek C, Jermann C, Neumaier A. Global optimization and constraint satisfaction: The branch-and-reduce approach. Lea Notes Comput Sci. 2003;2861:1-16.
17. Lin Y, Stadtherr MA. Validated solutions of initial value problems for parametric DDEs. Appl Numer Math. 2007; in press. DOI number doi:10.1016/j.apnum.2006.10.006
18. Rauh A, Minisini J, Hofer EP. Interval techniques for design of optimal and robust control strategies. Presented at: 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2006). Duisburg, Germany, September 2006.
19. Hansen E, Walster GW. Global Optimization Using Interval Analysis. New York, NY: Marcel Dekker; 2004.
20. Jaulin L, Kieffer M, Didrit O, Walter É. Applied Interval Analysis. London, UK: Springer-Verlag; 2001.
21. Kearfott RB. Rigorous Global Search: Continuous Problems. Dordrecht, The Netherlands: Kluwer Academic Publishers; 1996.
22. Neumaier A. Interval Methods for Systems of Equations. Cambridge, UK: Cambridge University Press; 1990.
23. Makino K, Berz M. Remainder differential algebras and their applications. In: Berz M, Bishof C, Corliss G, Griewank A, eds., Computational Differentiation: Techniques, Applications, and Tools. Philadelphia, PA: SIAM, 1996;63-74.
24. Makino K, Berz M. Efficient control of the dependency problem based on Taylor model methods. Reliab Comput. 1999;5:3-12.
25. Makino K, Berz M. Taylor models and other validated functional inclusion methods. Int J Pure Appl Math. 2003;4:379-456.
26. Revol N, Makino K, Berz M. Taylor models and floating-point arithmetic: Proof that arithmetic operations are validated in COSY. J Logic Algebr Progr. 2005;64:135-154.
27. Makino K. Rigorous Analysis of Nonlinear Motion in Particle Accelerators. Ph.D. thesis, Michigan State University, East Lansing, Michigan, USA, 1998.
28. Neumaier A. Taylor forms - Use and limits. Reliab Comput. 2003;9:43-79.
29. Makino K, Berz M. Taylor model range bounding schemes. Presented at: Third International Workshop on Taylor Methods. Miami Beach, FL, December, 2004.
30. Moore RE. Interval Analysis. Englewood Cliffs, NJ: Prentice-Hall, 1966.
31. Nedialkov NS, Jackson KR, Corliss GF. Validated solutions of initial value problems for ordinary differential equations. Appl Math Comput. 1999;105:21-68.
32. Eijgenraam P. The solution of initial value problems using interval arithmetic. Mathematical Centre Tracts No. 144, Stichting Mathematisch Centrum, Amsterdam, The Netherlands, 1981.
33. Lohner RJ. Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher E, Kulisch U, Ullrich C, eds., Computer Arithmetic: Scientific Computation and Programming Languages. Stuttgart, Germany: Teubner; 1987;255-286.
34. Nedialkov NS, Jackson KR. Some recent advances in validated methods for IVPs for ODEs. Appl Numer Math. 2002;42:269-284.
35. Nedialkov NS, Jackson KR, Pryce JD. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliab Comput. 2001;7:449-465.
36. Janssen M, Hentenryck PV, Deville Y. A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. SIAM J Numer Anal. 2002;40:1896-1939.
37. Berz M, Makino K. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliab Comput. 1998;4:361-369.
38. Neher M, Jackson KR, Nedialkov NS. On Taylor model based integration of ODEs. SIAM J Numer Anal. 2007;45:236-262.
39. Corliss GF, Rihm R. Validating an a priori enclosure using high-order Taylor series. In: Alefeld G, Frommer A, eds., Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN'95). Berlin, Germany: Akademie Verlag, 1996;228-238.
40. Lin Y, Stadtherr MA. Deterministic global optimization for parameter estimation of dynamic systems. Ind Eng Chem Res. 2006;45:8438-8448.
41. Byrd RH, Lu P, Nocedal J, Zhu C. A limited memory algorithm for bound constrained optimization. SIAM J Sci Comput. 1995;16:1190-1208.
42. Brenan KE, Campbell SL, Petzold LR. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. Philadelphia, PA: SIAM; 1996.
43. Luus R. Optimal control by dynamic programming using systematic reduction in grid size. Int J Control. 1990;5:995-1013.
44. Singer AB. Personal communication; 2006.
45. Floudas CA, Pardalos PM, Adjiman CS, Esposito WR, Gumus ZH, Hording ST, Kiepeis JL, Meyer CA, Schweiger CA. Handbook of Test Problems in Local and Global Optimization. Dordrecht, The Netherlands: Kluwer Academic Publishers; 1999.