Search Results - logic/ mixed-(integer OR interier) programming

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables by Kurtz, Vincent, Lin, Hai

“… The state-of-the-art in trajectory synthesis for STL is based on Mixed-Integer Convex Programming (MICP…”
Get full text

Robust optimization and mixed-integer linear programming model for LNG supply chain planning problem by Sangaiah, Arun Kumar, Tirkolaee, Erfan Babaee, Goli, Alireza, Dehnavi-Arani, Saeed

“… Therefore, this paper addresses a robust mixed-integer linear programming model for LNG sales planning over a given time horizon aiming to minimize the costs of the vendor…”
Get full text

Exact Mixed-Integer Programming Approach for Chance-Constrained Multi-Area Reserve Sizing by Cho, Jehum, Papavasiliou, Anthony

“… The problem can be cast as a two-stage stochastic mixed integer linear program using sample approximation…”
Get full text

Mixed Integer Linear Programming for Ground Infrastructure and Inter-Satellite Link Design in Satellite Constellations by Pachler, Nils, Crawley, Edward F., Cameron, Bruce G.

“… The goal of this paper is to investigate the ground infrastructure and ISL configuration design through the usage of Mixed Integer Linear Programming (MILP…”
Get full text

Mixed-integer linear programming for resource leveling problems by Rieck, Julia, Zimmermann, Jürgen, Gather, Thorsten

“…► We model two resource leveling problems as mixed-integer linear programs. ► We present lower and upper bounds for resource requirements at particular points in time…”
Get full text

An inexact multi-objective mixed-integer nonlinear programming approach for water-soil-fertilizer management under uncertainty considering “footprint family-planetary boundary” assessment by Zhang, Yunquan, Yang, Peiling

“…•An optimization model module is coupled with the “Footprint Family - Planetary Boundary” evaluation module.•The planting area, irrigation water and nitrogen…”
Get full text

Closed loop supply chain network design and optimisation using fuzzy mixed integer linear programming model by Jindal, Anil, Sangwan, Kuldip Singh

“… is handled with fuzzy numbers. A fuzzy mixed integer linear programming model is proposed to decide optimally the location and allocation of parts at each facility and number of parts to be purchased from external suppliers…”
Get full text

Probabilistically Robust Joint Transmit Code and Receive Filter Design for Extended Targets: A Mixed-Integer Programming Approach by Chen, Geng, Wang, Chunyang, Zhang, Xuejing, Gong, Jian, Tan, Ming

“…–receive vector with respect to the TC and RF. Based on the joint vector, the probabilistically robust joint design problem is reformulated as a mixed-integer programming (MIP) problem…”
Get full text

STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming approach by Cardona, Gustavo A., Kamale, Disha, Vasile, Cristian-Ioan

“… operators along with satisfaction times. The proposed approach utilizes Mixed Integer Linear Programming (MILP…”
Get full text

Hybrid improved sine cosine algorithm for mixed-integer nonlinear programming problems by Song, Haohao, Wang, Jiquan, Cheng, Zhiwen, Chang, Tiezhu

“…Aiming at the shortcomings of existing algorithms in solving mixed-integer programming problems, such as local convergence and poor solution accuracy, this paper presents a hybrid improved sine and cosine algorithm…”
Get full text

Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures by Cui, Bohan, Huang, Feifei, Li, Shaoyuan, Yin, Xiang

“…We investigate the multirobot task planning problem for intricate tasks specified by linear temporal logic (LTL) formulae…”
Get full text

New mixed integer fractional programming problem and some multi-objective models for sparse optimization by Pirouz, Behzad, Gaudioso, Manlio

“…We propose a novel Mixed-Integer Nonlinear Programming (MINLP) model for sparse optimization based on the polyhedral k-norm…”
Get full text

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic by Kurtz, Vince, Lin, Hai

“…) and Signal Temporal Logic (STL), is based on Mixed-Integer Convex Programming (MICP). The standard MICP approach is sound and complete, but struggles to scale to long and complex specifications…”
Get full text

Systematic modeling of discrete-continuous optimization models through generalized disjunctive programming by Grossmann, Ignacio E., Trespalacios, Francisco

“…‐integer linear or nonlinear programming models. Since these models can be formulated in different ways, leading either to solvable or nonsolvable problems, there is a need for a systematic modeling framework that provides a fundamental…”
Get full text

Fuzzy mixed integer linear programming model for national level monthly unit commitment under price-based uncertainty: A case study in Thailand by Truong, Hoa Quynh, Jeenanunta, Chawalit

“…•The proposed Fuzzy Mixed Integer Linear Programming Model with a solution method focuses on the uncertainty fuel price is presented…”
Get full text

The follower optimality cuts for mixed integer linear bilevel programming problems by Mattia, Sara

“…We study linear bilevel programming problems, where (some of) the leader and the follower variables are restricted to be integer…”
Get full text

Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming by Liu, Gaiyun, Liu, Yuting, Li, Zhiwu

“… The proposed method consists of two steps. At the first step, a mixed integer programming (MIP) problem is developed to detect a strict…”
Get full text

Optimal Scheduling of an Isolated Microgrid With Battery Storage Considering Load and Renewable Generation Uncertainties by Li, Yang, Yang, Zhen, Li, Guoqing, Zhao, Dongbo, Tian, Wei

“… of an isolated microgrid (MG) by using chance-constrained programming. The model is transformed into a readily solvable mixed integer linear programming formulation in general algebraic modeling system (GAMS…”
Get full text

Temporal Logic Task Allocation in Heterogeneous Multirobot Systems by Luo, Xusheng, Zavlanos, Michael M.

“…We consider the problem of optimally allocating tasks, expressed as global linear temporal logic (LTL…”
Get full text

Logic-based benders decomposition methods for the distributed flexible job shop scheduling problem by Xiong, Fuli, Liu, Hengchong

“… This paper addresses this gap by proposing three logic-based Benders decomposition (LBBD) frameworks specifically designed for the DFJSP, leveraging…”
Get full text