Multiple studies show that novel and better multi-agent formation algorithms have been proposed in recent years. The idea behind developing control laws for large-scale systems is to provide an alternative for the control of a group of autonomous vehicles dynamically decoupled  , moving along a path, and preserving a geometric shape. The first step in understanding these algorithms is to know how to implement the basic motion dynamics found in previous research in biology .
The use of studies on basic motion dynamics in biology let us generate powerful algorithms to recreate geometric formations for groups of wheeled mobile vehicles . Some animal species have shown that the analysis of the individual and group motion kinematics provides an initial idea on how to control large-scale systems  . In robotics, that means that a number of robots collaborate to form geometric patterns, with a common orientation and speed. Although the journal paper under review provides a powerful insight of a distributed control law, many other approaches have been explored throughout the history, such as the leader-follower or neural network approach.
The goal of the research behind Formation Building Algorithms is to reduce the risk of hazardous tasks currently done by humans  . In , particularly, the implementation of consensus variables, updates the position, linear velocity, and angular velocity with the information available from the adjacent robots or by the data transmitted from a robot neighbor at a time instant. In the end, the consensus variables algorithm, is designed to find a common speed and orientation to maintain a desired spatial formation. The angular and linear velocity value control input is calculated, with hard constraints applied on them. These constraints are introduced to improve the stability of nonlinear systems .
Different algorithms have been formulated for multi-agent systems exploring a vast number of control laws for a first and a second order approach. The first visible example of some of the control algorithms can be found in  or perhaps in  where the orientation of the robot changes in relation to the average heading of its adjacent robots in the system. In  the speed of each robot changes as in ; however, in this case, we use the average speed accordingly. Algorithms such as in  study the Lyapunov method in detail to understand the system stability, here the non-holonomic motion model and energy equations are used to formulate the control dynamics of the system. Some of them lie in the lack of analysis in real scenarios as in practice many physical and environmental constraints must be considered. Therefore, the best approach examines the use of distributed control laws with hard constraints in the system parameters.
The aim is to model a Formation Building Algorithm presented in the journal article . Additionally, the document focuses on the system components identification, and the performance measures to be analyzed. The rationale behind the study and simulation of the Control Law is to provide a graphical representation of the geometrical formation, and to present an alternative to the Leader-Follower approach. A fictitious target defines the direction of the collective, where a linear and triangular formation can be used in the supply chain or mining industry, or in search and rescue activities. In addition to the Control Law, this document presents an obstacle avoidance technique that seeks to evade a rounded obstacle while maintaining the formation.
2. Literature Review
2.1. Formation Building Algorithm
To begin with, we take the spatial coordinates in a global reference frame, and the orientation about the x-axis (Figure 1).
Let us take the linear speed and the angular velocity as the control inputs of the system, computed later with a novel distributed control technique based on the consensus between vehicles, and their adjacency in the reference frame. Such adjacency is calculated with the help of the Euclidean distance formula (Figure 2).
If the distance is less or equal to a reference range, they are said to be connected through an edge under the graph analysis . Now, the kinematics of any unicycle robot are:
Figure 1. Mobile robot kinematics.
Figure 2. Euclidean distance between two nodes.
Let be the number of robots found in the multi-robot system, each with Cartesian coordinates with its heading measured counterclockwise from the x-axis. As explained before the linear and angular speed control inputs are applied distributed to each of the agents of the group of wheeled mobile vehicles. The standard kinematics are not only used to describe the dynamical behavior of wheeled vehicles, but for many other artifacts, such as UAVs, smart missiles, etc.     . A set of initial constraints are defined for the Angular and linear speed to reduce the complexity and the instability risk:
Each robot communicates at a discrete time . Based on the graph analysis we assume that each of the nodes that belongs to the group of robots is connected through a set of lines that forms an undirected graph. In , it is mentioned that each of the robots can communicate at a time instant if and only if one of them is inside an imaginary disc with radius rc. Back in , it is said that all nodes connected forming a graph are grouped using the notation . Moving to the consensus variable approach, a global linear speed, angular speed and robot orientation is found using the equations shown below, with initial conditions , , and . This guarantees that all robots will move on a common reference system, with the same speed and orientation.
Some of the assumptions found in  are that the consensus angle satisfies the initial condition interval , that the information shared between robots are the coordinates and that the consensus variables and , are calculated for all for . In , the Formation Building Algorithm proposed to update the consensus variables is:
If we analyze further the behavior of the equations when k tends to infinite, we may find that each of the values converges to a constant value , such that:
This is shown in , and further analyzed in . The journal article and this review proved that all robots will move parallel to the x-axis with a stabilizing control law with initial position and a geometrical configuration vector denoted by where and are constants. Moreover, if the solution of the closed control loop with the robot kinematic equations in continuous time satisfies:
From the above definition one can say that all vehicles will have the same speed and orientation along the x-axis maintaining the formation configuration . The journal article  introduces a fictitious target whose location ahead of to the robot is defined by a constant c. This constant is calculated with the
maximum linear and angular speed as , known to all the robots.
Let us introduce a two-dimensional vector , which defines the behavior and location of the fictitious target :
The fictitious target coordinates x and y are calculated as:
We form a vector that includes both x and y coordinates:
In Figure 3 below the vector formed by the difference between the
vector of each robot coordinates and the vector of the fictitious
target , is what we know as the distance ahead of the robot to the target at each instant of time: .
Figure 3. Geometric analysis of the vehicle and fictitious target .
The Decentralized Control Law defined in  depends on the relative position of the robot x and the vector for all . The control input depends on the maximum angular speed and the sign of the angle between the vector formed by , and the distance :
Here: , and the Function is defined by the sign of the angle between and .
2.2. Obstacle Avoidance Technique
Another of the challenges presented is the presence of obstacles in addition to the distributed control law described in the previous chapter. At this point, a fix circular obstacle is placed with coordinates and according to  no robot has information about the obstacle, therefore, to detect it, all robots have a built-in range sensor with 180˚ field of view to measure the proximity to the surface of the circular landmark.
The sensor detects an obstacle at certain distance rs, and with a calculation the robot determines the range and angle to the landmark.
The robot collects all the information from the sensors and proceeds to evaluate the actions required to avoid the obstacle, in other words, it finds the route away from the collision path. The algorithm applied comes from an extensive analysis performed in documents such as  and . As shown in Figure 4
Figure 4. Sensor range detection .
the robot detects an obstacle once inside the range of the sensor. The robot adjusts its heading and speed to maintain a distance from the surface of the obstacle. Taking Rt as the turning radius and d the distance from the obstacle when the robot is moving parallel to the obstacle, one can calculate maximum rotation and minimum distance boundaries, respectively.
Assumptions are considered for this problem. Firstly, we can assume that the robot displacement is parallel and along the circumference perimeter. Secondly, we assume that the obstacle is considerably big to represent the surface of the obstacle as a flat long rectangle. At this point, the sensor detects at a distance rs the obstacle and taking as reference the center of the robot there will be an angle between the heading of the vehicle and the ray that the sensor emits. This difference is considered the desired avoidance angle and can be calculated as:
Where, do is the farthest point that the sensor can detect from the central point of reference of the robot coordinates. If there is a curved obstacle the robot should keep a constant distance from the surface of the landmark as explained before; however, in this case, the sensor detects that the angle of avoidance is greater than the desired angle , with a difference:
The angular rate of change is what the robot needs to correct to preserve the desire distance from the obstacle. In Figure 5, we can see in detail the geometrical analysis when the robot detects a rounded obstacle, maintaining a constant distance do. The angle between the heading of the robot and the virtual representation of the sensor ray for a flat surface is defined as the desired avoidance angle. At this point as the surface is not flat but convex the robot needs to rotate towards the obstacle to preserve a distance do from it.
Again, we can consider the existence of a fictitious target , located at a distance to the robot denoted by rs and an angle which becomes the rate of change necessary to keep a distance do from the obstacle while avoiding it. Given some equalities and according to Figure 6 one can see that the distance d and
Figure 5. Round obstacle .
Figure 6. Geometric representation on a rounded surface .
are equal since the angles projected and are equal in value as well. Furthermore, the segment as a result of the union of the respective points is equal to the segment . The angle formed by the points that in turn shows the equality of the triangles formed by the points BED and AFC. Therefore, the distances represented by the segment AF, which is the distance from the vehicle to the obstacle is equal to the segment .
If C is the point where the fictitious target is located, one can determine that the robot will maintain a constant distance from the obstacle. If the obstacle has a sudden change in the shape, we can see that the fictitious target will change its location to maintain a fixed distance from the obstacle and readjust robot heading (Figure 7).
In that order, the robot needs to rotate degrees to maintain the distance do, for both scenarios: the flat and convex surfaces. The proposed control rule, like the one described in the previous chapter, is designed to calculate the linear and angular speed necessary to move the robot away from the collision course around the obstacle :
The sign of the angle and the constant maximum angular velocity are provided by the control rule described in the previous chapter.
3. Simulation Results and Discussion
3.1. Formation Building Algorithm
Numerical simulation results are presented for the control law and consensus
Figure 7. Sudden change in shape .
variables algorithm under analysis (3) and (9). MATLAB® a well-known programming environment and numerical analysis tool was used to simulate and interpret the Formation Building Algorithm presented in . The number of robots n is adjustable and can be changed to a large-scale system. For simplicity, the number of agents in the simulation is kept as five. The configuration parameters and maximum and minimum control inputs and were defined along with the time span t, control variable c and, communication range rc (Table 1).
The formation configuration vector C was defined for both shapes as: (Table 2).
Table 1. Control Input constraints and configuration settings.
Table 2. Configuration vector.
Figure 8. Line formation.
Figure 9. Delta formation.
According to , the distributed Control Law satisfies that . The heading of all robots is zero, which means that all the ground vehicles are moving in the same direction parallel to the x-axis, maintaining the same speed and the shape of the formation defined by the configuration vector (Figure 10).
In Lemma 3.1 , following the assumption that there exists time intervals which are bounded and non-empty where the union of each vertex in the coordinate plane is connected through a set of lines or edges that forms an undirected graph, and that the initial condition of the heading of the vehicle is bounded to for robot i, we can say that eventually the limit of the sum of the pose of each robot and its respective consensus variable when the discrete time k tends to infinite is a constant value Xo and Yo for the X and Y coordinates, respectively, as shown in Figure 11 and Figure 12 (Table 3).
3.2. Obstacle Avoidance
Now, for obstacle avoidance, we assume that the robot is equipped with a set of range sensors. Those sensors help the robot to determine the distance from a fixed round obstacle placed at with a radius ro. According to the obstacle avoidance algorithm the robot maintains a desired angle, which comes from the relation between the heading of the vehicle and the projected line of the sensor range, given that the robot should maintain a desired distance from the obstacle. We implemented a set of equations for the intersection points between the obstacle surface and the radial detection range of the sensor (Figure 15).
Figure 10. Limit of theta when time tends to infinity.
Figure 11. .
Table 3. Limit of and .
Table 4. Limit of and .
Figure 12. .
Figure 13. .
The first of the equations finds the range of the radial sensor about the robots’ instant position :
The surface of the obstacle is defined by:
By solving these two Equations (13) and (14), we find the intersection points, where , and are the robot and obstacle coordinates, respectively. Moreover, by expanding and subtracting them we get:
Figure 14. .
Figure 15. Robot sensor range and obstacle representation.
Solving 15 for Y we get:
Substituting Equation (16) in Equation (15), we get the equation for the intersection point in X only:
with the use of the function “roots” implemented in MATLAB® the polynomial Equation (17) can be solved. The solution indicates whether the sensor detects an obstacle or not. If the solution is real it means there is a detection, while it does not if it is conjugated. The value obtained should be always positive ahead in front of the robot to tell them that a control input needs to be applied to avoid the obstacle maintaining a fixed distance do from it. The robot rotates counterclockwise if its position is below the obstacle, and clockwise if the robot is located above the obstacle (Figure 16).
We can see that for both the response of the Distributed Control Law together with Formation Building Algorithm and the obstacle avoidance technique is considerably rapid and adjusts the parameters in a few seconds. The results let us claim that the system is globally stable with random initial conditions around the configuration vector C. In addition, it is said that the limit of the difference in the position between robots, when the time tends to infinite is equal to the difference in the values contained in the formation configuration vector C. For illustrative purposes we present the plot for robot 1 and 2 (Figure 17 and Figure 18) (Table 5):
Table 5. Limit of and .
Figure 16. Obstacle avoidance simulation output.
Figure 17. .
Figure 18. .
To conclude, we proved through simulation that the Formation Building Algorithm (3), and Control Law (9) is Globally stable for any initial conditions around a configuration vector C.
The document presents the simulation for two different configurations a line and arrow-head formation. The Formation Building Algorithm applies a Distributed Control Law, where there exists a fictitious target, always located ahead far from the robot position.
The fictitious target position depends on the value of the constant variable c. If c has a small value, the system reaches faster the target position resembling a pure pursuit control technique. The Distributed Control Law applies constraints to both the angular and linear velocity, and unlike other algorithms, the one under review does not have any visible leaders in the formation.
We found and aligned with the journal paper, that all the robots reach an agreement in their position, heading and speed based on local information from other robots under the graph analysis. Also, that the control rule satisfies all theorems and assumptions.
On the other hand, the simulation of the obstacle avoidance algorithm, showed us that the robot maintains a desired distance to the obstacle while applying the required control inputs in order to change its orientation with the use of advance geometric analysis.
The group of robots start at a random initial position, apply the Consensus Algorithm to build the spatial formation, those that detect the obstacle change their path to avoid collision and once they have passed the obstacle, all robots form again the shape, always parallel to the x-axis. The robots are assumed to be equipped with linear range sensors that detect an obstacle at certain distance rs. Further mathematical proof of the algorithms can be found in the core paper under analysis.
 Savkin, A.V., Wang, C., Barazandeh, A., Xi, Z. and Nguyen, H.T. (2016) Distributed Formation Building Algorithms for Groups of Wheeled Mobile Robots. Robotics and Autonomous Systems, 75, 463-474.
 Müller, M.A., Schürmann, B. and Allgower, F. (2012) Robust Cooperative Control of Dynamically Decoupled Systems via Distributed MPC. IFAC Proceedings Volumes, 45, 412-417.
 Bode, N.W., Wood, A.J. and Franks, D.W. (2010) Social Networks and Models for Collective Motion in Animals. Behavioral Ecology and Sociobiology, 65, 117-130.
 Mach, R. and Schweitzer, F. (2003) Multi-Agent Model of Biological Swarming. European Conference on Artificial Life, Dortmund, 14-17 September 2003, 810-820.
 Flierl, G., Grünbaum, D., Levins, S. and Olson, D. (1999) From Individuals to Aggregations: The Interplay between Behavior and Physics. Journal of Theoretical Biology, 196, 397-454.
 Jeremic, A. and Nehorai, A. (1998) Design of Chemical Sensor Arrays for Monitoring Disposal Sites on the Ocean Floor. IEEE Journal of Oceanic Engineering, 23, 334-343.
 Cassinis, R., Bianco, G., Cavagnini, A. and Ransenigo, P. (1999) Strategies for Navigation of Robot Swarms to Be Used in Landmines Detection. 1999 Third European Workshop on Advanced Mobile Robots, Zurich, 6-8 September 1999, 211-218.
 Vicsek, T., Czirók, A., Ben-Jacob, E., Cohen, I. and Shochet, O. (1995) Novel Type of Phase Transition in a System of Self-Driven Particles. Physical Review Letters, 75, 1226-1229.
 Jadbabaie, A., Lin, J. and Morse, A. (2003) Correction to Coordination of Groups of Mobile Autonomous Agents Using Nearest Neighbor Rules. IEEE Transactions on Automatic Control, 48, 1675-1675.
 Ogren, P., Egerstedt, M. and Hu, X. (n.d.) A Control Lyapunov Function Approach to Multi-Agent Coordination. Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, 4-7 December 2001, 847-851.
 Manchester, I.R. and Savkin, A.V. (2006) Circular-Navigation-Guidance Law for Precision Missile/Target Engagements. Journal of Guidance, Control, and Dynamics, 29, 314-320.
 Desai, J., Ostrowski, J. and Kumar, V. (2001) Modeling and Control of Formations of Nonholonomic Mobile Robots. IEEE Transactions on Robotics and Automation, 17, 905-908.
 Yang, J. and Kim, J. (1999) Sliding Mode Control for Trajectory Tracking of Nonholonomic Wheeled Mobile Robots. IEEE Transactions on Robotics and Automation, 15, 578-587.
 Savkin, A.V. and Wang, C. (2014) Seeking a Path through the Crowd: Robot Navigation in Unknown Dynamic Environments with Moving Obstacles Based on an Integrated Environment Representation. Robotics and Autonomous Systems, 62, 1568-1580.