Suchergebnisse - logic/ mixed-(integer OR interier) programming

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

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

Robust optimization and mixed-integer linear programming model for LNG supply chain planning problem von 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 …”
Volltext

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

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

Mixed Integer Linear Programming for Ground Infrastructure and Inter-Satellite Link Design in Satellite Constellations von 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 …”
Volltext

Mixed-integer linear programming for resource leveling problems von 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 …”
Volltext

An inexact multi-objective mixed-integer nonlinear programming approach for water-soil-fertilizer management under uncertainty considering “footprint family-planetary boundary” assessment von 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 …”
Volltext

Closed loop supply chain network design and optimisation using fuzzy mixed integer linear programming model von 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 …”
Volltext

Probabilistically Robust Joint Transmit Code and Receive Filter Design for Extended Targets: A Mixed-Integer Programming Approach von 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 …”
Volltext

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

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

Hybrid improved sine cosine algorithm for mixed-integer nonlinear programming problems von 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 …”
Volltext

Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures von 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 …”
Volltext

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

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

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic von 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 …”
Volltext

Systematic modeling of discrete-continuous optimization models through generalized disjunctive programming von 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 …”
Volltext

Fuzzy mixed integer linear programming model for national level monthly unit commitment under price-based uncertainty: A case study in Thailand von 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 …”
Volltext

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

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

Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming von 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 …”
Volltext

Optimal Scheduling of an Isolated Microgrid With Battery Storage Considering Load and Renewable Generation Uncertainties von 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 …”
Volltext

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

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

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

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