Výsledky vyhľadávania - Logic/ Mixed-Integer 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

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming Autor 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…”
Získať plný text

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

“… The basic idea relies on combining mixed integer programming (MIP) and constraint logic programming (CLP…”
Získať plný text

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

“…This paper represents an integration of Mixed Integer Programming (MIP) and Constraint Logic Programming (CLP…”
Získať plný text

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

“… First, we will present two different ways of modeling the problem, both of them leading us to Mixed Integer Problems…”
Získať plný text

Drayage routing with heterogeneous fleet, compatibility constraints, and truck load configurations Autor 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…”
Získať plný text

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

“… multiple-recharging-station-location models, using a mixed integer programming method, based on a vehicle-refueling logic…”
Získať plný text

Solving a selective dial-a-ride problem with logic-based Benders decomposition Autor 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…”
Získať plný text

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

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

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

“…), one CLP language, is used to contrast the CLP approach with mixed integer programming (MIP…”
Získať plný text

A Logic-Based Mixed-Integer Nonlinear Programming Model to Solve Non-Convex and Non-Smooth Economic Dispatch Problems: An Accuracy Analysis Autor 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…”
Získať plný text

Exact solution approaches for the traveling salesman problem with a drone station Autor 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…”
Získať plný text

Locating road-vehicle refueling stations Autor 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…”
Získať plný text

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

“… When the electricity price decreases, Johnson’s rule and dynamic programming give rise to an optimal solution…”
Získať plný text

Integrating Energy-Efficient Train Control in railway Vertical Alignment Optimization: A novel Mixed-Integer Linear Programming approach Autor 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…”
Získať plný text

A Benders decomposition approach for a real case supply chain network design with capacity acquisition and transporter planning: wheat distribution network Autor 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…”
Získať plný text

Locating passenger vehicle refueling stations Autor 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…”
Získať plný text

Stochastic Optimization of Microgrids With Hybrid Energy Storage Systems for Grid Flexibility Services Considering Energy Forecast Uncertainties Autor 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…”
Získať plný text

An Enhanced Logic-Based Bender’s Decomposition Algorithm with Proximity Principle for Simulator-Based Distillation Process Optimization Autor 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…”
Získať plný text