Proceedings of ESCAPE 36ISSN: 2818-4734
Volume: 5 (2026)
Table of Contents
LAPSE:2026.0406
Published Article
LAPSE:2026.0406
libDIPS: An Open-Source Platform for Global Optimization of Hierarchical Optimization Problems
June 12, 2026
Abstract
Hierarchical optimization problems such as (generalized) semi-infinite optimization problems and bilevel problems appear in various disciplines of process systems engineering, such as flexibility analysis or parameter estimation. Adaptive discretization-based algorithms are a family of methods to solve these problems. In these methods, the original problem is decomposed into subproblems, which are solved with a standard optimization solver and then refined iteratively. Several related algorithms have been published. Until recently, computational studies have typically been performed using publication-specific implementations and benchmark problems. We recently published a software package - libDIPS - comprising existing adaptive discretization-based algorithms and a library of test problems for comparison. Several of the algorithms implemented in libDIPS exhibit strong parallelization potential in their algorithmic steps: In the algorithms of Mitsos [Optimization 60:1291-1308 (2011)] and Mitsos and Tsoukalas [J Glob Optim 61:1-17 (2015)], the upper- and lower-bounding procedures are independent. In the algorithm of Tsoukalas and Rustem [Optim Lett 5:705-716 (2011)], several objective function values can be probed independently for feasibility. However, algorithm statements in the literature typically only consider serial execution of the algorithm steps. While parallelization of the used subsolver is already possible in libDIPS, leveraging parallelization in the algorithmic steps has not been investigated until now. In this contribution, we present an overview of libDIPS and introduce our parallelized implementations of several existing algorithms. We investigate the effect of parallelization at the algorithm-level compared to parallelization within the subsolver. Furthermore, we propose two improvements to speed up the solution process of the algorithms compared to their original publications. Results are presented for the existing library of test problems collected from literature.
Keywords
Numerical Methods, Optimization, Parallelization, Semi-Infinite Programming
Suggested Citation
Lipow AW, Jungen D, Zingler A, Djelassi H, Mitsos A. libDIPS: An Open-Source Platform for Global Optimization of Hierarchical Optimization Problems. Systems and Control Transactions 5:1617-1625 (2026) https://doi.org/10.69997/sct.140716
Author Affiliations
Lipow AW: Process Systems Engineering (AVT.SVT), RWTH Aachen University, 52074 Aachen, Germany [ORCID]
Jungen D: Process Systems Engineering (AVT.SVT), RWTH Aachen University, 52074 Aachen, Germany [ORCID]
Zingler A: Process Systems Engineering (AVT.SVT), RWTH Aachen University, 52074 Aachen, Germany [ORCID]
Djelassi H: Process Systems Engineering (AVT.SVT), RWTH Aachen University, 52074 Aachen, Germany
Mitsos A: JARA-CSD, 52062 Aachen, Germany. Process Systems Engineering (AVT.SVT), RWTH Aachen University, 52074 Aachen, Germany. Institute of Climate and Energy Systems: Energy Systems Engineering (ICE-1), Forschungszentrum Jülich GmbH, 52425 Jülich, Germany [ORCID]
[Login] to see author email addresses.
Journal Name
Systems and Control Transactions
Volume
5
First Page
1617
Last Page
1625
Year
2026
Publication Date
2026-06-12
Version Comments
Original Submission
Other Meta
PII: 1617-1625-200-SCT-5-2026, Publication Type: Journal Article
Record Map
Published Article

LAPSE:2026.0406
This Record
External Link

https://doi.org/10.69997/sct.140716
Publisher Version
Download
Files
Jun 12, 2026
Main Article
License
CC BY-SA 4.0
Meta
Record Statistics
Record Views
300
Version History
[v1] (Original Submission)
Jun 12, 2026
 
Verified by curator on
Jun 12, 2026
This Version Number
v1
Citations
Most Recent
This Version
URL Here
https://psecommunity.org/LAPSE:2026.0406
 
