Suchergebnisse - Logic/ Mixed-Integer 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

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming von Sahin, Yunus Emre, Quirynen, Rien, Cairano, Stefano Di

“… STL formulae specifying overall and intermediate driving goals and the traffic rules are encoded as mixed-integer inequalities and combined with a simplified vehicle motion model, resulting …”
Volltext

Hybrid mixed-integer/constraint logic programming strategies for solving scheduling and combinatorial optimization problems von Harjunkoski, Iiro, Jain, Vipul, Grossman, Ignacio E.

“… The basic idea relies on combining mixed integer programming (MIP) and constraint logic programming (CLP …”
Volltext

A new approach to integrating mixed integer programming and constraint logic programming von Rodosek, Robert, Wallace, Mark G, Hajian, Mozafar T

“… This paper represents an integration of Mixed Integer Programming (MIP) and Constraint Logic Programming (CLP …”
Volltext

Mixed integer programming for a special logic constrained optimal control problem von Preda, Dorin, Noailles, Joseph

“… First, we will present two different ways of modeling the problem, both of them leading us to Mixed Integer Problems …”
Volltext

Drayage routing with heterogeneous fleet, compatibility constraints, and truck load configurations von Bustos-Coral, Daniel, Costa, Alysson M.

“… We propose a state transition logic to model these constraints. Based on this logic, we develop two mixed-integer programming models for this family of problems …”
Volltext

Locating multiple types of recharging stations for battery-powered electric vehicle transport von Wang, Ying-Wei, Lin, Chuah-Chih

“… multiple-recharging-station-location models, using a mixed integer programming method, based on a vehicle-refueling logic …”
Volltext

Solving a selective dial-a-ride problem with logic-based Benders decomposition von Riedler, Martin, Raidl, Günther

“… •We propose logic-based Benders algorithms for a selective dial-a-ride problem.•Subproblems are solved using a combination of CP and MILP algorithms …”
Volltext

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

“… The state-of-the-art in trajectory synthesis for STL is based on Mixed-Integer Convex Programming (MICP …”
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

Constraint logic programming and mixed integer programming von Lee, H.G., Lee, R.M., Yu, G.

“… ), one CLP language, is used to contrast the CLP approach with mixed integer programming (MIP …”
Volltext

A Logic-Based Mixed-Integer Nonlinear Programming Model to Solve Non-Convex and Non-Smooth Economic Dispatch Problems: An Accuracy Analysis von Mahdi Pourakbari-Kasmaei, Fotuhi-Firuzabad, Mahmud, Sanches Mantovani, José Roberto

“… This paper presents a solver-friendly logic-based mixed-integer nonlinear programming model (LB-MINLP …”
Volltext

Exact solution approaches for the traveling salesman problem with a drone station von Shi, Zhiyuan, Hong, Shaozhi, Wang, Zeling, Li, Ang

“… To minimize the delivery makespan, we propose two improved formulations for the TSP-DS using mixed-integer linear programming (MILP …”
Volltext

Locating road-vehicle refueling stations von Wang, Ying-Wei, Lin, Chuah-Chih

“… This study follows the concept of set cover for proposing a refueling-station-location model using a mixed integer programming method, based on vehicle-routing logics …”
Volltext

Exact method to optimize the total electricity cost in two-machine permutation flow shop scheduling problem under Time-of-use tariff von Ho, Minh Hung, Hnaien, Faicel, Dugardin, Frederic

“… When the electricity price decreases, Johnson’s rule and dynamic programming give rise to an optimal solution …”
Volltext

Integrating Energy-Efficient Train Control in railway Vertical Alignment Optimization: A novel Mixed-Integer Linear Programming approach von Sun, Yichen, Ni, Shaoquan, Chen, Dingjun, He, Qing, Xu, Shuangting, Gao, Yan, Chen, Tao

“… ) and Energy-Efficient Train Control (EETC). Initially formulated as a Mixed-Integer Nonlinear Programming (MINLP …”
Volltext

A Benders decomposition approach for a real case supply chain network design with capacity acquisition and transporter planning: wheat distribution network von Naderi, Bahman, Govindan, Kannan, Soleimani, Hamed

“… It generates a network with capacity acquisition and fleet management. The problem first is formulated as a mixed integer linear programming model …”
Volltext

Locating passenger vehicle refueling stations von Wang, Ying-Wei, Wang, Chuan-Ren

“… The study follows the concept of set cover and vehicle refueling logics to propose a hybrid model with dual objectives, using a mixed integer programming method, to economically site refueling …”
Volltext

Stochastic Optimization of Microgrids With Hybrid Energy Storage Systems for Grid Flexibility Services Considering Energy Forecast Uncertainties von Garcia-Torres, Felix, Bordons, Carlos, Tobajas, Javier, Real-Calvo, Rafael, Santiago, Isabel, Grieu, Stephane

“… This paper presents a stochastic framework for the optimization of microgrids that has the functionality of providing flexibility services to System Operators …”
Volltext

An Enhanced Logic-Based Bender’s Decomposition Algorithm with Proximity Principle for Simulator-Based Distillation Process Optimization von Tian, Chenshan, Zhang, Xiaodong, Lan, Yang, Sun, Jinsheng

“… The optimization of distillation processes is particularly challenging due to the presence of nonlinear equations and integer variables, resulting in complex mixed-integer nonlinear programming (MINLP) problems …”
Volltext