Holistic Connectivity Controller for Multirobot Dispersion

Dispersion of mobile robots in a certain formation is prerequisite inmany applications; one of themost important issues during the entire process is to maintain the interagent connections, as well as to restore them whenever they were broken. We investigate the aforementioned problem in this work by designing a holistic connectivity controller (HCC) to regulate and restore the interagent connections during the dispersion of the mobile network. HCC consists of two core structures. Firstly, to illustrate the multirobot dispersion, we adopt the distributed link removal algorithm (DLRA), which is able to remove redundant links in the multirobot network to facilitate the dispersion and only requires local information of nomore than two-hop neighbors. Secondly, the proposed approach is extended to the problem of connectivity restoration with consideration of simultaneous failure of multiple agents. A connectivity restoration strategy is proposed, and then the recoverability of network connectivity is investigated.TheproposedHCC has also integrated motion controller to regulate the movement of the mobile robots, so that interrobot collisions can be effectively avoided. Theoretical analysis and computer simulations have confirmed the efficiency and scalability of the proposed schemes.


Introduction
The cooperative control of large groups of mobile agents (vehicles/robots) is rapidly developing because of technological advances in wireless communication and networking technologies.Mobile ad hoc network based on the IEEE 802.11 standard [1] is currently the predominant technology for such applications, through which a large number of mobile agents can coordinate their actions and perform various challenging tasks, such as planet exploration [2], operation under hazardous circumstances (search and rescue) [3], and surveillance [4].The development of multirobot systems (MRS) has attracted numerous research efforts.Among various topics that have been covered, emphasis is placed on the consensus (flocking and rendezvous) of a group of agents, as well as coverage and connectivity control of multirobot networks.Multirobot dispersion, on the other hand, is another fundamentally essential aspect yet need more research efforts.
Dispersion of mobile robots is a particular procedure to maximize spatial coverage with a minimum number of mobile agents.Evidently, dispersion of a team of mobile robots is of great importance in a number of scenarios.For instants, a team of mobile robots is usually dispatched in a compact formation that is, several mobile robots are distributed in one spot with minimal interagent distances.More often than not, to execute certain tasks, for example, combat and monitoring, they are required to be dispersed right after distribution to cover a larger area, as shown in Figure 1.These significant application potentials of multirobot dispersion have recently led to a surge of research attentions.Techniques including inverse agreement control law [5], clique-intensity algorithm [6], and "artificial physics" framework [7] have been developed to regulate the dispersion of multirobot or mobile sensor systems.Another promising research area that is closely related to multi-agent dispersion is coverage control of mobile robot a number of methods are proposed either to optimize the deployment of mobile robotic sensors [8,9] or to maximize the coverage of autonomous mobile agents to achieve different goals [10][11][12].The proposed methods have already been applied to the important problem of multirobot exploration in unknown area.Unfortunately, the important issue of connected underlying networks is often neglected in the aforementioned works.
Maintaining the connectivity of MRS can be vital for achieving network-wide collaboration and the success of the entire mission, given the thought that in most scenarios mobile robots need to communicate with each other constantly to coordinate or even negotiate the execution of every task, if not just for synchronization.Due to the level of importance of interrobot communication, the connectivity control of mobile multirobot networks is now rapidly becoming a hot research topic in the field of MRSs, and a variety of strategies have been developed in recent years [13][14][15][16][17]. Recent research works have focused on both fixed and switching networks, with application to coordination control [18], aggregation [19,20], and flocking [21].In [13], Laplacian matrix of a graph and its spectral properties are used as a model for connectivity for the MRS; then artificial potential function is adopted to drive the mobile robot away from the undesired location to avoid disconnection of the network; the control of the network is centralized.Reference [14] utilized the similar concept of Laplacian matrix of graph to represent the network connectivity and solving the connectivity control problem by maximizing the second smallest eigenvalue.A distributed connectivity preservation algorithm is present in [15] with respect to graph transitions, and the methods are further applied in multirobot coordination.As efficient as they are, these approaches, however, often result in a tight network structure with dense communication links, which may severely restrict the movement of mobile robots and jeopardize the coverage and cooperation efficiency.To deal with these problems, Zavlanos and Pappas [16] proposed a distributed market-based control strategy, which is able to reduce redundant communication links based on local estimation of spanning subgraph.This strategy, however, requires full knowledge of the network structure, which may cause large delay in dense and large-scale networks [22,23].Moreover, none of these works have applied the connectivity control (topology control) methods multirobot dispersion.In our previous work [24], a self-organized connectivity control framework is designed with application to the dispersion of mobile ad hoc sensor networks we have solved the problem of redundant link reduction by means of only two-hop neighboring information, and the objective of connectivity preserving multiagent dispersion is effectively achieved.Nevertheless, to the best of our knowledge, none of the proposed multirobot dispersion methods takes the risk of agent failure into consideration.Overlooking this issue might be fatal while dispersing a team of mobile robots, since network connectivity may be more fragile and sensitive with respect to the failure of a single or multiple robots simultaneously, considering the sparse network topology generated by the dispersion and the extreme environment in most multirobot application scenarios.This phenomenon is revealed in Figure 2, where two snapshots of the dispersing robot teams are provided.In Figure 2(a), the failure of the robot A will not result in the partition of the network.However, the failure of robot B in Figure 2(b) has partitioned the network into two connected subgraphs.We argue that, when the network is sparse, the probability that the network is disconnected due to the failure of mobile agents is high, since alternate routes in the communication network are limited.Furthermore, when simultaneous failures of multiple robots happen during the dispersion (such as robot B and robot C failed the same time in Figure 2(b)), the connectivity of the underlying network will normally be damaged.

