Pyomo.GDP: an ecosystem for logic based modeling and optimization development

Chen, Qi; Johnson, Emma S.; Bernal, David E.; Valentin, Romeo; Kale, Sunjeev; Bates, Johnny; Siirola, John D.; Grossmann, Ignacio E.

doi:10.1007/s11081-021-09601-7

Pyomo.GDP: an ecosystem for logic based modeling and optimization development

Journal Article · Fri Apr 23 00:00:00 EDT 2021 · Optimization and Engineering

DOI:https://doi.org/10.1007/s11081-021-09601-7· OSTI ID:1781543

Chen, Qi ^[1]; Johnson, Emma S. ^[2]; Bernal, David E. ^[1]; Valentin, Romeo ^[1]; Kale, Sunjeev ^[1]; Bates, Johnny ^[1]; Siirola, John D. ^[2]; Grossmann, Ignacio E. ^[1]

Carnegie Mellon Univ., Pittsburgh, PA (United States)
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

We present three core principles for engineering-oriented integrated modeling and optimization tool sets—intuitive modeling contexts, systematic computer-aided reformulations, and flexible solution strategies—and describe how new developments in Pyomo.GDP for Generalized Disjunctive Programming (GDP) advance this vision. We describe a new logical expression system implementation for Pyomo.GDP allowing for a more intuitive description of logical propositions. The logical expression system supports automated reformulation of these logical constraints to linear constraints. We also describe two new logic-based global optimization solver implementations built on Pyomo.GDP that exploit logical structure to avoid “zero-flow” numerical difficulties that arise in nonlinear network design problems when nodes or streams disappear. These new solvers also demonstrate the capability to link to external libraries for expanded functionality within an integrated implementation. We present these new solvers in the context of a flexible array of solution paths available to GDP models. Finally, we present results on a new library of GDP models demonstrating the value of multiple solution approaches.

View Accepted Manuscript (DOE)

Research Organization:: Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)

Sponsoring Organization:: USDOE National Nuclear Security Administration (NNSA); USDOE Office of Fossil Energy (FE)

Grant/Contract Number:: AC04-94AL85000; NA0003525

OSTI ID:: 1781543

Report Number(s):: SAND--2021-1731J; 694272

Journal Information:: Optimization and Engineering, Journal Name: Optimization and Engineering Journal Issue: 1 Vol. 23; ISSN 1389-4420

Publisher:: SpringerCopyright Statement

Country of Publication:: United States

Language:: English

References (43)

