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

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

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

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

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

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

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

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

Scheduling and routing of automated guided vehicles: A hybrid approach by Corréa, Ayoub Insa, Langevin, André, Rousseau, Louis-Martin

“… (conflict free routing) with mixed integer programming. Logic cuts are generated by the sub problems and used in the master problem to prune optimal scheduling solutions whose routing plan exhibits conflicts…”
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

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 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

An improved hybrid particle swarm optimization algorithm for fuzzy p-hub center problem by Yang, Kai, Liu, Yankui, Yang, Guoqing

“…► A new fuzzy hub center problem with credibility criterion is studied. ► The travel times are assumed as normal fuzzy vectors. ► An approximation approach is…”
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

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

Optimization of sensor parameters in programmable logic controller via mixed integer programming by Konaka, E., Suzuki, T., Okuma, S.

“…Programmable logic controller (PLC) has been widely used in the industrial control as the controller for the manufacturing system, process control, and so on…”
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