English
Related papers

Related papers: A Certified Universal Gathering Algorithm for Obli…

200 papers

We consider the gathering problem for asynchronous and oblivious robots that cannot communicate explicitly with each other, but are endowed with visibility sensors that allow them to see the positions of the other robots. Most of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-15 Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sebastien Tixeuil , Koichi Wada

In this work we consider the problem of gathering autonomous robots in the plane. In particular, we consider non-transparent unit-disc robots (i.e., fat) in an asynchronous setting. Vision is the only mean of coordination. Using a…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-09-19 Chrysovalandis Agathangelou , Chryssis Georgiou , Marios Mavronicolas

In the field of swarm robotics, one of the most studied problem is Gathering. It asks for a distributed algorithm that brings the robots to a common location, not known in advance. We consider the case of robots constrained to move along…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-12 Serafino Cicerone , Alessia Di Fonso , Gabriele Di Stefano , Alfredo Navarra

The Gathering problem for a swarm of robots asks for a distributed algorithm that brings such entities to a common place, not known in advance. We consider the well-known OBLOT model with robots constrained to move along the edges of a…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-09 Serafino Cicerone , Alessia Di Fonso , Gabriele Di Stefano , Alfredo Navarra

The gathering over meeting nodes problem requires the robots to gather at one of the pre-defined meeting nodes. This paper investigates the problem with respect to the objective function that minimizes the total number of moves made by all…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-16 Subhash Bhagat , Abhinav Chakraborty , Bibhuti Das , Krishnendu Mukhopadhyaya

Mutual localization is essential for coordination and cooperation in multi-robot systems. Previous works have tackled this problem by assuming available correspondences between measurements and received odometry estimations, which are…

Robotics · Computer Science 2022-03-18 Yingjian Wang , Xiangyong Wen , Longji Yin , Chao Xu , Yanjun Cao , Fei Gao

Gracefully degrading algorithms [Biely \etal, TCS 2018] are designed to circumvent impossibility results in dynamic systems by adapting themselves to the dynamics. Indeed, such an algorithm solves a given problem under some dynamics and,…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-08-03 Marjorie Bournat , Swan Dubois , Franck Petit

In this paper, the parking problem of a swarm of mobile robots has been studied. The robots are deployed at the nodes of an infinite grid, which has a subset of prefixed nodes marked as parking nodes. Each parking node p_i has a capacity of…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-10-17 Abhinav Chakraborty , Krishnendu Mukhopadhyaya

An autonomous mobile robot system consisting of many mobile computational entities (called robots) attracts much attention of researchers, and to clarify the relation between the capabilities of robots and solvability of the problems is an…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-18 Yonghwan Kim , Masahiro Shibata , Yuichi Sudo , Junya Nakamura , Yoshiaki Katayama , Toshimitsu Masuzawa

In this paper, we consider the gathering problem of seven autonomous mobile robots on triangular grids. The gathering problem requires that, starting from any connected initial configuration where a subgraph induced by all robot nodes…

Robotics · Computer Science 2021-03-16 Masahiro Shibata , Masaki Ohyabu , Yuichi Sudo , Junya Nakamura , Yonghwan Kim , Yoshiaki Katayama

We propose a new probabilistic pattern formation algorithm for oblivious mobile robots that operates inthe ASYNC model. Unlike previous work, our algorithm makes no assumptions about the local coordinatesystems of robots (the robots do not…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-09-21 Quentin Bramas , Sébastien Tixeuil

We propose a framework to build formal developments for robot networks using the COQ proof assistant, to state and to prove formally various properties. We focus in this paper on impossibility proofs, as it is natural to take advantage of…

Logic in Computer Science · Computer Science 2013-06-19 Cédric Auger , Zohir Bouzid , Pierre Courtieu , Sébastien Tixeuil , Xavier Urbain

This paper proposes a distributed algorithm which deterministically gathers n (n > 4) asynchronous, fat robots. The robots are assumed to be transparent and they have full visibility. The robots are initially considered to be stationary. A…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-03-20 Sruti Gan Chaudhuri , Krishnendu Mukhopadhyaya

We study the \textit{min-sum uniform coverage} problem for a swarm of $n$ mobile robots on a given finite line segment and on a circle having finite positive radius, where the circle is given as an input. The robots must coordinate their…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-12 Animesh Maiti , Abhinav Chakraborty , Bibhuti Das , Subhash Bhagat , Krishnendu Mukhopadhyaya

In the general pattern formation (GPF) problem, a swarm of simple autonomous, disoriented robots must form a given pattern. The robots' simplicity imply a strong limitation: When the initial configuration is rotationally symmetric, only…

Robotics · Computer Science 2024-10-01 Raphael Gerlach , Sören von der Gracht , Christopher Hahn , Jonas Harbig , Peter Kling

We investigate gathering algorithms for asynchronous autonomous mobile robots moving in uniform ring-shaped networks. Different from most work using the Look-Compute-Move (LCM) model, we assume that robots have limited visibility and…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-11-13 Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil , Koichi Wada

We present an algorithm that ensures in finite time the gathering of two robots in the non-rigid ASYNC model. To circumvent established impossibility results, we assume robots are equipped with 2-colors lights and are able to measure…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-22 Adam Heriban , Xavier Défago , Sébastien Tixeuil

We study the Gathering problem for n autonomous mobile robots in semi-synchronous settings with persistent memory called light. It is well known that Gathering is impossible in a basic model when robots have no lights, if the system is…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-11-30 Satoshi Terai , Koichi Wada , Yoshiaki Katayama

An occlusion based strategy for collective transport of a concave object using a swarm of mobile robots has been proposed in this paper. We aim to overcome the challenges of transporting concave objects using decentralized approach. The…

Robotics · Computer Science 2024-09-05 Sanjuksha Nirgude , Animesh Nema , Aishwary Jagetia

In this paper, we consider the partial gathering problem of mobile agents in asynchronous unidirectional rings equipped with whiteboards on nodes. The partial gathering problem is a new generalization of the total gathering problem. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-09-11 Masahiro Shibata , Shinji Kawai , Fukuhito Ooshita , Hirotsugu Kakugawa , Toshimitsu Masuzawa