Nadia Benbernou

Programmable matter by folding

Programmable matter is a material whose properties can be programmed to achieve specific shapes or stiffnesses upon command. This concept requires constituent elements to interact and rearrange intelligently in order to meet the goal. This paper considers achieving programmable sheets that can form themselves in different shapes autonomously by folding. Past approaches to creating transforming machines have been limited by the small feature sizes, the large number of components, and the associated complexity of communication among the units. We seek to mitigate these difficulties through the unique concept of self-folding origami with universal crease patterns. This approach exploits a single sheet composed of interconnected triangular sections. The sheet is able to fold into a set of predetermined shapes using embedded actuation. To implement this self-folding origami concept, we have developed a scalable end-to-end planning and fabrication process. Given a set of desired objects, the system computes an optimized design for a single sheet and multiple controllers to achieve each of the desired objects. The material, called programmable matter by folding, is an example of a system capable of achieving multiple shapes for multiple functions.

Planning to fold multiple objects from a single self-folding sheet

This paper considers planning and control algorithms that enable a programmable sheet to realize different shapes by autonomous folding. Prior work on self-reconfiguring machines has considered modular systems in which independent units coordinate with their neighbors to realize a desired shape. A key limitation in these prior systems is the typically many operations to make and break connections with neighbors, which lead to brittle performance. We seek to mitigate these difficulties through the unique concept of self-folding origami with a universal fixed set of hinges. This approach exploits a single sheet composed of interconnected triangular sections. The sheet is able to fold into a set of predetermined shapes using embedded actuation. We describe the planning algorithms underlying these self-folding sheets, forming a new family of reconfigurable robots that fold themselves into origami by actuating edges to fold by desired angles at desired times. Given a flat sheet, the set of hinges, and a desired folded state for the sheet, the algorithms (1) plan a continuous folding motion into the desired state, (2) discretize this motion into a practicable sequence of phases, (3) overlay these patterns and factor the steps into a minimum set of groups, and (4) automatically plan the location of actuators and threads on the sheet for implementing the shape-formation control.

Coverage with k-transmitters in the presence of obstacles

For a fixed integer k≥0, a k-transmitter is an omnidirectional wireless transmitter with an infinite broadcast range that is able to penetrate up to k “walls”, represented as line segments in the plane. We develop lower and upper bounds for the number of k-transmitters that are necessary and sufficient to cover a given collection of line segments, polygonal chains and polygons.

Efficient reconfiguration of lattice-based modular robots

Abstract Modular robots consist of many identical units (or atoms) that can attach together and perform local motions. By combining such motions, one can achieve a reconfiguration of the global shape of a robot. The term modular comes from the idea of grouping together a fixed number of atoms into a metamodule, which behaves as a larger individual component. Recently, a fair amount of research has focused on algorithms for universal reconfiguration using Crystalline and Telecube metamodules, which use expanding/contracting cubical atoms. From an algorithmic perspective, this work has achieved some of the best asymptotic reconfiguration times under a variety of different physical models. In this paper we show that these results extend to other types of modular robots, thus establishing improved upper bounds on their reconfiguration times. We describe a generic class of modular robots, and we prove that any robot meeting the generic class requirements can simulate the operation of a Crystalline atom by forming a six-arm structure. Previous reconfiguration bounds thus transfer automatically by substituting the six-arm structures for the Crystalline atoms. We also discuss four prototyped robots that satisfy the generic class requirements: M-TRAN, SuperBot, Molecube, and RoomBot.

The Continuous Hexachordal Theorem

The Hexachordal Theorem may be interpreted in terms of scales, or rhythms, or as abstract mathematics. In terms of scales it claims that the complement of a chord that uses half the pitches of a scale is homometric to—i.e., has the same interval structure as—the original chord. In terms of onsets it claims that the complement of a rhythm with the same number of beats as rests is homometric to the original rhythm. We generalize the theorem in two directions: from points on a discrete circle (the mathematical model encompassing both scales and rhythms) to a continuous domain, and simultaneously from the discrete presence or absence of a pitch/onset to a continuous strength or weight of that pitch/onset. Athough this is a significant generalization of the Hexachordal Theorem, having all discrete versions as corollaries, our proof is arguably simpler than some that have appeared in the literature.

Bounded-degree polyhedronization of point sets

In 1994 Grunbaum showed that, given a point set S in R 3 , it is always possible to construct a polyhedron whose vertices are exactly S. Such a polyhedron is called a polyhedronization of S. Agarwal et al. extended this work in 2008 by showing that there always exists a polyhedronization that can be decomposed into a union of tetrahedra (tetrahedralizable). In the same work they introduced the notion of a serpentine polyhedronization for which the dual of its tetrahedralization is a chain. In this work we present a randomized algorithm running in O ( n log 6 n ) expected time which constructs a serpentine polyhedronization that has vertices with degree at most 7, answering an open question by Agarwal et al.