The Scientific World Journal

Volume 2014 (2014), Article ID 818701, 12 pages

http://dx.doi.org/10.1155/2014/818701

Research Article

Modeling of Task Planning for Multirobot System Using Reputation Mechanism

Zhiguo Shi,1,2 Jun Tu,¹ Yuankai Li,2,3 and Junming Wei⁴

¹School of Computer and Communication Engineering, University of Science and Technology, Beijing 100083, China

²Department of Aerospace Engineering, Ryerson University, 350 Victoria Street, Toronto, ON, Canada, M5B 2K3

³School of Aeronautics and Astronautics, University of Electronic Science and Technology of China, Chengdu 611731, China

⁴ANU College of Engineering and Computer Science, Australian National University, Canberra, ACT 2601, Australia

Received 15 August 2013; Accepted 14 November 2013; Published 4 February 2014

Academic Editors: C.-C. Chang, Y. Lu, J. Shu, and F. Yu

Copyright © 2014 Zhiguo Shi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Modeling of task planning for multirobot system is developed from two parts: task decomposition and task allocation. In the part of task decomposition, the conditions and processes of decomposition are elaborated. In the part of task allocation, the collaboration strategy, the framework of reputation mechanism, and three types of reputations are defined in detail, which include robot individual reputation, robot group reputation, and robot direct reputation. A time calibration function and a group calibration function are designed to improve the effectiveness of the proposed method and proved that they have the characteristics of time attenuation, historical experience related, and newly joined robot reward. Tasks attempt to be assigned to the robot with higher overall reputation, which can help to increase the success rate of the mandate implementation, thereby reducing the time of task recovery and redistribution. Player/Stage is used as the simulation platform, and three biped-robots are established as the experimental apparatus. The experimental results of task planning are compared with the other allocation methods. Simulation and experiment results illustrate the effectiveness of the proposed method for multi-robot collaboration system.

1. Introduction

The field of distributed robotics started in the late 1980s, when several researchers began investigating issues in multiple mobile robot systems. Prior to this time, researches had concentrated on either single robot systems or distributed problem-solving systems that did not involve robotic components [1]. In the early distributed robotics work, the topics of particular interest include   cellular (or reconfigurable) robot systems, such as cellular robotic system [2] and cyclic swarms [3]; multirobot motion planning, such as traffic control [4] and movement in formation [5]; architectures for multirobot collaboration, such as ACTRESS [6]. Also, literatures on other particular topics, such as robot colonies [7] and heterogeneous multirobot systems [8], have been published.

In recent years, multirobot systems research has made great progress in many areas [9]. Issues of multirobot system [10] include biological inspirations, communication, architectures, localization/mapping/exploration, object transport and manipulation, motion coordination and formation [11, 12], reconfigurable robots, and learning.

Collaboration is an important characteristic and a major evaluation indicator for multirobot systems [6]. Multirobot systems can complete the mission through collaboration which a single robot cannot achieve. It is not the linear summation of the role of single robot but includes the individual-based interactively incremental besides the linear summation, which increases the overall performance [13].

Task planning includes two aspects [9]: task decomposition and task allocation. Presently, task planning system has been widely used in the space shuttle satellites, pilotless aircraft, and so forth. The research of multirobot systems is closely related to the distributed artificial intelligence, which consists of two main areas of research: distributed problem solving (DPS) and multiagent systems. DPS mainly focuses on how to decompose a particular problem and how to solve the problem among multiple agents, including three main aspects, which are problem decomposition, subproblem solving, and synthesis of the findings.

In the task decomposition and distribution research, there are several traditional methods: Contract Net Mechanism [14], Local/Global Planning [15], Distributed Searching, and Joint Intentions. Contract Net Protocol is an important noncentralized task decomposition and distribution model in distributed artificial intelligence.

