Locally Interacting Hybrid Systems with Embedded Graph Grammars

In many cooperative control methods, the network topology influences the evolution of its continuous states. In turn, the continuous state may influence the network topology due to local restrictions on connectivity. In this paper we present a grammatical approach to modeling and controlling the switching of a system's network topology, continuous controllers, and discrete modes. The approach is based on embedded graph grammars, which restrict interactions to small subgraphs and include spatial restrictions on connectivity and progress. This allows us to direct the behavior of large decentralized systems of robots. The grammatical approach also allows us to compose multiple subsystems into a larger whole in a principled manner. In this paper, we illustrate the approach by proving the correctness of a cooperative control system called the load balanced multiple rendezvous problem

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

[2]  Meng Ji,et al.  Connectedness preserving distributed coordination control over dynamic graphs , 2005, Proceedings of the 2005, American Control Conference, 2005..

[3]  Paulo Tabuada,et al.  Motion feasibility of multi-agent formations , 2005, IEEE Transactions on Robotics.

[4]  Eric Klavins,et al.  Automatic synthesis of controllers for distributed assembly and formation forming , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[5]  E. Klavins,et al.  Self-assembly from the point of view of its pieces , 2006, 2006 American Control Conference.

[6]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[7]  Magnus Egerstedt,et al.  Connectivity graphs as models of local interactions , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[8]  Eric Klavins,et al.  Optimal Rules for Programmed Stochastic Self-Assembly , 2006, Robotics: Science and Systems.

[9]  J. A. Fax,et al.  Graph Laplacians and Stabilization of Vehicle Formations , 2002 .

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

[11]  Eric Klavins,et al.  A grammatical approach to self-organizing robotic systems , 2006, IEEE Transactions on Automatic Control.

[12]  R.M. Murray,et al.  Distributed structural stabilization and tracking for formations of dynamic multi-agents , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[13]  J. P. Lasalle.  Some Extensions of Liapunov's Second Method , 1960 .