Abstract
Certain practical constrained global optimization problems have to date defied practical solution with interval branch and bound methods. The exact mechanism causing the difficulty has been difficult to pinpoint. Here, an example is given where the equality constraint set has higher-order singularities and degenerate manifolds of singularities on the feasible set. The reason that this causes problems is discussed, and ways of fixing it are suggested.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Corliss, G. F.: GlobSol Entry Page, 1998, http://www.mscs.mu.edu/?globsol/.
Corliss, G. F. and Kearfott, R.B.:RigorousGlobal Search: IndustrialApplications, in: Csendes, T. (ed.), Developments in Reliable Computing, Kluwer Academic Publishers, Dordrecht, 2000, pp. 1-16.
Dian, J.: Existence Verification of HigherDegree Singular Zeros of Nonlinear Systems,University of Louisiana at Lafayette, 2000.
Hansen, E. R.: Global Optimization Using Interval Analysis, Marcel Dekker, New York, 1992.
Kearfott, R. B.: On Proving Existence of Feasible Points in Equality Constrained Optimization Problems, Math. Prog. 83 (1) (1998), pp. 89-100.
Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, 1996.
Kearfott, R. B. and Arazyan, A.: Taylor Series Models in Deterministic Global Optimization, in: Corliss, G. F.: Proceedings of Automatic Differentiation 2000: From Simulation to Optimization, Springer-Verlag, New York, 2000.
Kearfott, R. B. and Dian, J.: An Iterative Method for Finding Approximate Feasible Points, Preprint, Department of Mathematics, Univ. of Southwestern Louisiana, 1998, http://interval.louisiana.edu/GlobSol/Dian-approximate-optimizer.pdf.
Kearfott, R. B., Dian, J. and Neumaier, A.: Existence Verification for Singular Zeros of Complex Nonlinear Systems, SIAM J. Numer. Anal. 38 (2) (2000), pp. 360-379.
Makino, K. and Berz, M.: New Applications of Taylor Model Methods, in: Corliss, G. F.: Proceedings of Automatic Differentiation 2000: From Simulation to Optimization, Springer-Verlag, New York, 2000.
Van Hentenryck, P., Michel, L., and Deville, Y.: Numerica: A Modeling Language for Global Optimization, MIT Press, Cambridge, MA, 1997.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kearfott, R.B. An Example of Singularity in Nonlinear Systems. Reliable Computing 7, 425–429 (2001). https://doi.org/10.1023/A:1011484228528
Issue Date:
DOI: https://doi.org/10.1023/A:1011484228528