The traditional task allocation is mainly based on contract net protocol (CNP) [14], which can provide the solution for the issues by consulting to avoid conflict. Parker [16] developed a behavior-based distributed multirobot collaboration structure named L-ALLICANCE and the corresponding system with the capability of parameters learning named L2-ALLICANCE [17] in MIT. The system utilizes an incentive-based task allocation mechanism for behavior and enhances the generalization and error tolerance of multirobot system. Parker also proposed a behavior-based task allocation mechanism named ASyMTRe [18].

Gerkey applied the market algorithm in multirobot system to deal with dynamic task allocation problem named MURDOCH [19]. The market mechanism in task allocation is based on consultations. The robots complete the task assigned through mutual consultation and negotiation on the basis of certain agreement in multirobot system.

However, the task allocation methods have their limitations to some extent. Behavior-based task allocation mechanism does not take into account the influence of collaboration history, while market-mechanism-based task allocation does not fully consider the impact of the time factor, leading to poor robustness.

In addition, the topics of multirobot search and rescue, cooperative localization, motion coordination, and formation control attract a lot of researchers in the fields of robot collaboration system [20]. Collaboration optimization method, including linear programming method and the Hungarian algorithm [21], can be applied to solve simple tasks and robot collaboration optimization problems. But when the number of robots and tasks increases in the system, the computational complexity will increase exponentially.

In this paper, a task planning method based on reputation mechanism is proposed. Reputation plays an important role in the collaboration among people. In many cases, task allocation is based on someone’s reputation, which is gained from the evaluation of the completion of historical tasks. Reputation theory is attracting interest from industrial and academic research communities and increasingly being integrated with online services and applications, especially in network computing system.

Reputation of robots is the overall assessment and the summary of past actions observed from one robot to another through the gradual dynamic capabilities in a continuous interactive process. The assessment can be used to guide further actions of the robot. Reputation includes five attributes:   the related characteristics of environmental context, dynamic characteristics of changing over time, time lag characteristics of forming through the continuous learning and historical experience, group characteristics of being affected by the group or alliance of the robot, and incentive and reward mechanism. The robot with good reputation should be rewarded in task allocation. Otherwise, it should be punished.

The rest of the paper is organized into four sections as follows: the system structure and basic concepts are presented in Section 2. The modeling of task planning using reputation mechanism is proposed in Section 3. Simulation and experimental results are shown in Section 4, and concluding remarks are in Section 5.

2. Basic Concepts and System Structure

Task planning consists of two parts: decomposition and allocation. Task allocation in the multirobot system is divided into two categories: direct allocation and delegation allocation. Direct allocation is to assign a task to robot that can provide collaboration directly. If the robot cannot complete the assigned task, the assigned task can be delegated to other robots. The task can be further delegated if needed.

The periodical constraint is utilized to guarantee the time effectiveness of task allocation. (, ) is a periodical constraint from to , which means that the task allocation is valid in the period from the time to . If a task cannot be accomplished in the arranged time, it will be withdrawn, which can improve the performance of the system. A typical collaboration system is shown in Figure 1.

Figure 1: Robot collaboration system.

In Figure 1, there are two cooperative groups. Tasks can be assigned by direct allocation or indirect delegation.

In the robot reputation system, robot reputation level (RRL) is proposed to quantify the reputation of each robot, which is based on the historical experience and the overall evaluation of the system. “0” and “1” are used to quantize the reputation value. “0” represents the lowest reputation and “1” represents the highest reputation. The symbol of robots group is indicated as . The value on the line from robot to robot is the direct reputation from to , and the individual reputation value of the robot is the value on the robot, shown in Figure 2.

Figure 2: Reputation of the robot collaboration system.

In Figure 2, the reputation of the group is the value beside the name of the group; for example, the reputation of group is 0.5. The reputation of robots in the collaboration system consists of three parts:  the individual reputation; the group’s reputation where the robot belongs to; the reputation between the two robots intending to cooperate.

3. Task Planning Using Reputation Mechanism

In this section, task planning is divided into two parts: task decomposition and task allocation. Firstly, the condition and process of the task decomposition are presented. Secondly, task allocation using reputation mechanism is defined and presented in detail.

3.1. Task Decomposition

