Výsledky vyhľadávania - logic/ mixed-(integer OR interier) programming

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

“… The state-of-the-art in trajectory synthesis for STL is based on Mixed-Integer Convex Programming (MICP…”
Získať plný text

Robust optimization and mixed-integer linear programming model for LNG supply chain planning problem Autor 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…”
Získať plný text

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

“… The problem can be cast as a two-stage stochastic mixed integer linear program using sample approximation…”
Získať plný text

Mixed Integer Linear Programming for Ground Infrastructure and Inter-Satellite Link Design in Satellite Constellations Autor 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…”
Získať plný text

Mixed-integer linear programming for resource leveling problems Autor 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…”
Získať plný text

An inexact multi-objective mixed-integer nonlinear programming approach for water-soil-fertilizer management under uncertainty considering “footprint family-planetary boundary” assessment Autor 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…”
Získať plný text

Closed loop supply chain network design and optimisation using fuzzy mixed integer linear programming model Autor 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…”
Získať plný text

Probabilistically Robust Joint Transmit Code and Receive Filter Design for Extended Targets: A Mixed-Integer Programming Approach Autor 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…”
Získať plný text

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

“… operators along with satisfaction times. The proposed approach utilizes Mixed Integer Linear Programming (MILP…”
Získať plný text

Hybrid improved sine cosine algorithm for mixed-integer nonlinear programming problems Autor 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…”
Získať plný text

Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures Autor 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…”
Získať plný text

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

“…We propose a novel Mixed-Integer Nonlinear Programming (MINLP) model for sparse optimization based on the polyhedral k-norm…”
Získať plný text

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic Autor 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…”
Získať plný text

Systematic modeling of discrete-continuous optimization models through generalized disjunctive programming Autor 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…”
Získať plný text

Fuzzy mixed integer linear programming model for national level monthly unit commitment under price-based uncertainty: A case study in Thailand Autor 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…”
Získať plný text

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

“…We study linear bilevel programming problems, where (some of) the leader and the follower variables are restricted to be integer…”
Získať plný text

Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming Autor 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…”
Získať plný text

Optimal Scheduling of an Isolated Microgrid With Battery Storage Considering Load and Renewable Generation Uncertainties Autor 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…”
Získať plný text

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

“…We consider the problem of optimally allocating tasks, expressed as global linear temporal logic (LTL…”
Získať plný text

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

“… This paper addresses this gap by proposing three logic-based Benders decomposition (LBBD) frameworks specifically designed for the DFJSP, leveraging…”
Získať plný text