A Grammatical Approach to Self-Organizing Robotic Systems
Authors:
- R. GhristRGR. Ghrist
- D. LipskyDLD. Lipsky
- 19 June 2006
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 51 (6) , 949-962
Abstract
In this paper, we define a class of graph grammars that can be used to model and direct concurrent robotic self-assembly and similar self-organizing processes. We give several detailed examples of the formalism and then focus on the problem of synthesizing a grammar so that it generates a given, prespecified assembly. In particular, to generate an acyclic graph we synthesize a binary grammar (rules involve at most two parts), and for a general graph we synthesize a ternary grammar (rules involve at most three parts). In both cases, we characterize the number of concurrent steps required to achieve the assembly. We also show a general result that implies that no binary grammar can generate a unique stable assembly. We conclude the paper with a discussion of how graph grammars can be used to direct the self-assembly of robotic parts.Keywords
This publication has 25 references indexed in Scilit:
- Introduction to the algebraic theory of graph grammars (a survey)2005
- State Complexes for Metamorphic RobotsThe International Journal of Robotics Research, 2004
- Algorithmic Self-Assembly of DNA: Theoretical Motivations and 2D Assembly ExperimentsJournal of Biomolecular Structure and Dynamics, 2000
- Coverings and Minors: Application to Local Computations in GraphsEuropean Journal of Combinatorics, 1994
- The power and the limitations of local computations on graphsLecture Notes in Computer Science, 1993
- Modeling concurrency with geometry1991
- Graph Rewriting: An Algebraic and Logic Approach1990
- Movable Finite Automata (MFA) models for biological systems I: Bacteriophage assembly and operationJournal of Theoretical Biology, 1988
- Petri Nets1985
- Partial order semantics versus interleaving semantics for CSP — like languages and its impact on fairnessLecture Notes in Computer Science, 1984