A task can be decomposed if it meets certain conditions. Four task decomposition conditions are given in [22]. If the task can be decomposed and is assignable, the formal definition of automata is as follows.

An automata is a tuple , consisting of a set of states ; the initial state ; a set of events that causes transitions between the states; a transition relation ; is the acceptable states set. is a finite alphabet and a sequence of states in , and , .

The parallel composition of and is the automaton , defined as follows:

The natural projections of in local event sets is obtained as (), merging the events-related states which belong to the event sets .

( 1) Decomposition Condition 1

where, , and are events; is a set of total events; local event sets ; a set of states ; a transition relation ; If state is reachable under events , that means existing a local events which contains events , , making the state remain reachable under the event sequence and .

( 2) Decomposition Condition 2

where is sequence of events. If the state is reachable under the event sequence or , it can launch a local existing events , which contains events , , making the state remain reachable under the event sequence and .

( 3) Decomposition Condition 3

where and are the biggest subset of   , , , can launch and , beginning with the same event. is the set of all sequences of events of automaton ; is the set of the sequences of events of automata ; the natural projections of the th local event set in the corresponding sequence of events .

( 4) Decomposition Condition 4

Formal linear temporal logic language is used to present the whole tasks of the robot system, which is almost the same with the natural language in structure.

Several temporal operators of task decomposition are presented as follows [22]:

(i)next state “”: requires that a property hold in the next state of the path;(ii)until “”: used to combine two properties. The combined property holds if there is a state on the path where the second property hold, and at every preceding state on the path, the first property holds;(iii)eventually “”: used to assert that a property will hold at some future state on the path;(iv)always “”: specifies that a property holds at every state on the path. Such as: .

The reachability while avoiding some events: 

 Sequence:  Coverage:  Recurrence: .

The equivalent task automata can be transformed from the formula. The natural projections of to local event sets are obtained as (). Linear temporal logic and automata have a close relationship, which can be directly exported from linear temporal logic formula, because every linear temporal logic formula consists of connectors and temporal operators.

3.2. Reputation Mechanism

The negotiation process of the robot collaboration system is presented, which mainly is concerned about how to build partnerships between the collaborative robots according to the reputation mechanism.

Definition 1 (robot initialization set). The robot initialization set is identified as , where denotes the ontology of collaboration robot, which can get the identification corresponding to ; is an identification set, these identification sets are issued to in . is a partial order function, mapping a finite subset of attributes to the strategy set. The properties of CHAP are called limited properties. For the limited property , CHAP[] is called the verification strategy of . is a partial order function, mapping resources to a finite strategy set.

Definition 2 (robot collaboration strategy). A collaboration strategy is defined as a quintuple , where is the finite set of the collaboration process state, each state denoted by , and, ; is the finite set of the collaboration process messages. The massage is denoted by and usually consists of subscripts. The message sequences can be denoted as . The function :  defines the initial state of the requester. When the initialization set and requesting robot are given, this state is , where . :  defines that the collaboration is started by a requested robot. The function :  defines each action of the robot. When the robot initialization set , current state and the latest message from the other side are given, .

Definition 3 (framework of reputation mechanism). Giving that denotes the domain where belongs to, denotes the domain where belongs to,    denotes the time of collaboration and denotes the specific group. The collaboration relationship from to is expressed as :

where denotes the direct reputation between robot and robot . denotes the direct reputation weight coefficient, . denotes the individual reputation value of robot ; is the reputation weight coefficient. . denotes the reputation value from the robot group to the group . denotes the group weight coefficient, , , .

Definition 4 (direct reputation). Giving that denotes the domain where belongs to, denotes the domain where belongs to. The direct reputation from to is presented as

where the definition of DRM (Direct Reputation Matrix) can be seen in Definition 7. denotes the last collaboration time between and ; denotes the function of time calibration; denotes the function of group calibration function; and denotes the time calibration function.

Definition 5 (individual reputation). Giving that denotes the domain where belongs to, denotes the domain where belongs to. The individual reputation of robot in the collaboration system is presented as

