Interest in constrained optimization originated with the simple linear pro gramming model since it was practical and perhaps the only computationally tractable model at the time. Constrained linear optimization models were soon adopted in numerous application areas and are perhaps the most widely used mathematical models in operations research and management science at the time of this writing. Modelers have, however, found the assumption of linearity to be overly restrictive in expressing the real-world phenomena and problems in economics, finance, business, communication, engineering design, computational biology, and other areas that frequently demand the use of nonlinear expressions and discrete variables in optimization models. Both of these extensions of the linear programming model are NP-hard, thus representing very challenging problems. On the brighter side, recent advances in algorithmic and computing technology make it possible to re visit these problems with the hope of solving practically relevant problems in reasonable amounts of computational time. Initial attempts at solving nonlinear programs concentrated on the de velopment of local optimization methods guaranteeing globality under the assumption of convexity. On the other hand, the integer programming liter ature has concentrated on the development of methods that ensure global optima. The aim of this book is to marry the advancements in solving nonlinear and integer programming models and to develop new results in the more general framework of mixed-integer nonlinear programs (MINLPs) with the goal of devising practically efficient global optimization algorithms for MINLPs.

Many engineering, operations, and scientific applications include a mixture of discrete and continuous decision variables and nonlinear relationships involving the decision variables that have a pronounced effect on the set of feasible and optimal solutions. Mixed-integer nonlinear programming (MINLP) problems combine the numerical difficulties of handling nonlinear functions with the challenge of optimizing in the context of nonconvex functions and discrete variables. MINLP is one of the most flexible modeling paradigms available for optimization; but because its scope is so broad, in the most general cases it is hopelessly intractable. Nonetheless, an expanding body of researchers and practitioners — including chemical engineers, operations researchers, industrial engineers, mechanical engineers, economists, statisticians, computer scientists, operations managers, and mathematical programmers — are interested in solving large-scale MINLP instances.

Nonlinearoptimizationproblemscontainingbothcontinuousanddiscretevariables are called mixed integer nonlinear programs (MINLP). Such problems arise in many ?elds, such as process industry, engineering design, communications, and ?nance. There is currently a huge gap between MINLP and mixed integer linear programming(MIP) solvertechnology.With a modernstate-of-the-artMIP solver itispossibletosolvemodelswithmillionsofvariablesandconstraints,whereasthe dimensionofsolvableMINLPsisoftenlimitedbyanumberthatissmallerbythree or four orders of magnitude. It is theoretically possible to approximate a general MINLP by a MIP with arbitrary precision. However, good MIP approximations are usually much larger than the original problem. Moreover, the approximation of nonlinear functions by piecewise linear functions can be di?cult and ti- consuming. In this book relaxation and decomposition methods for solving nonconvex structured MINLPs are proposed. In particular, a generic branch-cut-and-price (BCP) framework for MINLP is presented. BCP is the underlying concept in almost all modern MIP solvers. Providing a powerful decomposition framework for both sequential and parallel solvers, it made the success of the current MIP technology possible. So far generic BCP frameworks have been developed only for MIP, for example,COIN/BCP (IBM, 2003) andABACUS (OREAS GmbH, 1999). In order to generalize MIP-BCP to MINLP-BCP, the following points have to be taken into account: • A given (sparse) MINLP is reformulated as a block-separable program with linear coupling constraints.The block structure makes it possible to generate Lagrangian cuts and to apply Lagrangian heuristics. • In order to facilitate the generation of polyhedral relaxations, nonlinear c- vex relaxations are constructed. • The MINLP separation and pricing subproblems for generating cuts and columns are solved with specialized MINLP solvers.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Global Constraints Optimization and Costraint Satisfaction, COCOS 2002, held in Valbonne-Sophia Antipolis, France in October 2002. The 15 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers address current issues in global optimization, mathematical programming, and constraint programming; they are grouped in topical sections on optimization, constraint satisfaction, and benchmarking.

