Multi-Vehicle Cooperative Control Using Mixed Integer Linear Programming

We present methods to synthesize cooperative strategies for multi-vehicle control problems using mixed integer linear programming. Complex multi-vehicle control problems are expressed as mixed logical dynamical systems. Optimal strategies for these systems are then solved for using mixed integer linear programming. We motivate the methods on problems derived from an adversarial game between two teams of robots called RoboFlag. We assume the strategy for one team is fixed and governed by state machines. The strategy for the other team is generated using our methods. Finally, we perform an average case computational complexity study on our approach.

[1]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[2]  Raffaello D'Andrea,et al.  Near-optimal dynamic trajectory generation and control of an omnidirectional vehicle , 2004, Robotics Auton. Syst..

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

[4]  Richard C. Larson,et al.  Model Building in Mathematical Programming , 1979 .

[5]  Andrea Garulli,et al.  Simultaneous localization and map building for a team of cooperating robots: a set membership approach , 2003, IEEE Trans. Robotics Autom..

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

[7]  Mato Baotic,et al.  Multi-Parametric Toolbox (MPT) , 2004, HSCC.

[8]  Timothy W. McLain,et al.  Multiple UAV cooperative search under collision avoidance and limited range communication constraints , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[9]  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..

[10]  Manfred Morari,et al.  Propositional logic in control and monitoring problems , 1997, 1997 European Control Conference (ECC).

[11]  R. D'Andrea,et al.  A study in cooperative control: the RoboFlag drill , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[12]  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).

[13]  Peter Stone,et al.  Layered learning in multiagent systems - a winning approach to robotic soccer , 2000, Intelligent robotics and autonomous agents.

[14]  Jonathan P. How,et al.  Aircraft trajectory planning with collision avoidance using mixed integer linear programming , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[15]  R. D'Andrea,et al.  RoboFlag games using systems based, hierarchical control , 2003, Proceedings of the 2003 American Control Conference, 2003..

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

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

[18]  Manuela M. Veloso,et al.  Multiagent Systems: A Survey from a Machine Learning Perspective , 2000, Auton. Robots.

[19]  Hiroaki Kitano,et al.  RoboCup-2001: The Fifth Robotic Soccer World Championships , 2002, AI Mag..

[20]  Jonathan P. How,et al.  Cooperative path planning for multiple UAVs in dynamic and uncertain environments , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[21]  Randy Beard,et al.  Information consensus in distributed multiple vehicle coordinated control , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

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

[23]  Thomas Sugar,et al.  Control of cooperating mobile manipulators , 2002, IEEE Trans. Robotics Autom..

[24]  Y. Ho,et al.  Team decision theory and information structures in optimal control problems--Part II , 1972 .

[25]  Peter Stone,et al.  RoboCup-2000: The Fourth Robotic Soccer World Championships , 2001, AI Mag..

[26]  R. D'Andrea,et al.  Using airborne vehicle-based antenna arrays to improve communications with UAV clusters , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[27]  John D. C. Little,et al.  On model building , 1993 .

[28]  R. D'Andrea,et al.  The RoboFlag competition , 2003, Proceedings of the 2003 American Control Conference, 2003..

[29]  Timothy W. McLain,et al.  Cooperative control of UAV rendezvous , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[30]  R. D'Andrea,et al.  The RoboFlag testbed , 2003, Proceedings of the 2003 American Control Conference, 2003..

[31]  Christos G. Cassandras,et al.  A receding horizon approach for solving some cooperative control problems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[33]  Raffaello D'Andrea,et al.  The Cornell RoboCup Team , 2000, RoboCup.

[34]  Ted K. Ralphs,et al.  Parallel branch and cut for capacitated vehicle routing , 2003, Parallel Comput..

[35]  John N. Tsitsiklis,et al.  Introduction to linear optimization , 1997, Athena scientific optimization and computation series.