where denotes the function of the reputation calibration; denotes the standard deviation of reputation value at the No. collaboration; denotes the function of time calibration; denotes the function of group calibration function; and denotes the number of robots in the collaboration system who is cooperating with robot .

Definition 6 (group reputation). Giving that denotes the domain where belongs to, denotes the domain where belongs to. Group reputation in the collaboration system is

where denotes the group reputation value of the last collaboration between the group and the group . denotes the function of time calibration.

Definition 7 (direct reputation matrix (DRM)). If the cooperative system is composed by robots, DRM will be matrix. Direct reputation value , . For example, there are 26 robots in the collaboration system, named from to , the DRM of which is the following matrix:

Definition 8 (time calibration function). Giving that denotes the domain where belongs to, denotes the domain where belongs to.    denotes the last collaboration time between robot and robot . The time calibration function can be expressed as

where denotes the history experience coefficient, generally, . denotes the reputation reward coefficient. denotes the correction operator. denotes the reputation penalty coefficient. denotes the incentive ratio in time . denotes the penalty ratio in time . denotes validation coefficient of the collaboration, if the assigned task is successfully finished, ; otherwise . denotes the attenuation coefficient.

If the robot does not take any assigned task, its reputation will diminish as the time went on. The coefficients is satisfied with , .

Characteristic 1 (time attenuation). With no compensation, the proposition will be proved if , when

where and , so the equation above is greater than 0; therefore, the proposition may be established. In the process of collaboration, if no compensation, the value of the function will be decreased.

Characteristic 2 (natural attenuation curve). Generally, is 1. The value of (11) is related to and . Taking that , a different set of curves will be obtained, which are called the attenuation curves.

The curve, when , , is defined as the natural attenuation curve. Assuming that the initial value , = 0.5 could be the case, is 0.1, 0.2, 0.3, and 0.4, respectively.

Characteristic 3 (historical experience related). Assuming that (11) do not have the characteristics of historical relevance, in the absence of natural attenuation as well as under the circumstances of no penalty and award compensation, reputation will have nothing to do with the historical experience. Then , because is not equal to zero, so , which is conflicted with . Therefore, the assumption is wrong; that is, (11) is historical experience related.

Definition 9 (group calibration function). Giving that denotes the group where robot belongs to, denotes the group where robot belongs to, denotes the environment context, the group calibration function is expressed as

If or , then . , , denotes the positive coefficient, denotes the negative coefficient. The typical parameters of groups are given in Table 1.

Table 1: Typical group parameters.

Loyalty
Honesty
Improvement
Randomization

0–0.1
0.1–0.2
0.2–0.3
0.4–0.6

0.9–0.99
0.8–0.9
0.7–0.8
0.5–0.7

Concealment
Tricky
Corruption
Deceivement

0.6–0.7
0.7–0.8
0.8–0.9
0.9–0.99

0.4–0.5
0.2–0.3
0.1–0.2
0–0.1

Characteristic 4 (newly joined robot reward). According to (13), if a robot does not belong to a group or has no collaboration with any robot in the group, the group reputation of the robot is NULL. When cooperating with the other robots, , which stands for relatively high reputation.

4. Experiments and Results Analysis

Many simulation platforms can be used for multirobot systems [23], for example, Player/Stage, TeamBots, Gazebo, USARSim, Webots, Microsoft Robotics Studio, Swarmbot 3D, Swarmanoid Simulator, and so forth. In this paper, Player/Stage is selected as the simulation platforms because of the simple operability and flexibility. Player/Stage [24] was developed by Robotics Research Lab in University of Southern California in 1999, which is an open-source project that provides internal interface and simulation environment for multirobot system. The platform can be modified and expanded by the researchers worldwide according to their requirements.

4.1. Simulation and Performance Analysis

Three robots , , and are put in area 1 and with the thrust capability of , , and , respectively. Their initial reputation values are 0.5, 0.9, and 0.7. Three boxes , , and are put in area 2, which need moving thrust of , , and , respectively. The moving condition is that the thrust provided by the robot is greater than the needed thrust of the box.

