Author: tariktosun

To take full advantage of the flexibility of a modular robot system, users must be able to create and verify new configurations and behaviors quickly. We have developed a design framework that facilitates rapid creation of new configurations and behaviors through composition of existing ones, and tools to verify configurations and behaviors as they are …

Read more “Computer-Aided Compositional Design and Verification for Modular Robots”

We have developed an algorithm that automatically detects embeddability of modular robot configurations. Simply put, a given design embeds another design if it can replicate its structure, and therefore simulate its functionality. We introduce a novel graph representation for modular robots, and formalize the notion of embedding through topological and kinematic conditions. Our algorithm involves …

Read more “Modular Robot Design Embedding”