Summary
In many cooperative control methods, the geometric state of the system is abstracted to the underlying graph or network topology. In this paper we present a grammatical approach to modeling and controlling the network topology of cooperative systems based on graph rewriting. By restricting rewrites to small subgraphs, graph grammars provide a useful method for programming the concurrent behavior of large decentralized systems of robots. We illustrate the modeling process through an ongoing example and demonstrate mathematical tools for reasoning about the system’s behavior. Finally, we briefly describe methods to design continuous controllers that augment the grammar so that geometric requirements may also be satisfied.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Bishop, S. Burden, E. Klavins, R. Kreisberg, W. Malone, N. Napp, and T. Nguyen. Self-organizing programmable parts. In International Conference on Intelligent Robots and Systems. IEEE/RSJ Robotics and Automation Society, 2005.
J. Cortés, S. MartÃnez, T. Karatas, and F. Bullo. Coverage control for mobile sensing networks. IEEE Transactions on Robotics and Automation, 20(2):243–255, 2004.
J. Alexander Fax and Richard Murray. Graph laplacians and stabilization of vehicle formations. In 15th IFAC Congress, 2002.
A. Jadbabaie, J. Lin, and A. Morse. Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Transactions on Automatic Control, 48(6), 2003.
E. Klavins. Automatic synthesis of controllers for distributed assembly and formation forming. In Proceedings of the IEEE Conference on Robotics and Automation, Washington DC, May 2002.
Eric Klavins. Universal self-replication using graph grammars. In The 2004 International Conference on MEMs, NANO and Smart Systems, Banff, Canada, 2004.
Eric Klavins, Robert Ghrist, and David Lipsky. A grammatical approach to self-organizing robotic systems. IEEE Transactions on Automatic Control, 2005. To Appear.
L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994.
N.E. Leonard and E. Fiorelli. Virtual leaders, artificial potentials and coordinated control of groups. Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), vol.3:2968–73, 2001.
John-Michael McNew and Eric Klavins. Model-checking and control of self-assembly. In American Control Conference, 2006. Submitted.
Reza Olfati-Saber and Richard M. Murray. Distributed structural stabilization and tracking formations of dynamic multi-agents. In IEEE Conference on Decision and Control, 2002.
Pedro Lima Paulo Tabuada, George J. Pappas. Motion feasibility of multi-agent formations. IEEE Transactions on Robotics, Vol. 21(3):387–392, 2005.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
McNew, JM., Klavins, E. (2007). A Grammatical Approach to Cooperative Control. In: Grundel, D., Murphey, R., Pardalos, P., Prokopyev, O. (eds) Cooperative Systems. Lecture Notes in Economics and Mathematical Systems, vol 588. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48271-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-48271-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48270-3
Online ISBN: 978-3-540-48271-0
eBook Packages: Business and EconomicsBusiness and Management (R0)