Abstract
A consensus-based formation control for a class of networked multiple mobile robots is investigated with a virtual leader approach. A novel distributed control algorithm is designed based on the Lyapunov method and linear matrix inequality (LMI) technique for time delay systems. A multiple Lyapunov Krasovskii functional candidate is proposed for investigating the sufficient conditions to linear control gain design for the system with constant time delays. Simulation results as well as experimental studies on Pioneer 3 series mobile robots are shown to verify the effectiveness of the proposed approach.
1. Introduction
Embedded computational resources in autonomous robotic vehicles are becoming more abundant and have enabled improved operational effectiveness of cooperative robotic systems in civilian and military applications. Compared to autonomous robotic vehicles that operate single tasks, cooperative teamwork has greater efficiency and operational capability. Multirobotic vehicle systems have many potential applications, such as platooning of vehicles in urban transportation, the operation of the multiple robots, autonomous underwater vehicles, and formation of aircrafts in military affairs [1–3].
The study of group behaviors for multirobot systems is the main objective of the work. Group cooperative behavior signifies that individuals in the group share a common objective and action according to the interest of the whole group. Group cooperation can be efficient if individuals in the group coordinate their actions well. Each individual can coordinate with other individuals in the group to facilitate group cooperative behavior in two ways, named local coordination and global coordination. For the local coordination, individuals react only to other individuals that are close, such as fish engaged in a school. For the global coordination, each individual can directly coordinate its act with every other individual in the group. Due to communication constraints, most researchers are interested primarily in group cooperation problems where the coordination occurs locally [4–6].
Cooperative control of multirobotic vehicle systems brings us significant theoretical [7–9] and practical challenges. For example, the research objective is defined based on a system of some subsystems rather than a single system; the effects caused by the communication constraints should be considered and how to design coordination strategies so that coordination will result in a group cooperation [10, 11].
As a concrete example of cooperative control, the formation control of multiple autonomous vehicles receives significant interest in recent years [12–15]. It requires that autonomous robotic vehicles collectively maintain a prescribed geometric shape during movement. Maintaining an accurate geometric configuration among multiple robotic vehicles moving in formation can result in less expensive and more capable systems that can accomplish objectives impossible for a single vehicle. The advantages of the formation control for multirobotic systems can be summarized as follows: good feasibility, accuracy, robustness, flexibility, lower cost, energy efficiency, and probability of success. For example, a group robotic vehicles can be used for large objective transferring, terrain model reconnaissance, unknown area exploration, and path obstruction.
Various strategies and approaches, which can be roughly categorized as leader-follower, behavioral, and virtual leader approaches [16], have been proposed for the formation control. In the leader-follower approach, one of the vehicles is appointed as the leader, and other vehicles in the group are appointed as the followers. When the group cooperative behavior occurs, the followers should track the trajectory of the leader with some prescribed offset. The basic idea about the behavioral approach is to prescribe several desired behaviors for each vehicle and to make the control action to each vehicle according to each behavior. In the virtual leader structure approach, the entire formation of the group is treated as a single structure. The virtual leader’s dynamic or trajectory is converted as the desired action of each vehicle in the group. Tracking control based on consensus algorithm is then needed to tackle this problem.
In the proposed work, a novel distributed control algorithm is designed based on the Lyapunov method and linear matrix inequalities (LMIs) technique for multiple robot systems. Note that Lyapunov-based approaches and LMIs technique have been successfully and widely applied in the area of systems and control. For example, in [17], a survey is in analysing the stability of time-delay systems by using of a Lyapunov-based method, LKF (Lyapunov Krasovskii function) theory to derive sufficient stability conditions in the form of LMIs. Furthermore, in [18], a set-value Lyapunov approach is to prove the stability of multiagent systems under a condition of time-dependent communication links. A Lyapunov-based stability theory and LMIs-based control method are described comprehensively in [19, 20], respectively.
In this work, a consensus-based design scheme is applied to the formation control of multiple-wheeled mobile-robot group with a virtual leader. The group communication configuration is assumed to be a fully coupled system which means decisions made by each robot in the group affect the cost and outcomes of all other members of the group. In this case, what a single robot is going to do is affected by what all other robots in the group are going to do. The distributed formation control architecture is defined to accommodate an arbitrary number of subgroup leaders and arbitrary information flow among the robots. This architecture requires neighbor-to-neighbor information exchange. At the group level, the consensus tracking algorithm is applied to guarantee consensus on the time-varying group reference trajectory in a distributed manner. A consensus-based formation control strategy developed based on the group level consensus tracking algorithm is applied for vehicle level control.
A novel delay-dependent multiple Lyapunov functional candidate related to LKF is constructed to investigate the convergence of the tracking error. The null sums have been added to the new multiple LKF with free weighting matrices introduced to reduce the conservatism in the derivation of the stability conditions. Therefore, the matrices and the sufficient conditions for the stabilization of the proposed control approach can be determined by solving LMIs. The effects caused by the group communication delays are well considered in the proposed approach. In addition to simulation results, the proposed control strategy is experimentally implemented for multiple-wheeled mobile robots under neighbor-to-neighbor information exchange with group communication delay involved.
Notations
The information exchange among robots is usually modelled by graphs. Suppose that a team consists of mobile robots. is a graph, where is a finite nonempty node set, and is an edge set of ordered pairs of nodes, called edges. The adjacency matrix of a graph is defined such that is a positive weight if is ture, and if is false.
2. Modelling of Pioneer 3 Mobile Robots
Pioneer mobile robots are durable, differential-drive robots for academic researchers. The most famous advantages of Pioneer 3 robot series are good versatility, reliability, and durability. In this work, two kinds in the series named Pioneer 3-DX (P3-DX) and Pioneer 3-AT (P3-AT) have been used for the experimental implementation.
The P3-DX used in our lab is shown in Figure 1(a). It assembled motors with 500-tick encoders, 19 cm wheels, 8 forward-facing ultrasonic sensors, 8 real-facing sonar, 1, 2, or 3 rechargeable batteries, and a microcontroller which can communicate with a laptop through serial port. P3-DX can reach the maximum speed of 1.6 meters per second and carry a payload of up to kg. It is an all-purpose base and can be used for research and applications involving mapping, teleoperation, localization, monitoring, reconnaissance, vision capture, cooperation, and other behaviors. P3-DX runs best on hard surfaces. It can traverse low sills and household power cords, and it can also climb most wheelchair ramps.
(a)
(b)
Another robot P3-AT used in this work is shown in Figure 1(b). It is a highly versatile four-wheel drive robotic platform, which is softwarecompatible with other pioneer 3 robots. P3-AT is a popular team performer for outdoor or rough-terrain projects. It has powerful motors and four knobby wheels that can reach the maximum speed of 0.8 meters per second and carry a payload of up to kg. P3-AT uses 100-tick encoders with inertial correction recommended for dead reckoning to compensate for skid steering. Similar with P3-DX, P3-AT also has 8 forward and 8 rear sonar, a microcontroller which can be connected with a laptop through serial port and batteries.
Both of P3-DX and P3-AT have the same kinematic model which can be expressed by the following equation: where is the inertial position of the mobile robot, is the orientation of the robot, and denote the linear and angular speeds of the robot. Since the mobile robots used in this work have nonholonomic constraints, the coordination problem becomes more complicated. As we know, nonholonomic systems cannot be stabilized with continuous static-state feedback, so the difficulty of the coordination problem for differentially driven mobile robots is that the position and orientation of the center of the robot cannot be simultaneously stabilized with a time-invariant feedback control strategy. Some researchers successfully used discontinuous control laws and time-varying control laws to stabilize the center of a single differentially driven mobile robot; however, the multiple robot case is more complicated for sure.
The most popular way to simplify this complex case is to define a hand position for each robot. As shown in Figure 2, the hand position of the robot usually has been defined at the point which lies a distance along the line that is normal to the wheel axis and intersects the wheel axis at the center point . The kinematic model of the hand position is holonomic for . Instead of considering the coordinating problem at the center of the robot, we consider the problem at the hand position. Another important advantage of defining a hand position for the robot is that the hand position has practical interest. For example, if the task of the robot group is to move an object from one place to another by using the gripper which has been installed at the hand position of each robot, then the control objective for this task is to move the gripper locations in a coordinated fashion.
Now, let us find the kinematic model for the hand position of each robot. First, the hand position can be represented by the following equation: where is the hand position in and plane. Now, let us differentiate (2) with respect to time and substitute (1), then we get
Define , and let then we have which is the kinematic model of the robot’s hand position.
3. Problem Formulation
As described in the above section, the nonlinear kinematic model of the center position of the robot has been simplified and linearized into the form of single-integrator dynamics shown in (5) by defining a hand position for each robot. The control interest has been converted from the center position of the robot to its hand position. So the state of the hand position of the robot is used as the state of the robot itself.
The virtual leader and virtual structure approach is one solution to formation control. Figure 3 shows the example of the virtual leader and virtual structure approach with a formation composed of three vehicles with planar motions. In Figure 3, is the global coordinate system, is the th vehicle’s actual position at time , and is the th P3 mobile robot’s desired positions at time . Both its actual and desired position at time are relative to . The group can move with the desired formation shape only if each vehicle can track its desired position accurately.
In this paper, we assumed each P3 mobile robot knows the state of its virtual subgroup leader versus time. If each vehicle has inconsistent knowledge of its virtual subgroup leader’s states, then the desired formation cannot be maintained.
The linearized model of each robot in the group can be represented by the following equation: where is the state of the th robot in the group which includes its position and velocity information. is the index denoting the number of the robot in the group. is the total number of all robots in the group. is the control input signal.
Now, define the virtual subgroup leader’s state, which is also the desired state for each P3 mobile robot in the group, as . If , , as , then the desired formation shape is maintained, and the group movement follows the desired reference.
4. A Novel Consensus Control Approach
In [21], the controller is designed for agents in the form of integrators such that all followers track the virtual leader with local interaction in the absence of velocity measurements. Specifically, a distributed consensus tracking algorithm is defined as where is a nonnegative constant, is a positive constant, and is the signum function, since it considers the tracking problem under fixed and switching network topologies. In the proposed work, a new distributed consensus tracking control algorithm with consideration of some communication delay can be represented as where is the designed control gain. Notice that each robotic vehicle in the group has the same group communication coupling and kinematic model, can be represented as instead, is the entry of adjacency matrix according to the interaction topology for , is the information from neighbors of the th P3 mobile robot, which can also be treated as the coupling between the th P3 mobile robot and its neighbors, and is the constant network-induced group communication delay. Submiting (8) into (6), we have If we define then (9) can be rewritten as It is obvious that if as which means as , then the desired formation shape is maintained, and the group movement follows the desired reference. The next step is to find the sufficient conditions for the design of the control gain so that it can stabilize the error dynamics represented by (11).
Lemma 1 (Jensen inequality). For any constant matrix , , vector function such that the integrations concerned are well defined, then
Theorem 2. Consider the error dynamics model represented by (11), for a given time delay and the number of members in one group ; if there exist symmetric positive definite matrices , , , matrices with appropriate dimensions, such that the following inequality holds: where then system (11) is asymptotically stable, for example, tends to zero asymptotically which means the robot in the group tracks its desired trajectory well.
Proof. For each robot in the group, we take the Lyapunov Krasovskii functional candidate as and now we define and take the multiple Lyapunov Krasovskii functional candidate as where With appropriate dimensions, the following two zero equations hold: where Then, the derivative of the multiple Lyapunov function candidate is as follows: Using Lemma 1, we have where is shown in (13). If (13) holds, then from (22), we have which means that the system (11) is asymptotically stable, for example, tends to zero asymptotically which means the th robot in the group tracks its desired trajectory well.
Note that the LMI condition in (13) is nonconvex, and hence the following theorem is proposed to be the sufficient condition of (13).
Theorem 3. Consider the error dynamics model represented by (11), for a given time delay , given scalars , and the number of members in one group , if there exist matrices , , , , , , , , , with appropriate dimensions, such that the following inequality holds: where then system (11) is asymptotically stable with control gain , for example, tends to zero asymptotically which means the robot in the group tracks its desired trajectory well.
Proof. In order to transform the nonconvex LMI in (13) into a solvable LMI, assume that where is known and given. Define , , and . Then by premultiplying the inequality in (13) by and postmultiplying by , we can obtain the inequality (23).
Remark 4. Equation (23) in Theorem 3 and (13) in Theorem 2 are used to design control gain . Equation (23) is a sufficient condition of (13) in Theorem 2 due to the simplification of matrices.
5. Simulations
In this subsection, three robots in the group move with a constant delay at 1 second is simulated. In effect, the proposed approach is applicable for any group with multiple robotic systems (greater than three).
The consensus control algorithm in (8) has been applied to adjust the whole group movement performance. The control gain has been designed based on the sufficient condition in Theorem 3 as where .
The evolution of the group movement has been shown in Figure 4. For robot 1, the desired trajectory is a linear function, + 250; . For robot 2, it is + 4; . And for robot 3, it is ; . The initial positions for three robots are arranged by every cm at -axis with 0 mm at -axis. Robots 1 and 2 start moving at and , respectively, while robot 3 starts at position. As shown in Figure 4 at 1 second after the group starts moving, the initial position information of each robot at second has not been received by each other. Since the time increment is measured as 0.2 seconds, at the 0.4 seconds, three robots sufficiently started to move toward the desired trajectory from the original positions. In second, the robots have received the signals between each other, due to the communication delay. Finally, they reached the desired formation after a certain time.
In Figure 5, the tracking error figure shows the tracking error in X- and -axis versus time, respectively. Because the tracking error at -axis corresponded to the -axis in term of magnitude, it is accurately sufficient to focus on the tracking error at -axis only. From this figure, at second, the tracking errors which are measured at -axis for robot 3 are highest, approximately 8 cm until the time past second, which is the time the robots received the signal. Since the control gain was designed well to reduce the effect caused by the delay, the tracking errors gradually converged to zero in the next 2.5 seconds.
(a) Error in X-axis
(b) Error in Y-axis
To further test the stabilization ability of the proposed control approach, the virtual leaders’ trajectories are adopted as nonlinear curve, which is different compared with those in the previous section. For robot 1, the desired trajectory is ; . For robot 2, it is ; . And for robot 3, it is ; .
The evolutions of the group movement is as shown in Figure 6. From the figure, it can be seen that finally the group tracks the virtual leaders’ trajectory and maintains the desired group formation very well. The tracking errors have been represented in Figure 7 based on both X- and -axis. As shown in Figure 7, the tracking errors converge to zero in 2.5 seconds which shows the effectiveness of the proposed consensus control algorithm. It can make the whole networked multirobots reach consensus and maintain the desired group formation well. It also can reduce the effects caused by communication delays.
(a) Error in X-axis
(b) Error in Y-axis
6. Experimental Results
In this section, the proposed distributed formation control strategy is applied to multiple mobile robots for experimental tests. As shown in the following subsections, there are three main parts: (i) the hardware experimental setup; (ii) the software regarding the control operation system of mobile robots; (iii) discussions on the experimental results.
6.1. Implementation of the Proposed Approach
Experimental tests are implemented in the Advanced Control and Mechatronics Laboratory at Dalhousie University. The multiple mobile robot test platform consists of one Pioneer 3-DX and one Pioneer 3-AT as shown in Figure 8. The two robots are connected with two laptops through serial ports, and the two laptops can communicate with each other through wireless network with TCP/IP protocols. Each robot has encoder for their position and orientation information. All calculations, receiving data information from the robots and inputting control signals to the robots, are processed by the laptops.
In the experimental tests, a group of two mobile robots is required to maintain the desired group formation according to its desired trajectory. The kinematic model for each robot is as shown in (1), and this model can be linearized by setting a hand position for each robot, for example, the simplified model represented by (5). After the group starts moving, laptops attached on the robots will keep performing the following tasks once per second: (1) reading position and orientation data from robots; exchanging those data with each other through the wireless network with 1 second communication delay; calculating the control input values according to the distributed consensus formation control algorithm (8) and then calculating the desired linear and orientation speed for the robots according to (4); converting the desired linear and orientation speed of the robots into the desired rotating speed of the left and right wheel of the robots, respectively, based on the following equation: where and are the left and right wheels rotating speed of the robot, cm is the length between left and right wheels of Pioneer 3-DX, and cm is that of Pioneer 3-AT, sending signals to robots to set the rotating speeds as the desired values.
6.2. Introduction on Software
In the experimental tests, software programming is another important issue. All commands and calculations processed by the controller (laptop) attached on each robot are programmed in C++ language. For simplifying the programming task, advanced robot interface for applications (ARIAs) has been used in the work.
ARIA is a programming library for C++ programmers who want to access their mobile robot platform and accessories at either a high or low level. Written in the C++ language, ARIA is client-side software for easy, high-performance access to and management of the robot, as well as to the many accessory robot sensors and effectors. ARIA includes many useful utilities for general robot programming and cross-platform (Linux and Windows) programming as well.
ARIA can dynamically control the robot’s velocity, heading, relative heading, and other motion parameters either through simple low-level commands or through its high-level “actions” infrastructure. In this work, ARIA also receives odometric position estimates, sonar readings, and all other current operating data sent by the robot platform. Functions defined in ARIA have been invoked to help read position data and set robot’s velocity and orientations, which as a result saves lots of time in programming.
Since the two laptops are required to communicate with each other via the wireless network with TCP/IP topology, a library named ArSocket in ARIA is then used for this issue. With the help of ArSocket, the user can directly create a server with one laptop and create a client with another. At the beginning of the group movement, the server opens a server port for the client and waits for the client to connect. The client is then connected to the server by following the server’s IP address. When the server receives the client’s call, it will send a call back to the client and start action. Then the client will start action as soon as it receives the call from the server. The server and client can interact synchronously through this way.
6.3. Experimental Results
The two robots in the team start moving at initial position of for robot 1 (P3-AT) and for robot 2 (P3-DX) with a unit in mm. As described above, the hand position for each robot has a distance to the center point of the robot. In the experiment, cm for both robots, so the initial hand positions of robot 1 and robot 2 are and , respectively, with a unit in mm. For the first test, the “hands” of the robot group are firstly required to track a straight line as where is the time starting from 0 second, the unit of and is mm, and (28) is according to the coordinate system of the th robot itself. The group movement trajectory is as shown in Figure 9.
(a)
(b)
(c)
(d)
In order to evaluate the group performance, the group movement trajectory was recorded and analyzed using MATLAB. The group trajectory is drawn by Figure 10. Since the position data has been recorded once per second, the time period between each location point in the figure is 1 second. As shown in the figure, P3-AT and P3-DX start moving from initial positions together at 0 second. The group starts getting close to the virtual leader’s trajectory or the desired trajectory in the first 8 seconds of the movement. After 8 seconds, the group gets on the desired trajectory. During this process, the desired group formation has been kept very well. Figure 11 shows that the consensus tracking errors for the virtual center position converge more and more close to 0, and the lowest values of the errors are below cm. This convergence property of the tracking error guarantees the good maintenance of the group formation.
For the second test, the group is required to track a curve as where is the time starting from 0 second, the unit of and is mm, and (29) is according to the coordinate system of the th robot itself. The team movement with fixed group formation is as shown in Figure 12.
(a)
(b)
(c)
(d)
For this case, the data has also been recorded and analyzed. Figure 13 shows the group movement trajectory and virtual leader trajectory. As shown in the Figure, the group trajectory of each robot undulates a little bit in the first 8 seconds transition time compared with the previous test as in Figure 10. After 8 seconds, the group gets on desired trajectory and undulates a little bit more than the previous test (the straight line case). Through drawing the consensus tracking errors for virtual center positions in Figure 14, it shows that the tracking error of each robot converges in the first 20 seconds and the minimum value is below cm. And then after 20 seconds, it increases a little bit between cm and cm. That is because the motor speed of each robot, which is calculated and set by the controller once per second, is held for each 1 second during the movement. So the system is not “ideal time continuous.” For the curve tracking case, the virtual leader of each robot moves with an acceleration along -axis which is equal to 4 mm/s2. As the time goes after movement, the virtual leader’s velocity increases greatly and becomes bigger and bigger so that it becomes more and more difficult for each robot to react and match the velocity and motion of its virtual leader. This hardware limitation causes the performance of the consensus tracking errors as shown in Figure 14. If the group moves for over 200 seconds, then the speed of the virtual leader along -axis becomes more than 0.8 meters per second which is the maximum speed of P3-AT. This is the main difference compared with the previous test (straight line case).
From the results, the consensus-based formation control strategies described in Section 4 are applied to the experimental test for P3 robot group. Due to the proper design of the control gain, the mobile robot group can track the virtual leader’s trajectory and maintain the desired group formation well.
7. Conclusions
In this work, a consensus-based tracking control strategy was proposed for the virtual leader formation control approach of multiple mobile-robot group with group communication delays. The kinematic model of P3 mobile robot has been introduced. The formation control algorithm has been applied to the linearized dynamic model of P3 mobile robot. A novel multiple Lyapunov functional candidate has been proposed to give the sufficient conditions of the control gain design as shown in theorems. The proposed consensus formation control strategy can be successfully applied to the multiple P3 mobile-robot experimental platform in the host laboratory. The results show a good group performance due to the good feasibility of the proposed approach.
Acknowledgments
The authors would like to thank NSERC and CFI Canada for the funding support.