中文
相关论文

相关论文: Certified Inductive Synthesis for Online Mixed-Int…

200 篇论文

This paper deals with a distributed Mixed-Integer Linear Programming (MILP) set-up arising in several control applications. Agents of a network aim to minimize the sum of local linear cost functions subject to both individual constraints…

最优化与控制 · 数学 2021-02-12 Andrea Camisa , Ivano Notarnicola , Giuseppe Notarstefano

In many problems, the inputs arrive over time, and must be dealt with irrevocably when they arrive. Such problems are online problems. A common method of solving online problems is to first solve the corresponding linear program, and then…

数据结构与算法 · 计算机科学 2012-04-04 Umang Bhaskar , Lisa Fleischer

Planning in hybrid systems with both discrete and continuous control variables is important for dealing with real-world applications such as extra-planetary exploration and multi-vehicle transportation systems. Meanwhile, generating…

机器人学 · 计算机科学 2021-02-23 Jingkai Chen , Brian Williams , Chuchu Fan

Mixed Integer Programming (MIP) solvers rely on an array of sophisticated heuristics developed with decades of research to solve large-scale MIP instances encountered in practice. Machine learning offers to automatically construct better…

Mixed-Integer Linear Programming (MILP) is a foundational tool for complex decision-making problems. However, the NP-hard nature of MILP presents a significant computational challenge, motivating the development of machine learning-based…

最优化与控制 · 数学 2026-03-03 Hongpei Li , Hui Yuan , Han Zhang , Jianghao Lin , Dongdong Ge , Mengdi Wang , Yinyu Ye

Mixed-integer optimisation problems can be computationally challenging. Here, we introduce and analyse two efficient algorithms with a specific sequential design that are aimed at dealing with sampled problems within this class. At each…

最优化与控制 · 数学 2023-03-07 Mohammadreza Chamanbaz , Roland Bouffanais

This paper explores reoptimization techniques for solving sequences of similar mixed integer programs (MIPs) more effectively. Traditionally, these MIPs are solved independently, without capitalizing on information from previously solved…

最优化与控制 · 数学 2024-01-26 Krunal Kishor Patel

Mixed integer Model Predictive Control (MPC) problems arise in the operation of systems where discrete and continuous decisions must be taken simultaneously to compensate for disturbances. The efficient solution of mixed integer MPC…

最优化与控制 · 数学 2024-04-09 Ilias Mitrai , Prodromos Daoutidis

Packing and vehicle routing problems play an important role in the area of supply chain management. In this paper, we introduce a non-linear knapsack problem that occurs when packing items along a fixed route and taking into account travel…

数据结构与算法 · 计算机科学 2015-04-16 Sergey Polyakovskiy , Frank Neumann

This paper presents an efficient approach for the evaluation of multi-parametric mixed integer quadratic programming (mp-MIQP) solutions, occurring for instance in control problems involving discrete time hybrid systems with quadratic cost.…

最优化与控制 · 数学 2014-07-08 Alexander Fuchs , Daniel Axehill , Manfred Morari

This paper proposes a Heaviside composite optimization approach and presents a progressive (mixed) integer programming (PIP) method for solving multi-class classification and multi-action treatment problems with constraints. A Heaviside…

最优化与控制 · 数学 2024-01-08 Yue Fang , Junyi Liu , Jong-Shi Pang

It is well-known that by adding integrality constraints to the semidefinite programming (SDP) relaxation of the max-cut problem, the resulting integer semidefinite program is an exact formulation of the problem. In this paper we show…

最优化与控制 · 数学 2023-11-09 Frank de Meijer , Renata Sotirov

This applied research article explores the application of Mixed-Integer Linear Programming (MILP) to address line-balancing challenges in the garment industry, focusing on optimizing production processes under multiple constraints. By…

最优化与控制 · 数学 2025-04-10 Ray Wai Man Kong , Ding Ning , Theodore Ho Tin Kong

Application of nonlinear model predictive control (NMPC) to problems with hybrid dynamical systems, disjoint constraints, or discrete controls often results in mixed-integer formulations with both continuous and discrete decision variables.…

系统与控制 · 电气工程与系统科学 2024-01-24 Christopher A. Orrico , W. P. M. H. Heemels , Dinesh Krishnamoorthy

In this paper, we develop a new formulation of changeover constraints for mixed integer programming problem (MIP) that emerges in solving a short-term production scheduling problem. The new model requires fewer constraints than the original…

最优化与控制 · 数学 2014-08-28 Pavel A. Borisovsky , Anton V. Eremeev , Josef Kallrath

In this paper we deal with a network of agents seeking to solve in a distributed way Mixed-Integer Linear Programs (MILPs) with a coupling constraint (modeling a limited shared resource) and local constraints. MILPs are NP-hard problems and…

系统与控制 · 计算机科学 2020-10-28 Andrea Camisa , Ivano Notarnicola , Giuseppe Notarstefano

Navigating rigid body objects through crowded environments can be challenging, especially when narrow passages are presented. Existing sampling-based planners and optimization-based methods like mixed integer linear programming (MILP)…

机器人学 · 计算机科学 2024-09-19 Mingxin Yu , Chuchu Fan

We establish a broad methodological foundation for mixed-integer optimization with learned constraints. We propose an end-to-end pipeline for data-driven decision making in which constraints and objectives are directly learned from data…

We propose an ML-based model that automates and expedites the solution of MIPs by predicting the values of variables. Our approach is motivated by the observation that many problem instances share salient features and solution structures…

最优化与控制 · 数学 2023-02-24 Konstantinos Benidis , Ugo Rosolia , Syama Rangapuram , George Iosifidis , Georgios Paschos

In this work, we build upon the recently introduced Multiscale Robin Coupled Method with Oversampling and Smoothing (MRCM-OS) to develop two highly efficient iterative multiscale methods. The MRCM-OS methodology demonstrated the ability to…

数值分析 · 数学 2025-02-25 Dilong Zhou , Rafael T. Guiraldello , Felipe Pereira