Robot is given the highest reputation value who is responsible for sending arranged commands to and . Assuming that assignment is given to one robot to push the box, the robot moves from area 1 to area 2, and then finds the homologous box and try to push it.

However, if is too heavy to be pushed and needs cooperation from other robots, and are required to cooperate. The robot goes to push , and after that and will go back to area 1. returns to area 2, and continues pushing to area 3. All of them return to the initial place waiting for next assignment. The process can be translated into task automata , shown in Figure 3.

Figure 3: Task automata.

The assigned task is to push the boxes to area 3. The local event set of each robot is presented as follows:

Checking that the decomposition conditions , , and , if , which certify that the task is decomposable and decomposed into three subtasks (), (), and ().

DTM presents the direct reputation relationships among robots. Three robots in the collaboration system named from to , the DTM is shown as

The reputation in the matrix is updated after each step of the collaboration. Box moving is simulated by the approach, shown in Figure 4.

(a) Initialization

(b) Taking the assignment

(c) Pushing boxes

(d) Waiting for next assignment

Figure 4: Simulation process of the approach.

Two typical allocation algorithms are used to make contrast and evaluate the performance of the proposed method, which are sequence allocation and auction allocation. The simulation has seven robots in area 1 and 14 boxes in area 2, without obstacles between them.

In the case of the sequence allocations, the results of mod 3 may be 1, 2, 3, 4, 5, 6, and 0. Tasks are assigned to the robot , respectively. The simulation process of sequence allocation is in Figure 5.

(a) Initialization

(b) Taking the assignments

(c) Pushing boxes

(d) Completing assignment

Figure 5: The simulation of sequence allocation.

In the case of the auction allocation, the bidding is lauched at the beginning by the auctioneer. The best bid is picked out by the predetermined standard. The task will be assigned to the winner of the auction. The winner of the auction is chosen by the auctioneer giving the highest bid.

The bid matrix is used to store the value of robot biding for each assignment. A typical bid matrix in the simulation is presented as

The tasks are performed in the following sequence: , , , , , , , , , , , , , . The simulation process can be described in Figure 6.

(a) Initialization

(b) Taking the assignment

(c) Pushing boxes

(d) Completing the assignment

Figure 6: Simulation of auction allocation.

In the case of the task allocation by reputation, the initial reputation value of the system is the following matrix:

The DRM of seven robots is shown as

The value of DRM is updated after each process of collaboration. If successfully finished the assigned task, the value of direct reputation between the robots increases by 0.01, otherwise reduces 0.05. In the simulation process, if the assigned task failed, the moving trajectory of the robot is the same to facilitate the performance comparison. The process of performing tasks is shown in Figure 7.

Figure 7: Process of task allocation by reputation.

Every experiment is simulated six times to get a reasonable performance assessment. The ultimate results are the arithmetic average of the six times.

The order allocation needs about 635.71  to complete the assigned tasks. The auction allocation needs about 591.63  to complete the tasks. The reputation-based allocation method needs about 525.15 . The efficiency of task allocation by reputation is higher than the average of the other two methods, as shown in Figure 8.

Figure 8: Comparison of the three allocation method.

4.2. Experimental Apparatus and Evaluation

The biped-robot apparatus are utilized as the experimental platform. The shape parameters of the robot are with upright height 33.3 cm, width 9.9 cm, arm length 15.9 cm, arms stretched flat horizontal length 41.7 cm, upper high 13.9 cm, waist high 19.4 cm, and weight 1 kg, as shown in Figure 9.

Figure 9: Biped-robot experimental apparatus.

The wireless sensor module is used to send and receive commands, which are coded as the standard serial data and sent to the assigned robot. The effective transmission distance is about 30 m. The experimental parameters of task allocation are shown in Table 2.

Table 2: The experimental parameters.

Parameters
Value

: four robots’ identity

Res: Transport, Movement

R, M: four robots

P: logic set

: Time of box picked up

:  s

own
0

