Grammatical Self Assembly for Planar Tiles

We introduce a formal grammatical process for planar self-assembling systems with conformal switching which instantiates the geometry of the tiles. This extends prior work which gave a grammatical structure that models only the topology of the assembly. The addition of geometric data leads to the problem of determining which sets of grammatical rules preserve the planar constraint. We illustrate global obstructions while generating examples of rule sets which intrinsically force the preservation of planar geometry.

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

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

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

[4]  Wolfgang Thomas,et al.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

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

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

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

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

[9]  G. Whitesides,et al.  Fabrication of a Cylindrical Display by Patterned Assembly , 2002, Science.

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

[11]  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.

[12]  G. Whitesides,et al.  Self-Assembly of Mesoscale Objects into Ordered Two-Dimensional Arrays , 1997, Science.

[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]  G. Whitesides,et al.  Self-Assembly at All Scales , 2002, Science.

[15]  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.

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