logmip: a disjunctive 0–1 non-linear optimizer for process system models
- 1 May 1999
- journal article
- Published by Elsevier BV in Computers & Chemical Engineering
- Vol. 23 (4-5), 555-565
- https://doi.org/10.1016/s0098-1354(98)00293-2
Abstract
Discrete-continuous non-linear optimization models are frequently used to formulate problems in process system engineering. Major modeling alternatives and solution algorithms include generalized disjunctive programming and mixed integer non-linear programming (MINLP). Both have advantages and drawbacks depending on the problem they are dealing with. In this work, we describe the theory behind logmip , a new computer code for disjunctive programming and MINLP. We discuss a hybrid modeling framework that combines both approaches, allowing binary variables and disjunctions for expressing discrete choices. An extension of the logic-based outer approximation (OA) algorithm has been implemented to solve the proposed hybrid model. Computational experience is reported on several examples, which are solved using disjunctive, MINLP and hybrid formulations.Keywords
This publication has 7 references indexed in Scilit:
- Logic-based MINLP algorithms for the optimal synthesis of process networksComputers & Chemical Engineering, 1996
- The joint problem of model structure determination and parameter estimation in quantitative IR spectroscopyChemometrics and Intelligent Laboratory Systems, 1995
- Mixed-integer nonlinear programming techniques for process systems engineeringComputers & Chemical Engineering, 1995
- Modelling and computational techniques for logic based integer programmingComputers & Chemical Engineering, 1994
- A combined penalty function and outer-approximation method for MINLP optimizationComputers & Chemical Engineering, 1990
- A modelling and decomposition strategy for the minlp optimization of process flowsheetsComputers & Chemical Engineering, 1989
- Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization ProblemsSIAM Journal on Algebraic Discrete Methods, 1985