Declarative Programming for Modular Robots

@inproceedings{ashley-rollman-derosa-iros07wksp,
  author = {Ashley-Rollman, Michael P. and De~Rosa, Michael and
     Srinivasa, Siddhartha S. and Pillai, Padmanabhan and Goldstein,
     Seth Copen and Campbell, Jason D.},
  title = {Declarative Programming for Modular Robots},
  booktitle = {Workshop on Self-Reconfigurable Robots/Systems and
     Applications at {IROS '07}},
  year = {2007},
  month = {October},
  keywords = {Programming Models, Planning},
  abstract = {Because of the timing, complexity, and asynchronicity
     challenges common in modular robot software we have recently
     begun to explore new programming models for modular robot
     ensembles. In this paper we apply two of those models to a
     metamodule-based shape planning algorithm and comment on the
     differences between the two approaches. Our results suggest that
     declarative programming can provide several advantages over more
     traditional imperative approaches, and that the differences
     between declarative programming styles can themselves contribute
     leverage to different parts of the problem domain.},
  url = {http://www.cs.cmu.edu/~claytronics/papers/ashley-rollman-derosa-iros07wksp.pdf}
}

@inproceedings{weller-iros07,
  author = {Weller, Michael Philetus and Karagozler, Mustafa Emre and
     Kirby, Brian and Campbell, Jason D. and Goldstein, Seth Copen},
  title = {Movement Primitives for an Orthogonal Prismatic
     Closed-Lattice-Constrained Self-Reconfiguring Module},
  booktitle = {Workshop on Self-Reconfiguring Modular Robotics at the
     IEEE International Conference on Intelligent Robots and Systems
     (IROS) '07},
  year = {2007},
  month = {October},
  keywords = {Adhesion, Robotics, Planning},
  abstract = {We describe a new set of prismatic movement primitives
     for cubic modular robots. Our approach appears more practical
     than previous metamodule-based approaches. We also describe
     recent hardware developments in our cubic robot modules that have
     sufficient stiffness and actuator strength so that when they work
     together they can realize, in earth's gravity, all of the motion
     primitives we describe here.},
  url = {http://www.cs.cmu.edu/~claytronics/papers/weller-iros07.pdf}
}

@inproceedings{bhat06,
  author = {Bhat, Preethi Srinivas and Kuffner, James and Goldstein,
     Seth Copen and Srinivasa, Siddhartha S.},
  title = {Hierarchical Motion Planning for Self-reconfigurable
     Modular Robots},
  booktitle = {2006 IEEE/RSJ International Conference on Intelligent
     Robots and Systems (IROS)},
  year = {2006},
  month = {October},
  keywords = {Planning, Controlling Ensembles, Hierarchical
     Algorithms},
  url = {http://www.cs.cmu.edu/~claytronics/papers/bhat06.pdf},
  abstract = {Motion planning for a self-reconfigurable robot involves
     coordinating the movement and connectivity of each of its
     homogeneous modules. Reconfiguration occurs when the shape of the
     robot changes from some initial configuration to a target
     configuration. Finding an optimal solution to reconfiguration
     problems involves searching the space of possible robot
     configurations. As this space grows exponentially with the number
     of modules, optimal planning becomes intractable. We propose a
     hierarchical planning approach that computes heuristic global
     reconfiguration strategies efficiently. Our approach consists of
     a base planner that computes an optimal solution for a few
     modules and a hierarchical planner that calls this base planner
     or reuses pre-computed plans at each level of the hierarchy to
     ultimately compute a global suboptimal solution. We present
     results from a prototype implementation of the method that
     efficiently plans for self-reconfigurable robots with several
     thousand modules.We also discuss tradeoffs and performance issues
     including scalability, heuristics and plan optimality.}
}

@inproceedings{derosa-icra06,
  author = {De~Rosa, Michael and Goldstein, Seth Copen and Lee, Peter
     and Campbell, Jason D. and Pillai, Padmanabhan},
  title = {Scalable Shape Sculpting via Hole Motion: Motion Planning
     in Lattice-Constrained Module Robots},
  month = {May},
  booktitle = {Proceedings of the 2006 {IEEE} International Conference
     on Robotics and Automation (ICRA '06)},
  year = {2006},
  keywords = {Planning, Controlling Ensembles, Stochastic Algorithms},
  url = {http://www.cs.cmu.edu/~claytronics/papers/derosa-icra06.pdf},
  abstract = {We describe a novel shape formation algorithm for
     ensembles of 2-dimensional lattice-arrayed modular robots, based
     on the manipulation of regularly shaped voids within the lattice
     (``holes''). The algorithm is massively parallel and fully
     distributed. Constructing a goal shape requires time proportional
     only to the complexity of the desired target geometry.
     Construction of the shape by the modules requires no global
     communication nor broadcast floods after distribution of the
     target shape. Results in simulation show 97.3\% shape compliance
     in ensembles of approximately 60,000 modules, and we believe that
     the algorithm will generalize to 3D and scale to handle millions
     of modules.}
}

@inproceedings{beckman-sdir07,
  author = {Beckman, Nels and Aldrich, Jonathan},
  title = {A Programming Model for Failure-Prone, Collaborative
     Robots},
  booktitle = {Workshop on Software Development and Integration in
     Robotics (SDIR)},
  year = {2007},
  month = {April},
  keywords = {Programming Models},
  url = {http://www.cs.cmu.edu/~claytronics/papers/beckman-sdir07.pdf},
  talk = {http://www.cs.cmu.edu/~nbeckman/presentations/failure_prone_collaborative_robots.pdf},
  abstract = {A major problem in programming failure-prone
     collaborative robots is liveness. How do we ensure that the
     failure of one robot does not cause other robots to be
     permanently unavailable if, for example, that robot was a leader
     of others? In this paper, we propose a general mechanism which
     could be added to existing RPC libraries that allows applications
     to detect failure and execute programmer-specified recovery
     code.}
}

@inproceedings{ashley-rollman-derosa-iros07wksp,
  author = {Ashley-Rollman, Michael P. and De~Rosa, Michael and
     Srinivasa, Siddhartha S. and Pillai, Padmanabhan and Goldstein,
     Seth Copen and Campbell, Jason D.},
  title = {Declarative Programming for Modular Robots},
  booktitle = {Workshop on Self-Reconfigurable Robots/Systems and
     Applications at {IROS '07}},
  year = {2007},
  month = {October},
  keywords = {Programming Models, Planning},
  abstract = {Because of the timing, complexity, and asynchronicity
     challenges common in modular robot software we have recently
     begun to explore new programming models for modular robot
     ensembles. In this paper we apply two of those models to a
     metamodule-based shape planning algorithm and comment on the
     differences between the two approaches. Our results suggest that
     declarative programming can provide several advantages over more
     traditional imperative approaches, and that the differences
     between declarative programming styles can themselves contribute
     leverage to different parts of the problem domain.},
  url = {http://www.cs.cmu.edu/~claytronics/papers/ashley-rollman-derosa-iros07wksp.pdf}
}