Výsledky vyhledávání - 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text