Enhancements on the Hyperplanes Arrangements in Mixed-Integer Programming Techniques

This paper is concerned with improvements in constraints handling for mixed-integer optimization problems. The novel element is the reduction of the number of binary variables used for expressing the complement of a convex (polytopic) region. As a generalization, the problem of representing the complement of a possibly not connected union of such convex sets is detailed. In order to illustrate the benefits of the proposed improvements, a typical control application, the control of multiagent systems using receding horizon optimization techniques, is considered.

[1]  Jonathan P. How,et al.  Model predictive control of vehicle maneuvers with guaranteed completion time and robust feasibility , 2003, Proceedings of the 2003 American Control Conference, 2003..

[2]  Panos M. Pardalos,et al.  Encyclopedia of Optimization , 2006 .

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

[4]  Claudio De Persis,et al.  Proceedings of the 15th IFAC World Congress , 2002 .

[5]  Raffaello D'Andrea,et al.  Iterative MILP methods for vehicle-control problems , 2005, IEEE Transactions on Robotics.

[6]  David Avis,et al.  Reverse Search for Enumeration , 1996, Discret. Appl. Math..

[7]  Rafael Castro-Linares,et al.  Trajectory tracking for non-holonomic cars: A linear approach to controlled leader-follower formation , 2010, 49th IEEE Conference on Decision and Control (CDC).

[8]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .

[9]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[10]  Manfred Morari,et al.  Optimal complexity reduction of polyhedral piecewise affine systems , 2008, Autom..

[11]  Thomas Zaslavsky,et al.  Counting the faces of cut-up spaces , 1975 .

[12]  Jonathan P. How,et al.  Receding horizon control of autonomous aerial vehicles , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[13]  M. Morari,et al.  Optimal complexity reduction of piecewise affine models based on hyperplane arrangements , 2004, Proceedings of the 2004 American Control Conference.

[14]  P. Orlik,et al.  Arrangements Of Hyperplanes , 1992 .

[15]  G. Ziegler.  Lectures on Polytopes , 1994 .

[16]  Don A. Grundel.  Cooperative systems : control and optimization , 2007 .

[17]  Panos M. Pardalos,et al.  Advances in Cooperative Control and Optimization , 2008 .

[18]  Timothy W. McLain,et al.  Coordinated target assignment and intercept for unmanned air vehicles , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[19]  Ionela Prodan,et al.  Enhancements on the hyperplane arrangements in mixed integer techniques , 2011, IEEE Conference on Decision and Control and European Control Conference.

[20]  B. Moor,et al.  Mixed integer programming for multi-vehicle path planning , 2001, 2001 European Control Conference (ECC).

[21]  Daniel E. Koditschek,et al.  Exact robot navigation using artificial potential functions , 1992, IEEE Trans. Robotics Autom..

[22]  S. Janson,et al.  Wiley‐Interscience Series in Discrete Mathematics and Optimization , 2011 .

[23]  S. Olaru,et al.  Reference governor for tracking with fault detection capabilities , 2010, 2010 Conference on Control and Fault-Tolerant Systems (SysTol).

[24]  R. D'Andrea,et al.  Modeling and control of a multi-agent system using mixed integer linear programming , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[25]  Phillip R. Chandler,et al.  UAV Task Assignment with Timing Constraints , 2003 .

[26]  Dimitri Jeltsema,et al.  Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems , 2006 .

[27]  Richard M. Murray,et al.  DISTRIBUTED COOPERATIVE CONTROL OF MULTIPLE VEHICLE FORMATIONS USING STRUCTURAL POTENTIAL FUNCTIONS , 2002 .

[28]  van der Arjan Schaft,et al.  50th IEEE Conference on Decision and Control and European Control Conference, 2011 , 2011 .

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

[30]  Panos M. Pardalos,et al.  Theory and algorithms for cooperative systems , 2004 .

[31]  Panos M. Pardalos.  Hyperplane Arrangements in Optimization , 2009, Encyclopedia of Optimization.

[32]  R. Buck.  Partition of Space , 1943 .

[33]  Steven L. Waslander,et al.  Tunnel-MILP: Path Planning with Sequential Convex Polytopes , 2008, AIAA Guidance, Navigation and Control Conference and Exhibit.

[34]  Giorgio Battistelli,et al.  Model-free Adaptive Switching Control of Uncertain Time-Varying Plants , 2011 .

[35]  Ionela Prodan,et al.  Predictive control for tight group formation of Multi-Agent Systems , 2011 .

[36]  Jonathan P. How,et al.  COORDINATION AND CONTROL OF MULTIPLE UAVs , 2002 .

[37]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[38]  M. Morari,et al.  Optimal controllers for hybrid systems: stability and piecewise linear explicit form , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[39]  E. Campbell,et al.  Establishing Trajectories for Multi-Vehicle Reconnaissance , 2004 .

[40]  Didier Dumur,et al.  Avoiding constraints redundancy in predictive control optimization routines , 2005, IEEE Transactions on Automatic Control.

[41]  Ionela Prodan,et al.  On the hyperplanes arrangements in mixed-integer techniques , 2011, Proceedings of the 2011 American Control Conference.