Mathematical Problems in Engineering
Considering the autonomous nature of multi-agent system, to design a distributed local connectivity restoration mechanism is obligatory for dealing with such situations.Recently, closely related problems have been investigated in wireless sensor and actor networks (WSAN), and a class of connectivity restoration algorithms has been proposed to fix the network structure whenever failure of actor(s) occurs [25][26][27][28][29][30].In [25], several algorithms are proposed for achieving a 2-connectivity fault-tolerant configuration in multirobot networks by moving a subset (block) of mobile robots.A distributed actor recovery algorithm, called DARA, is presented in [26] to address the 1-and 2-connectivity requirements in WSAN subject to single failure of actor, and similar approaches can be found in [27,28].Akkaya et al. have proposed a partition detection algorithm called PADRA in [29], which also handles the connectivity restoration in  presence of single failure of agents.The work is then further extended in [30], and a distributed connectivity restoration algorithm, denoted as MPADRA, is presented to deal with concurrent failure of multiple actors.Due to the energy critical nature of WSAN, the scope of the aforementioned works focuses on energy conservation and computing complexity, rather than the dynamic control of mobile multi-agent system.Similar problem is solved in [31], where a control system named HERO is designed to restore the broken connection in multirobot networks whenever it occurs, and stability analysis is also provided.However, to the best of our knowledge, the important problem of restoring the connectivity subjected to single or multiple robot failures during dispersion has not been solved in the literature.
Aiming at bridging the gap between dispersion and connectivity restoration, we investigate the aforementioned problem in this work by designing a holistic connectivity controller (HCC) to regulate and restore the interagent connections during the dispersion of the mobile network.HCC consists of two core structures.First, to illustrate the multirobot dispersion, we adopt the distributed link removal algorithm (DLRA) [24], which is able to remove redundant links in the multirobot network to facilitate the dispersion and only requires local information of no more than two-hop neighbors.Furthermore, considering the hazardous environment of most multi-agent applications and the sparse network structure caused by dispersion, we proposed the HCC to deal with connectivity restoration with consideration of concurrent failure of multiple agents during the dispersion of the MRS, and a connectivity restoration strategy is proposed to restore the network connectivity whenever a single or multiple robots fail.A preliminary version of this paper is presented in [32]; we extend this work by providing the theoretical analysis in the recoverability of network connectivity and a more detailed study in experimental simulation.The proposed HCC has also integrated motion controller to regulate the movement of the mobile robots, so that interrobot collisions can be effectively avoided.
The rest of the paper is organized as follows.Section 2 reviews DLRA and provides some necessary terminologies and notations.Section 3 extends the connected dispersion method to a single or multiple concurrent failures of mobile robots.HCC is proposed to restore the network connectivity with the aid of a connectivity restoration algorithm (CRA).Section 4 provides the theoretical proof of the restorability of the HCC in case of failure of single mobile robots and then provides an illustrative introduction of the restorability when multirobot failures occur.Computer simulations are included in Section 5, and this paper is concluded in Section 6 with a discussion of future research works.
Furthermore, let the dynamic graph G() = (V, ()) denote a mobile network of  robot, where V = (1, . . ., ) denotes the set of vertices indexed by the set of mobile agents and () = {,  |   () ≥ , ,  ∈ V}, 0 <  < 1 denotes the time-variant set of communication links.We define 0 ≤   () ≤ 1 to be a normalized nonnegative weighting function symmetric in its arguments, that is,   () =   (), and assume that   () ̸ =   (),  ̸ = .In this case, the adjacency matrix A() = (  ()) ∈ R × (we define   () ≡ 0 for all ; thus there are no self-loops in the network) can be defined as Note that any normalized nonnegative function can be treated as a weighting function.Nevertheless, to associate with the link quality, it is rather a natural choice that   () denotes received signal strength, which could be accurately measured with the aid of RSSI (received signal strength indication) at the radio interface of each agent [24].Now, we have the following definitions.Definition 1.An undirected weighted dynamic graph G() = (V, ()) is defined as connected at time  if and only if there is at least one communicative path between any two vertices within it.Now the main objectives of this paper can be described as follows.
Objective A (Link Removal).For any nodes  and  in G() = (V, ()), remove redundant communication links with the aid of two-hop neighboring information.The generated subgraph G  () = (V,   ()) contains only necessary communication links for connectivity maintenance, that is, (, ) ∈   ().

