TY - GEN A1 - Henrion, Rene A1 - Li, Pu A1 - Möller, Andris A1 - Steinbach, Marc A1 - Wendt, Moritz A1 - Wozny, Günter T1 - Stochastic Optimization for Operating Chemical Processes Under Uncertainty N2 - Mathematical optimization techniques are on their way to becoming a standard tool in chemical process engineering. While such approaches are usually based on deterministic models, uncertainties such as external disturbances play a significant role in many real-life applications. The present article gives an introduction to practical issues of process operation and to basic mathematical concepts required for the explicit treatment of uncertainties by stochastic optimization. T3 - ZIB-Report - 01-04 KW - Uncertainty KW - Chemical Processes KW - Multistage Stochastic Programs KW - Probabilistic Constraints Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6304 ER - TY - GEN A1 - Garrido, Izaskun A1 - Steinbach, Marc T1 - A Multistage Stochastic Programming Approach in Real-Time Process Control N2 - Standard model predictive control for real-time operation of industrial production processes may be inefficient in the presence of substantial uncertainties. To avoid overly conservative disturbance corrections while ensuring safe operation, random influences should be taken into account explicitly. We propose a multistage stochastic programming approach within the model predictive control framework and apply it to a distillation process with a feed tank buffering external sources. A preliminary comparison to a probabilistic constraints approach is given and first computational results for the distillation process are presented. T3 - ZIB-Report - 01-05 KW - Process Control KW - Real-Time Optimization KW - Multistage Stochastic Programming Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6317 ER - TY - GEN A1 - Steinbach, Marc T1 - Tree-Sparse Convex Programs N2 - Dynamic stochastic programs are prototypical for optimization problems with an inherent tree structure inducing characteristic sparsity patterns in the KKT systems of interior methods. We propose an integrated modeling and solution approach for such tree-sparse programs. Three closely related natural formulations are theoretically analyzed from a control-theoretic viewpoint and compared to each other. Associated KKT solution algorithms with linear complexity are developed and comparisons to other interior approaches and related problem formulations are discussed. T3 - ZIB-Report - 01-08 KW - Convex program KW - tree KW - discrete-time optimal control multistage stochastic program KW - recursive factorization KW - local projection Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6340 ER - TY - GEN A1 - Helmberg, Christoph T1 - Numerical Evaluation of SBmethod N2 - We report numerical results for SBmethod --- a publically available implementation of the spectral bundle method --- applied to the 7$^{th}$ DIMACS challenge test sets that are semidefinite relaxations of combinatorial optimization problems. The performance of the code is heavily influenced by parameters that control bundle update and eigenvalue computation. Unfortunately, no mathematically sound guidelines for setting them are known. Based on our experience with SBmethod, we propose heuristics for dynamically updating the parameters as well as a heuristc for improving the starting point. These are now the default settings of SBmethod Version 1.1. We compare their performance on the DIMACS instances to our previous best choices for Version 1.0. SBmethod Version 1.1 is also part of the independent DIMACS benchmark by H.~Mittelmann. Based on these results we try to analyze strengths and weaknesses of our approach in comparison to other codes for large scale semidefinite programming. T3 - ZIB-Report - 01-37 KW - semidefinite programming KW - large scale methods KW - computational KW - semidefinite relaxations Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6637 ER - TY - GEN A1 - Helmberg, Christoph T1 - A Cutting Plane Algorithm for Large Scale Semidefinite Relaxations N2 - The recent spectral bundle method allows to compute, within reasonable time, approximate dual solutions of large scale semidefinite quadratic 0-1 programming relaxations. We show that it also generates a sequence of primal approximations that converge to a primal optimal solution. Separating with respect to these approximations gives rise to a cutting plane algorithm that converges to the optimal solution under reasonable assumptions on the separation oracle and the feasible set. We have implemented a practical variant of the cutting plane algorithm for improving semidefinite relaxations of constrained quadratic 0-1 programming problems by odd-cycle inequalities. We also consider separating odd-cycle inequalities with respect to a larger support than given by the cost matrix and present a heuristic for selecting this support. Our preliminary computational results for max-cut instances on toroidal grid graphs and balanced bisection instances indicate that warm start is highly efficient and that enlarging the support may sometimes improve the quality of relaxations considerably. T3 - ZIB-Report - 01-26 KW - bisection KW - equicut KW - max-cut KW - semidefinite programming KW - spectral bundle method KW - subgradient method KW - quadratic 0-1 programming Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6527 ER -