G
G: four robots

,
0.6, 0.5

, ,
1/3, 1/3, 1/3

Four task allocation methods are engaged to evaluate the efficiency. In addition to the proposed method, the other three methods are random allocation, order distribution, and simultaneous allocation.

A nonnumbered box with the size 8 cm³ is arranged to be moved to the destination. The moving distance is set to be 0.6 m. After receiving the task assignment, the robot moves to the side of the box, pick it up, move it, and put it down at the destination. The processes of picking up and putting down are done manually; other actions are done automatically.

For the case of task allocation using order distribution algorithm, the results of mod 3 may be 1, 2, and 0. Tasks are allocated to the robot , , and , respectively based on the results, and every task allocation time interval is 30 . For the simultaneous allocation algorithm, the allocation time interval is 0 .

For the case of task allocation using random distribution, the random number set is used. When the generated random number , the task will be assigned to robot ; if , the task will be assigned to robot ; if , the task will be assigned to robot .

The tasks numbered are generated by the task sequences. stands for the number of tasks. is taken, respectively, as the arranged tasks and each running time is 7 . The arithmetic mean value of the maximum time and minimum time is removed to effectively prevent the unexpected result of random events. The results are shown in Figure 10.

Figure 10: Comparison of small number of arranged tasks.

With the number of tasks increasing to , it is taken, respectively, as the arranged tasks (medium number tasks). The arithmetic mean value of the maximum time and minimum time are removed. The experimental results are shown in Figure 11.

Figure 11: Comparison of medium number of tasks.

According to the practical application, the robots with relatively high-speed capability are allocated more tasks and the efficiency of the task allocation by reputation is 4.35% higher than the second high method.

When the number of tasks continues to increase to , which are taken, respectively, as the arranged tasks (large number of tasks). The test results are shown in Figure 12.

Figure 12: Comparison of large number of tasks.

In the case of large number of tasks, the efficiency of task allocation by reputation is 3.57% higher than the second high method.

The experimental results show that the task allocation using reputation mechanism can effectively increase the performance and prevent a robot from a delay in the case of the individual robot failure.

5. Conclusion

Task planning is developed by two parts: task decomposition and task allocation. The processes of the task decomposition and task allocation using reputation mechanism, are presented. The robot collaboration strategy, the framework of reputation mechanism, and three reputations are defined in detail, which includes robot individual reputation, robot group reputation, and robot direct reputation. Time calibration function and group calibration function are designed to improve the effectiveness of the method, which are proved to be with characteristics of time attenuation, historical experience related, and newly joined robot reward. The success rate of collaboration is enhanced and the time of recovery and redistribution of the task are reduced.

Player/Stage is used as the simulation platform, and three biped-robots are established as the experimental apparatus. In the simulation, task decomposition is studied, and the result of task allocation is compared with the sequence and auction allocation methods. The biped-robots are used in the experiments, and four task allocation methods are engaged to evaluate the efficiency. The simulation and experimental results show that the approach can provide an effective performance for multirobot system.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is jointly supported by NSFC under Grant no. 60903067, Beijing Natural Science Foundation under Grant no. 4122049, Funding Project for Beijing Excellent Talents Training under Grant no. 2011D009006000004, and Beijing Higher Education Young Elite Teacher, and the Fundamental Research Funds for the Central Universities (FRF-JX-12-002, FRF-TP-12-083A).

References

T. Arai, E. Pagello, and L. E. Parker, “Guest editorial advances in multirobot systems,” IEEE Transactions on Robotics and Automation, vol. 18, no. 5, pp. 655–661, 2002.

T. Fukuda and S. Nakagawa, “A dynamically reconfigurable robotic system (concept of a system and optimal configurations),” in IECON '87: Industrial Applications of Robotics and Machine Vision, Proceedings of SPIE, pp. 588–595, 1987.

G. Beni, “The concept of cellular robot,” in Proceedings of the 3rd IEEE Symposium on Intelligent Control, pp. 57–61, Arlington, Va, USA, 1988.

