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

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming by 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…”
Get full text

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

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

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

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

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

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

Drayage routing with heterogeneous fleet, compatibility constraints, and truck load configurations by 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…”
Get full text

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

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

Solving a selective dial-a-ride problem with logic-based Benders decomposition by 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…”
Get full text

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

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

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

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

A Logic-Based Mixed-Integer Nonlinear Programming Model to Solve Non-Convex and Non-Smooth Economic Dispatch Problems: An Accuracy Analysis by 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…”
Get full text

Exact solution approaches for the traveling salesman problem with a drone station by 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…”
Get full text

Locating road-vehicle refueling stations by 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…”
Get full text

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

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

Integrating Energy-Efficient Train Control in railway Vertical Alignment Optimization: A novel Mixed-Integer Linear Programming approach by 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…”
Get full text

A Benders decomposition approach for a real case supply chain network design with capacity acquisition and transporter planning: wheat distribution network by 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…”
Get full text

Locating passenger vehicle refueling stations by 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…”
Get full text

Stochastic Optimization of Microgrids With Hybrid Energy Storage Systems for Grid Flexibility Services Considering Energy Forecast Uncertainties by 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…”
Get full text

An Enhanced Logic-Based Bender’s Decomposition Algorithm with Proximity Principle for Simulator-Based Distillation Process Optimization by 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…”
Get full text