Directed Self-Assembly Using Graph Grammars

In this paper we describe the graph grammar approach to modeling self-assembly. The approach is used to describe how the topology of an assembling aggregate changes as it grows. The main purpose of the paper is to demonstrate the utility of the approach by giving detailed examples. We also describe the beginnings of our approach to physically embedding graph grammar assembly rules in physical settings, focusing on macroand micro-scale programmable parts and a simulation environment.

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

[2]  George M. Whitesides,et al.  Active control of wetting using applied electrical potentials and self-assembled monolayers , 1995 .

[3]  Béla Bollobás,et al.  Modern Graph Theory , 2002, Graduate Texts in Mathematics.

[4]  E. Winfree.  Algorithmic Self-Assembly of DNA: Theoretical Motivations and 2D Assembly Experiments , 2000, Journal of biomolecular structure & dynamics.

[5]  Maja J. Mataric,et al.  From local to global behavior in intelligent self-assembly , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[6]  Kenneth Y. Goldberg,et al.  Parallel microassembly with electrostatic force fields , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[7]  Eric Klavins.  Automatically synthesized controllers for distributed assembly: Partial correctness , 2002 .

[8]  Yakov B. Kazanovich,et al.  A Combinatorial Approach to the Problem of Self-assembly , 1995, Discret. Appl. Math..

[9]  R L Thompson,et al.  Movable Finite Automata (MFA) models for biological systems. I: Bacteriophage assembly and operation. , 1988, Journal of theoretical biology.

[10]  Eric Klavins.  Toward the Control of Self-Assembling Systems , 2003, Control Problems in Robotics.

[11]  Bruno Courcelle,et al.  Graph Rewriting: An Algebraic and Logic Approach , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[12]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

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

[14]  Ashish Goel,et al.  Combinatorial optimization problems in self-assembly , 2002, STOC '02.

[15]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[16]  P W Rothemund,et al.  Using lateral capillary forces to compute by self-assembly , 2000, Proc. Natl. Acad. Sci. USA.

[17]  Kazuhiro Saitou,et al.  Automated optimal design of mechanical conformational switches , 1995 .

[18]  Kazuhiro Saitou,et al.  Conformational switching in self-assembling mechanical systems , 1999, IEEE Trans. Robotics Autom..

[19]  B Berger,et al.  Local rule-based theory of virus shell assembly. , 1994, Proceedings of the National Academy of Sciences of the United States of America.

[20]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[21]  Ashish Goel,et al.  Running time and program size for self-assembled squares , 2001, STOC '01.

[22]  Hao Wang.  Notes on a class of tiling problems , 1975 .