This paper presents results from recent hardware experiments using two forms of on-line Mixed-integer Linear Programming (MILP). The demonstrations were performed on wheeled ground vehicles, with a view to future use on autonomous teams of UAVs. The first experiment uses MILP at a high-level to account for a limited detection horizon while maneuvering in the presence of obstacles. The second pe...

This paper addresses the solution of a nonlinear boolean quadratic programming problem using three different approaches. The first uses a classic linearization technique to transform the original problem into a Mixed Integer Linear Programming (MILP) problem for which multiple formulations are studied. The second uses the capabilities of current MILP solvers to deal with Mixed Integer Quadratic...

Integrated sites are tightly interconnected networks of large-scale chemical processes. Given the large-scale network structure of these sites, disruptions in any of its nodes, or individual chemical processes, can propagate and disrupt the operation of the whole network. Random process failures that reduce or shut down production capacity are among the most common disruptions. The impact of su...

Many hybrid systems can be conveniently modeled as Piecewise Affine Discrete Time Hybrid Systems PA-DTHS. As well known Bounded Model Checking (BMC) for such systems comes down to solve a Mixed Integer Linear Programming (MILP) feasibility problem. We present a SAT based BMC algorithm for automatic verification of PA-DTHSs. Using Counterexample Guided Abstraction Refinement (CEGAR) our algorith...

In this paper, we consider the problem of partner selection in a virtual organisation (VO); specifically, we develop mixed integer linear programming (MILP) models to support the configuration of VOs in a virtual organisation breeding environment (VBE). Apart from the basic model which focuses on the minimisation of total fixed and variable costs we present extensions which capture transportati...

In this paper, we consider the problem of partner selection in a virtual organisation (VO); specifically, we develop mixed integer linear programming (MILP) models to support the configuration of VOs in a virtual organisation breeding environment (VBE). Apart from the basic model which focuses on the minimisation of total fixed and variable costs we present extensions that capture transportatio...

We develop a model to determine the optimal structure and size of a rail car fleet at a chemical company under uncertainty in demand and travel times as well as substitution between rail car types. First, we formulate an MILP model that accounts for the substitution relations between the types and minimizes the total direct rail car cost under given rail car availability constraints and a prede...

In this paper recently developed mixed-integer programming (MIP) tools to the problem of optimal siting and sizing of distributed generators in a distribution network. Here three methodologies for solving the DGPP via mixed-integer linear programming (MILP) and mixed-integer nonlinear programming (MINLP) approaches are compared. The single MILP approach uses the well-known DC linear approximati...

In this paper, we investigate the Mixed-integer Linear Programming (MILP) modelling of the differential and linear behavior of a wide range of block ciphers. We point out that the differential behavior of an arbitrary S-box can be exactly described by a small system of linear inequalities. Based on this observation and MILP technique, we propose an automatic method for finding high probability ...