Objective B (Connectivity Preserving Multirobot Dispersion).
Dispersing the MRS with the assumption that concurrent failure of multiple agents, that is,  and , occurs at time  =   , determine the best available candidate for each failed agent such that, by replacing  and  with the candidate agents and controlling the movement of correlative mobile nodes, the global connectivity can be restored within a finite time  < ∞.

Review of the DLRA.
To achieve the Objective A, we will need the DLRA algorithm [24].In the following part, we give a brief introduction of DLRA and provide its applicability in the HCC and multirobot dispersion.First, we have the following definitions.Definition 2. Node  is in the physical neighbor set of , denoted as  ∈ N []   (), if and only if (, ) ∈ ().
Definition 4. For any node  in the network, we denote as the neighbor relationship matrix (NRM) at time , where  ∈ N []   () and  ∈ N []  ().
Based on the aforementioned definitions, the proposed DLRA is described as follows.
Determine the Redundant Communication Links.Each mobile robot periodically sends and receives Hello messages to/from all its neighbors in N []   ().The message contains the following information: node ID, position, logical neighbor set N []  (), and link weight with all its logical neighbors.Upon receiving Hello message from each individual physical neighbor, node  updates N []   ().As it is assumed that the initial network is connected, DLRA starts at time  =  0 .Then, the process is started with initial condition that ( 0 ), and N []   ( 0 ) is constructed for each .Each agent compares the link weights of the related triangle; that is, the agent is a vertex of the triangle, and the weakest link in that triangle will be denoted as a redundant link.For instance, as is shown in Figure 3(a), based on the condition that   () ≜ max[  (),   (),   ()], link (, , ) will be denoted as redundant link by agents  and .In the second step, each agent  updates N []   ().Let N []   () = [  (),   (), . . .,   ()] be the column vector of N []   (), where (, , . . ., ) ∈ N []   ().Look up N []   () for every  ∈ N []   (), if there exist   (),   (), where  ̸ = , and   () ×   () ̸ = 0; then compares the link weights   (),   (),   (), and   ().Based on the condition that   () ≜ max[  (),   (),   (),   ()] as shown in Figure 3(b), link (, ) will be denoted as redundant communication link by agents  and .Upon the determination of the redundant link, for example, (, ), agent  will put  into a candidate neighbor removing set, denoted as C []   (), which will be used in the synchronization process to construct G  ().
Synchronized Link Removal.In particular, a request and acknowledge mechanism is utilized to dynamically synchronize the disconnection of any redundant communication links between the corresponding vertices.Refer to [24] for a detailed description.
To provide the applicability of HCC and multirobot dispersion, we recall the following lemma.
What Lemma 5 tells us is that DLRA can effectively reduce the redundant communication links in the multirobot network, with the aid of only two-hop neighboring information.Particularly, it can constrain the shortest cycle in the network within the value of 5, which makes the generated subgraph sparse enough to be dispersed.We simulated the DLRA with stationary network scenario, as shown in Figure 4.It can be seen that, given a dense initial configuration in Figure 4(a), a much sparse network topology can be generated with DLRA as in Figure 4(b), which eliminates most unnecessary constrains when dispersing the team of mobile robot.Nevertheless, all merits come with some drawbacks, when the multirobot network becomes so sparse with DLRA; what bothering us now is its loss in robustness and increasing venerability.That is, with a sparse network topology, loss of any mobile robot and/or communication links may easily result in the partition of the entire network, and the connectivity is then jeopardized.Interestingly, in most cases the MRSs are deployed into dangerous and extreme environment, where loss of some mobile nodes may become inevitable subject to external damages, not even to mention the unstable quality of some robot productions.Inspired by the observation, a holistic connectivity controller (HCC) is presented in the next section to regulate and restore the interagent connections during the dispersion of the mobile multirobot networks.