This volume presents a selection of advanced case studies that address a substantial range of issues and challenges arising in space engineering. The contributing authors are well-recognized researchers and practitioners in space engineering and in applied optimization. The key mathematical modeling and numerical solution aspects of each application case study are presented in sufficient detail. Classic and more recent space engineering problems – including cargo accommodation and object placement, flight control of satellites, integrated design and trajectory optimization, interplanetary transfers with deep space manoeuvres, low energy transfers, magnetic cleanliness modeling, propulsion system design, sensor system placement, systems engineering, space traffic logistics, and trajectory optimization – are discussed. Novel points of view related to computational global optimization and optimal control, and to multidisciplinary design optimization are also given proper emphasis. A particular attention is paid also to scenarios expected in the context of future interplanetary explorations. Modeling and Optimization in Space Engineering will benefit researchers and practitioners working on space engineering applications. Academics, graduate and post-graduate students in the fields of aerospace and other engineering, applied mathematics, operations research and optimal control will also find the book useful, since it discusses a range of advanced model development and solution techniques and tools in the context of real-world applications and new challenges.

This book constitutes the refereed proceedings of the 13th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2008, held in Bertinoro, Italy, in May 2008. The 32 revised full papers presented were carefully reviewed and selected from 95 submissions. The papers cover various aspects of integer programming and combinatorial optimization and present recent developments in theory, computation, and applications in that area. Topics included are such as approximation algorithms, branch and bound algorithms, branch and cut algorithms, computational biology, computational complexity, computational geometry, cutting plane algorithms, diophantine equations, geometry of numbers, graph and network algorithms, integer programming, matroids and submodular functions, on-line algorithms and competitive analysis, polyhedral combinatorics, randomized algorithms, random graphs, scheduling theory and scheduling algorithms, and semidefinite programs.

A unique text covering basic and advanced concepts of optimization theory and methods for process systems engineers. With examples illustrating key concepts and algorithms, and exercises involving theoretical derivations, numerical problems and modeling systems, it is ideal for single-semester, graduate courses in process systems engineering.

Global Optimization has emerged as one of the most exciting new areas of mathematical programming. Global optimization has received a wide attraction from many fields in the past few years, due to the success of new algorithms for addressing previously intractable problems from diverse areas such as computational chemistry and biology, biomedicine, structural optimization, computer sciences, operations research, economics, and engineering design and control. This book contains refereed invited papers submitted at the 4th international confer ence on Frontiers in Global Optimization held at Santorini, Greece during June 8-12, 2003. Santorini is one of the few sites of Greece, with wild beauty created by the explosion of a volcano which is in the middle of the gulf of the island. The mystic landscape with its numerous mult-extrema, was an inspiring location particularly for researchers working on global optimization. The three previous conferences on "Recent Advances in Global Opti mization", "State-of-the-Art in Global Optimization", and "Optimization in Computational Chemistry and Molecular Biology: Local and Global approaches" took place at Princeton University in 1991, 1995, and 1999, respectively. The papers in this volume focus on de terministic methods for global optimization, stochastic methods for global optimization, distributed computing methods in global optimization, and applications of global optimiza tion in several branches of applied science and engineering, computer science, computational chemistry, structural biology, and bio-informatics.

Optimization models based on a nonlinear systems description often possess multiple local optima. The objective of Global Optimization (GO) is to find the best possible solution of multiextremal problems. This volume illustrates the applicability of GO modeling techniques and solution strategies to real-world problems. Coverage extends to a broad range of applications, from agroecosystem management to robot design. Proposed solutions encompass a range of practical and viable methods.

An accessible, easy-to-read introduction to the methods of mixed-integer optimization, with practical applications, real-world operational data, and case studies Interest in model-based approaches for optimizing the design of petroleum refineries has increased throughout the industry in recent years. Mathematical optimization based on mixed-integer programming has brought about the superstructure optimization method for synthesizing petroleum refinery configurations from multiple topological alternatives. Model-Based Optimization for Petroleum Refinery Configuration Design presents a detailed introduction to the use of mathematical optimization to solve both linear and nonlinear problems in the refining industry. The book opens with an overview of petroleum refining processes, basic concepts in mathematical programming, and applications of mathematical programming for refinery optimization. Subsequent chapters address superstructure representations of topological alternatives, mathematical formulation, solution strategies, and various modeling frameworks. Practical case studies demonstrate refinery configuration design, refinery retrofitting, and real-world issues and considerations. Presents linear, nonlinear, and mixed-integer programming approaches applicable to both new and existing petroleum refineries Highlights the benefits of model-based solutions to refinery configuration design problems Features detailed case studies of the development and implementation of optimization models Discusses economic considerations of heavy oil processing, including cash flow analysis of refinery costs and return on capital Includes numerical examples based on real-world operational data and various commercial technologies Model-Based Optimization for Petroleum Refinery Configuration Design is an invaluable resource for researchers, chemical engineers, process and energy engineers, other refining professionals, and advanced chemical engineering students.