-
Time Optimal Distance-$k$-Dispersion on Dynamic Ring
Authors:
Brati Mondal,
Pritam Goswami,
Buddhadeb Sau
Abstract:
Dispersion by mobile agents is a well studied problem in the literature on computing by mobile robots. In this problem, $l$ robots placed arbitrarily on nodes of a network having $n$ nodes are asked to relocate themselves autonomously so that each node contains at most $\lfloor \frac{l}{n}\rfloor$ robots. When $l\le n$, then each node of the network contains at most one robot. Recently, in NETYS'2…
▽ More
Dispersion by mobile agents is a well studied problem in the literature on computing by mobile robots. In this problem, $l$ robots placed arbitrarily on nodes of a network having $n$ nodes are asked to relocate themselves autonomously so that each node contains at most $\lfloor \frac{l}{n}\rfloor$ robots. When $l\le n$, then each node of the network contains at most one robot. Recently, in NETYS'23, Kaur et al. introduced a variant of dispersion called \emph{Distance-2-Dispersion}. In this problem, $l$ robots have to solve dispersion with an extra condition that no two adjacent nodes contain robots.
In this work, we generalize the problem of Dispersion and Distance-2-Dispersion by introducing another variant called \emph{Distance-$k$-Dispersion (D-$k$-D)}. In this problem, the robots have to disperse on a network in such a way that shortest distance between any two pair of robots is at least $k$ and there exist at least one pair of robots for which the shortest distance is exactly $k$. Note that, when $k=1$ we have normal dispersion and when $k=2$ we have D-$2$-D. Here, we studied this variant for a dynamic ring (1-interval connected ring) for rooted initial configuration. We have proved the necessity of fully synchronous scheduler to solve this problem and provided an algorithm that solves D-$k$-D in $Θ(n)$ rounds under a fully synchronous scheduler. So, the presented algorithm is time optimal too. To the best of our knowledge, this is the first work that considers this specific variant.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
Computational Power of Mobile Robots in Synchronous Environment: Discrete Version
Authors:
Avisek Sharma,
Pritam Goswami,
Buddhadeb Sau
Abstract:
In distributed computing by mobile robots, robots are deployed over a region, continuous or discrete, operating through a sequence of \textit{look-compute-move} cycles. An extensive study has been carried out to understand the computational powers of different robot models. The models vary on the ability to 1)~remember constant size information and 2)~communicate constant size message. Depending o…
▽ More
In distributed computing by mobile robots, robots are deployed over a region, continuous or discrete, operating through a sequence of \textit{look-compute-move} cycles. An extensive study has been carried out to understand the computational powers of different robot models. The models vary on the ability to 1)~remember constant size information and 2)~communicate constant size message. Depending on the abilities the different models are 1)~$\mathcal{OBLOT}$ (robots are oblivious and silent), 2)~$\mathcal{FSTA}$ (robots have finite states but silent), 3)~$\mathcal{FCOM}$ (robots are oblivious but can communicate constant size information) and, 4)~$\mathcal{LUMI}$ (robots have finite states and can communicate constant size information). Another factor that affects computational ability is the scheduler that decides the activation time of the robots. The main three schedulers are \textit{fully-synchronous}, \textit{semi-synchronous} and \textit{asynchronous}. Combining the models ($M$) with schedulers ($K$), we have twelve combinations $M^K$.
In the euclidean domain, the comparisons between these twelve variants have been done in different works for transparent robots, opaque robots, and robots with limited visibility. There is a vacant space for similar works when robots are operating on discrete regions like networks. It demands separate research attention because there have been a series of works where robots operate on different networks, and there is a fundamental difference when robots are operating on a continuous domain versus a discrete domain in terms of robots' movement. This work contributes to filling the space by giving a full comparison table for all models with two synchronous schedulers: fully-synchronous and semi-synchronous.
△ Less
Submitted 24 July, 2024; v1 submitted 8 July, 2024;
originally announced July 2024.
-
Space and Move-optimal Arbitrary Pattern Formation on Infinite Rectangular Grid by Oblivious Robot Swarm
Authors:
Avisek Sharma,
Satakshi Ghosh,
Pritam Goswami,
Buddhadeb Sau
Abstract:
Arbitrary Pattern Formation (APF) is a fundamental coordination problem in swarm robotics. It requires a set of autonomous robots (mobile computing units) to form an arbitrary pattern (given as input) starting from any initial pattern. This problem has been extensively investigated in continuous and discrete scenarios, with this study focusing on the discrete variant. A set of robots is placed on…
▽ More
Arbitrary Pattern Formation (APF) is a fundamental coordination problem in swarm robotics. It requires a set of autonomous robots (mobile computing units) to form an arbitrary pattern (given as input) starting from any initial pattern. This problem has been extensively investigated in continuous and discrete scenarios, with this study focusing on the discrete variant. A set of robots is placed on the nodes of an infinite rectangular grid graph embedded in the euclidean plane. The movements of each robot is restricted to one of the four neighboring grid nodes from its current position. The robots are autonomous, anonymous, identical, and homogeneous, and operate Look-Compute-Move cycles. In this work, we adopt the classical $\mathcal{OBLOT}$ robot model, meaning the robots have no persistent memory or explicit communication methods, yet they possess full and unobstructed visibility. This work proposes an algorithm that solves the APF problem in a fully asynchronous scheduler assuming the initial configuration is asymmetric. The considered performance measures of the algorithm are space and number of moves required for the robots. The algorithm is asymptotically move-optimal. Here, we provide a definition of space complexity that takes the visibility issue into consideration. We observe an obvious lower bound $\mathcal{D}$ of the space complexity and show that the proposed algorithm has the space complexity $\mathcal{D}+4$. On comparing with previous related works, we show that this is the first proposed algorithm considering $\mathcal{OBLOT}$ robot model that is asymptotically move-optimal and has the least space complexity which is almost optimal.
△ Less
Submitted 27 March, 2024; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Circle Formation by Asynchronous Opaque Fat Robots on an Infinite Grid
Authors:
Pritam Goswami,
Manash Kumar Kundu,
Satakshi Ghosh,
Buddhadeb Sau
Abstract:
This study addresses the problem of "Circle Formation on an Infinite Grid by Fat Robots" ($CF\_FAT\_GRID$). Unlike prior work focused solely on point robots in discrete domain, it introduces fat robots to circle formation on an infinite grid, aligning with practicality as even small robots inherently possess dimensions. The algorithm, named $CIRCLE\_FG$, resolves the $CF\_FAT\_GRID$ problem using…
▽ More
This study addresses the problem of "Circle Formation on an Infinite Grid by Fat Robots" ($CF\_FAT\_GRID$). Unlike prior work focused solely on point robots in discrete domain, it introduces fat robots to circle formation on an infinite grid, aligning with practicality as even small robots inherently possess dimensions. The algorithm, named $CIRCLE\_FG$, resolves the $CF\_FAT\_GRID$ problem using a swarm of fat luminous robots. Operating under an asynchronous scheduler, it achieves this with five distinct colors and by leveraging one-axis agreement among the robots.
△ Less
Submitted 19 August, 2023;
originally announced August 2023.
-
Arbitrary Pattern Formation on a Continuous Circle by Oblivious Robot Swarm
Authors:
Brati Mondal,
Pritam Goswami,
Avisek Sharma,
Buddhadeb Sau
Abstract:
In the field of distributed system, Arbitrary Pattern Formation (APF) problem is an extensively studied problem. The purpose of APF is to design an algorithm to move a swarm of robots to a particular position on an environment (discrete or continuous) such that the swarm can form a specific but arbitrary pattern given previously to every robot as an input. In this paper the solvability of the APF…
▽ More
In the field of distributed system, Arbitrary Pattern Formation (APF) problem is an extensively studied problem. The purpose of APF is to design an algorithm to move a swarm of robots to a particular position on an environment (discrete or continuous) such that the swarm can form a specific but arbitrary pattern given previously to every robot as an input. In this paper the solvability of the APF problem on a continuous circle has been discussed for a swarm of oblivious and silent robots without chirality under a semi synchronous scheduler. Firstly a class of configurations called \textit{Formable Configuration}($FC$) has been provided which is necessary to solve the APF problem on a continuous circle. Then considering the initial configuration to be an $FC$, an deterministic and distributed algorithm has been provided that solves the APF problem for $n$ robots on a continuous circle of fixed radius within $O(n)$ epochs without collision.
△ Less
Submitted 14 July, 2023; v1 submitted 18 March, 2023;
originally announced March 2023.
-
The Computational Landscape of Autonomous Mobile Robots: The Visibility Perspective
Authors:
Archak Das,
Satakshi Ghosh,
Avisek Sharma,
Pritam Goswami,
Buddhadeb Sau
Abstract:
Consider a group of autonomous mobile computational entities called robots. The robots move in the Euclidean plane and operate according to synchronous $Look$-$Compute$-$Move$ cycles. The computational capabilities of the robots under the four traditional models $\{ \mathcal{OBLOT},\ \mathcal{FSTA},\ \mathcal{FCOM},\ \mathcal{LUMI} \} $ have been extensively investigated both when the robots had u…
▽ More
Consider a group of autonomous mobile computational entities called robots. The robots move in the Euclidean plane and operate according to synchronous $Look$-$Compute$-$Move$ cycles. The computational capabilities of the robots under the four traditional models $\{ \mathcal{OBLOT},\ \mathcal{FSTA},\ \mathcal{FCOM},\ \mathcal{LUMI} \} $ have been extensively investigated both when the robots had unlimited amount of energy and when the robots were energy-constrained.
In both the above cases, the robots had full visibility. In this paper, this assumption is removed, i.e., we assume that the robots can view up to a constant radius $V_r$ from their position (the $V_r$ is same for all the robots) and, investigates what impact it has on its computational capabilities.
We first study whether the restriction imposed on the visibility has any impact at all, i.e., under a given model and scheduler does there exist any problem which cannot be solved by a robot having limited visibility but can be solved by a robot with full visibility. We find that the answer to the question in general turns out to be positive. Finally, we try to get an idea that under a given model, which of the two factors, $Visibility$ or $Synchronicity$ is more powerful and conclude that a definite conclusion cannot be drawn.
△ Less
Submitted 3 October, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Asynchronous Gathering of Robots with Finite Memory on a Circle under Limited Visibility
Authors:
Satakshi Ghosh,
Avisek Sharma,
Pritam Goswami,
Buddhadeb Sau
Abstract:
Consider a set of $n$ mobile entities, called robots, located and operating on a continuous circle, i.e., all robots are initially in distinct locations on a circle. The \textit{gathering} problem asks to design a distributed algorithm that allows the robots to assemble at a point on the circle. Robots are anonymous, identical, and homogeneous. Robots operate in a deterministic Look-Compute-Move c…
▽ More
Consider a set of $n$ mobile entities, called robots, located and operating on a continuous circle, i.e., all robots are initially in distinct locations on a circle. The \textit{gathering} problem asks to design a distributed algorithm that allows the robots to assemble at a point on the circle. Robots are anonymous, identical, and homogeneous. Robots operate in a deterministic Look-Compute-Move cycle within the circular path. Robots agree on the clockwise direction. The robot's movement is rigid and they have limited visibility $π$, i.e., each robot can only see the points of the circle which is at an angular distance strictly less than $π$ from the robot.
Di Luna \textit{et al}. [DISC'2020] provided a deterministic gathering algorithm of oblivious and silent robots on a circle in semi-synchronous (\textsc{SSync}) scheduler. Buchin \textit{et al}. [IPDPS(W)'2021] showed that, under full visibility, $\mathcal{OBLOT}$ robot model with \textsc{SSync} scheduler is incomparable to $\mathcal{FSTA}$ robot (robots are silent but have finite persistent memory) model with asynchronous (\textsc{ASync}) scheduler. Under limited visibility, this comparison is still unanswered. So, this work extends the work of Di Luna \textit{et al}. [DISC'2020] under \textsc{ASync} scheduler for $\mathcal{FSTA}$ robot model.
△ Less
Submitted 15 February, 2023;
originally announced February 2023.
-
Rendezvous on a Known Dynamic Point on a Finite Unoriented Grid
Authors:
Pritam Goswami,
Avisek Sharma,
Satakshi Ghosh,
Buddhadeb Sau
Abstract:
In this paper, we have considered two fully synchronous $\mathcal{OBLOT}$ robots having no agreement on coordinates entering a finite unoriented grid through a door vertex at a corner, one by one. There is a resource that can move around the grid synchronously with the robots until it gets co-located along with at least one robot. Assuming the robots can see and identify the resource, we consider…
▽ More
In this paper, we have considered two fully synchronous $\mathcal{OBLOT}$ robots having no agreement on coordinates entering a finite unoriented grid through a door vertex at a corner, one by one. There is a resource that can move around the grid synchronously with the robots until it gets co-located along with at least one robot. Assuming the robots can see and identify the resource, we consider the problem where the robots must meet at the location of this dynamic resource within finite rounds. We name this problem "Rendezvous on a Known Dynamic Point".
Here, we have provided an algorithm for the two robots to gather at the location of the dynamic resource. We have also provided a lower bound on time for this problem and showed that with certain assumption on the waiting time of the resource on a single vertex, the algorithm provided is time optimal. We have also shown that it is impossible to solve this problem if the scheduler considered is semi-synchronous.
△ Less
Submitted 12 May, 2023; v1 submitted 20 January, 2023;
originally announced January 2023.
-
Space and Move-optimal Arbitrary Pattern Formation on a Rectangular Grid by Robot Swarms
Authors:
Avisek Sharma,
Satakshi Ghosh,
Pritam Goswami,
Buddhadeb Sau
Abstract:
Arbitrary pattern formation (\textsc{Apf}) is a well-studied problem in swarm robotics. To the best of our knowledge, the problem has been considered in two different settings: one in a euclidean plane and another in an infinite grid. This work deals with the problem in an infinite rectangular grid setting. The previous works in literature dealing with the \textsc{Apf} problem in an infinite grid…
▽ More
Arbitrary pattern formation (\textsc{Apf}) is a well-studied problem in swarm robotics. To the best of our knowledge, the problem has been considered in two different settings: one in a euclidean plane and another in an infinite grid. This work deals with the problem in an infinite rectangular grid setting. The previous works in literature dealing with the \textsc{Apf} problem in an infinite grid had a fundamental issue. These deterministic algorithms use a lot of space in the grid to solve the problem, mainly to maintain the asymmetry of the configuration or to avoid a collision. These solution techniques cannot be useful if there is a space constraint in the application field. In this work, we consider luminous robots (with one light that can take three colors) to avoid symmetry, but we carefully designed a deterministic algorithm that solves the \textsc{Apf} problem using the minimal required space in the grid. The robots are autonomous, identical, and anonymous, and they operate in Look-Compute-Move cycles under a fully asynchronous scheduler. The \textsc{Apf} algorithm proposed in \cite{BOSE2020} by Bose et al. can be modified using luminous robots so that it uses minimal space, but that algorithm is not move-optimal. The algorithm proposed in this paper not only uses minimal space but is also asymptotically move-optimal. The algorithm proposed in this work is designed for an infinite rectangular grid, but it can be easily modified to work on a finite grid as well.
△ Less
Submitted 28 August, 2023; v1 submitted 6 December, 2022;
originally announced December 2022.
-
Oblivious Robots Performing Different Tasks on Grid Without Knowing their Team Members
Authors:
Satakshi Ghosh,
Avisek Sharma,
Pritam Goswami,
Buddhadeb Sau
Abstract:
Two fundamental problems of distributed computing are Gathering and Arbitrary pattern formation (\textsc{Apf}). These two tasks are different in nature as in gathering robots meet at a point but in \textsc{Apf} robots form a fixed pattern in distinct positions.
In most of the current literature on swarm robot algorithms, it is assumed that all robots in the system perform one single task togethe…
▽ More
Two fundamental problems of distributed computing are Gathering and Arbitrary pattern formation (\textsc{Apf}). These two tasks are different in nature as in gathering robots meet at a point but in \textsc{Apf} robots form a fixed pattern in distinct positions.
In most of the current literature on swarm robot algorithms, it is assumed that all robots in the system perform one single task together. Two teams of oblivious robots deployed in the same system and different teams of robots performing two different works simultaneously where no robot knows the team of another robot is a new concept in the literature introduced by Bhagat et al. [ICDCN'2020].
In this work, a swarm of silent and oblivious robots are deployed on an infinite grid under an asynchronous scheduler. The robots do not have access to any global coordinates. Some of the robots are given input of an arbitrary but unique pattern. The set of robots with the given pattern is assigned the task of forming the given pattern on the grid. The remaining robots are assigned with the task of gathering to a vertex of the grid (not fixed from earlier and not any point where a robot that is forming a pattern terminates). Each robot knows to which team it belongs, but can not recognize the team of another robot. Considering weak multiplicity detection, a distributed algorithm is presented in this paper which leads the robots with the input pattern into forming it and other robots into gathering on a vertex of the grid on which no other robot forming the pattern, terminates.
△ Less
Submitted 27 August, 2024; v1 submitted 2 October, 2022;
originally announced October 2022.
-
Maximum Independent Set Formation on a Finite Grid by Myopic Robots
Authors:
Raja Das,
Avisek Sharma,
Buddhadeb Sau
Abstract:
This work deals with the Maximum Independent Set ($\mathcal{MIS}$) formation problem in a finite rectangular grid by autonomous robots. Suppose we are given a set of identical robots, where each robot is placed on a node of a finite rectangular grid $\mathcal{G}$ such that no two robots are on the same node. The $\mathcal{MIS}$ formation problem asks to design an algorithm, executing which each ro…
▽ More
This work deals with the Maximum Independent Set ($\mathcal{MIS}$) formation problem in a finite rectangular grid by autonomous robots. Suppose we are given a set of identical robots, where each robot is placed on a node of a finite rectangular grid $\mathcal{G}$ such that no two robots are on the same node. The $\mathcal{MIS}$ formation problem asks to design an algorithm, executing which each robot will move autonomously and terminate at a node such that after a finite time the set of nodes occupied by the robots is a maximum independent set of $\mathcal{G}$. We assume that robots are anonymous and silent, and they execute the same distributed algorithm.
Previous works solving this problem used one or several door nodes through which the robots enter inside the grid or the graph one by one and occupy required nodes. In this work, we propose a deterministic algorithm that solves the $\mathcal{MIS}$ formation problem in a more generalized scenario, i.e., when the total number of required robots to form an $\mathcal{MIS}$ are arbitrarily placed on the grid. The proposed algorithm works under a semi-synchronous scheduler using robots with only 2 hop visibility range and only 3 colors.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
Arbitrary pattern formation by opaque fat robots on infinite grid
Authors:
Manash Kumar Kundu,
Pritam Goswami,
Satakshi Ghosh,
Buddhadeb Sau
Abstract:
Arbitrary Pattern formation ($\mathcal{APF}$) by a swarm of mobile robots is a widely studied problem in the literature. Many works regarding $\mathcal{APF}$ have been proposed on plane and infinite grid by point robots. But in practical application, it is impossible to design point robots. In \cite{BoseAKS20}, the robots are assumed opaque fat robots but the environment is plane. To the best of o…
▽ More
Arbitrary Pattern formation ($\mathcal{APF}$) by a swarm of mobile robots is a widely studied problem in the literature. Many works regarding $\mathcal{APF}$ have been proposed on plane and infinite grid by point robots. But in practical application, it is impossible to design point robots. In \cite{BoseAKS20}, the robots are assumed opaque fat robots but the environment is plane. To the best of our knowledge, no work till now ever considered the $\mathcal{APF}$ problem assuming opaque fat robots on infinite grid where movements are restricted. In this paper, we have provided a collisionless distributed algorithm and solved $\mathcal{APF}$ using 9 colors.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Move and Time Optimal Arbitrary Pattern Formation by Asynchronous Robots on Infinite Grid
Authors:
Satakshi Ghosh,
Pritam Goswami,
Avisek Sharma,
Buddhadeb Sau
Abstract:
The \textsc{Arbitrary Pattern Formation} (\textsc{Apf}) is a widely studied in distributed computing for swarm robots. This problem asks to design a distributed algorithm that allows a team of identical, autonomous mobile robots to form any arbitrary pattern given as input. This paper considers that the robots are operating on a two-dimensional infinite grid. Robots are initially positioned on dis…
▽ More
The \textsc{Arbitrary Pattern Formation} (\textsc{Apf}) is a widely studied in distributed computing for swarm robots. This problem asks to design a distributed algorithm that allows a team of identical, autonomous mobile robots to form any arbitrary pattern given as input. This paper considers that the robots are operating on a two-dimensional infinite grid. Robots are initially positioned on distinct grid points forming an asymmetric configuration (no two robots have the same snapshot). They operate under a fully asynchronous scheduler and do not have any access to a global coordinate system, but they will align the axes of their local coordinate systems along the grid lines. The previous work dealing with \textsc{Apf} problem solved it in $O(\mathcal{D}^2k)$ robot movements under similar conditions, where $\mathcal{D}$ is the side of the smallest square that can contain both initial and target configuration and, $k$ is the number of robots. Let $\mathcal{D}'=\max\{\mathcal{D},k\}$. This paper presents two algorithms of \textsc{Apf} on an infinite grid. The first algorithm solves the \textsc{Apf} problem using $O(\mathcal{D}')$ asymptotically move optimal. The second algorithm solves the \textsc{Apf} problem in $O(\mathcal{D}')$ epochs, which we show is asymptotically optimal.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
Arbitrary pattern formation by asynchronous opaque robots on infinite grid
Authors:
Manash Kumar Kundu,
Pritam Goswami,
Satakshi Ghosh,
Buddhadeb Sau
Abstract:
Arbitrary pattern formation ($\mathcal{APF}$) by mobile robots is studied by many in literature under different conditions and environment. Recently it has been studied on an infinite grid network but with full visibility. In opaque robot model, circle formation on infinite grid has also been studied. In this paper, we are solving $\mathcal{APF}$ on infinite grid with asynchronous opaque robots wi…
▽ More
Arbitrary pattern formation ($\mathcal{APF}$) by mobile robots is studied by many in literature under different conditions and environment. Recently it has been studied on an infinite grid network but with full visibility. In opaque robot model, circle formation on infinite grid has also been studied. In this paper, we are solving $\mathcal{APF}$ on infinite grid with asynchronous opaque robots with lights. The robots do not share any global co-ordinate system. The main challenge in this problem is to elect a leader to agree upon a global co-ordinate where the vision of the robots are obstructed by other robots. Since the robots are on a grid, their movements are also restricted to avoid collisions. In this paper, the aforementioned hardness are overcome to produce an algorithm that solves the problem.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
Time Optimal Gathering of Myopic Robots on an Infinite Triangular Grid
Authors:
Pritam Goswami,
Avisek Sharma,
Satakshi Ghosh,
Buddhadeb Sau
Abstract:
This work deals with the problem of gathering $n$ oblivious mobile entities, called robots, at a point (not known beforehand) placed on an infinite triangular grid. The robots are considered to be myopic, i.e., robots have limited visibility. Earlier works of gathering mostly considered the robots either on a plane or on a circle or on a rectangular grid under both full and limited visibility. In…
▽ More
This work deals with the problem of gathering $n$ oblivious mobile entities, called robots, at a point (not known beforehand) placed on an infinite triangular grid. The robots are considered to be myopic, i.e., robots have limited visibility. Earlier works of gathering mostly considered the robots either on a plane or on a circle or on a rectangular grid under both full and limited visibility. In the triangular grid, there are two works to the best of our knowledge. The first one is by Cicerone et al. on arbitrary pattern formation where full visibility is considered. The other one by Shibata et al. which considers seven robots with 2- hop visibility that form a hexagon with one robot in the center of the hexagon in a collision-less environment under a fully synchronous scheduler .
In this work, we first show that gathering on a triangular grid with 1-hop vision of robots is not possible even under a fully synchronous scheduler if the robots do not agree on any axis. So one axis agreement has been considered in this work (i.e., the robots agree on a direction and its orientation). We have also shown that the lower bound for time is $Ω(n)$ epochs when $n$ number of robots are gathering on an infinite triangular grid. An algorithm is then presented where a swarm of $n$ number of robots with 1-hop visibility can gather within $O(n)$ epochs under a semi-synchronous scheduler. So the algorithm presented here is time optimal.
△ Less
Submitted 28 September, 2022; v1 submitted 29 April, 2022;
originally announced April 2022.
-
Exploring a Dynamic Ring without Landmark
Authors:
Archak Das,
Kaustav Bose,
Buddhadeb Sau
Abstract:
Consider a group of autonomous mobile computational entities, called agents, arbitrarily placed at some nodes of a dynamic but always connected ring. The agents neither have any knowledge about the size of the ring nor have a common notion of orientation. We consider the \textsc{Exploration} problem where the agents have to collaboratively to explore the graph and terminate, with the requirement t…
▽ More
Consider a group of autonomous mobile computational entities, called agents, arbitrarily placed at some nodes of a dynamic but always connected ring. The agents neither have any knowledge about the size of the ring nor have a common notion of orientation. We consider the \textsc{Exploration} problem where the agents have to collaboratively to explore the graph and terminate, with the requirement that each node has to be visited by at least one agent. It has been shown by Di Luna et al. [Distrib. Comput. 2020] that the problem is solvable by two anonymous agents if there is a single observably different node in the ring called landmark node. The problem is unsolvable by any number of anonymous agents in absence of a landmark node. We consider the problem with non-anonymous agents (agents with distinct identifiers) in a ring with no landmark node. The assumption of agents with distinct identifiers is strictly weaker than having a landmark node as the problem is unsolvable by two agents with distinct identifiers in absence of a landmark node. This setting has been recently studied by Mandal et al. [ALGOSENSORS 2020]. There it is shown that the problem is solvable in this setting by three agents assuming that they have edge crossing detection capability. Edge crossing detection capability is a strong assumption which enables two agents moving in opposite directions through an edge in the same round to detect each other and also exchange information. In this paper we give an algorithm that solves the problem with three agents without the edge crossing detection capability.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Power of Finite Memory and Finite Communication Robots under Asynchronous Scheduler
Authors:
Archak Das,
Avisek Sharma,
Buddhadeb Sau
Abstract:
In swarm robotics, a set of robots has to perform a given task with specified internal capabilities (model) and under a given adversarial scheduler. Relation between a model $M_1$ under scheduler $S_1$, and that of a model $M_2$ under scheduler $S_2$ can be of four different types: not less powerful, more powerful, equivalent and orthogonal. In literature there are four main models of robots with…
▽ More
In swarm robotics, a set of robots has to perform a given task with specified internal capabilities (model) and under a given adversarial scheduler. Relation between a model $M_1$ under scheduler $S_1$, and that of a model $M_2$ under scheduler $S_2$ can be of four different types: not less powerful, more powerful, equivalent and orthogonal. In literature there are four main models of robots with lights: $\mathcal{LUMI}$, where robots have the power of observing the lights of all the robots, $\mathcal{FSTA}$ , where each robot can see only its own light, $\mathcal{FCOM}$, where each robot can observe the light of all other robots except its own and $\mathcal{OBLOT}$, where the robots do not have any light. In this paper, we investigate the computational power of $\mathcal{FSTA}$ and $\mathcal{FCOM}$ model under asynchronous scheduler by comparing it with other model and scheduler combinations. Our main focus is to understand and compare the power of persistent memory and explicit communication in robots under asynchronous scheduler.
△ Less
Submitted 25 April, 2021;
originally announced April 2021.
-
Pattern Formation by Robots with Inaccurate Movements
Authors:
Kaustav Bose,
Archak Das,
Buddhadeb Sau
Abstract:
\textsc{Arbitrary Pattern Formation} is a fundamental problem in autonomous mobile robot systems. The problem asks to design a distributed algorithm that moves a team of autonomous, anonymous and identical mobile robots to form any arbitrary pattern $F$ given as input. In this paper, we study the problem for robots whose movements can be inaccurate. Our movement model assumes errors in both direct…
▽ More
\textsc{Arbitrary Pattern Formation} is a fundamental problem in autonomous mobile robot systems. The problem asks to design a distributed algorithm that moves a team of autonomous, anonymous and identical mobile robots to form any arbitrary pattern $F$ given as input. In this paper, we study the problem for robots whose movements can be inaccurate. Our movement model assumes errors in both direction and extent of the intended movement. Forming the given pattern exactly is not possible in this setting. So we require that the robots must form a configuration which is close to the given pattern $F$. We call this the \textsc{Approximate Arbitrary Pattern Formation} problem. We show that with no agreement in coordinate system, the problem is unsolvable, even by fully synchronous robots, if the initial configuration 1) has rotational symmetry and there is no robot at the center of rotation or 2) has reflectional symmetry and there is no robot on the reflection axis. From all other initial configurations, we solve the problem by 1) oblivious, silent and semi-synchronous robots and 2) oblivious, asynchronous robots that can communicate using externally visible lights.
△ Less
Submitted 16 February, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Distributed Localization of Wireless Sensor Network Using Communication Wheel
Authors:
Kaustav Bose,
Manash Kumar Kundu,
Ranendu Adhikary,
Buddhadeb Sau
Abstract:
We study the network localization problem, i.e., the problem of determining node positions of a wireless sensor network modeled as a unit disk graph. In an arbitrarily deployed network, positions of all nodes of the network may not be uniquely determined. It is known that even if the network corresponds to a unique solution, no polynomial-time algorithm can solve this problem in the worst case, un…
▽ More
We study the network localization problem, i.e., the problem of determining node positions of a wireless sensor network modeled as a unit disk graph. In an arbitrarily deployed network, positions of all nodes of the network may not be uniquely determined. It is known that even if the network corresponds to a unique solution, no polynomial-time algorithm can solve this problem in the worst case, unless RP = NP. So we are interested in algorithms that efficiently localize the network partially. A widely used technique that can efficiently localize a uniquely localizable portion of the network is trilateration: starting from three anchors (nodes with known positions), nodes having at least three localized neighbors are sequentially localized. However, the performance of trilateration can substantially differ for different choices of the initial three anchors. In this paper, we propose a distributed localization scheme with a theoretical characterization of nodes that are guaranteed to be localized. In particular, our proposed distributed algorithm starts localization from a strongly interior node and provided that the subgraph induced by the strongly interior nodes is connected, it localizes all nodes of the network except some boundary nodes and isolated weakly interior nodes.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Memory Optimal Dispersion by Anonymous Mobile Robots
Authors:
Archak Das,
Kaustav Bose,
Buddhadeb Sau
Abstract:
Consider a team of $k \leq n$ autonomous mobile robots initially placed at a node of an arbitrary graph $G$ with $n$ nodes. The dispersion problem asks for a distributed algorithm that allows the robots to reach a configuration in which each robot is at a distinct node of the graph. If the robots are anonymous, i.e., they do not have any unique identifiers, then the problem is not solvable by any…
▽ More
Consider a team of $k \leq n$ autonomous mobile robots initially placed at a node of an arbitrary graph $G$ with $n$ nodes. The dispersion problem asks for a distributed algorithm that allows the robots to reach a configuration in which each robot is at a distinct node of the graph. If the robots are anonymous, i.e., they do not have any unique identifiers, then the problem is not solvable by any deterministic algorithm. However, the problem can be solved even by anonymous robots if each robot is given access to a fair coin which they can use to generate random bits. In this setting, it is known that the robots require $Ω(\logΔ)$ bits of memory to achieve dispersion, where $Δ$ is the maximum degree of $G$. On the other hand, the best known memory upper bound is $min \{Δ, max\{\logΔ, \log{D}\}\}$ ($D$ = diameter of $G$), which can be $ω(\logΔ)$, depending on the values of $Δ$ and $D$. In this paper, we close this gap by presenting an optimal algorithm requiring $O(\logΔ)$ bits of memory.
△ Less
Submitted 4 December, 2020; v1 submitted 3 August, 2020;
originally announced August 2020.
-
Arbitrary Pattern Formation by Opaque Fat Robots with Lights
Authors:
Kaustav Bose,
Ranendu Adhikary,
Manash Kumar Kundu,
Buddhadeb Sau
Abstract:
Arbitrary Pattern Formation is a widely studied problem in autonomous robot systems. The problem asks to design a distributed algorithm that moves a team of autonomous, anonymous and identical mobile robots to form any arbitrary pattern given as input. The majority of the existing literature investigates this problem for robots with unobstructed visibility. In a few recent works, the problem has b…
▽ More
Arbitrary Pattern Formation is a widely studied problem in autonomous robot systems. The problem asks to design a distributed algorithm that moves a team of autonomous, anonymous and identical mobile robots to form any arbitrary pattern given as input. The majority of the existing literature investigates this problem for robots with unobstructed visibility. In a few recent works, the problem has been studied in the obstructed visibility model, where the view of a robot can be obstructed by the presence of other robots. However, in these works, the robots have been modelled as dimensionless points in the plane. In this paper, we have considered the problem in the more realistic setting where the robots have a physical extent. In particular, the robots are modelled as opaque disks. Furthermore, the robots operate under a fully asynchronous scheduler. They do not have access to any global coordinate system, but agree on the direction and orientation of one coordinate axis. Each robot is equipped with an externally visible light which can assume a constant number of predefined colors. In this setting, we have given a complete characterization of initial configurations from where any arbitrary pattern can be formed by a deterministic distributed algorithm.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
Positional Encoding by Robots with Non-Rigid Movements
Authors:
Kaustav Bose,
Ranendu Adhikary,
Manash Kumar Kundu,
Buddhadeb Sau
Abstract:
Consider a set of autonomous computational entities, called \emph{robots}, operating inside a polygonal enclosure (possibly with holes), that have to perform some collaborative tasks. The boundary of the polygon obstructs both visibility and mobility of a robot. Since the polygon is initially unknown to the robots, the natural approach is to first explore and construct a map of the polygon. For th…
▽ More
Consider a set of autonomous computational entities, called \emph{robots}, operating inside a polygonal enclosure (possibly with holes), that have to perform some collaborative tasks. The boundary of the polygon obstructs both visibility and mobility of a robot. Since the polygon is initially unknown to the robots, the natural approach is to first explore and construct a map of the polygon. For this, the robots need an unlimited amount of persistent memory to store the snapshots taken from different points inside the polygon. However, it has been shown by Di Luna et al. [DISC 2017] that map construction can be done even by oblivious robots by employing a positional encoding strategy where a robot carefully positions itself inside the polygon to encode information in the binary representation of its distance from the closest polygon vertex. Of course, to execute this strategy, it is crucial for the robots to make accurate movements. In this paper, we address the question whether this technique can be implemented even when the movements of the robots are unpredictable in the sense that the robot can be stopped by the adversary during its movement before reaching its destination. However, there exists a constant $δ> 0$, unknown to the robot, such that the robot can always reach its destination if it has to move by no more than $δ$ amount. This model is known in literature as \emph{non-rigid} movement. We give a partial answer to the question in the affirmative by presenting a map construction algorithm for robots with non-rigid movement, but having $O(1)$ bits of persistent memory and ability to make circular moves.
△ Less
Submitted 23 May, 2019;
originally announced May 2019.
-
Arbitrary Pattern Formation by Asynchronous Opaque Robots with Lights
Authors:
Kaustav Bose,
Manash Kumar Kundu,
Ranendu Adhikary,
Buddhadeb Sau
Abstract:
The Arbitrary Pattern Formation problem asks for a distributed algorithm that moves a set of autonomous mobile robots to form any arbitrary pattern given as input. The robots are assumed to be autonomous, anonymous and identical. They operate in Look-Compute-Move cycles under an asynchronous scheduler. The robots do not have access to any global coordinate system. The movement of the robots is ass…
▽ More
The Arbitrary Pattern Formation problem asks for a distributed algorithm that moves a set of autonomous mobile robots to form any arbitrary pattern given as input. The robots are assumed to be autonomous, anonymous and identical. They operate in Look-Compute-Move cycles under an asynchronous scheduler. The robots do not have access to any global coordinate system. The movement of the robots is assumed to be rigid, which means that each robot is able to reach its desired destination without interruption. The existing literature that investigates this problem, considers robots with unobstructed visibility. This work considers the problem in the more realistic obstructed visibility model, where the view of a robot can be obstructed by the presence of other robots. The robots are assumed to be punctiform and equipped with visible lights that can assume a constant number of predefined colors. We have studied the problem in two settings based on the level of consistency among the local coordinate systems of the robots: two axis agreement (they agree on the direction and orientation of both coordinate axes) and one axis agreement (they agree on the direction and orientation of only one coordinate axis). In both settings, we have provided a full characterization of initial configurations from where any arbitrary pattern can be formed.
△ Less
Submitted 7 October, 2020; v1 submitted 13 February, 2019;
originally announced February 2019.
-
Arbitrary Pattern Formation on Infinite Grid by Asynchronous Oblivious Robots
Authors:
Kaustav Bose,
Ranendu Adhikary,
Manash Kumar Kundu,
Buddhadeb Sau
Abstract:
The Arbitrary Pattern Formation problem asks to design a distributed algorithm that allows a set of autonomous mobile robots to form any specific but arbitrary geometric pattern given as input. The problem has been extensively studied in literature in continuous domains. This paper investigates a discrete version of the problem where the robots are operating on a two dimensional infinite grid. The…
▽ More
The Arbitrary Pattern Formation problem asks to design a distributed algorithm that allows a set of autonomous mobile robots to form any specific but arbitrary geometric pattern given as input. The problem has been extensively studied in literature in continuous domains. This paper investigates a discrete version of the problem where the robots are operating on a two dimensional infinite grid. The robots are assumed to be autonomous, identical, anonymous and oblivious. They operate in Look-Compute-Move cycles under a fully asynchronous scheduler. The robots do not agree on any common global coordinate system or chirality. We have shown that a set of robots can form any arbitrary pattern, if their starting configuration is asymmetric.
△ Less
Submitted 2 November, 2018;
originally announced November 2018.
-
Solution of network localization problem with noisy distances and its convergence
Authors:
Ananya Saha,
Buddhadeb Sau
Abstract:
The network localization problem with convex and non-convex distance constraints may be modeled as a nonlinear optimization problem. The existing localization techniques are mainly based on convex optimization. In those techniques, the non-convex distance constraints are either ignored or relaxed into convex constraints for using the convex optimization methods like SDP, least square approximation…
▽ More
The network localization problem with convex and non-convex distance constraints may be modeled as a nonlinear optimization problem. The existing localization techniques are mainly based on convex optimization. In those techniques, the non-convex distance constraints are either ignored or relaxed into convex constraints for using the convex optimization methods like SDP, least square approximation, etc.. We propose a method to solve the nonlinear non-convex network localization problem with noisy distance measurements without any modification of constraints in the general model. We use the nonlinear Lagrangian technique for non-convex optimization to convert the problem to a root finding problem of a single variable continuous function. This problem is then solved using an iterative method. However, in each step of the iteration the computation of the functional value involves a finite mini-max problem (FMX). We use smoothing gradient method to fix the FMX problem. We also prove that the solution obtained from the proposed iterative method converges to the actual solution of the general localization problem. The proposed method obtains the solutions with a desired label of accuracy in real time.
△ Less
Submitted 20 November, 2017;
originally announced November 2017.
-
Crash tolerant gathering on grid by asynchronous oblivious robots
Authors:
Kaustav Bose,
Ranendu Adhikary,
Sruti Gan Chaudhuri,
Buddhadeb Sau
Abstract:
Consider a system of autonomous mobile robots initially randomly deployed on the nodes of an anonymous finite grid. A gathering algorithm is a sequence of moves to be executed independently by each robot so that all robots meet at a single node after finite time. The robots operate in Look-Compute-Move cycles. In each cycle, a robot takes a snapshot of the current configuration of the grid in term…
▽ More
Consider a system of autonomous mobile robots initially randomly deployed on the nodes of an anonymous finite grid. A gathering algorithm is a sequence of moves to be executed independently by each robot so that all robots meet at a single node after finite time. The robots operate in Look-Compute-Move cycles. In each cycle, a robot takes a snapshot of the current configuration of the grid in terms of occupied nodes (\emph{Look}), then based on the perceived configuration, decides whether to stay put or to move to an adjacent node (\emph{Compute}), and in the later case makes an instantaneous move accordingly (\emph{Move}). The robots have \emph{weak multiplicity detection} capability, which enables them to detect if a node is empty or occupied by a single robot or by multiple robots. The robots are \emph{asynchronous}, \emph{oblivious}, \emph{anonymous}, can not communicate with each other and execute the same distributed algorithm. In a faulty system, however, any robot can \emph{crash}, which means that it becomes completely inactive and does not take part in the process any further. In that case a fault-tolerant gathering algorithm is an algorithm that gathers all the non-faulty robots at a single node. This paper considers a faulty system that can have at most one crash fault. With these assumptions deterministic fault-tolerant gathering algorithms are presented that gather all initial configurations that are gatherable in a non-faulty system, except for one specific configuration called the \emph{2S2 configuration}.
△ Less
Submitted 4 September, 2017;
originally announced September 2017.
-
Deep Model Compression: Distilling Knowledge from Noisy Teachers
Authors:
Bharat Bhusan Sau,
Vineeth N. Balasubramanian
Abstract:
The remarkable successes of deep learning models across various applications have resulted in the design of deeper networks that can solve complex problems. However, the increasing depth of such models also results in a higher storage and runtime complexity, which restricts the deployability of such very deep models on mobile and portable devices, which have limited storage and battery capacity. W…
▽ More
The remarkable successes of deep learning models across various applications have resulted in the design of deeper networks that can solve complex problems. However, the increasing depth of such models also results in a higher storage and runtime complexity, which restricts the deployability of such very deep models on mobile and portable devices, which have limited storage and battery capacity. While many methods have been proposed for deep model compression in recent years, almost all of them have focused on reducing storage complexity. In this work, we extend the teacher-student framework for deep model compression, since it has the potential to address runtime and train time complexity too. We propose a simple methodology to include a noise-based regularizer while training the student from the teacher, which provides a healthy improvement in the performance of the student network. Our experiments on the CIFAR-10, SVHN and MNIST datasets show promising improvement, with the best performance on the CIFAR-10 dataset. We also conduct a comprehensive empirical evaluation of the proposed method under related settings on the CIFAR-10 dataset to show the promise of the proposed approach.
△ Less
Submitted 2 November, 2016; v1 submitted 30 October, 2016;
originally announced October 2016.
-
Euclidean 1-center of a set of static and mobile points
Authors:
Kaustav Bose,
Ranendu Adhikary,
Sruti Gan Chaudhuri,
Buddhadeb Sau
Abstract:
In this paper, we consider the problem of computing the algebraic parametric equation of the Euclidean 1-center function in $\mathbb{R}^d$, $d \geq 2$, for a system of $n$ static points and $m$ mobile points having motion defined by rational parametric functions. We have shown that the corresponding Euclidean 1-center function is a piecewise differentiable function and have derived its exact param…
▽ More
In this paper, we consider the problem of computing the algebraic parametric equation of the Euclidean 1-center function in $\mathbb{R}^d$, $d \geq 2$, for a system of $n$ static points and $m$ mobile points having motion defined by rational parametric functions. We have shown that the corresponding Euclidean 1-center function is a piecewise differentiable function and have derived its exact parametric algebraic equation. If the positions of the static points and the rational parametric equations of the motion of the mobile points are given, we have proposed an algorithm that computes the parametric equation of the Euclidean 1-center function.
△ Less
Submitted 21 November, 2016; v1 submitted 2 September, 2016;
originally announced September 2016.
-
MAINT: Localization of Mobile Sensors with Energy Control
Authors:
B. Sau,
S. Mukhopadhyaya,
K. Mukhopadhyaya
Abstract:
Localization is an important issue for Wireless Sensor Networks (WSN). A mobile sensor may change its position rapidly and thus require localization calls frequently. A localization may require network wide information and increase traffic over the network. It dissipates valuable energy for message communication. Thus localization is very costly. The control of the number of localization calls may…
▽ More
Localization is an important issue for Wireless Sensor Networks (WSN). A mobile sensor may change its position rapidly and thus require localization calls frequently. A localization may require network wide information and increase traffic over the network. It dissipates valuable energy for message communication. Thus localization is very costly. The control of the number of localization calls may save energy consumption, as it is rather expensive. To reduce the frequency of localization calls for a mobile sensor, we propose a technique that involves \textit{Mobility Aware Interpolation} (MAINT) for position estimation. It controls the number of localizations which gives much better result than the existing localization control schemes using mobility aware extrapolation. The proposed method involves very low arithmetic computation overheads. We find analytical expressions for the expected error in position estimation. A parameter, the time interval, has been introduced to externally control the energy dissipation. Simulation studies are carried out to compare the performances of the proposed method with some existing localization control schemes as well as the theoretical results. The simulation results shows that the expected error at any point of time may be computed from this expression. We have seen that constant error limit can be maintained increasing the time period of localization proportional to rate of change of direction of its motion. Increasing time period, the energy may be saved with a stable error limit.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
-
Localizability of Wireless Sensor Networks: Beyond Wheel Extension
Authors:
Buddhadeb Sau,
Krishnendu Mukhopadhyaya
Abstract:
A network is called localizable if the positions of all the nodes of the network can be computed uniquely. If a network is localizable and embedded in plane with generic configuration, the positions of the nodes may be computed uniquely in finite time. Therefore, identifying localizable networks is an important function. If the complete information about the network is available at a single place,…
▽ More
A network is called localizable if the positions of all the nodes of the network can be computed uniquely. If a network is localizable and embedded in plane with generic configuration, the positions of the nodes may be computed uniquely in finite time. Therefore, identifying localizable networks is an important function. If the complete information about the network is available at a single place, localizability can be tested in polynomial time. In a distributed environment, networks with trilateration orderings (popular in real applications) and wheel extensions (a specific class of localizable networks) embedded in plane can be identified by existing techniques. We propose a distributed technique which efficiently identifies a larger class of localizable networks. This class covers both trilateration and wheel extensions. In reality, exact distance is almost impossible or costly. The proposed algorithm based only on connectivity information. It requires no distance information.
△ Less
Submitted 29 August, 2013;
originally announced August 2013.