Rigorous global search: continuous problems

From MaRDI portal
Publication:1353367

zbMath0876.90082MaRDI QIDQ1353367

Ralph Baker Kearfott

Publication date: 29 April 1997

Published in: Nonconvex Optimization and Its Applications (Search for Journal in Brave)




Related Items

A new exclusion test., Improved validated bounds for Taylor coefficients and for Taylor remainder series, Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization, A new multi-section based technique for constrained optimization problems with interval-valued objective function, Solution of linear differential equations with fuzzy boundary values, Simulation of discrete linear time-invariant fuzzy dynamic systems, A second-order pruning step for verified global optimization, Contractor programming, Numerical verification methods for spherical \(t\)-designs, On verified numerical computations in convex programming, Always convergent methods for nonlinear equations of several variables, Reliable modeling and optimization for chemical engineering applications: Interval analysis approach, Location equilibria for a continuous competitive facility location problem under delivered pricing, The small octagon with longest perimeter, Monte-Carlo-type techniques for processing interval uncertainty, and their potential engineering applications, A planar single-facility competitive location and design problem under the multi-deterministic choice rule, An efficient and safe framework for solving optimization problems, Two acceleration mechanisms in verified global optimization, A certified numerical algorithm for the topology of resultant and discriminant curves, Solving a huff-like competitive location and design model for profit maximization in the plane, Some variants of the controlled random search algorithm for global optimization, Solving interval constraints by linearization in computer-aided design, A new exclusion test for finding the global minimum, General solutions of fully fuzzy linear systems, A literature review on circle and sphere packing problems: models and methodologies, Certificates of infeasibility via nonsmooth optimization, Planar location and design of a new facility with inner and outer competition: an interval lexicographical-like solution procedure, On smooth reformulations and direct non-smooth computations for minimax problems, A certified branch \& bound approach for reliability-based optimization problems, On the algebraic solution of fuzzy linear systems based on interval theory, Nonsmooth exclusion test for finding all solutions of nonlinear equations, A new approach to fuzzy initial value problem, A new approach to obtain algebraic solution of interval linear systems, Study of multiscale global optimization based on parameter space partition, Global optimization of nonlinear least-squares problems by branch-and-bound and optimality constraints, Numerical solution for bounding feasible point sets, A class of problems that can be solved using interval algorithms, Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm, Probability bounds analysis for nonlinear population ecology models, Efficient importance sampling in low dimensions using affine arithmetic, Heuristic rejection in interval global optimization, Domain reduction techniques for global NLP and MINLP optimization, A method to find all the roots of the system of nonlinear algebraic equations based on the Krawczyk operator, Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods, Efficient and accurate computation of upper bounds of approximation errors, Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems, Interval additive generators of interval t-norms and interval t-conorms, Competitive facility location and design with reactions of competitors already in the market, Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization, Fuzzy symmetric solutions of fuzzy matrix equations, A metaheuristic methodology based on the limitation of the memory of interval branch and bound algorithms, An alternative optimization technique for interval objective constrained optimization problems via multiobjective programming, On first zero crossing points., Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control, Certified error bounds for uncertain elliptic equations, The semi-continuous quadratic mixture design problem: description and branch-and-bound approach, Upper bounding in inner regions for global optimization under inequality constraints, A reliable affine relaxation method for global optimization, On constrained optimization by interval arithmetic and interval order relations, Solution method for a boundary value problem with fuzzy forcing function, A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems, Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization, Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models, A general method for enclosing solutions of interval linear equations, The extrapolated interval global optimization algorithm, On the complexity of exclusion algorithms for optimization, Verifying topological indices for higher-order rank deficiencies, On the complexity of isolating real roots and computing with certainty the topological degree, Stability analysis and synthesis of multivariable fuzzy systems using interval arithmetic, Some global optimization problems on Stiefel manifolds, Fuzzy symmetric solutions of fuzzy linear systems, Maximal- and minimal symmetric solutions of fully fuzzy linear systems, Zones and integrals, A rigorous global filtering algorithm for quadratic constraints, An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions, A simplicial branch-and-bound algorithm for solving quadratically constrained quadratic programs, A comparison of complete global optimization solvers, Set membership parameter estimation of fractional models based on bounded frequency domain data, On interval fuzzy negations, Parametric functional representation of interval number with arithmetic operations, Comparison between Baumann and admissible simplex forms in interval analysis, A framework for existence tests based on the topological degree and homotopy, A new method for solving interval and fuzzy equations: linear case, Slope enclosures for functions given by two or more branches, A hybrid global optimization method: The multi-dimensional case, INTOPT_90, On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems, Fast construction of constant bound functions for sparse polynomials, An efficient algorithm for range computation of polynomials using the Bernstein form, On proving existence of feasible points in equality constrained optimization problems, The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: the case of the IN/GB method, Passive robust fault detection using fuzzy parity equations, Interval mathematics, algebraic equations and optimization, On bounding zeros of analytic functions, A hybrid global optimization method: The one-dimensional case, Creating and handling box valued functions used in numerical methods, A realistic (non-associative) logic and a possible explanations of \(7\pm 2\) law, Accelerating filtering techniques for numeric CSPs, Efficient task scheduling in the parallel result-verifying solution of nonlinear systems, Solving planning and design problems in the process industry using mixed integer and global optimization, Interval unions, Algorithmic differentiation techniques for global optimization in the COCONUT environment, Existence verification for singular and nonsmooth zeros of real nonlinear systems, On-line algorithms for computing mean and variance of interval data, and their use in intelligent systems, Computing slope enclosures by exploiting a unique point of inflection, Robustness and Randomness, An efficient algorithm for globally minimizing sum of quadratic ratios problem with nonconvex quadratic constraints, A new robust algorithm to trace curves, Numerical certification of Pareto optimality for biobjective nonlinear problems, Validated solutions of initial value problems for parametric ODEs, Piecewise linear bounding functions in univariate global optimization, A Deterministic Algorithm for Global Optimization, On interval branch-and-bound for additively separable functions with common variables, A stochastic optimization algorithm for analyzing planar central and balanced configurations in the \(n\)-body problem, Deterministic global optimization in ab-initio quantum chemistry, Interval linear systems as a necessary step in fuzzy linear systems, Verified Solution Method for Population Epidemiology Models with Uncertainty, Interval Input and Output, Interval Methods for Global Optimization Using the Boxing Method, A Branch-and-Prune Method for Global Optimization, Verified Determination of Singularities in Chemical Processes, New parameterized solution with application to bounding secondary variables in FE models of structures, Using interval unions to solve linear systems of equations with uncertainties, A new neural network model for solving random interval linear programming problems, Rigorous packing of unit squares into a circle, A new methodology for solving fuzzy systems of equations: thick fuzzy sets based approach, A Hybrid Subdivision Strategy for Result-Verifying Nonlinear Solvers, Stationary modes for vector nonlinear Schrödinger-type equations: a numerical procedure for complete search and its mathematical background, A survey of interval algorithms for solving multicriteria analysis problems, Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming, Comparison of Simulated Annealing, Interval Partitioning and Hybrid Algorithms in Constrained Global Optimization, Interval Additive Generators of Interval T-Norms, Robot workspace approximation with modified bicentered Krawczyk method, About tracing problems in dynamic geometry, A rigorous deterministic global optimization approach for the derivation of secondary information in digital maps, A deterministic approach to global box-constrained optimization, Balanced random interval arithmetic in market model estimation, Unnamed Item, Template generation for continuous transfer functions using interval analysis, Deterministic global optimization using interval constraint propagation techniques, The 1-center problem in the plane with independent random weights, A goal programming approach for solving the random interval linear programming problem, Improving the efficiency of exclusion algorithms, Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm, Obtaining an outer approximation of the efficient set of nonlinear biobjective problems, Mathematically Rigorous Global Optimization and Fuzzy Optimization, Berechenbare Schranken von Taylorkoeffizienten analytischer Funktionen, Global Optimization in Practice:State of the Art and Perspectives, A verified method for solving piecewise smooth initial value problems, On rigorous upper bounds to a global optimum, Exclusion regions for optimization problems, Computing the pessimism of inclusion functions, Verification for existence of solutions of linear complementarity problems, Quasiconvex relaxations based on interval arithmetic, A verified inexact implicit Runge-Kutta method for nonsmooth ODEs, Exact bounds on finite populations of interval data, Improved Automatic Computation of Hessian Matrix Spectral Bounds, The dodecahedral conjecture, New interval methods for constrained global optimization, Fast algorithm for computing the upper endpoint of sample variance for interval data: Case of sufficiently accurate measurements, Complex interval arithmetic using polar form, Fuzzy linear systems of the form \(A_{1}x+b_{1}=A_{2}x+b_{2}\), On the efficient Gerschgorin inclusion usage in the global optimization \(\alpha\)BB method, Lipschitz continuity and the termination of interval methods for global optimization, \textsc{AbsTaylor}: upper bounding with inner regions in nonlinear continuous global optimization problems, A multidimensional interval Newton method, Computational experience with rigorous error bounds for the Netlib linear programming library, A standard branch-and-bound approach for nonlinear semi-infinite problems, Reachability Analysis and Deterministic Global Optimization of DAE Models, An extension of the \(\alpha\mathrm{BB}\)-type underestimation to linear parametric Hessian matrices, Interval arithmetic error estimation for the solution of Fredholm integral equation, An interval branch and bound method for global robust optimization, On new methods to construct lower bounds in simplicial branch and bound based on interval arithmetic, Sums and products of intervals in ordered groups and fields, Composite Optimization by Nonconvex Majorization-Minimization, Method for localizing the zeros of analytic functions based on the Krawczyk operator, FDI Approach, Bipolar fuzzy linear system of equations, Automatic loop shaping in QFT using hybrid optimization and constraint propagation techniques, Validated constraints solving --- practicalities, pitfalls, and new developments, An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems, Extended Nondominated Sorting Genetic Algorithm (ENSGA-II) for Multi-Objective Optimization Problem in Interval Environment, Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization, Optimal centers in branch-and-prune algorithms for univariate global optimization, Motivations for an arbitrary precision interval arithmetic and the MPFI library, Second-order bounds for linear recurrences with negative coefficients, A new inclusion function for optimization: kite -- the one-dimensional case, On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach, Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints, Rigorous Global Optimization for Collision Risk Assessment on Perturbed Orbits, Model Development and Optimization for Space Engineering: Concepts, Tools, Applications, and Perspectives, Interval oriented entropy based multi-item solid transportation problem with budget and breakability


Uses Software