Holistic Connectivity Control and Restoration
Dispersing a team of mobile agents often results in a sparse structure of the underlying network.This phenomenon represents the vulnerability of connectivity subjected to failure of mobile agent(s).Upon the failure of critical agent(s), the initially connected multi-agent network will be partitioned into disjoint segments.In such case, network-wide collaboration will not be possible and certain missions can be in jeopardy due to the fatal network disconnection.In this section, we present a connectivity restoration strategy and further design a motion controller to integrate the multirobot dispersion with restoration of the mobile networks.And most importantly, the HCC also requires only two-hop information of neighboring robots.Associated with the aforementioned definitions, CRA is described in Algorithm 1.The main notion of CRA is for every logical neighbor within two hops of  to continuously track its position.Whenever  fails, one of the potential preys in ≺  (), for example, , will be selected as the prey to the collapsar   ; Upon Detecting failure of node  at time ,   = ( − ) (1)

Holistic Connectivity Controller (HCC).
When dispersing a team of mobile robots, the invariance of network topology in generated subgraph G  () is prerequisite for the realization of connectivity preserving.The aim of this section is to develop a holistic distributed controller that (1) regulates the dispersion of mobile agents in continuous space, (2) reconnects the network subjected to partitions from single or multiple concurrent robots' failures, that is, configure the prey to the optimal location, (3) avoids any link disconnection and interrobot collisions induced by the movement of mobile robots.
We first utilize the combined potential function in [24] to ensure that all essential links remain connected and interagent collisions are avoided all the time during multi-agent dispersion between any two consecutive topology updates.
A repulsive potential function is introduced in the HCC to deal with the dispersion of mobile multirobot networks between node  and all its physical neighbors  ∈ N []   (), defined as    (), where    () = ∑ ∈N []  ()    ().In particular, we have where  ∈ R + , and in this paper, associated with   () in (2), it yields The design principle of repulsive potential function is to assign each mobile robot an artificial potential force; this virtue force can drive the mobile robot to move in certain direction in a way that is opposite to each other.More specifically, whenever the distance between two neighboring mobile robots in the network is small, the repulsive potential force will drive them into different direction, so that during a small time period, the distance is enlarged, and the two mobile robots are dispersed from each other.It is worthwhile to notice that the smaller the distance, the greater the repulsive force.
Similarly, to restrict all essential communication links within   () ≥  for all  ∈ N []   (), we introduce an ( The attractive potential functions work in the way that any essential communication links in G  () remain connected during the dispersion and any reconfiguration of the network.The attractive potential function will provide artificial forces between any two logical neighbors in the multirobot network, so that they will move in the pattern to shrink their interrobot distance whenever it endangers the essential communication link between them.
Furthermore, to integrate the restoration methods into multirobot dispersion, a distributed prey motion controller is developed as follows: The design principle of the prey motion controller is straightforward.When a mobile robot is assigned the role of prey, it is driven by the prey controller towards the last updated location of the particular failed robot, that is, its collapsar.
The proposed potential functions and controllers entitle us to assign each node  in the network a distributed control law, which is given as the combination of the negative gradients of the aforementioned three potentials in the   () direction as follows: It is easy to observe from (7) that the potential force can become infinite between pairs of agents whenever   () → 1 or   () → .In practice, such unbounded actuation is unrealistic for most MRSs.In this paper, a piecewise-continuous function method is proposed with respect to robots' actuation to approach the objective of bounded input.
Denote    () as the upper bound of velocity for node , in particular, for homogeneous systems; we have    () =    (), where  ̸ =  and ,  ∈ V. Definition 9. Given a mobile multiagent system with fixed underlying network structure G * (), a distributed piecewisecontinuous control law is assigned to each mobile agent as follows: where û  () =    ()/‖   ()‖ represents the unit vector of    () .
However, (8) may generate another problem when restoring the connectivity of the network.That is, as shown in Figure 5, when robot  is moving towards the collapsar and trying to restore the disconnection induced by the failure of node , the formal neighboring agent of robot  (candidate prey of , i.e., in the set ≺  ( − )) may move out of communication range centered by the last updated location of  (this is because the original attractive potential from robot  no longer exists), shown as robot  in Figure 4.In this case, the network will still be in partition, even though robot  moves into the last updated location of .To fix this dilemma, a nonfurther rule is designed.Specifically, whenever the network is partitioned due to the failure of mobile robot, any robot in the candidate prey set, that is,  ∈ ≺  ( − ), will only be allowed to move closer or stay stationary to its collapsar until released by the reconnection of the particular connection.The nonfurther rule is able to guarantee the reconnection of the links without further position.Therefore, the final controller yields When integrating the control law ( 9) into each mobile robot in the network, the DLRA and CRA will continuously update two-hop neighboring information.Relying on the  information, the control law will calculate the velocity and moving direction of each mobile robot in the next step, so that the dispersion of the mobile MRS as well as the connectivity restoration can be achieved simultaneously.We name the integral control system holistic connectivity controller (HCC), which contains DLRA, CRA, and the motion control law (9), as shown in Figure 6.Furthermore, to understand the efficiency and capability of the HCC, in the next section, we present theoretical analysis about the restorability of the mobile MRS with HCC.

Restorability of the Mobile MRS with HCC
As is described in Section 3, HCC is able to handle the network partition induced by not only failure of a single robot, but also simultaneous failures of multiple robots.Therefore, in this section, the restorability of the multirobot network is analyzed in both scenarios.
To understand how HCC works in the case of single robot failure, we first have the following lemma.
Lemma 10.The disconnection of G() induced by the failure of  is recoverable if and only if there exists at least one  ∈ ≺  , such that the network can be reconnected by replacing  with  in every N []   (),  ∈ V.
The proof is straightforward and is omitted in this paper.With the aid of Lemma 10, we first investigate the case of single agent failure.

Theorem 11. Assume a mobile multi-agent network G(𝑡)
with initial connectedness.Further assume that the network is disconnected by the failure of a single node .The HCC guarantees that the connectivity of G() can be restored within finite time  < ∞.
Proof.The result is obvious for the case that V ≤ 2. For V > 2, there is at least one node , where  →   .To see this, suppose that there is no prey for   ; from Algorithm 1 we have ≺  ⊆ 0; thus N []  ( − ) ⊆ 0, so that  is an information island (information Island is a body of information (i.e., agent information) that needs to be shared but has no network connection) at time  − , since V > 2, so the network is disconnected at time  − , contradiction reached.Furthermore, from (6) it is easy to observe that lim  → ∞    () = 0, for example, lim  → ∞ ‖ () −    ()‖ = 0. Since the artificial potential rules out the possibility of further disconnection of communication links between any logical neighbors, we conclude that no disconnection by the failure of a single agent in G() is unrecoverable within finite time  < ∞, which completes the proof.
To understand the connectivity restorability of mobile multirobot networks with respect to the case of multiple simultaneous agent failures, we provide the following illustrative analysis.
First, we denote the collapsar set of all collapsars at time  to be C, where C ≜ {  |  = 1, 2, . . ., ,   =   ( − ) ∈ V}, and the one-hop potential prey set to be P, where ( − )}.We denote a mapping from C to P as C  P if there exists at least one , where  ∈ P, for every   ∈ C, as is shown in Figure 7.
With the aforementioned notions, we conclude the following.
Theorem 12.With respect to the simultaneous failure of multiple robots in MRS system, the connectivity of the network is not restorable by HCC if C and P form a consecutive loop circle formation.
Proof.Refer to Figure 7 for the consecutive loop circle formation of the network topology.As was described, ( − )} denotes the one-hop potential prey set.And C ≜ {  |  = 1, 2, . . ., ,   =   ( − ) ∈ V} represents their dedicated sets of collapsars.Here, let us take C 1 , C 2 , and P 1 ; for example, as the mobile robot in C 1 and C 2 failed, the potential prey in P 1 will be assigned to restore  the connectivity, recalling that the potential preys are all onehop, so that while they are trying to restore the dedicated collapsars, for instance, the one in C 1 , their movements have to be restricted to avoid further partition of the network, according to the nonfurther rule presented in Section 3.2.Therefore, the network disconnection induced by C 1 and C 2 is not restorable by P 1 .Consequently, if C and P form a consecutive loop circle formation, none of the collapsar sets in the underlying network topology is restorable by HCC.

