نتایج جستجو برای: milp model

تعداد نتایج: 2105080  

2003
Arthur Richards Yoshiaki Kuwata Jonathan How

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

2012
Ricardo M. Lima Ignacio E. Grossmann

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

Journal: :Computers & Chemical Engineering 2012
Sebastian Terrazas-Moreno Ignacio E. Grossmann John M. Wassick Scott J. Bury Naoko Akiya

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

2007
Federico Mari Enrico Tronci

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

2006
Toni Jarimo Ahti Salo

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

Journal: :Decision Making in Manufacturing and Services 2020

2006
Toni Jarimo Ahti Salo

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

2013
S. T. Klosterhalfen J. Kallrath G. Fischer

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

2015

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

2015
Siwei Sun Lei Hu Meiqin Wang Peng Wang Kexin Qiao Xiaoshuang Ma Danping Shi Ling Song Kai Fu

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید