Table of Contents
Fetching ...

Pairbot: A Novel Model for Autonomous Mobile Robot Systems Consisting of Paired Robots

Yonghwan Kim, Yoshiaki Katayama, Koichi Wada

TL;DR

This paper introduces two simple problems, the marching problem and the object coating problem, and proposes two algorithms to solve these two problems, respectively, to show the feasibility and effectiveness of the proposed Pairbot model.

Abstract

Programmable matter (PM) is a form of matter capable of dynamically altering its physical properties, such as shape or density, through programmable means. From a robotics perspective, PM can be realized as a distributed system consisting of numerous small computational entities working collaboratively to achieve specific objectives. Although autonomous mobile robot systems serve as an important example and have been researched for more than two decades, these robots often fail to perform even basic tasks, revealing a considerable gap in PM implementation. In this paper, we introduce a novel computational paradigm, termed the Pairing Robot model (Pairbot model), which is built on an autonomous mobile robot system. In this model, each robot forms a pair with another, enabling them to recognize each other and adapt their positions to achieve designated goals. This fundamental principle of pairing substantially enhances inter-robot connectivity compared to conventional LCM-type model, even under asynchronous scheduler conditions. This shift has considerable implications for computational capabilities, specifically in problem solvability. We explore two specific challenges -- the perpetual marching problem and the 7-pairbots-gathering problem -- to demonstrate the computational power of Pairbot model. This model provides new avenues and insights to address inherent issues in autonomous mobile robots.

Pairbot: A Novel Model for Autonomous Mobile Robot Systems Consisting of Paired Robots

TL;DR

This paper introduces two simple problems, the marching problem and the object coating problem, and proposes two algorithms to solve these two problems, respectively, to show the feasibility and effectiveness of the proposed Pairbot model.

Abstract

Programmable matter (PM) is a form of matter capable of dynamically altering its physical properties, such as shape or density, through programmable means. From a robotics perspective, PM can be realized as a distributed system consisting of numerous small computational entities working collaboratively to achieve specific objectives. Although autonomous mobile robot systems serve as an important example and have been researched for more than two decades, these robots often fail to perform even basic tasks, revealing a considerable gap in PM implementation. In this paper, we introduce a novel computational paradigm, termed the Pairing Robot model (Pairbot model), which is built on an autonomous mobile robot system. In this model, each robot forms a pair with another, enabling them to recognize each other and adapt their positions to achieve designated goals. This fundamental principle of pairing substantially enhances inter-robot connectivity compared to conventional LCM-type model, even under asynchronous scheduler conditions. This shift has considerable implications for computational capabilities, specifically in problem solvability. We explore two specific challenges -- the perpetual marching problem and the 7-pairbots-gathering problem -- to demonstrate the computational power of Pairbot model. This model provides new avenues and insights to address inherent issues in autonomous mobile robots.

Paper Structure

This paper contains 29 sections, 18 theorems, 1 equation, 27 figures, 2 algorithms.

Key Result

Lemma 1

The proposed algorithm solves the perpetual marching problem under an $\mathsf{ASYNC}$ scheduler.

Figures (27)

  • Figure 1: Triangular grid plane $\mathbb{T}$
  • Figure 2: Example of the local labels of each robot without any geometric agreement
  • Figure 3: Two states (positional relation) of two robots in the same pair
  • Figure 4: An example of pairbot s
  • Figure 5: An example of perpetual marching
  • ...and 22 more figures

Theorems & Definitions (25)

  • Definition 1
  • Lemma 1
  • Proof 1
  • Corollary 1
  • Theorem 1
  • Theorem 2
  • Corollary 2
  • Lemma 2
  • Corollary 3
  • Lemma 3
  • ...and 15 more