Record Owner
PSE Press
Links to Related Works
Directly Related to This Work
Publisher Version
References Cited
  1. Blankenship JW, Falk JE. Infinitely constrained optimization problems. J Optim Theory Appl 19:261-281 (1976) https://doi.org/10.1007/bf00934096
  2. Djelassi H, Mitsos A. A hybrid discretization algorithm with guaranteed feasibility for the global solution of semi-infinite programs. J Glob Optim 68:227-253 (2016) https://doi.org/10.1007/s10898-016-0476-7
  3. Djelassi H, Mitsos A. Global solution of semi-infinite programs with existence constraints. J Optim Theory Appl 188:863-881 (2021) https://doi.org/10.1007/s10957-021-01813-2
  4. Djelassi H, Glass M, Mitsos A. Discretization-based algorithms for generalized semi-infinite and bilevel programs with coupling equality constraints. J Glob Optim 75:341-392 (2019) https://doi.org/10.1007/s10898-019-00764-3
  5. Falk JE, Hoffman K. A nonconvex max?min problem. Naval Research Logistics 24:441-450 (2006) https://doi.org/10.1002/nav.3800240307
  6. Jungen D, Mitsos A. An improved oracle adaption for bilevel programs. In: Computer Aided Chemical Engineering. Ed: Manenti F, Reklaitis GV. Elsevier (2024).
  7. Jungen D, Zingler A, Djelassi H, Mitsos A. libDIPS - discretization-based semi-infinite and bilevel programming solvers. Math Prog Comp (in press).
  8. Mitsos A. Global optimization of semi-infinite programs via restriction of the right-hand side. Optimization 60:1291-1308 (2011) https://doi.org/10.1080/02331934.2010.527970
  9. Mitsos A, Tsoukalas A. Global optimization of generalized semi-infinite programs via restriction of the right hand side. J Glob Optim 61:1-17 (2014) https://doi.org/10.1007/s10898-014-0146-6
  10. Mitsos A, Lemonidis P, Barton PI. Global solution of bilevel programs with a nonconvex inner program. J Glob Optim 42:475-513 (2007) https://doi.org/10.1007/s10898-007-9260-z
  11. Mitsos A, Bollas GM, Barton PI. Bilevel optimization formulation for parameter estimation in liquid-liquid phase equilibrium problems. Chemical Engineering Science 64:548-559 (2009) https://doi.org/10.1016/j.ces.2008.09.034
  12. Swaney RE, Grossmann IE. An index for operational flexibility in chemical process design. part I: formulation and theory. AIChE Journal 31:621-630 (2004) https://doi.org/10.1002/aic.690310412
  13. Tsoukalas A, Rustem B. A feasible point adaptation of the blankenship and falk algorithm for semi-infinite programming. Optim Lett 5:705-716 (2010) https://doi.org/10.1007/s11590-010-0236-4
  14. Bakshalipour M, Sarbazi-Azad H. Parallelizing bisection root-finding: a case for accelerating serial algorithms in multicore substrates. https://arxiv.org/abs/1805.07269
  15. International Business Machines Corporation. IBM ILOG CPLEX v 22.1.2.
  16. Gurobi Optimization, LLC. Gurobi Optimizer Reference Manual. https://www.gurobi.com
  17. Bongartz D, Najman J, Sass S, Mitsos A. MAiNGO - McCormick-based Algorithm for mixed-integer Nonlinear Global Optimization. http://permalink.avt.rwth-aachen.de/?id=729717
  18. Zingler A, Jungen D, Djelassi H, Mitsos A. libALE - a library for algebraic-logical expression trees. https://git.rwth-aachen.de/avt-svt/public/libale
  19. Johnson SG. The NLopt nonlinear-optimization package. https://github.com/stevengj/nlopt
(0.11 seconds)

[0.11 s]