Hyperplane arrangements in mixed-integer programming techniques. Collision avoidance application with zonotopic sets

The current paper addresses the problem of minimizing the computational complexity of optimization problems with non-convex and possibly non-connected feasible region of polyhedral type. Using hyperplane arrangements and Mixed-Integer Programming we provide an efficient description of the feasible region in the solution space. Moreover, we exploit the geometric properties of the hyperplane arrangements and adapt this description in order to provide an efficient solution of the mixed-integer optimization problem. Furthermore, a zonotopic representation of the sets appearing in the problem is considered. The advantages of this representation are highlighted and exploited through proof of concepts illustrations as well as simulation results.

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

[2]  Robert R. Bitmead,et al.  Persistently Exciting Model Predictive Control for SISO systems , 2012 .

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

[4]  Ionela Prodan,et al.  On the Tight Formation for Multi-agent Dynamical Systems , 2012, KES-AMSTA.

[5]  Ionela Prodan,et al.  Enhancements on the Hyperplanes Arrangements in Mixed-Integer Programming Techniques , 2012, J. Optim. Theory Appl..

[6]  José A. De Doná,et al.  Reference governor design for tracking problems with fault detection guarantees , 2012 .

[7]  Peter Orlik Hyperplane Arrangements , 2009, Encyclopedia of Optimization.

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

[9]  Ionela Prodan,et al.  Predictive control for trajectory tracking and decentralized navigation of multi-agent formations , 2012, Int. J. Appl. Math. Comput. Sci..

[10]  George L. Nemhauser,et al.  Modeling disjunctive constraints with a logarithmic number of binary variables and constraints , 2008, Math. Program..

[11]  Georges Bitsoris,et al.  On the Limit Behavior for Multi-Agent Dynamical Systems , 2012 .

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

[13]  Komei Fukuda,et al.  From the zonotope construction to the Minkowski addition of convex polytopes , 2004, J. Symb. Comput..

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

[15]  O. Stursberg,et al.  Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes , 2010 .

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

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