Symbolic Preconditioning with Taylor Models: Some Examples

Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, regions without global optima, and regions without critical points; - using interval Newton methods to converge on optimum-containing regions and to verify global optima. There are certain problems for which interval dependency leads to overestimation in the enclosures of the individual components, causing the optimization search to become prohibitively inefficient. As Hansen has observed earlier, in other problems, there isn't overestimation in the individual components, but overestimation is introduced in the preconditioning in the interval Newton method. We examine these issues for a particular nonlinear systems problem that, to date, has defied numerical solution. To reduce overestimation, we use Taylor models. The Taylor models sometimes reduce individual overestimation but, consistent with Hansen�...

• Type: Journal
• Year: 2002
• Where: RC
• Authors: R. Baker Kearfott, G. William Walster
• Keywords: Global Optima, Individual Components, RC 2002, Taylor Models