Meld: A Declarative Approach to Programming Ensembles

 

In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS '07)

Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, and Padmanabhan Pillai

Oct 1990

Abstract


download pdf


@inproceedings{ashley-rollman-iros07,
  author = {Ashley-Rollman, Michael P. and Goldstein, Seth Copen and
     Lee, Peter and Mowry, Todd C. and Pillai, Padmanabhan},
  title = {Meld: A Declarative Approach to Programming Ensembles},
  booktitle = {Proceedings of the IEEE International Conference on
     Intelligent Robots and Systems ({IROS '07})},
  year = {2007},
  month = {Oct},
  keywords = {Claytronics, Programming Languages, Meld},
  abstract = {This paper presents Meld, a programming language for
     modular robots, i.e., for independently executing robots where
     inter-robot communication is limited to immediate neighbors. Meld
     is a declarative language, based on P2, a logic-programming
     language originally designed for programming overlay networks. By
     using logic programming, the code for an ensemble of robots can
     be written from a global perspective, as opposed to a large
     collection of independent robot views. This greatly simplifies
     the thought process needed for programming large ensembles.
     Initial experience shows that this also leads to a considerable
     reduction in code size and complexity. An initial implementation
     of Meld has been completed and has been used to demonstrate its
     effectiveness in the Claytronics simulator. Early results
     indicate that Meld programs are considerably more concise (more
     than 20x shorter) than programs written in C++, while running
     nearly as efficiently.},
  url = {http://www.cs.cmu.edu/~claytronics/papers/ashley-rollman-iros07.pdf},
}

Related Papers

Programming Languages
A Language for Large Ensembles of Independently Executing Nodes
Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, and Jason D. Campbell. In Proceedings of the International Conference on Logic Programming (ICLP '09), Jul 1990.
Meld: A Declarative Approach to Programming Ensembles
Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, and Padmanabhan Pillai. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS '07), Oct 1990.
Meld
A Language for Large Ensembles of Independently Executing Nodes
Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, and Jason D. Campbell. In Proceedings of the International Conference on Logic Programming (ICLP '09), Jul 1990.
Distributed Localization of Modular Robot Ensembles
Stanislav Funiak, Padmanabhan Pillai, Michael P. Ashley-Rollman, Jason D. Campbell, and Seth Copen Goldstein. In Proceedings of Robotics: Science and Systems, Jun 1990. See funiak-ijrr09.
Generalizing Metamodules to Simplify Planning in Modular Robotic Systems
Daniel Dewey, Siddhartha S. Srinivasa, Michael P. Ashley-Rollman, Michael De Rosa, Padmanabhan Pillai, Todd C. Mowry, Jason D. Campbell, and Seth Copen Goldstein. In Proceedings of IEEE/RSJ 2008 International Conference on Intelligent Robots and Systems IROS '08, Sep 1990.
Declarative Programming for Modular Robots
Michael P. Ashley-Rollman, Michael De Rosa, Siddhartha S. Srinivasa, Padmanabhan Pillai, Seth Copen Goldstein, and Jason D. Campbell. In Workshop on Self-Reconfigurable Robots/Systems and Applications at IROS '07, Oct 1990.
Meld: A Declarative Approach to Programming Ensembles
Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, and Padmanabhan Pillai. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS '07), Oct 1990.
Claytronics
Distributed Intelligent MEMS: Progresses and Perspectives
Julien Bourgeois and Seth Copen Goldstein. In ICT Innovations 2011, volume 150, pages 15–25, 1990.
Beyond Audio and Video: Using Claytronics to Enable Pario
Seth Copen Goldstein, Todd C. Mowry, Jason D. Campbell, Michael P. Ashley-Rollman, Michael De Rosa, Stanislav Funiak, James F. Hoburg, Mustafa Emre Karagozler, Brian Kirby, Peter Lee, Padmanabhan Pillai, J. Robert Reid, Daniel D. Stancil, and Michael Philetus Weller. AI Magazine, 30(2), Jul 1990.
Programming Modular Robots with Locally Distributed Predicates
Michael De Rosa, Seth Copen Goldstein, Peter Lee, Jason D. Campbell, and Padmanabhan Pillai. In Proceedings of the IEEE International Conference on Robotics and Automation ICRA '08, 1990.
A Modular Robotic System Using Magnetic Force Effectors
Brian Kirby, Burak Aksak, Seth Copen Goldstein, James F. Hoburg, Todd C. Mowry, and Padmanabhan Pillai. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS '07), Oct 1990.
A Scalable Distributed Algorithm for Shape Transformation in Multi-Robot Systems
Ramprasad Ravichandran, Geoffrey Gordon, and Seth Copen Goldstein. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems IROS '07, Oct 1990.
Declarative Programming for Modular Robots
Michael P. Ashley-Rollman, Michael De Rosa, Siddhartha S. Srinivasa, Padmanabhan Pillai, Seth Copen Goldstein, and Jason D. Campbell. In Workshop on Self-Reconfigurable Robots/Systems and Applications at IROS '07, Oct 1990.
Electrostatic Latching for Inter-module Adhesion, Power Transfer, and Communication in Modular Robots
Mustafa Emre Karagozler, Jason D. Campbell, Gary K. Fedder, Seth Copen Goldstein, Michael Philetus Weller, and Byung W. Yoon. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS '07), Oct 1990.
Internal Localization of Modular Robot Ensembles
Stanislav Funiak, Padmanabhan Pillai, Jason D. Campbell, and Seth Copen Goldstein. In Workshop on Self-Reconfiguring Modular Robotics at the IEEE International Conference on Intelligent Robots and Systems (IROS) '07, Oct 1990.
Meld: A Declarative Approach to Programming Ensembles
Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, and Padmanabhan Pillai. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS '07), Oct 1990.
Movement Primitives for an Orthogonal Prismatic Closed-Lattice-Constrained Self-Reconfiguring Module
Michael Philetus Weller, Mustafa Emre Karagozler, Brian Kirby, Jason D. Campbell, and Seth Copen Goldstein. In Workshop on Self-Reconfiguring Modular Robotics at the IEEE International Conference on Intelligent Robots and Systems (IROS) '07, Oct 1990.
Distributed Watchpoints: Debugging Very Large Ensembles of Robots
Michael De Rosa, Seth Copen Goldstein, Peter Lee, Jason D. Campbell, and Padmanabhan Pillai. In Robotics: Science and Systems Workshop on Self-Reconfigurable Modular Robots, Aug 1990.
Hierarchical Motion Planning for Self-reconfigurable Modular Robots
Preethi Srinivas Bhat, James Kuffner, Seth Copen Goldstein, and Siddhartha Srinivasa. In 2006 IEEE/RSJ International Confernce on Intelligent Robots and Systems (IROS), Oct 1990.
Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-Constrained Module Robots
Michael De Rosa, Seth Copen Goldstein, Peter Lee, Jason D. Campbell, and Padmanabhan Pillai. In Proceedings of the 2006 IEEE International Conference on Robotics and Automation (ICRA '06), May 1990.
Ultralight Modular Robotic Building blocks for the Rapid Deployment of Planetary Outposts
Mustafa Emre Karagozler, Brian Kirby, W.J. Lee, Eugene Marinelli, T.C. Ng, Michael Weller, and Seth Copen Goldstein. In Revolutionary Aerospace Systems Concepts Academic Linkage (RASC-AL) Forum 2006, May 1990.
2029 The 3-D Fax Machine Brings Back the House Call
Seth Copen Goldstein. Headline from the Future, Popular Science Magazine, pages 34, Mar 1990.
Catoms: Moving Robots Without Moving Parts
Brian Kirby, Jason D. Campbell, Burak Aksak, Padmanabhan Pillai, James F. Hoburg, Todd C. Mowry, and Seth Copen Goldstein. In AAAI (Robot Exhibition), pages 1730–1, Jul 1990.
Demo Abstract: Claytronics---highly scalable communications, sensing, and actuation networks.
Burak Aksak, Preethi Srinivas Bhat, Jason D. Campbell, Michael De Rosa, Stanislav Funiak, Phillip B. Gibbons, Seth Copen Goldstein, Carlos Guestrin, Ashish Gupta, Casey Helfrich, James F. Hoburg, Brian Kirby, James Kuffner, Peter Lee, Todd C. Mowry, Padmanabhan Pillai, Ram Ravichandran, Benjamin D. Rister, Srinivasan Seshan, Metin Sitti, and Haifeng Yu. In Proceedings of the 3rd international conference on Embedded networked sensor systems (SenSys), pages 299, 1990.
Programmable Matter
Seth Copen Goldstein, Jason D. Campbell, and Todd C. Mowry. IEEE Computer, 38(6):99–101, Jun 1990.
The Ensemble Principle
Seth Copen Goldstein, Todd C. Mowry, Jason D. Campbell, Peter Lee, Padmanabhan Pillai, James F. Hoburg, Phillip B. Gibbons, Carlos Guestrin, James Kuffner, Brian Kirby, Benjamin D. Rister, Michael De Rosa, Stanislav Funiak, Burak Aksak, and Rahul Sukthankar. In 13th Foresight Conference of Advanced Nanotechnogy, Oct 1990.
The Robot is the Tether: Active, Adaptive Power Routing for Modular Robots With Unary Inter-robot Connectors
Jason D. Campbell, Padmanabhan Pillai, and Seth Copen Goldstein. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2005), pages 4108–15, Aug 1990.
Claytronics: A scalable basis for future robots
Seth Copen Goldstein and Todd C. Mowry. In RoboSphere 2004, Nov 1990.
Claytronics: An Instance of Programmable Matter
Seth Copen Goldstein and Todd C. Mowry. In Wild and Crazy Ideas Session of ASPLOS, Oct 1990.


Back to publications list