Benchmarks for Current Linear and Mixed Integer Optimization Solvers

We study the reduction of bounded reachability analysis of timed automata (TA) to a Mixed Integer Linear Programming (MILP) problem. While bounded model checking of timed automata has been explored in the literature based on the satisfiability of Boolean constraint formulas over linear arithmetic constraints verified using SAT Modulo Theory (SMT) solvers, the approach presented in this paper opens up the alternative of using MILP solvers. We present some preliminary results comparing the two approaches and provide ideas on how linear optimization can be useful for analyzing the behavior of TA. The results are supported by a prototype implementation which relies either on a MILP solver (Gurobi) or an SMT solver (MathSAT). Certain techniques for reducing the search space and improving the performance are also discussed.

Minimizing energy consumption by joint radio and computing resource allocation in Cloud-RAN

Process systems engineering is one of the many areas in which mixed integer optimisation formulations have been successfully applied. The nature of the problems requires specialised solution strategies and computer packages or callable libraries able to be extended and modified in order to accommodate new solution techniques. Object-oriented programming languages have been identified to offer these features. Process system applications are usually of large scale, and require modelling and solution techniques with high level of customisation. ooMILP is a library of C++ callable procedures for the definition, manipulation and solution of large, sparse mixed integer linear programming (MILP) problems without the disadvantages of many existing modelling languages. We first present a general approach to the packaging of numerical solvers as software components, derived from material developed for the CAPE-OPEN project. The presentation is in the context of construction and solution of Mixed Integer Linear Programming (MILP) problems. We then demonstrate how this package, based on the use of CORBA interfaces for synchronous execution within a single process, can be adapted with a minimum of problem-specific changes to provide a distributed solution.

Receding horizon load restoration for coupled transmission and distribution system considering load-source uncertainty

Predictive route choice control of destination coded vehicles with mixed integer linear programming optimization

We present a general approach to the FPGA technology mapping problem that applies to any logic block composed of lookup tables (LUTs) and can yield optimal solutions. The connections between LUTs of a logic block are modeled by virtual switches, which define a set of multiple-LUT blocks (MLBs) called an MLB-basis. We identify the MLB-bases for various commercial logic blocks. Given a n MLB-basis, we formulate FPGA mapping as a mixed integer linear programming (MILP) problem to achieve both the generality and the optimality objectives. We solve the MILP models using a general-purpose MILP solver, and present the results of mapping some ISCAS.85 benchmark circuits with a variety of commercial FPGAs. Circuits of a few hundred gates can be mapped in reasonable time using the MILP approach directly. Larger circuits can be handled by partitioning them prior to technology mapping. We show that optimal or provably near-optimal solutions can be obtained for the large ISCAS.85 benchmark circuits using partitions defined by their high-level functions.

This paper presents a metaheuristic approach to solve the transmission network expansion planning (TNEP) problem considering non-conventional solution candidates. The TNEP consists on finding the set of new elements required in a power system to meet a given future demand at a minimum cost. The TNEP traditionally considers as candidate solutions the addition of new lines and transformers. The main contribution of this work is the inclusion of non-conventional solution candidates. Such non-conventional solution candidates are namely: repowering of existing circuits and reactive shunt compensation. Also, an AC modeling of the network that allows obtaining more realistic results than the traditional DC model has been considered. The TNEP is represented by means of a non linear mixed integer programming problem which is solved through a hybrid genetic algorithm (HGA). Several tests were performed on two benchmark power systems to show the applicability and effectiveness of the proposed approach.

The Unmanned Aerial Vehicles (UAVs), commonly known as drones, are significant in the agriculture sphere to automate the work such as: data acquisition, crop spraying among others. This paper proposes a path planning solution for a team of UAVs that is required to whiten a greenhouse’s roof, this problem having both social-economic impact, as well as scientific-technical impact. First, the space around the roof is partitioned into cells based on a 3D cell decomposition technique, labeling the cells including the surface of the roof as regions of interest (ROIs). Based on this representation, a Petri net (PN) model captures the motion of drones, while their trajectories are returned by a Mixed Integer Linear Programming (MILP) problem which optimizes the energy consumption. An adaptable strategy is used such that the MILP problem considers only the available UAVs with enough energy to reach the ROIs. The algorithm is implemented in MATLAB and the simulation results are captured in a video link, evaluating the impact of the size of the team and the precision used for mapping the environment over the running time.

