Abstract
Emerging technologies are making it possible to assemble systems that incorporate myriad of information-processing units at almost no cost: smart materials, selfassembling structures, vast sensor networks, pervasive computing. How does one engineer robust and prespecified global behavior from the local interactions of immense numbers of unreliable parts? We discuss organizing principles and programming methodologies that have emerged from Amorphous Computing research, that allow us to compile a specification of global behavior into a robust program for local behavior.
This is a preview of subscription content, log in via an institution to check access.
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
Abelson and Sussman. Structure and Interpretation of Computer Programs. MIT Press, 1996.
H. Abelson, D. Allen, D. Coore, C. Hanson, G. Homsy, T. Knight, R. Nagpal, E. Rauch, G. Sussman, and R. Weiss. Amorphous computing. Communications of the ACM, 43(5), May 2000.
A. Berlin. Towards Intelligent Structures: Active Control of Buckling. PhD thesis, MIT, Dept of Electrical Eng. and Computer Science, May 1994.
Zack Butler, Sean Byrnes, and Daniela Rus. Distributed motion planning for modular robots with unit-compressible modules. Proceedings of the Intl Conf. on Intelligent Robots and Systems, 2001.
D. Coore. Botanical Computing: A Developmental Approach to Generating Interconnect Topologies on an Amorphous Computer. PhD thesis, MIT, Dept of Electrical Eng. and Computer Science, February 1999.
S. Forrest and M. Mitchell. What makes a problem hard for a genetic algorithm? Machine Learning, 13:285–319, 1993.
Hogg, Bojinov, and Casal. Multiagent control of self-reconfigurable robots. In 4th International Conference on Multi-Agent Systems, July 2000.
H. Huzita and B. Scimemi. The algebra of paper-folding. In First International Meeting of Origami Science and Technology, Ferrara, Italy, 1989.
Kahn, Katz, and Pister. Mobile networking for smart dust. In MobiCom, 1999.
A. Kondacs. Biologically-inspired self-assembly of two-dimensional shapes using global-to-local compilation. In IJCAI, August 2003.
R. J. Lang. A computational algorithm for origami design. In Annual Symposium on Computational Geometry, Philadelphia, PA, 1996.
P. A. Lawrence. The Making of a Fly: the Genetics of Animal Design. Blackwell Science, Oxford, U.K., 1992.
Mamei, Zambonelli, and Leonardi. Tuples on the air: a middleware for context-aware computing in dynamic networks. In Intl. ICDCS Workshop on Mobile Computing Middleware, 2003.
M. Mataric. Issues and approaches in the design of collective autonomous agents. Robotics and Autonomous Systems, 16(2–4):321–331, December 1995.
R. Nagpal. Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics. PhD thesis, MIT, Dept of Electrical Engineering and Computer Science, June 2001.
R. Nagpal. Programmable self-assembly using biologically-inspired multiagent control. In Autonomous Agents and Multiagent Systems (AAMAS), July 2002.
R. Nagpal and D. Coore. An algorithm for group formation in an amorphous computer. In Proceedings of the 10th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'98), October 1998.
R. Nagpal, A. Kondacs, and C. Chang. Programming methodology for biologically-inspired self-assembling systems. In AAAI Spring Symposium: Computational Synthesis, March 2003.
Pamecha, Ebert-Upho., and Chirikjian. Useful metrics for modular robot planning. IEEE Trans. on Robotics and Automation, 13(4), August 1997.
Balakrishnan Priyantha, Chakraborty. The cricket location-support system. In MobiCom, 2000.
M. Resnick. Turtles, Termites and Traffic Jams. MIT Press, Cambridge, MA, 1994.
R. Weiss, G. Homsy, and T. Knight. Toward in vivo digital circuits. In Dimacs Workshop on Evolution as Computation, January 1999.
L. Wolpert. Principles of Development. Oxford University Press, U.K., 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Nagpal, R. (2006). Engineering Amorphous Systems, Using Global-to-Local Compilation. In: Braha, D., Minai, A., Bar-Yam, Y. (eds) Complex Engineered Systems. Understanding Complex Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32834-3_13
Download citation
DOI: https://doi.org/10.1007/3-540-32834-3_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32831-5
Online ISBN: 978-3-540-32834-6
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)