Experimental Simulations
To evaluate the performance of the proposed HCC for multirobot dispersion with respect to failure of mobile nodes, a variety of simulations have been conducted, and the results are presented in this section.The simulations are categorized into three subcategories: (1) multirobot dispersion without failure of mobile robot, (2) multirobot dispersion with the failure of a single robot, and (3) multirobot dispersion with respect to simultaneous failure of multiple mobile robots.General parameters are set as in Table 1.

Multirobot Dispersion without Failure of Mobile Robot.
In case no mobile robot failed during dispersion, the HCC will not trigger CRA, and the motion controller law (7) will be simplified as () .(10) We simulate the dispersion of 20 mobile robots initially located within 100 m × 100 m R 2 space.The snapshot of the MRS's evolution is shown in Figure 8.The dark squares represent the mobile robots, and the green circles represent the semidistance (semidistance represents a value that is 5% shorter than half of the communication range; the use of it here is for the sake of facilitating the observation) of communication range.The mobile robots are under the communication range of each other if and only if the two corresponding circles overlap.With the control of DLRA and HCC, a mobile network consisting of 20 mobile robots in a dense initial formation (as in Figure 8(a)) can disperse into a much sparse configuration (as shown in Figure 8(d)) within limited time.Moreover, the redundant communication links can be removed effectively during the dispersion, and the connectivity of the network is always preserved.
We further conducted simulations to evaluate the effectiveness and the stability of the HCC in multirobot dispersion without robot failures.It can be seen from Figure 9(a) that   the average communication links of each mobile robot in the initial configuration are 19; this is because the initial interrobot distance is relatively small, compared to the radio range of the mobile devices, so that the network is a complete graph.During the dispersion, the average communication links of each mobile robot declined rapidly and converged to near the value of 2 in 60 seconds, which is almost the structure of a tree, so that the network can be sparse enough to facilitate the dispersion.In the meantime, the velocities of the mobile robots in  and  axis during the dispersion are revealed in Figures 9(b) and 9(c), respectively.From the observation, it is safe to say that the velocities of the mobile robots are always bounded, and the whole system will converge to a stable status within finite time.

