A finite-time cutting plane algorithm for distributed mixed integer linear programming

Many problems of interest for cyber-physical network systems can be formulated as Mixed Integer Linear Programs in which the constraints are distributed among the agents. In this paper we propose a distributed algorithm to solve this class of optimization problems in a peer-to-peer network with no coordinator and with limited computation and communication capabilities. In the proposed algorithm, at each communication round, agents solve locally a small LP, generate suitable cutting planes, namely intersection cuts and cost-based cuts, and communicate a fixed number of active constraints, i.e., a candidate optimal basis. We prove that, if the cost is integer, the algorithm converges to the lexicographically minimal optimal solution in a finite number of communication rounds. Finally, through numerical computations, we analyze the algorithm convergence as a function of the network size.

[1]  Egon Balas,et al.  Generalized intersection cuts and a new cut generating paradigm , 2013, Math. Program..

[2]  Alberto Bemporad,et al.  Model predictive control based on linear programming - the explicit solution , 2002, IEEE Transactions on Automatic Control.

[3]  F. Borrelli,et al.  MILP and NLP Techniques for centralized trajectory planning of multiple unmanned air vehicles , 2006, 2006 American Control Conference.

[4]  Jonathan P. How,et al.  Multi-Task Allocation and Path Planning for Cooperating UAVs , 2003 .

[5]  Gérard Cornuéjols,et al.  Valid inequalities for mixed integer linear programs , 2007, Math. Program..

[6]  M. Jünger,et al.  50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art , 2010 .

[7]  Georgios B. Giannakis,et al.  Scalable and Robust Demand Response With Mixed-Integer Constraints , 2013, IEEE Transactions on Smart Grid.

[8]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[9]  Egon Balas,et al.  Combining Lift-and-Project and Reduce-and-Split , 2013, INFORMS J. Comput..

[10]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[11]  Jorge Cortés,et al.  Distributed Linear Programming with Event-Triggered Communication , 2014, SIAM J. Control. Optim..

[12]  Magnus Egerstedt,et al.  Spatio-temporal multi-robot routing , 2015, Autom..

[13]  Carlo Fischione,et al.  Utility Maximization via Power and Rate Allocation with Outage Constraints in Nakagami-Lognormal Channels , 2011, IEEE Transactions on Wireless Communications.

[14]  Asuman E. Ozdaglar,et al.  A Distributed Newton Method for Network Utility Maximization—Part II: Convergence , 2010, IEEE Transactions on Automatic Control.

[15]  Asuman E. Ozdaglar,et al.  A distributed Newton method for Network Utility Maximization , 2010, 49th IEEE Conference on Decision and Control (CDC).

[16]  Giuseppe Notarstefano,et al.  Distributed Abstract Optimization via Constraints Consensus: Theory and Applications , 2011, IEEE Transactions on Automatic Control.

[17]  Manfred Morari,et al.  A decomposition method for large scale MILPs, with performance guarantees and a power system application , 2014, Autom..

[18]  Francesco Bullo,et al.  Gossip algorithms for heterogeneous multi-vehicle routing problems , 2013 .

[19]  Jonathan P. How,et al.  Cooperative Distributed Robust Trajectory Optimization Using Receding Horizon MILP , 2011, IEEE Transactions on Control Systems Technology.

[20]  Giuseppe Notarstefano,et al.  A Polyhedral Approximation Framework for Convex and Robust Distributed Optimization , 2013, IEEE Transactions on Automatic Control.

[21]  Manfred Morari,et al.  A parametric branch and bound approach to suboptimal explicit hybrid MPC , 2014, Autom..

[22]  M. Joerg.  k-disjunctive cuts and cutting plane algorithms for general mixed integer linear programs , 2008 .

[23]  Magnus Egerstedt,et al.  A Distributed Version of the Hungarian Method for Multirobot Assignment , 2017, IEEE Transactions on Robotics.

[24]  Giuseppe Notarstefano,et al.  A distributed simplex algorithm for degenerate linear programs and multi-agent assignments , 2012, Autom..

[25]  R. Gomory.  AN ALGORITHM FOR THE MIXED INTEGER PROBLEM , 1960 .

[26]  Jorge Cortés,et al.  Distributed Bargaining in Dyadic-Exchange Networks , 2014, IEEE Transactions on Control of Network Systems.

[27]  David G. Luenberger,et al.  Linear and nonlinear programming , 1984 .

[28]  Alberto Bemporad,et al.  Piecewise linear optimal controllers for hybrid systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[29]  Jonathan P. How,et al.  Spacecraft trajectory planning with avoidance constraints using mixed-integer linear programming , 2002 .