S. Premvuti and S. Yuta, “Consideration on the cooperation of multiple autonomous mobile robots,” in Proceedings of the IEEE International Workshop on Intelligent Robots and Systems, pp. 59–63, Tsuchiura, Japan, 1990.

T. Arai, H. Ogata, and T. Suzuki, “Collision avoidance among multiple robots using virtual impedance,” in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 479–485, 1989.

H. Asama, A. Matsumoto, and Y. Ishida, “Design of an autonomous and distributed robot system: ACTRESS,” in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 283–290, Tsukuba, Japan, 1989.

R. C. Arkin and G. A. Bekey, “Special issue on robot colonies,” Autonomous Robots, vol. 4, no. 1, pp. 1–153, 1997.

T. Balch and L. E. Parker, “Special issue on heterogeneous multi-robot systems,” Autonomous Robots, vol. 8, no. 3, pp. 207–383, 2000.

K. Yuan, Y. Li, and L. Fang, “Multiple mobile robot systems: a survey of recent work,” Acta Automatica Sinica, vol. 33, no. 8, pp. 785–795, 2007.

E. L. Parker, “Current research in multi-robot system,” Journal of Artificial Life and Robotics, vol. 7, pp. 1–5, 2003.

G. A. Kaminka, R. Schechter-Glick, and V. Sadov, “Using sensor morphology for multirobot formations,” IEEE Transactions on Robotics, vol. 24, no. 2, pp. 271–282, 2008.

M. J. Daigle, X. D. Koutsoukos, and G. Biswas, “Distributed diagnosis in formations of mobile robots,” IEEE Transactions on Robotics, vol. 23, no. 2, pp. 353–369, 2008.

N. Boonpinon and A. Sudsang, “Constrained coverage for heterogeneous multi-robot team,” in Proceedings of the 2007 IEEE International Conference on Robotics and Biomimetics, pp. 799–804, December 2007.

R. G. Smith, “The contract net protocol: high level communication and control in a distributed problem solver,” IEEE Transactions on Computers, vol. 29, no. 12, pp. 1104–1113, 1980.

N. A. David, B. Patrick, M. Jeffrey, et al., “Coalition agents experiment: multiagent cooperation in international coalitions,” IEEE Intelligent Systems and Their Applications, vol. 17, no. 3, pp. 26–35, 2002.

L. E. Parker, “L-Alliance: task-oriented multi-robot learning in behavior-based systems,” Advanced Robotics, vol. 11, no. 4, pp. 305–322, 1997.

L. E. Parker, “Alliance: an architecture for fault tolerant multirobot cooperation,” IEEE Transactions on Robotics and Automation, vol. 14, no. 2, pp. 220–240, 1998.

F. Tang and L. E. Parker, “ASyMTRe: automated synthesis of multi-robot task solutions through software reconfiguration,” in Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp. 1501–1508, April 2005.

B. P. Gerkey and M. J. Matarić, “Sold!: auction methods for multirobot coordination,” IEEE Transactions on Robotics and Automation, vol. 18, no. 5, pp. 758–768, 2002.

M. J. Matarić, G. S. Sukhatme, and E. H. Ostergaard, “Multi-robot task allocation in uncertain environments,” Autonomous Robots, vol. 14, no. 2, pp. 255–263, 2003.

H. W. Kuhn, “The Hungarian method for the assignment problem,” Naval Research Logistics, vol. 2, no. 1, pp. 83–97, 1995.

Z. Zhang, L. Guo, B. Fang, and X. Chen, “A parallel strategy in network protocol processing based on FSM decomposition,” Chinese Journal of Computers, vol. 29, no. 8, pp. 1496–1504, 2006.

R. Vaughan, “Massively multi-robot simulation in stage,” Swarm Intelligence, vol. 2, no. 2–4, pp. 189–208, 2008.

B. Gerkey, R. Vaughan, and A. Howard, “The player/stage project: tools for multi-robot and distributed sensor systems,” in Proceedings of the International Conference on Advanced Robotics, pp. 317–323, 2003.