English
Related papers

Related papers: Global Optimization Algorithm for Mixed-Integer No…

200 papers

Discrete black-box optimization problems are challenging for model-based optimization (MBO) algorithms, such as Bayesian optimization, due to the size of the search space and the need to satisfy combinatorial constraints. In particular,…

Optimization and Control · Mathematics 2022-06-15 Theodore Papalexopoulos , Christian Tjandraatmadja , Ross Anderson , Juan Pablo Vielma , David Belanger

In this paper, we develop new continuous and discrete relaxations for nonlinear expressions in an MINLP. In contrast to factorable programming, our techniques utilize the inner-function structure by encapsulating it in a polyhedral set,…

Optimization and Control · Mathematics 2022-05-04 Taotao He , Mohit Tawarmalani

In this paper, we propose a Feasible Sequential Linear Programming (FSLP) algorithm applied to time-optimal control problems (TOCP) obtained through direct multiple shooting discretization. This method is motivated by TOCP with nonlinear…

Recent road trials have shown that guaranteeing the safety of driving decisions is essential for the wider adoption of autonomous vehicle technology. One promising direction is to pose safety requirements as planning constraints in…

Robotics · Computer Science 2021-06-07 Francisco Eiras , Majd Hawasly , Stefano V. Albrecht , Subramanian Ramamoorthy

In optimization problems, often equations and inequalities are represented using if-else (implication) construct which is known to be equivalent to a disjunction. Such statements are modeled and incorporated in an optimization problem using…

Optimization and Control · Mathematics 2015-10-08 Anshul Agarwal

Mixed-integer linear programming (MILP) has been a fundamental problem in combinatorial optimization. Conventional MILP solving mainly relies on carefully designed heuristics embedded in the branch-and-bound framework. Driven by the strong…

Artificial Intelligence · Computer Science 2026-01-13 Siyuan Li , Yifan Yu , Zhihao Zhang , Mengjing Chen , Fangzhou Zhu , Tao Zhong , Peng Liu , Jianye Hao

For clustering of an undirected graph, this paper presents an exact algorithm for the maximization of modularity density, a more complicated criterion to overcome drawbacks of the well-known modularity. The problem can be interpreted as the…

Social and Information Networks · Computer Science 2017-06-28 Keisuke Sato , Yoichi Izunaga

Governments across the world are planning to increase the share of renewables in their energy systems. The siting of new wind and solar power plants requires close coordination with grid planning, and hence co-optimization of investment in…

Optimization and Control · Mathematics 2020-09-25 Fabian Neumann , Tom Brown

Mixed Integer Linear Programming (MILP) is a pillar of mathematical optimization that offers a powerful modeling language for a wide range of applications. During the past decades, enormous algorithmic progress has been made in solving…

Optimization and Control · Mathematics 2024-02-09 Lara Scavuzzo , Karen Aardal , Andrea Lodi , Neil Yorke-Smith

This paper presents a solver-friendly logic-based mixed-integer nonlinear programming model (LB-MINLP) to solve economic dispatch (ED) problems considering disjoint operating zones and valve-point effects. A simultaneous consideration of…

Optimization and Control · Mathematics 2018-10-15 Mahdi Pourakbari-Kasmaei , Mahmud Fotuhi-Firuzabad , Jose Roberto Sanches Mantovani

The optimal selection, sizing, and location of small-scale technologies within a grid-connected distributed energy system (DES) can contribute to reducing carbon emissions, consumer costs, and network imbalances. This is the first study to…

Optimization and Control · Mathematics 2022-09-30 Ishanki De Mel , Oleksiy V. Klymenko , Michael Short

Polynomial optimization problems over binary variables can be expressed as integer programs using a linearization with extra monomials in addition to those arising in the given polynomial. We characterize when such a linearization yields an…

Discrete Mathematics · Computer Science 2020-05-18 Christopher Hojny , Marc E. Pfetsch , Matthias Walter

Outer-approximation-based branch-and-bound is a common algorithmic framework for solving MINLPs (mixed-integer nonlinear programs) to global optimality, with branching variable selection critically influencing overall performance. In modern…

Optimization and Control · Mathematics 2026-02-12 Timo Berthold , Fritz Geis

Determining what to eat to satisfy nutritional requirements is one of the oldest optimization problems in operations research, yet existing formulations have two persistent limitations: continuous variables produce impractical fractional…

Artificial Intelligence · Computer Science 2026-05-15 Francisco Aguilera Moreno

In this letter, we consider the Multi-Robot Efficient Search Path Planning (MESPP) problem, where a team of robots is deployed in a graph-represented environment to capture a moving target within a given deadline. We prove this problem to…

Robotics · Computer Science 2021-01-14 Beatriz A. Asfora , Jacopo Banfi , Mark Campbell

Mixed integer linear programming (MILP) has seen a sharp rise in use for engineering optimization applications in recent years. Even for initially non-linear problems, it is often the method of choice. Then, the non-linear functions have to…

Optimization and Control · Mathematics 2023-09-20 Felix Birkelbach , David Huber , René Hofmann

We propose a mixed-integer linear program (MILP) for multi-agent motion planning that embeds Polytopic Action-based Motion Planning (PAAMP) into a sequence-then-solve pipeline. Region sequences confine each agent to adjacent convex…

Robotics · Computer Science 2026-03-19 Akshay Jaitly , Jack Cline , Siavash Farzan

In this paper we present a novel numerical method for computing local minimizers of twice smooth differentiable non-linear programming (NLP) problems. So far all algorithms for NLP are based on either of the following three principles:…

Numerical Analysis · Mathematics 2018-03-06 Martin Neuenhofen

Quadratic optimization problems (QPs) are ubiquitous, and solution algorithms have matured to a reliable technology. However, the precision of solutions is usually limited due to the underlying floating-point operations. This may cause…

Optimization and Control · Mathematics 2019-08-20 Tobias Weber , Sebastian Sager , Ambros Gleixner

The state-of-the-art in optimal control from timed temporal logic specifications, including Metric Temporal Logic (MTL) and Signal Temporal Logic (STL), is based on Mixed-Integer Convex Programming (MICP). The standard MICP approach is…

Systems and Control · Electrical Eng. & Systems 2021-12-03 Vince Kurtz , Hai Lin