Multi-robot deployment and coordination with Embedded Graph Grammars

This paper presents a framework for going from specifications to implementations of decentralized control strategies for multi-robot systems. In particular, we show how the use of Embedded Graph Grammars (EGGs) provides a tool for characterizing local interaction and control laws. This paper highlights some key implementation aspects of the EGG formalism, and develops and discusses experimental results for a hexapod-based multi-robot system, as well as a multi-robot system of wheeled robots.

[1]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[2]  Magnus Egerstedt,et al.  Automatic Generation of Persistent Formations for Multi-agent Networks Under Range Constraints , 2007, Mob. Networks Appl..

[3]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[4]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[5]  B. Anderson,et al.  Directed graphs for the analysis of rigidity and persistence in autonomous agent systems , 2007 .

[6]  Lebrecht Henneberg,et al.  Die graphische Statik der Starren Systeme , 1911 .

[7]  Eric Klavins,et al.  A language for modeling and programming cooperative control systems , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[8]  Roger W. Brockett,et al.  On the computer control of movement , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[9]  Magnus Egerstedt,et al.  Solving Coverage Problems with Embedded Graph Grammars , 2007, HSCC.

[10]  James McLurkin,et al.  Dynamic Task Assignment in Robot Swarms , 2005, Robotics: Science and Systems.

[11]  Eric Klavins,et al.  Graph grammars for self assembling robotic systems , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[12]  Panos M. Pardalos,et al.  Cooperative control and optimization , 2002 .

[13]  Eric Klavins,et al.  A Grammatical Approach to Cooperative Control , 2007 .

[14]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[15]  James McLurkin,et al.  Speaking Swarmish: Human-Robot Interface Design for Large Swarms of Autonomous Mobile Robots , 2006, AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before.

[16]  Sonia Martínez,et al.  Robust rendezvous for mobile autonomous agents via proximity graphs in arbitrary dimensions , 2006, IEEE Transactions on Automatic Control.

[17]  Magnus Egerstedt,et al.  Automatic deployment and formation control of decentralized multi-agent networks , 2008, 2008 IEEE International Conference on Robotics and Automation.

[18]  Mehran Mesbahi,et al.  On state-dependent dynamic graphs and their controllability properties , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[19]  James McLurkin,et al.  Distributed Algorithms for Dispersion in Indoor Environments Using a Swarm of Autonomous Mobile Robots , 2004, DARS.

[20]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[21]  James A. Hendler,et al.  Languages, behaviors, hybrid architectures, and motion control , 1998 .

[22]  J.-M. McNew,et al.  Locally Interacting Hybrid Systems with Embedded Graph Grammars , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.