A time-dependent shared autonomous vehicle system design problem

Security constrained unit commitment (SCUC) is one of the most important daily tasks that independent system operators (ISOs) or regional transmission organizations (RTOs) must accomplish in daily electric power market. Security constraints have long been regarded as difficult constraints for unit commitment problems. If the inactive security constraints can be identified and eliminated, the SCUC problem can be greatly simplified. In this paper, a necessary and sufficient condition for a security constraint to be inactive is established. It is proved that all inactive constraints can be identified by solving a series of small-scale mixed integer linear programming (MILP) problems. More importantly, an analytical sufficient condition is established and most of the inactive constraints can be quickly identified without solving MILP or linear programming (LP) problems. A very important feature of the conditions obtained is that they are only related to the load demands and parameters of the transmission network. Numerical testing is performed for three power grids and the results are impressive. Over 85% of the security constraints are identified as inactive and the crucial transmission lines affecting the total operating cost are among those associated with the remaining security constraints, providing useful information for transmission planning.

The surveillance problem is to find optimal trajectories of agents that patrol a given area as evenly as possible. In this paper, we consider multiple agents with fuel constraints. The surveillance area is given by a weighted directed graph, where the weight assigned to each arc corresponds to the fuel consumption/supply. For each node, the penalty to evaluate the unattended time is introduced. Penalties, agents, and fuels are modeled by a mixed logical dynamical system model. Then, the surveillance problem is reduced to a mixed integer linear programming (MILP) problem. Based on the policy of model predictive control, the MILP problem is solved at each discrete time. In this paper, the feasibility condition for the MILP problem is derived. Finally, the proposed method is demonstrated by a numerical example.

This paper presents a novel approach to the joint optimization of job scheduling and data allocation in grid computing environments. We formulate this joint optimization problem as a mixed integer quadratically constrained program. To tackle the nonlinearity in the constraint, we alternatively fix a subset of decision variables and optimize the remaining ones via Mixed Integer Linear Programming (MILP). We solve the MILP problem at each iteration via an off-the-shelf MILP solver. Our experimental results show that our method significantly outperforms existing heuristic methods, employing either independent optimization or joint optimization strategies. We have also verified the generalization ability of our method over grid environments with various sizes and its high robustness to the algorithm setting.

This paper presents new linear programming techniques for the design of optimal 1D IIR digital filters. the first method is based on a linear minimax criterion and leads to a linear programming approximation problem whose optimal solution is attained by a new fast algorithm. Next, the linear minimax approximation problem is extended and formulated as two linear integer programming problems which permit the design of 1D IIR digital filters with coefficients of finite word length. the first of these methods is formulated as a 0‐1 integer linear programming problem and its optimal solution is attained rapidly by a new algorithm. This method appears to be suitable for the design of high‐order digital filters. the second method is more general and is formulated as a mixed integer linear programming problem. to solve the design problem efficiently, a new integer tree search algorithm is introduced. the feasibility of the proposed algorithms is illustrated with detailed solutions or numerical examples.

The problem of selecting processes and capacity expansion policies for a chemical complex consisting of continuous chemical processes can be formulated as a multiperiod, mixed integer linear programming (MILP) problem. Based on a variable disaggregation technique which exploits lot sizing substructures, we propose two reformulations of the conventional MILP model. The first one is an NLP reformulation which very quickly yields good suboptimal solutions. The second is an MILP reformulation for exact solutions which leads to up to an order of magnitude faster computational results for large problems due to its tighter linear programming relaxation.

Knowledge representation of mathematical optimization problems and constructs for modeling