A grammatical approach to self-organizing robotic systems

IEEE Transactions on Automatic Control

Volumn 51, Issue 6, 2006, Pages 949-962

  Klavins, Eric ^a   Ghrist, Robert ^b   Lipsky, David ^b  

^a UNIVERSITY OF WASHINGTON   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Cooperative control; Self assembly; Symbolic methods

Indexed keywords

ARTIFICIAL INTELLIGENCE; ROBOTIC ASSEMBLY; SELF ASSEMBLY;

COOPERATIVE CONTROL; GRAPH GRAMMARS; ROBOTIC SYSTEMS; SELF-ORGANIZING; SYMBOLIC METHODS;

ROBOTICS;

EID: 33745700844     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.876950     Document Type: Article

References (35)

1. K. Saitou and M. Jakiela, "Automated optimal design of mechanical conformational switches," Artificial Life, vol. 2, no. 2, pp. 129-156, 1995.
2. K. Saitou, "Conformational switching in self-assembling mechanical systems," IEEE Trans. Robot. Automat., vol. 15, no. 3, pp. 510-520, Mar. 1999.
3. E. Klavins, "Automatic synthesis of controllers for distributed assembly and formation forming," in Proc. IEEE Conf. Robotics and Automation, Washington, DC, May 2002.
4. J. Bishop, S. Burden, E. Klavins, R. Kreisberg, W. Malone, N. Napp, and T. Nguyen, "Self-organizing programmable parts," in Proc. Int. Conf. Intelligent Robots and Systems, 2005, pp. 3684-3691, IEEE/RSJ Robotics and Automation Society.
5. N. Napp, S. Burden, and E. Klavins, "The statistical dynamics of programmed robotic self-assembly," in Proc. Int. Conf. Robotics and Automation, 2006, pp. 1469-1476.
6. G. Chirikjian, "Kinematics of a metamorphic robotic system," in Proc. Int. Conf. Robotics and Automation, 1994, pp. 449-455.
7. K. Kotay, D. Rus, M. Vona, and C. McGray, "The self-reconfiguring robotic molecule: Design and control algorithms," in Algorithmic Foundations of Robotics, P. Agrawal, L. Kavraki, and M. Mason, Eds. Natick, MA: A. K. Peters, 1998, pp. 375-386.
8. A. Nguyen, L. Guibas, and M. Yim, "Controlled module density helps reconfiguration planning," in Proc. Workshop on the Algorithmic Foundations of Robotics, Dartmouth, NH, Mar. 2000, pp. 23-36.
9. B. Berger, P. Shor, L. Tucker-Kellogg, and J. King, "Local rule-based theory of virus shell assembly," Proc. Natl. Acad. Sci., vol. 91, no. 6, pp. 7732-7736, Aug. 1994.
10. R. L. Thompson and N. S. Goel, "Movable finite automata (MFA) models for biological systems I: Bacteriophage assembly and operation," J. Theoret. Biol., vol. 131, pp. 152-385, 1988.
11. A. Hatcher, Algebraic Topology. Cambridge, U.K.: Cambridge University Press, 2001.
12. W. Reisig, Petri Nets: An Introduction. New York: Springer-Verlag, 1985.
13. A. Abrams and R. Ghrist, "State complexes for metamorphic robot systems," Int. J. Robot. Res., vol. 23, no. 7-8, pp. 809-824, 2004.
14. H. Ehrig, "Introduction to the algebraic theory of graph grammars," in Graph-Grammars and Their Application to Computer Science and Biology ser. Lecture Notes in Computer Science, V. Claus, H. Ehrig, and G. Rozenberg, Eds. New York, Springer-Verlag, vol. 73, 1979, pp. 1-69.
15. B. Courcelle, "On graph rewriting: An algebraic and logic approach," in Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics. Cambridge, MA: MIT Press, 1990, pp. 193-242.
16. I. Litovsky, Y. Métevier, and W. Zielonka, "The power and limitations of local computations on graphs and networks," in Graph-theoretic Concepts in Computer Science, ser. Lecture Notes in Computer Science. New York: Springer-Verlag, 1992, vol. 657, pp. 333-345.
17. B. Courcelle and Y. Métivier, "Coverings and minors: Application to local computations in graphs," Eur. J. Combinat., vol. 15, pp. 127-138, 1994.
18. E. Winfree, "Algorithmic self-assembly of DNA: Theoretical motivations and 2D assembly experiments," J. Biomol. Struct. Dyna., vol. 11, no. 2, pp. 263-270, May 2000.
19. N. Bowden, A. Terfort, J. Carbeck, and G. M. Whitesides, "Self-assembly of mesoscale objects into ordered two-dimensional arrays," Science, vol. 276, no. 11, pp. 233-235, Apr. 1997.
20. Y. S. Smentanich, Y. B. Kazanovich, and V. V. Kornilov, "A combinitorial approach to the problem of self assembly," Discrete Appl. Math., vol. 57, pp. 45-65, 1995.
21. I. Chen and J. W. Burdick, "Determining task optimal modular robot assembly configurations," in Proc. Int. Conf. Robotics and Automation, 1995, pp. 132-137.
22. C. Jones and M. J. Matarić, "From local to global behavior in intelligent self-assembly," in Proc. Int. Conf. Robotics and Automation, Taipei, Taiwan, 2003, pp. 721-726.
23. W.-M. Shen, P. Will, and B. Khoshnevis, "Self-assembly in space via self-reconfigurable robots," in Proc. Int. Conf. Robotics and Automation, Taiwan, 2003, pp. 2516-2521.
24. P. J. White, K. Kopanski, and H. Lipson, "Stochastic self-reconfigurable cellular robotics," in Proc. Int. Conf. Robotics and Automation, New Orleans, LA, 2004, pp. 2888-2893.
25. P. White, V. Zykov, J. Bongard, and H. Lipson, "Three dimensional stochastic reconfiguration of modular robots," in Proc. Robotics Science and Systems, Boston, MA, Jun. 2005, pp. 161-168.
26. K. M. Chandy and J. Misra, Parallel Program Design: A Foundation Reading, MA: Addision-Wesley, 1988.
27. R. Ghrist and D. Lipsky, "Grammatical self assembly for planar tiles, in Proc. 2004 Int. Conf. MEMs, NANO and Smart Systems, Banff, Canada, 2004, pp. 205-211.
28. E. Klavins, "Universal self-replication using graph grammars," in Proc. 2004 Int. Conf. MEMs, NANO and Smart Systems, Banff, Canada, 2004, pp. 198-204.
29. J.-M. McNew and E. Klavins, "A grammatical approach to cooperative control: The wanderers and scouts example," in Cooperative Control, S. Butenko, R. Murphey, and P. Pardalos, Eds. : Kluwer, 2005, in Press.
30. W. Reisig, "Partial order semantics versus interleaving semantics for csp-like languages and its impact on fairness," in Automata, Languages and Programming, ser. Lecture Notes in Computer Science, J. Paredaens, Ed. New York: Springer-Verlag, 1984, vol. 172, pp. 403-413.
31. V. Pratt, "Modeling concurrency with geometry," in Proc. l8th ACM Symp. Principles of Programming Languages, 1991, pp. 311-322.
32. B. A. Davey and H. A. Preistley, Introduction to Lattices and Order. Cambridge, U.K.: Cambridge Univ. Press, 1990.
33. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA: MIT Press, 2000.
34. E. Klavins, "Toward the control of self-assembling systems," in Control Problems in Robotics, A. Bicclu, H. Christensen, and D. Prattichizzo, Eds. New York: Springer-Verlag, 2002, pp. 153-168.
35. N. Lynch, Distributed Algorithms. San Mateo, CA: Morgan Kaufmann, 1996.