1. Introduction
Networked robots can perform many tasks, such as formation controls [
1,
2,
3] or workspace monitoring [
4]. Such robot networks have become feasible due to advances in communication networking [
5,
6,
7,
8].
Suppose that each robot does not know its position in the global coordinate system, i.e., a robot is not localized using global positioning systems (GPS). We require a distributed controller such that every robot moves based only on relative position measurements.
During the robots’ maneuvering in formation controls, robots need to maintain network connectivity. In order to make all robots gather close to each other, distributed rendezvous controls can be applied occasionally. In other words, distributed rendezvous controls are the most basic coordination task for a network of mobile robots. Multi-robot rendezvous is an initial step for the creation of more complicated formation tasks and can be particularly useful for autonomous recharging or self-maintenance [
9].
This article considers the distributed rendezvous problem of multiple robots, such that each robot can only measure nearby (neighbor) robots using a radar sensor, and each robot moves based on radar sensor measurements. Since GPS is not accessible, a robot cannot move towards a specified rendezvous point directly.
For rendezvous controls, each robot uses a radar sensor, whose footprint is proportional to the signal intensity (power) of the transmitter [
10]. Supply modulated transmitters for variable amplitude radar systems were addressed in [
11]. Suppose that a robot, say
A, emits signals for detecting its neighbor robots. Once the signals generated from
A are reflected from a nearby robot, say
B, then
A can estimate the elevation angle, azimuth angle, and range to
B using a 3D multiple signal classification (MUSIC) algorithm [
12]. In this way,
A can measure the relative position of its neighbor robot
B.
Our article considers a practical scenario in which radar has a limited sensing range while containing measurement noise. Further, the environmental disturbance generates process noise in a robot’s maneuvering. For instance, currents (for underwater robots) or wind gusts (for aerial robots) can generate process noise in robots’ maneuvers.
To the best of our knowledge, distributed rendezvous control in the literature assumed that all robots are initially deployed such that every robot is connected to any other robot utilizing multi-hop links. This assumption is called the initial connectivity assumption, which implies that the entire network is not split initially. Our 3D rendezvous control is developed to cope with a case where this assumption is not satisfied initially.
The initial connectivity assumption may not hold in various scenarios. In practice, sensing measurement noise or process noise in a robot’s motion can split the initial robot network. Moreover, complete failures of one or more robots can split the initial network. For example,
Figure 1 plots a scenario where the failure of one robot splits the network. In this figure, a robot is marked with a dot, and the network connection between two robots is plotted with line segments. In the left subfigure, the robot with a red dot is completely broken. In this case, the networked system changes to the network in the right subfigure. See that the complete failure of one robot (red dot) splits the network.
Considering 3D environments, the goal of our paper is to let all robots rendezvous in a distributed manner so that the network connectivity can be recovered even in the case where the network is split. In other words, we develop a 3D distributed rendezvous control so that all robots become connected to each other even after the network is split.
In order to handle the case where the initial connectivity assumption does not hold, our paper assumes that a robot’s radar sensor can enlarge its footprint by increasing the transmission power level (adjusting the amplifier in the transmitter). In other words, we consider the case where a robot has a variable range radar, such that its sensor footprint is adjustable. In our paper, we control the sensing range of each robot adaptively in order to achieve distributed rendezvous even in the case where the entire network is split initially. To the best of our knowledge, our paper is novel in applying a radar with a variable sensing range in order to make all robots rendezvous in 3D environments. The proposed distributed rendezvous control is novel since we do not require the initial connectivity assumption.
Using computer simulations, we show that our rendezvous control with an adaptive sensing range can handle the case where the initial connectivity assumption is not satisfied. We show the superiority of the proposed 3D rendezvous algorithm compared to the state-of-the-art in multi-robot rendezvous controls [
13,
14,
15].
The article is organized as follows:
Section 2 presents the literature review of this paper.
Section 3 introduces assumptions and definitions.
Section 4 introduces our distributed rendezvous algorithm.
Section 5 presents the computer simulation results of our distributed rendezvous algorithm.
Section 6 provides the conclusions.
2. Literature Review
Considering 2D environments, many papers [
16,
17,
18,
19,
20,
21] addressed distributed rendezvous algorithms. Reference [
18] addressed distributed rendezvous algorithms, considering limited visibility of identical robots. Reference [
16] addressed connectivity-preserving control strategies for the rendezvous problem. Considering 2D environments, [
17] addressed distributed rendezvous algorithms considering robots with bounded control inputs. Reference [
13] presented rendezvous controllers based on local sensing measurements of every robot. Reference [
22] presented distributed rendezvous controllers so that multiple robots rendezvous at multiple rendezvous points simultaneously.
Considering cluttered 3D environments, [
23] addressed distributed control laws to make all spherical underwater robots rendezvous. However, [
23] requires that a robot can be identified using local sensors and that a tree structure is built based on local sensing measurements. However, the radar sensors considered in our paper cannot be used to identify one robot from another.
The authors of [
9,
24,
25] proposed a distributed controller to achieve rendezvous, even when some robots in the system are broken. The references [
9,
24,
25] assumed that a broken robot does not move or does not follow a prescribed policy. Reference [
9] assumed that probabilities associated with robot failures are available, and their rendezvous algorithms rely on these probability distributions to compute stochastic optimal control strategies to maximize performance in an expected sense. However, in practice, robot failure probabilities may not be available. In our paper, we do not use the probabilities associated with robot failures. Recall [
9,
24,
25] assumed that a broken robot does not move or does not follow a prescribed policy. However, our paper considers the case where a robot is completely broken. For instance, enemy attacks can completely destroy a robot, as plotted in
Figure 1. This distinguishes our paper from [
9,
24,
25].
For achieving distributed rendezvous in arbitrary dimensions, circumcenter algorithms were proposed in [
13,
14,
15] to avoid the loss of existing links between robots. Circumcenter algorithms do not require that a robot can be identified using local sensors. Thus, circumcenter algorithms are suitable for distributed rendezvous using radar sensors. Furthermore, in circumcenter algorithms, a tree structure does not have to be built based on local sensing measurements.
The proposed rendezvous controls with variable range radars are based on circumcenter algorithms. Similarly to circumcenter algorithms, our rendezvous approach can handle arbitrary dimensions and does not require that a robot can be identified using local sensors.
As far as we know, other papers on rendezvous controls did not consider sensor specifications required for multi-robot rendezvous. Our paper is distinct from [
13,
14,
15] since we consider robots with specific sensors: variable range radars.
Circumcenter algorithms in [
13,
14,
15] require the initial connectivity assumption. To the best of our knowledge, every distributed rendezvous control in the literature requires the initial connectivity assumption. In our paper, we control the sensing range of each robot adaptively in order to achieve distributed rendezvous even in the case where the initial connectivity assumption does not hold.
Considering 3D environments, we design a distributed rendezvous control with a variable sensing range so that the network connectivity is maintained (or recovered) during a robot’s maneuvering. Once the rendezvous is achieved, the sensing range of every robot can decrease in order to reduce the power consumption of its radar.
To the best of our knowledge, our article is novel in applying radars with a variable sensing range in order to make all heterogeneous robots rendezvous in 3D environments. Our distributed rendezvous control is unique since we do not require the initial connectivity assumption. Using computer simulations, we show the superiority of the proposed 3D rendezvous algorithms compared to the state-of-the-art circumcenter algorithms (in [
13,
14,
15]).
3. Assumptions and Definitions
We introduce assumptions and definitions that are utilized in our distributed rendezvous control.
is a graph with vertex set
and edge tuple
[
26]. Let
denote a small value between
a and
b.
There are N robots in total. Let denote the i-th robot, where . is the 3D position of robot where .
We consider discrete-time systems. Let denote the sampling interval. denotes at time-step k.
Considering the process noise, such as wind, the motion model of
is
where
where
is a constant presenting the process noise strength, and
generates a Gaussian noise with mean 0 and variance 1.
In (
1),
is the velocity input of
at time-step
k. This simple dynamic model (
1) is commonly used in multi-robot systems [
27,
28,
29,
30,
31,
32,
33].
This article further considers a practical scenario where a robot moves with a bounded speed. The maximum speed of is . In other words, for all k and i. is determined by the hardware specifications of a robot.
Each robot has a radar with a limited sensing range in order to measure the relative position (elevation, azimuth, and range) of a nearby robot. We assume that a robot’s radar sensor can increase its footprint by increasing the transmission power level (adjust the amplifier in the transmitter). In other words, we consider the case where a robot has a variable range radar, such that its sensor footprint is adjustable. Since each robot can change its radar sensing range, we consider heterogeneous robots with a distinct sensing range.
Let us define as the radar sensing range of at time-step k. is the upper bound for for all i and k.
Suppose that . In this case, can measure using its radar. Note that increasing the footprint of the radar cannot cause a detection in the case of obstructed LOS.
Let
denote the relative position (radar) measurement of
at time-step
k.
is given as the radar of
measures
. Considering the radar measurement noise, we have
where
where
is a constant presenting the measurement noise strength, and
generates a Gaussian noise with mean 0 and variance 1. For instance,
can be generated due to the shape of a robot, since radar sensors measure the boundary of a nearby robot.
We introduce the adjacency graph, , in which every vertex in represents a robot. Every directed edge, say , indicates that can detect using its radar. implies that .
See that A is a directed graph with directed edges. is distinct from , since an edge is directed. Even in the case where u can measure v using its radar, v may not measure u using its radar. This is due to the fact that the sensing range of u may be distinct from that of v.
We say that v is a neighbor of u in the case where u can detect v using its radar. denotes the set of neighbors of u.
We say that all robots achieved rendezvous in the case where the relative distance between any two robots is less than a positive constant, say . The goal of our paper is to let all robots rendezvous using distributed control laws, which are based on radar measurements with a variable sensing range.
4. Distributed Rendezvous Controllers
Our paper is based on circumcenter algorithms in [
13,
14,
15]. The original circumcenter algorithms are as follows.
We need to address one definition beforehand. Let denote a set of points in . The center of the smallest-radius circle enclosing is called the circumcenter of .
In circumcenter algorithms, each robot performs the following tasks at each time-step k:
it detects its neighbors using its local sensor (radar in our paper).
it computes the circumcenter of the point set comprised of its neighbors and of itself.
it moves toward this circumcenter while maintaining connectivity with its neighbors.
The authors of [
15] showed that, when implemented over a 1D space, it is not necessary to enforce the connectivity constraint, as in the third step of the above algorithm. Assuming that a robot can access its orientation in global coordinate systems (inertial measurement units on each robot can be used for orientation measurements), we can extend the 1D algorithm to arbitrary dimensions by means of a circumcenter algorithm implemented in parallel. The parallel circumcenter algorithm in [
15] is as follows.
Each robot performs the following tasks at each time-step k:
it detects its neighbors using its local sensor (radar in our paper).
it projects the detected neighbor positions to each axis of its frame.
it computes the circumcenters of each of the projected sets of positions on each axis.
it moves to the point whose coordinates are given by each of those circumcenters while maintaining connectivity with its neighbors.
The computation of the circumcenter of a bounded set is a strictly convex problem and, in particular, a quadratically constrained linear program [
14]. In the parallel circumcenter algorithm, a circumcenter is derived over a 1D space, not over a 3D space. Thus, the parallel circumcenter algorithm is desirable, considering the computational load. Therefore, our rendezvous approach is based on the parallel circumcenter algorithm.
In the last step of the above algorithm, a robot, say , moves to the point whose coordinates are given by each of those circumcenters while maintaining connectivity with its neighbors. We next explain this maneuver in detail.
Let
denote the point whose coordinates are given by each of those circumcenters. Recall that
denotes the maximum speed of a robot. We define
is set such that . In addition, is set such that it exists on the line segment connecting and .
Let
denote a positive constant. Let
denote a point on the line segment connecting
and
. As
changes from 0 to 1,
changes from
to
. Since
,
is satisfied as
changes from 0 to 1.
Let
denote the equally spaced interval between 0 and 1. There are
M elements in interval
I. While changing
from the first element in
I to the last element, we find
, such that
for all
. This implies that
maintains connectivity with all robots in
.
Once
is found, which satisfies (
6) for all neighbors of
, we let
denote the found
. Then,
is set as the waypoint of
at time-step
k.
Using (
5), we have
. Thus,
moves toward
by setting its velocity command as
in (
1).
In the case where no element in
I satisfies (
6), then
stops moving by setting
in (
1).
Updating the Sensing Range Adaptively
The circumcenter algorithm was originally introduced in [
13]. Consider the ideal case where there is no process noise or measurement noise. In addition, assume that the initial connectivity assumption is satisfied. In this ideal case, ref. [
14] proved the convergence of the circumcenter algorithm for any switching sequence of adjacency graphs that contains a strongly connected graph every
l instants of time, for some fixed
.
In practice, the initial connectivity assumption may not hold. Moreover, process noise, limited communication range, or measurement noise can disconnect the network frequently. In order to handle these practical problems, we need to increase network connectivity as much as possible.
The proposed strategy is to increase the network connectivity by increasing the sensing range of each robot adaptively. By increasing the sensing range of each robot adaptively, we can make the switching sequence of adjacency graphs contain a strongly connected graph more frequently. Then, according to [
14], rendezvous can be achieved more robustly. Once the rendezvous is achieved, the sensing range of every robot can shrink to reduce the power consumption of its radar.
Recall that is the sensing range of at time-step k. In addition, recall that is the upper bound for for all i and k.
Let
denote a lower threshold for the number of neighbors. Recall that
denotes the set of neighbors of
u. In the case where
, we need to increase the number of neighbors for
. In the case where
,
increases using
Here,
is a constant. Using (
9), the sensing range for
increases, until it reaches
. Note that in the case where
, (
9) is not applied.
In (
9),
is a tuning parameter. As
increases, the sensing range of
can increase more rapidly. A large sensing range can increase the network connectivity, which improves the rendezvous performance. However, a large sensing range increases the power consumption of a robot.
Moreover,
is a tuning parameter in our controls. As
increases, the network connectivity increases, which improves the rendezvous performance. However, increasing
increases the power consumption of each robot since the sensing range of a robot needs to increase using (
9). The effect of changing
is discussed in the Simulation section.
The original circumcenter algorithms in [
13,
14,
15] require the initial connectivity assumption. For instance, consider the case where a robot is not connected to any other robot initially. This isolated robot cannot move based on local sensing measurements since it has no local interaction initially.
In our paper, we can remove an isolated robot by increasing its radar sensing range. Thus, our paper does not require the initial connectivity assumption. Once the rendezvous is achieved, the sensing range of every robot can decrease in order to reduce the power consumption of its radar.
5. Simulation Results
This section addresses the MATLAB simulation results to demonstrate the effectiveness of the proposed distributed rendezvous scheme with variable range radars. Using computer simulations, we show the superiority of the proposed 3D rendezvous algorithm compared to the original circumcenter algorithms in [
13,
14,
15].
The simulation settings are as follows. In MATLAB simulations, the radar sensing noise (
2) uses
km. In addition, we consider the case where
is static. Thus all robots need to rendezvous at
. Since
is static, the motion model of
is
instead of (
1). In our MATLAB simulations, (
1) and (
10) use
. Here,
is a constant presenting the process noise strength, and
generates a Gaussian noise with a mean of 0 and a variance of 1. We use
km.
At time-step 0, we set the maximum sensing range
as
km for all
. The upper bound for
is set as
km. In addition, (
9) uses
km, and
.
The sampling interval is set as second. Furthermore, the maximum speed of each robot is 200 m/s. The rendezvous algorithm is finished when every robot is within (km) from each other. In the case where the rendezvous is not achieved, the simulation continues for up to seconds.
Initially, robots are randomly deployed in the workspace with size in km. Since km for all , the initial connectivity assumption may not hold depending on the initial position of a robot.
Original circumcenter algorithms in [
13,
14,
15] require the initial connectivity assumption for convergence. However, the proposed rendezvous algorithm with an adaptive sensing range does not require this assumption.
Considering the case where
,
Figure 2 plots the movement of each robot under our distributed rendezvous algorithm. Each robot’s position at every
seconds is depicted with a red circle. It takes 95 s for all robots to rendezvous at a point.
Considering the case where
,
Figure 3 plots the final position of every robot using the proposed rendezvous control. See that all robots are positioned close to each other since multi-robot rendezvous is achieved.
Considering the case where
,
Figure 4 plots
(
), the sensing range of each robot, when the rendezvous is done. See that the sensing range of a robot can be distinct from that of another robot.
5.1. Monte-Carlo Simulations
Table 1 shows the comparison results. In this table,
presents the proposed rendezvous algorithm.
presents the original circumcenter rendezvous algorithms in [
13,
14,
15]. In MATLAB simulations, the radar sensing noise (
2) uses the noise parameter as
km. The motion model (
10) uses the process noise parameter as
km.
At each MC simulation, we check whether the rendezvous succeeds or not. Considering the j-th MC simulation (), let denote whether the rendezvous succeeds or not. when the rendezvous succeeds at the j-th MC simulation. In addition, when the rendezvous does not succeed at the j-th MC simulation. Let .
At each MC simulation, we check how much time it takes to let all of the robots rendezvous. Considering the j-th MC simulation (), let denote the time it takes to let all robots rendezvous. In the case where the rendezvous is not achieved in the j-th MC simulation, is set as T. Let .
Furthermore, we check how much time (in seconds) it takes to run each MC simulation under MATLAB. Considering the j-th MC simulation (), let denote the computational time of the j-th MC simulation. Let .
Table 1 shows that increasing
N (the number of robots) increases both the rendezvous time
and the computational load
.
Table 1 shows that only the proposed rendezvous algorithms can succeed in the rendezvous process. Under the proposed control
,
regardless of
N. This is due to the fact that
(km) is rather short for network connectivity, considering random deployment in the workspace. Original circumcenter rendezvous algorithms
cannot handle the case where the initial connectivity assumption does not hold.
5.2. The Effect of Changing the Radar Sensing Measurement Noise
Table 2 shows the effect of changing the radar sensing measurement noise
in (
2). We use
in this table.
Table 2 shows that increasing
up to 1 km does not degrade the rendezvous performance significantly. This shows that the proposed rendezvous approach is robust to sensing measurement noise.
6. Conclusions
This article introduced a robust distributed rendezvous algorithm in 3D environments. In our paper, we control the sensing range of each robot adaptively, in order to achieve distributed rendezvous even in the case where the entire network is split initially. To the best of our knowledge, this paper is novel in applying radars with a variable sensing range in order to make all robots rendezvous in 3D environments. Computer simulations are utilized to demonstrate the superiority of the proposed robust rendezvous approach. In the future, we will verify the effectiveness of the proposed distributed rendezvous algorithm using real robots with variable range radars.
The proposed approach can be applied to underwater robots as well as aerial robots. Aerial robots can use radar sensors to achieve the rendezvous proposed in our paper. On the other hand, underwater robots can use active sonar sensors to achieve the rendezvous addressed in this paper.
In this paper, we handle the case where a robot can measure the relative position (elevation, azimuth, and range) of its neighbor robot using its radar. In practice, a robot may have range-only sensors for measuring the relative distance to its neighbor robot [
34]. The authors of [
34] addressed multi-robot rendezvous with range-only measurements. In the future, we will apply range-only radars with variable sensing ranges in order to make all robots rendezvous at a point.