-
Uniform Circle Formation By Oblivious Swarm Robots
Authors:
Moumita Mondal,
Sruti Gan Chaudhuri,
Ayan Dutta,
Krishnendu Mukhopadhyaya,
Punyasha Chatterjee
Abstract:
In this paper, we study the circle formation problem by multiple autonomous and homogeneous disc-shaped robots (also known as fat robots). The goal of the robots is to place themselves on the periphery of a circle. Circle formation has many real-world applications, such as boundary surveillance. This paper addresses one variant of such problem { uniform circle formation, where the robots have to b…
▽ More
In this paper, we study the circle formation problem by multiple autonomous and homogeneous disc-shaped robots (also known as fat robots). The goal of the robots is to place themselves on the periphery of a circle. Circle formation has many real-world applications, such as boundary surveillance. This paper addresses one variant of such problem { uniform circle formation, where the robots have to be equidistant apart. The robots operate by executing cycles of the states wait-look-compute-move. They are oblivious, indistinguishable, anonymous, and do not communicate via message passing. First, we solve the uniform circle formation problem while assuming the robots to be transparent. Next, we address an even weaker model, where the robots are non-transparent and have limited visibility. We propose novel distributed algorithms to solve these variants. Our presented algorithms in this paper are proved to be correct and guarantee to prevent collision and deadlock among the swarm of robots.
△ Less
Submitted 13 December, 2020;
originally announced December 2020.
-
Uniform Scattering of Robots on Alternate Nodes of a Grid
Authors:
Moumita Mondal,
Sruti Gan Chaudhuri,
Punyasha Chatterjee
Abstract:
In this paper, we propose a distributed algorithm to uniformly scatter the robots along a grid, with robots on alternate nodes of this grid distribution. These homogeneous, autonomous mobile robots place themselves equidistant apart on the grid, which can be required for guarding or covering a geographical area by the robots. The robots operate by executing cycles of the states "look-compute-move"…
▽ More
In this paper, we propose a distributed algorithm to uniformly scatter the robots along a grid, with robots on alternate nodes of this grid distribution. These homogeneous, autonomous mobile robots place themselves equidistant apart on the grid, which can be required for guarding or covering a geographical area by the robots. The robots operate by executing cycles of the states "look-compute-move". In the look phase, it looks to see the position of the other robots; in the compute phase, it computes a destination to move to; and then in the move phase, it moves to that computed destination. They do not interact by message passing and can recollect neither the past actions nor the looked data from the previous cycle, i.e., oblivious. The robots are semi-synchronous, anonymous and have unlimited visibility. Eventually, the robots uniformly distribute themselves on alternate nodes of a grid, leaving the adjacent nodes of the grid vacant. The algorithm presented also assures no collision or deadlock among the robots.
△ Less
Submitted 13 December, 2020;
originally announced December 2020.
-
Uniform Circle Formation by Transparent Fat Robots
Authors:
Moumita Mondal,
Sruti Gan Chaudhuri
Abstract:
This paper addresses the problem of Uniform Circle Formation by n > 1 transparent disc robots (fat robots). The robots execute repetitive cycles of the states look-compute-move in semi-synchronous manner where a set of robots execute the cycle simultaneously. They do not communicate by any explicit message passing. However, they can sense or observes the positions of other robots around themselves…
▽ More
This paper addresses the problem of Uniform Circle Formation by n > 1 transparent disc robots (fat robots). The robots execute repetitive cycles of the states look-compute-move in semi-synchronous manner where a set of robots execute the cycle simultaneously. They do not communicate by any explicit message passing. However, they can sense or observes the positions of other robots around themselves through sensors or camera. The robots are unable to recover the past actions and observations. They have no unique identity. The robots do not have any global coordinate system. They agree upon only y-axis (South and North direction). However, they do not have chirality or common orientation of Y axis with respect to X axis. Being transparent the robots do not cause any visual obstructions for other robots. But, they act as physical obstacles for other robots. This paper proposes a collision free movement strategy for the robots to form a uniform circle (in other words convex regular polygon) executing finite number of cycles. To the best of our knowledge this is the first reported results on uniform circle formation for fat robots under the considered model.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
-
Line Formation by Fat Robots under Limited Visibility
Authors:
Arijit Sil,
Sruti Gan Chaudhuri
Abstract:
This paper proposes a distributed algorithm for a set of tiny unit disc shaped robot to form a straight line. The robots are homoge- neous, autonomous, anonymous. They observe their surrounding up to a certain distance, compute destinations to move to and move there. They do not have any explicit message sending or receiving capability. They forget their past observed or computed data. The robots…
▽ More
This paper proposes a distributed algorithm for a set of tiny unit disc shaped robot to form a straight line. The robots are homoge- neous, autonomous, anonymous. They observe their surrounding up to a certain distance, compute destinations to move to and move there. They do not have any explicit message sending or receiving capability. They forget their past observed or computed data. The robots do not have any global coordinate system or origin. Each robot considers its position as its origin. However, they agree on the X and Y axis. The robots are not aware of the total number of robots in the system. The algorithm presented in this paper assures collision free movements of the robots. To the best of our knowledge this paper is the first reported result on line formation by fat robots under limited visibility.
△ Less
Submitted 25 October, 2017;
originally announced October 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.
-
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.
-
A Get-Together for Deaf and Dumb Robots in Three dimensional Space
Authors:
Subhash Bhagat,
Sruti Gan Chaudhuri,
Krishnendu Mukhopadhyaya
Abstract:
This paper proposes a strategy for a group of deaf and dumb robots, carrying clocks from different countries, to meet at a geographical location which is not fixed in advanced. The robots act independently. They can observe others, compute some locations and walk towards those locations. They can only get a snapshot of the locations of other robots but can not detect whether they are static or in…
▽ More
This paper proposes a strategy for a group of deaf and dumb robots, carrying clocks from different countries, to meet at a geographical location which is not fixed in advanced. The robots act independently. They can observe others, compute some locations and walk towards those locations. They can only get a snapshot of the locations of other robots but can not detect whether they are static or in motion. The robots are forgetful; once they have completed their motion they forget their previous locations and observations. Again they decide new destinations to move to. Eventually all the robots compute the same destination and meet there. There exists no global positioning system. As they stand, they agree on up and down directions. However, as they do not have any compass, the other directions are not agreed upon. They also do not agree on the clockwise direction. For determining a strategy, we imagine the robots to be points on a three dimensional plane where all the robots are mutually visible to each other always. The strategy we propose has to be obeyed by all the robots independently with respect to their own clock and compass. Initially the robots start from distinct locations. Some dead robots may be present in the system or some may die any time before or after the get together. However, the live robots are not aware of the presence of these dead robots.
△ Less
Submitted 2 April, 2016;
originally announced April 2016.
-
Mutual Visibility by Luminous Robots Without Collisions
Authors:
G. A. Di Luna,
P. Flocchini,
S. Gan Chaudhuri,
F. Poloni,
N. Santoro,
G. Viglietta
Abstract:
Consider a finite set of identical computational entities that can move freely in the Euclidean plane operating in Look-Compute-Move cycles. Let p(t) denote the location of entity p at time t; entity p can see entity q at time t if at that time no other entity lies in the line segment p(t)q(t). We consider the basic problem called Mutual Visibility: starting from arbitrary distinct locations, with…
▽ More
Consider a finite set of identical computational entities that can move freely in the Euclidean plane operating in Look-Compute-Move cycles. Let p(t) denote the location of entity p at time t; entity p can see entity q at time t if at that time no other entity lies in the line segment p(t)q(t). We consider the basic problem called Mutual Visibility: starting from arbitrary distinct locations, within finite time the entities must reach, without collisions, a configuration where they all see each other. This problem must be solved by each entity autonomously executing the same algorithm. We study this problem in the "luminous robots" model; in this generalization of the standard model of oblivious robots, each entity, called "robot", has an externally visible persistent light which can assume colors from a fixed set. The case where the number of colors is c=1 corresponds to the classical model without lights.
In this paper we investigate under what conditions luminous robots can solve Mutual Visibility without collisions and at what cost (i.e., with how many colors). We establish a spectrum of results, depending on the power of the adversary, on the number c of colors, and on the a-priori knowledge the robots have about the system. Among such results, we prove that Mutual Visibility can always be solved without collisions in SSynch with c=2 colors and in ASynch with c=3 colors. If an adversary can interrupt and stop a robot moving to its computed destination, Mutual Visibility is still always solvable without collisions in SSynch with c=3 colors, and, if the robots agree on the direction of one axis, also in ASynch. All the results are obtained constructively by means of novel protocols.
As a byproduct of our solutions, we provide the first obstructed-visibility solutions to two classical problems for oblivious robots: Collision-less Convergence to a point and Circle Formation.
△ Less
Submitted 1 July, 2015; v1 submitted 14 March, 2015;
originally announced March 2015.
-
Formation of General Position by Asynchronous Mobile Robots
Authors:
S. Bhagat,
S. Gan Chaudhuri,
K. Mukhopadhyaya
Abstract:
The traditional distributed model of autonomous, homogeneous, mobile point robots usually assumes that the robots do not create any visual obstruction for the other robots, i.e., the robots are see through. In this paper, we consider a slightly more realistic model, by incorporating the notion of obstructed visibility (i.e., robots are not see through) for other robots. Under the new model of visi…
▽ More
The traditional distributed model of autonomous, homogeneous, mobile point robots usually assumes that the robots do not create any visual obstruction for the other robots, i.e., the robots are see through. In this paper, we consider a slightly more realistic model, by incorporating the notion of obstructed visibility (i.e., robots are not see through) for other robots. Under the new model of visibility, a robot may not have the full view of its surroundings. Many of the existing algorithms demand that each robot should have the complete knowledge of the positions of other robots. Since, vision is the only mean of their communication, it is required that the robots are in general position (i.e., no three robots are collinear). We consider asynchronous robots. They also do not have common chirality (or any agreement on a global coordinate system). In this paper, we present a distributed algorithm for obtaining a general position for the robots in finite time from any arbitrary configuration. The algorithm also assures collision free motion for each robot. This algorithm may also be used as a preprocessing module for many other subsequent tasks performed by the robots.
△ Less
Submitted 9 August, 2014;
originally announced August 2014.
-
Robots with Lights: Overcoming Obstructed Visibility Without Colliding
Authors:
G. A. Di Luna,
P. Flocchini,
S. Gan Chaudhuri,
N. Santoro,
G. Viglietta
Abstract:
Robots with lights is a model of autonomous mobile computational entities operating in the plane in Look-Compute-Move cycles: each agent has an externally visible light which can assume colors from a fixed set; the lights are persistent (i.e., the color is not erased at the end of a cycle), but otherwise the agents are oblivious. The investigation of computability in this model, initially suggeste…
▽ More
Robots with lights is a model of autonomous mobile computational entities operating in the plane in Look-Compute-Move cycles: each agent has an externally visible light which can assume colors from a fixed set; the lights are persistent (i.e., the color is not erased at the end of a cycle), but otherwise the agents are oblivious. The investigation of computability in this model, initially suggested by Peleg, is under way, and several results have been recently established. In these investigations, however, an agent is assumed to be capable to see through another agent. In this paper we start the study of computing when visibility is obstructable, and investigate the most basic problem for this setting, Complete Visibility: The agents must reach within finite time a configuration where they can all see each other and terminate. We do not make any assumption on a-priori knowledge of the number of agents, on rigidity of movements nor on chirality. The local coordinate system of an agent may change at each activation. Also, by definition of lights, an agent can communicate and remember only a constant number of bits in each cycle. In spite of these weak conditions, we prove that Complete Visibility is always solvable, even in the asynchronous setting, without collisions and using a small constant number of colors. The proof is constructive. We also show how to extend our protocol for Complete Visibility so that, with the same number of colors, the agents solve the (non-uniform) Circle Formation problem with obstructed visibility.
△ Less
Submitted 10 May, 2014;
originally announced May 2014.
-
Pattern Formation for Asynchronous Robots without Agreement in Chirality
Authors:
Sruti Gan Chaudhuri,
Swapnil Ghike,
Shrainik Jain,
Krishnendu Mukhopadhyaya
Abstract:
This paper presents a deterministic algorithm for forming a given asymmetric pattern in finite time by a set of autonomous, homogeneous, oblivious mobile robots under the CORDA model. The robots are represented as points on the 2D plane. There is no explicit communication between the robots. The robots coordinate among themselves by observing the positions of the other robots on the plane. Initial…
▽ More
This paper presents a deterministic algorithm for forming a given asymmetric pattern in finite time by a set of autonomous, homogeneous, oblivious mobile robots under the CORDA model. The robots are represented as points on the 2D plane. There is no explicit communication between the robots. The robots coordinate among themselves by observing the positions of the other robots on the plane. Initially all the robots are assumed to be stationary. The robots have local coordinate systems defined by Sense of Direction (SoD), orientation or chirality and scale. Initially the robots are in asymmetric configuration. We show that these robots can form any given asymmetric pattern in finite time.
△ Less
Submitted 11 March, 2014;
originally announced March 2014.
-
Leader Election and Gathering for Asynchronous Transparent Fat Robots without Chirality
Authors:
Sruti Gan Chaudhuri,
Krishnendu Mukhopadhyaya
Abstract:
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 robot is visible in its motion. The robots do not store past actions. They are anonymous and can not be distinguished by their appearances and do not have commo…
▽ More
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 robot is visible in its motion. The robots do not store past actions. They are anonymous and can not be distinguished by their appearances and do not have common coordinate system or chirality. The robots do not communicate through message passing. In the proposed gathering algorithm one robot moves at a time towards its destination. The robot which moves, is selected in such a way that, it will be the only robot eligible to move, until it reaches its destination. In case of a tie, this paper proposes a leader election algorithm which produces an ordering of the robots and the first robot in the ordering becomes the leader. The ordering is unique in the sense that, each robot, characterized by its location, agrees on the same ordering. We show that if a set of robots can be ordered then they can gather deterministically. The paper also characterizes the cases, where ordering is not possible. This paper also presents an important fact that, if leader election is possible then gathering pattern formation is possible even with no chirality.
△ Less
Submitted 22 August, 2012;
originally announced August 2012.
-
Design and implementation of a differentiated service based qos model for real-time interactive traffic on constrained bandwidth ip networks
Authors:
Sruti Gan Chaudhuri
Abstract:
In this thesis work, a QoS model for real-time interactive traffic on a real network with constrained bandwidth and real-time traffic has been proposed. The model supports tight guarantees of QoS to real-time interactive traffic without over provisioning of bandwidth. A dynamic scheduling model which is adaptive to input data rate of traffic has been proposed. In this model, A Differentiated Servi…
▽ More
In this thesis work, a QoS model for real-time interactive traffic on a real network with constrained bandwidth and real-time traffic has been proposed. The model supports tight guarantees of QoS to real-time interactive traffic without over provisioning of bandwidth. A dynamic scheduling model which is adaptive to input data rate of traffic has been proposed. In this model, A Differentiated Service (DiffServ) based approach is proposed for QoS provisioning. The packets are classified and distributed among finite number of queues with limited buffer based on different priorities and total available bandwidth. The model proposes a mechanism to derive the weighted service rates and queue length distribution so as to meet the requirement of low packet loss and delay for real time interactive traffic in the QoS engineered network. An adaptive queuing strategy is proposed so that minimum bandwidth in used for real time traffic. This ensures maximizing availability to best effort traffic. The model assumes constrained bandwidth without having to over provision the network resources and thus keeping the cost low. A modified version suitable for testing on a real network is also presented. Experimental verification of these in a test bed network in a laboratory as well as on a real network has been carried out. The results of the QoS provisioning model for different sources of real-time traffic such as video conferencing equipment, robotic surveillance camera has also been shown. The thesis also introduces a real-time Variable Bit Rate (VBR) traffic tuning parameter for controlling the service of VBR traffic to give better and fair performance to rest of the traffic.
△ Less
Submitted 15 May, 2012;
originally announced May 2012.