Systematic modeling of discrete-continuous optimization models through generalized disjunctive programming Grossmann, Ignacio E.; Trespalacios, Francisco AIChE Journal, Vol. 59, Issue 9 https://doi.org/10.1002/aic.14088	journal	May 2013
Review of Mixed-Integer Nonlinear and Generalized Disjunctive Programming Methods Trespalacios, Francisco; Grossmann, Ignacio E. Chemie Ingenieur Technik, Vol. 86, Issue 7 https://doi.org/10.1002/cite.201400037	journal	June 2014
Pyomo — Optimization Modeling in Python Hart, William E.; Laird, Carl D.; Watson, Jean-Paul Springer Optimization and Its Applications https://doi.org/10.1007/978-3-319-58821-6	book	January 2017
An outer-approximation algorithm for a class of mixed-integer nonlinear programs Duran, Marco A.; Grossmann, Ignacio E. Mathematical Programming, Vol. 36, Issue 3 https://doi.org/10.1007/BF02592064	journal	October 1986
On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming Wächter, Andreas; Biegler, Lorenz T. Mathematical Programming, Vol. 106, Issue 1 https://doi.org/10.1007/s10107-004-0559-y	journal	April 2005
A polyhedral branch-and-cut approach to global optimization Tawarmalani, Mohit; Sahinidis, Nikolaos V. Mathematical Programming, Vol. 103, Issue 2 https://doi.org/10.1007/s10107-005-0581-8	journal	May 2005
Perspective reformulations of mixed integer nonlinear programs with indicator variables Günlük, Oktay; Linderoth, Jeff Mathematical Programming, Vol. 124, Issue 1-2 https://doi.org/10.1007/s10107-010-0360-z	journal	May 2010
On mathematical programming with indicator constraints Bonami, Pierre; Lodi, Andrea; Tramontani, Andrea Mathematical Programming, Vol. 151, Issue 1 https://doi.org/10.1007/s10107-015-0891-4	journal	March 2015
On handling indicator constraints in mixed integer programming Belotti, Pietro; Bonami, Pierre; Fischetti, Matteo Computational Optimization and Applications, Vol. 65, Issue 3 https://doi.org/10.1007/s10589-016-9847-8	journal	May 2016
Domain reduction techniques for global NLP and MINLP optimization Puranik, Yash; Sahinidis, Nikolaos V. Constraints, Vol. 22, Issue 3 https://doi.org/10.1007/s10601-016-9267-5	journal	January 2017
Multivariate McCormick relaxations Tsoukalas, A.; Mitsos, A. Journal of Global Optimization, Vol. 59, Issue 2-3 https://doi.org/10.1007/s10898-014-0176-0	journal	April 2014
Global optimization of non-convex generalized disjunctive programs: a review on reformulations and relaxation techniques Ruiz, Juan P.; Grossmann, Ignacio E. Journal of Global Optimization, Vol. 67, Issue 1-2 https://doi.org/10.1007/s10898-016-0401-0	journal	January 2016
Reformulations for utilizing separability when solving convex MINLP problems Kronqvist, Jan; Lundell, Andreas; Westerlund, Tapio Journal of Global Optimization, Vol. 71, Issue 3 https://doi.org/10.1007/s10898-018-0616-3	journal	February 2018
A review and comparison of solvers for convex MINLP Kronqvist, Jan; Bernal, David E.; Lundell, Andreas Optimization and Engineering, Vol. 20, Issue 2 https://doi.org/10.1007/s11081-018-9411-8	journal	December 2018
Mixed-integer nonlinear programming 2018 Sahinidis, Nikolaos V. Optimization and Engineering, Vol. 20, Issue 2 https://doi.org/10.1007/s11081-019-09438-1	journal	April 2019
A disjunctive cut strengthening technique for convex MINLP Kronqvist, Jan; Misener, Ruth Optimization and Engineering https://doi.org/10.1007/s11081-020-09551-6	journal	August 2020
Computational experience with dicopt solving MINLP problems in process systems engineering Kocis, G. R.; Grossmann, I. E. Computers & Chemical Engineering, Vol. 13, Issue 3 https://doi.org/10.1016/0098-1354(89)85008-2	journal	March 1989
A combined penalty function and outer-approximation method for MINLP optimization Viswanathan, J.; Grossmann, I. E. Computers & Chemical Engineering, Vol. 14, Issue 7 https://doi.org/10.1016/0098-1354(90)87085-4	journal	July 1990
Relation between MILP modelling and logical inference for chemical process synthesis Raman, R.; Grossmann, I. E. Computers & Chemical Engineering, Vol. 15, Issue 2 https://doi.org/10.1016/0098-1354(91)87007-V	journal	February 1991
Modelling and computational techniques for logic based integer programming Raman, R.; Grossmann, I. E. Computers & Chemical Engineering, Vol. 18, Issue 7 https://doi.org/10.1016/0098-1354(93)E0010-7	journal	July 1994
Logic-based MINLP algorithms for the optimal synthesis of process networks Türkay, Metin; Grossmann, Ignacio E. Computers & Chemical Engineering, Vol. 20, Issue 8 https://doi.org/10.1016/0098-1354(95)00219-7	journal	August 1996
An algorithm for disjunctive programs Beaumont, Nicholas European Journal of Operational Research, Vol. 48, Issue 3 https://doi.org/10.1016/0377-2217(90)90419-C	journal	October 1990
New algorithms for nonlinear generalized disjunctive programming Lee, Sangbum; Grossmann, Ignacio E. Computers & Chemical Engineering, Vol. 24, Issue 9-10 https://doi.org/10.1016/S0098-1354(00)00581-0	journal	October 2000
A global optimization algorithm for nonconvex generalized disjunctive programming and applications to process systems Lee, Sangbum; Grossmann, Ignacio E. Computers & Chemical Engineering, Vol. 25, Issue 11-12 https://doi.org/10.1016/S0098-1354(01)00732-3	journal	November 2001
Alternative representations and formulations for the economic optimization of multicomponent distillation columns Barttfeld, Mariana; Aguirre, Pı́o A.; Grossmann, Ignacio E. Computers & Chemical Engineering, Vol. 27, Issue 3 https://doi.org/10.1016/S0098-1354(02)00213-2	journal	March 2003
logmip: a disjunctive 0–1 non-linear optimizer for process system models Vecchietti, Aldo; E. Grossmann, Ignacio Computers & Chemical Engineering, Vol. 23, Issue 4-5 https://doi.org/10.1016/S0098-1354(98)00293-2	journal	May 1999
Retrospective on optimization Biegler, Lorenz T.; Grossmann, Ignacio E. Computers & Chemical Engineering, Vol. 28, Issue 8 https://doi.org/10.1016/j.compchemeng.2003.11.003	journal	July 2004
Continuous-time versus discrete-time approaches for scheduling of chemical processes: a review Floudas, Christodoulos A.; Lin, Xiaoxia Computers & Chemical Engineering, Vol. 28, Issue 11 https://doi.org/10.1016/j.compchemeng.2004.05.002	journal	October 2004
Logic-based outer approximation for globally optimal synthesis of process networks Bergamini, Maria Lorena; Aguirre, Pio; Grossmann, Ignacio Computers & Chemical Engineering, Vol. 29, Issue 9 https://doi.org/10.1016/j.compchemeng.2005.04.003	journal	August 2005
Block-oriented modeling of superstructure optimization problems Friedman, Zev; Ingalls, Jack; Siirola, John D. Computers & Chemical Engineering, Vol. 57 https://doi.org/10.1016/j.compchemeng.2013.04.008	journal	October 2013
Kaibel column: Modeling, optimization, and conceptual design of multi-product dividing wall columns Soraya Rawlings, E.; Chen, Qi; Grossmann, Ignacio E. Computers & Chemical Engineering, Vol. 125 https://doi.org/10.1016/j.compchemeng.2019.03.006	journal	June 2019
A hierarchy of relaxations for nonlinear convex generalized disjunctive programming Ruiz, Juan P.; Grossmann, Ignacio E. European Journal of Operational Research, Vol. 218, Issue 1 https://doi.org/10.1016/j.ejor.2011.10.002	journal	April 2012
Global optimization advances in Mixed-Integer Nonlinear Programming, MINLP, and Constrained Derivative-Free Optimization, CDFO Boukouvala, Fani; Misener, Ruth; Floudas, Christodoulos A. European Journal of Operational Research, Vol. 252, Issue 3 https://doi.org/10.1016/j.ejor.2015.12.018	journal	August 2016
Effective Generalized Disjunctive Programming Models for Modular Process Synthesis Chen, Qi; Grossmann, Ignacio E. Industrial & Engineering Chemistry Research, Vol. 58, Issue 15 https://doi.org/10.1021/acs.iecr.8b04600	journal	February 2019
Undecidability and hardness in mixed-integer nonlinear programming Liberti, Leo RAIRO - Operations Research, Vol. 53, Issue 1 https://doi.org/10.1051/ro/2018036	journal	January 2019
SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework Vigerske, Stefan; Gleixner, Ambros Optimization Methods and Software, Vol. 33, Issue 3 https://doi.org/10.1080/10556788.2017.1335312	journal	June 2017
Improving the performance of DICOPT in convex MINLP problems using a feasibility pump Bernal, David E.; Vigerske, Stefan; Trespalacios, Francisco Optimization Methods and Software, Vol. 35, Issue 1 https://doi.org/10.1080/10556788.2019.1641498	journal	August 2019
JuMP: A Modeling Language for Mathematical Optimization Dunning, Iain; Huchette, Joey; Lubin, Miles SIAM Review, Vol. 59, Issue 2 https://doi.org/10.1137/15M1020575	journal	January 2017
GAMS, a user's guide Brook, Anthony; Kendrick, David; Meeraus, Alexander ACM SIGNUM Newsletter, Vol. 23, Issue 3-4 https://doi.org/10.1145/58859.58863	journal	December 1988
Recent Developments and Challenges in Optimization-Based Process Synthesis Chen, Qi; Grossmann, I. E. Annual Review of Chemical and Biomolecular Engineering, Vol. 8, Issue 1 https://doi.org/10.1146/annurev-chembioeng-080615-033546	journal	June 2017
Cutting Plane Algorithm for Convex Generalized Disjunctive Programs Trespalacios, Francisco; Grossmann, Ignacio E. INFORMS Journal on Computing, Vol. 28, Issue 2 https://doi.org/10.1287/ijoc.2015.0669	journal	May 2016
CONOPT—A Large-Scale GRG Code Drud, Arne Stolbjerg ORSA Journal on Computing, Vol. 6, Issue 2 https://doi.org/10.1287/ijoc.6.2.207	journal	May 1994
Modern Modeling Paradigms Using Generalized Disjunctive Programming Chen, Qi; Grossmann, Ignacio Processes, Vol. 7, Issue 11 https://doi.org/10.3390/pr7110839	journal	November 2019

Similar Records

Model Predictive Control of Discrete-Continuous Energy Systems via Generalized Disjunctive Programming

Conference · Sun Jan 02 23:00:00 EST 2022 · OSTI ID:1855839

Pyomo : Python Optimization Modeling Objects.

Conference · Mon Nov 01 00:00:00 EDT 2010 · OSTI ID:1035667

Quantificational logic of context

Conference · Mon Dec 30 23:00:00 EST 1996 · OSTI ID:430715

Related Subjects

42 ENGINEERING
MINLP
generalized disjunctive programming
mathematical programming

Pyomo.GDP: an ecosystem for logic based modeling and optimization development

Citation Formats

References (43)

Similar Records

Related Subjects