Multirobot Dispersion with the Failure of a Single Robot.
To evaluate the HCC in case of single robot failure, we further conduct an experimental simulation with a networked MRS scenario with 11 mobile robots.At a certain point during dispersion, one of the mobile robots failed, and the network is partitioned into two connected subgraphs.The results can be found in Figure 10.
In Figure 10(a), the mobile robot fails at a certain time during simulation; we denote it at time t = 0 s and mark the last updated location of the failed robot as a green circle.It can be seen from Figure 10(b) that, within a short time period (in less than 10 s), the connectivity of mobile network is recovered with the aid of HCC.Furthermore, Figures 10(c

Multirobot Dispersion with respect to Simultaneous Failure of Multiple Mobile Robots.
A scenario of 18 mobile robots is then evaluated with the control of HCC, as shown in Figure 11.During the dispersion, 3 mobile robots failed concurrently at a certain time.And the mobile network is partitioned into 3 connected segments, as in Figure 11(a).HCC first selects 3 preys for each of the failed robots using CRA, and then the motion controller drives each of the preys towards their collapsar to restore the disconnection induced by the failed robots.In the meantime, the MRS is still configured into their desired formation to enhance the coverage of the system, with guaranteed connectivity and collision avoidance.It is noticeable that during the restoration, the mobility of all potential preys is constrained with nonfurther rule, and they are only allowed to stay still or move towards their collapsar.Note that Figure 11(d) only shows the time when every prey moved into the last updated location of their collapsars, so that there is a short circle of 3 in the snapshot, since the dispersion is not finished yet.As is argued in Section 4, the disconnection induced by simultaneous failures of multiple mobile robots is not always restorable, as is shown in Theorem 12.The scenario in Figure 11, apparently, fulfills the requirement of restorable network structure.However, there are cases where the connectivity is not always restorable with respect to the failure of multiple mobile robots.Whereas this phenomena is inevitable, HCC only relies on local information of no more than two-hop neighbors.
As is shown in Figure 12, the network of 10 mobile robots is initially connected during the dispersion; 4 of the robots failed concurrently at the same time.Due to the fact that only two-hop neighboring information is available and the network is consecutive loop circle formation, the damaged connectivity is not restorable using HCC.It is worthwhile to notice that there are existing methods to restore network connectivity in any disconnection.However, global information is always required.

Conclusion
In most mobile multirobot applications, dispersion of mobile robots in a certain formation is often required.However, due to the complex and extreme environments in deploying robot team, single or multiple concurrent failures of mobile robot are inevitable.One of the most important problems induced by the failure of mobile robot is the disconnection in the underlying network.In this paper, we investigated and solved the aforementioned problem by designing a holistic connectivity controller (HCC).The proposed HCC can regulate and restore the interagent connections during the dispersion of the mobile multirobot network.Two main components are included in the HCC.Firstly, to illustrate the multirobot dispersion, we adopt the distributed link removal algorithm (DLRA), which is able to remove redundant links in the multirobot network to facilitate the dispersion.Secondly, the proposed approach is extended to the problem of connectivity restoration with consideration of concurrent failure of multiple agents.A connectivity restoration strategy is proposed, and then the recoverability of network connectivity is provided to unfold the capability of HCC with respect to simultaneous failure of multiple robots.The proposed HCC has also integrated motion controller to regulate the movement of the mobile robots, so that interrobot collisions can be effectively avoided.It is worthwhile to mention that the HCC only relies on local information of no more than twohop neighbors, so the message complexity can be minimized.Finally, theoretical analysis and computer simulations are also provided to confirm the efficiency and scalability of the proposed schemes.

Figure 1 :
Figure 1: Seven mobile robots are initially deployed in a dense manner and configured to their final formation with sparse network structure and better coverage of the area.

Figure 2 :
Figure 2: Failure of mobile robot may reduce in partition of the underlying networks.

Figure 5 :
Figure 5: Connectivity is not restorable if the candidate prey moves away from the location of the failure robots.

Figure 6 :
Figure 6: Specification design of the holistic connectivity controller (HCC).

Figure 7 :
Figure 7: With a loop circuit structure, the network disconnection induced by concurrent multiple failures of agents is unrecoverable.
Robots' velocity in Y axis

Figure 9 :
Figure 9: Average communication links and robots' velocities during dispersion.

Figure 12 :
Figure 12: Unrecoverable network with respect to the simultaneous failures of multiple mobile robots during dispersion.(a)  = 0 s, (b)  = 30 s.
Definition 6. Assume that node  fails at time  =   , denoted as a collapsar   , where   ≜ ( − ).Denote ≺  () as the order list of 's neighbor nodes within two hops with respect to decreasing link quality.Note that the first two-hop neighbor appears behind the last one-hop neighbor.Definition 8. Node  is a potential prey of   if and only if  ≺  ().
). Denote the topology control algorithm of the connectivity restoration strategy as CRA, and the following definitions are first introduced.