Journal of Advanced Transportation
Volume 2018 (2018), Article ID 5278565, 14 pages
https://doi.org/10.1155/2018/5278565

Research Article

Leader-Follower Based Locally Rigid Formation Control

Krishna Raghuwaiya, Bibhya Sharma, and Jito Vanualailai

School of Computing, Information & Mathematical Sciences, The University of the South Pacific, Suva, Fiji

Correspondence should be addressed to Bibhya Sharma; bibhya.sharma@usp.ac.fj

Received 4 August 2017; Accepted 5 December 2017; Published 25 February 2018

Academic Editor: Fernando García

Copyright © 2018 Krishna Raghuwaiya 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.

This paper addresses motion control of a cooperative intelligent transport system (C-ITS) of nonholonomic mobile robots navigating a dynamic environment while maintaining a locally rigid formation. We consider the design of acceleration-based control inputs that govern the motion of cooperative intelligent transport system (C-ITS) using the artificial potential fields method for the avoidance of obstacles and attraction to designated targets. The control scheme utilizes a new leader-follower strategy using Cartesian coordinates to accomplish a collision-free locally rigid formation of an autonomous and intelligent transportation system. The concepts of virtual parking bays and minimum distance technique (MDT) are utilized to attain prescribed orientations of the formation at the final destination. The robustness of the control scheme is established by considering the effect noise on the formation, while the effectiveness of the proposed nonlinear control laws is demonstrated through computer simulations.

1. Introduction

Connected and autonomous vehicles play a huge role in the transportation industry worldwide and will govern the industry in the coming years. The connectedness is governed through vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communication, which is facilitated using wireless and cellular technologies at current times. Such key communications of the cooperative intelligent transport system (C-ITS) allow respective shareholders to utilize information and coordinate task transfers in a cooperative manner. The networked V2V and V2I interactions deliver substantial social benefits in terms of safer, traffic-efficient, cooperative autonomous driving and energy-efficient transportation systems on our roads and highways [1, 2].

Cooperative tasks are more efficiently performed with desired robustness using multiple robots, which may not be possible with single robots. The benefits become apparent when considering distributed tasks, dangerous or hazardous tasks, and tasks that contain redundancies and when providing flexibility to task execution and robustness of systems [3–8]. In addition, there is the added advantage that working with multiple robots is less expensive than with just one specialized robot. To date there have been various applications of the control of C-ITS, for example, collaborative mapping and planning, search and rescue operations, flocking and schooling, transportation of large objects, undersea and space exploration, target seeking, competitive games, service robots, and military reconnaissance and surveillance [4, 8–13]. The ability of C-ITS to autonomously navigate in stable configurations while avoiding obstacles and collisions is also central to real-world applications [8, 14]. In many applications, the execution of the task requires formation control [3], and the accomplishment of the overall operation depends on each mobile robot operating in a prescribed manner. Typical examples include carrying a heavy load on roads and highways, hunting, and enclosing on an enemy to name a few.

The concept of formation control of mechanical systems, an integrated branch of motion planning and control of C-ITS, is receiving unprecedented attention from researchers all over the world for real-world applications [14]. The basic idea of formation control algorithms is to ensure that a group of mobile robots move effectively as a whole to jointly perform certain task(s). Examples of formation control tasks include delegation of feasible formations, establishing formations, maintaining and mobilizing different formation shapes, and switching between formations [15]. There are numerous approaches in literature in relation to the observance of a prescribed formation of a flock during motion [14]; however, split/rejoin maneuvers and rigid formations are the prevalent approaches. The split/rejoin maneuvers are frequently cited in flocks of birds, swarms of insects and ants, and herds of animals. The applications of split/rejoin maneuvers in the field of robotics include reconnaissance, sampling, and surveillance. In contrast, rigid formations (globally rigid or locally rigid) are required in many engineering applications, for example, parallel and simultaneous transportation of vehicles or delivery of payloads [12, 14, 16]. Alterations or distortions in formation must be detected early by a system and allow for reconfiguration for continued operation [7] in a locally rigid formation.

In recent literature, a variety of control strategies have been proposed for formation or cooperative control of mobile robots and have been roughly categorized into virtual structure, behavior-based, and leader-follower schemes. The behavior-based approach normally [3] assigns different possible behaviors (e.g., formation keeping, obstacle avoidance, collision avoidance, and target attraction) to each individual robot. The ultimate action of each robot is determined by evaluating the comparative importance of each behavior. The limitation of the behavior-based approach is that it is difficult to analyze its behavioral performance mathematically and therefore it is difficult to guarantee system stability [17]. The virtual structures [6, 18–20] consider the entire formation as a single virtual rigid body. This networked structure can then be considered similar to a physical body and thus it is easy to maintain the formation of the whole group during maneuvers; that is, the virtual rigid body progresses as a whole in a given course with some given bearing. In the leader-follower approach [14, 17, 21–24], one robot in the multirobot formation, a virtual robot, is assigned the role of the leader to pursue some team objective, while the follower robots follow their designated leader. The follower robots then place themselves relative to the leader and maintain a predefined offset with a desired relative position [17]. In [25], Sharma et al. proposed a leader-follower scheme in a Lyapunov-based decentralized formation control planner for a swarm of 2-link mobile manipulators. The acceleration-based controllers ensured a locally rigid formation for the swarm. Locally rigid formation was achieved by integrating maximum and minimum interrobot distance bounds with desired headings in the control scheme.

In this paper, we adopt the architecture of the Lyapunov-based Control Scheme (LbCS) of [14], an artificial potential field (APF) method to design attractive and repulsive potential field functions to control the formation of C-ITS. An extension to [25], this paper presents a new set of nonlinear time-invariant control laws through an amalgamation of the LbCS and a new leader-follower scheme to maintain and mobilize a locally rigid formation. The limitation of the approach is twofold; firstly it comes with the disadvantages of APFs, in particular the local minima, and secondly the dependence on the lead robot and the poor disturbance rejection properties [26] of the leader-follower scheme. However, the novelty of the new approach lies in its ability to design continuous nonlinear control laws to translate locally rigid formations of nonholonomic systems tagged with dynamic constraints. The LbCS controllers are elegant and very simple to construct compared to the mathematically and computationally intensive ones in literature, and LbCS has an in-built process of converting these constraints into artificial obstacles and incorporating them into the controllers. Finally, the virtual connectivity from the new leader-follower scheme facilitates diverse tasks compared to merely cooperative agents [26].

The advantage of the proposed scheme is that it uses Cartesian coordinate representation to avoid any singular points as encountered when using polar coordinates, even though polar coordinate representation may still be simpler to use. Another advantage of the proposed scheme in this paper is that it has a dual frame methodology, a new leader-follower approach, and the assignment of a single target for the group of vehicles. The overarching framework is a leader-follower scheme for C-ITS to establish, maintain, and translate the whole team in a locally rigid formation around the workplace performing a given task through centralized control laws. Finally, the treatment of several categories of obstacles is also included within the algorithm.

2. Vehicle Model

In this section, we derive a new kinematic model for the leader-follower based formation control of multiple vehicles. We will consider () car-like vehicles in the Euclidean plane. We let represent the leader and for take the role of follower robots. With reference to Figure 1, adopted from [27], and for , represents the Cartesian coordinates and gives the reference point of each vehicle and gives the orientation of the th car with respect to -axis of the -plane. Moreover, gives the th vehicles steering angle with respect to its longitudinal axis. represents the distance between the centers of the front and rear axles of the th robot, and is the length of each axle.

Figure 1: Kinematic model of the car-like mobile robot.

Next, to ensure that each vehicle safely steers past an obstacle, we adopt the nomenclature of [14] and construct circular regions that protect the robot. With reference to Figure 1, given the clearance parameters and , we enclose each vehicle by a protective circular region centered at with radius .

Furthermore, we assume no slippage condition of the rear and front wheels of the mobile robots of when in contact with a rigid surface, that is, the lateral (or tangential) velocities of the wheels of the cars are assumed to be zero. We have no slippage (i.e., ) and pure rolling (i.e., ) of the car-like mobile robot which generate the nonholonomic constraints on the system. These assumptions of no slippage and pure rolling of the car-like mobile robots are essential to generate the nonholonomic constraints on the system. The kinematics of the system which inherently capture these nonholonomic constraints, adopted from [14], are

for , and, without any loss of generality, we assume that . In system (1), and are, respectively, the instantaneous translational and rotational velocities, while and are the instantaneous translational and rotational accelerations of the th robot.

Now, system (1) is a description of the instantaneous velocities and accelerations of . Let the vector refer to the position , orientation, , and the velocities of at time .

Now, let

and . Then system (1) can be written compactly as

where is a matrix of the form

Let refer to the positions, orientations, and the velocities of all the vehicles in the C-ITS.

Let and . Then we have the following initial-value problem for :

where if is a matrix of all zero entries,

Now, assume that the final position of is at the point and final orientation at this point is . Its final instantaneous velocity vector is . Then it is clear that the points

are the components of the equilibrium point of system (5) in which we are interested; that is,

2.1. Leader-Follower Based Formation Scheme

Next we define two reference frames: the body frame which is fixed with the rotating body of the leader, , and a space frame, the inertial frame similar to one proposed in [16].

We assign a Cartesian coordinate system fixed on the leader body, as shown in Figure 2 adopted from [27], based on the concept of an instantaneous corotating frame of reference. Thus, when the leader rotates, we have a rotation of the -axes.

Figure 2: The proposed scheme utilizing a rotation of axes with the body frame fixed at the leader robot.

To define the corotating frame of reference, first an origin is selected on the leader robot at . An axis of rotation is then set up, which is perpendicular to the plane of motion of the leader. Thus, at any selected moment , the chosen rotating frame of reference rotates at an angular rate equal to the rate of rotation of the leader about . Let represent the straight-line distance between the reference point of the leader and the th follower, and represents the angle measured between the straight line joining the reference points of the leader and the th follower and -axis. Thus, given the leader’s position and orientation, as long as , as shown in Figure 2, is fixed, the th follower robot’s position will be unique. We define the shape of the formation of the mobile robots as , where for .

Definition 1. Let , where, for and , the group of mobile robots make a formation, if , :

This gives then the polar coordinate representation of the follower’s position relative to that of the leader. However, such representations using polar coordinates lead to certain singularities in the controllers [16]. To avoid such singular points, we consider the position of the th follower by considering the relative distances of the th follower from the leader along the given and directions. Thus, we have

for , and and are the th follower relative positions with respect to the - coordinate system. If and are known and fixed, the follower’s position will be distinct. Thus, to obtain a desired formation, one needs to know the design parameters and and the desired relative positions along the - directions, such that the control objective would be to achieve and . That is, and , where and , hence maintaining local rigidity of any formation.

Definition 2. We define a locally rigid formation as one which is maintained but allows for slight changes or distortions in the distances and angles between any two vehicles temporarily, while enroute to the target and task completion.

Remark 3 (formation initialization). Prescribed formations can be initialized by assigning appropriately the design parameters and . This will initiate the vehicles from their arbitrary initial positions to move into a desired formation pattern.

2.2. Formation Control Objective

Design acceleration-based control laws which are functions of for , for each vehicle such that the C-ITS in a prescribed formation moves towards a predefined target of the leader in an obstacle cluttered environment. In addition, we also want the C-ITS to ensure obstacle and collision avoidance and maintain a prescribed locally rigid formation.

3. Artificial Potential Field Function

This section formulates collision-free trajectories of the vehicle system under kinodynamic constraints. We want to design the acceleration controllers, and , so that the team of vehicles moves safely towards the target of the leader while maintaining a prescribed locally rigid formation. We will design the attractive potential field functions which establish and translate formation and the repulsive potential field functions which ensure collision and obstacle avoidances.

In the following subsections, we will design these attractive and repulsive potential field functions which are subsequently summed to form the total potentials or artificial potential field of the system.

3.1. Attractive Potential Field Functions

3.1.1. Attraction to Target

A target is assigned to the leader. When the leader moves towards its defined target, the follower vehicles move with the leader, maintaining the formation. We want the leader to start from an initial position, move towards a target, and finally converge at the center of the target.

Definition 4. The stationary target for the leader robot is a circular disk with center and radius .

The leader will move towards its defined target, while the follower vehicles move with their leader maintaining a desired relative position, hence a locally rigid formation. For the attraction of to its target, we consider an attractive potential function:

The above function is a measure of its convergence to the target with the inclusion of the velocity components [14]. For the follower vehicle for to maintain its desired relative position with respect to the leader, , we utilize the following potential function:

for , where and will have unique values as dictated by the shape of the desired formation.

3.1.2. Auxiliary Function

To guarantee the convergence of the vehicles to their designated targets, we design an auxiliary function as

where is the prescribed final orientation of the leader robot, , and

for . The function ensures that the controllers become zero at the leader’s target. The constant is a binary constant denoted in (13) and (14) as the angle-gain parameter for , . An angle-gain parameter will take a value of one only if a final predefined orientation is warranted; else it takes the default value of zero. This auxiliary function is then multiplied to the repulsive potential field functions.

3.2. Repulsive Potential Field Functions

We desire each vehicle to avoid all fixed and moving obstacles intersecting its path. Hence, we construct appropriate obstacle avoidance functions that measure the Euclidean distances between mobile robots and the obstacles on our roads. To obtain the desired avoidance, we generate repulsive potential field around the obstacles by designing a repulsive potential field function for each obstacle in accordance with LbCS. The repulsive potential fields function is an inverse function that encodes an avoidance function to the denominator and a control parameter in the numerator [14].

3.2.1. Fixed Obstacles

Let us fix solid obstacles on the roads, such as potholes, distance marker posts, or road hazard delineators. We assume that the th obstacle is a circular disk with center and radius . For the th vehicle to avoid the th obstacle, we consider an avoidance function:

where and .

Consider, for example, the presence of three obstacles (i.e., ) within the workspace, with and . The total potentials, where is a control or tuning parameter, which govern the motion of the leader are

Figure 3 presents a three-dimensional view of the total potentials and Figure 4 presents the corresponding contour plot produced by (16).

Figure 3: A three-dimensional view of the total potentials.

Figure 4: The contour plot of the total potential.

The total potentials are generated for target attraction and avoidance of three stationary disk-shaped obstacles. For better visualization, the target of the leader is located at , and the disks are fixed at , , and , with radii of , while , for . Also, the velocity and angular components of the lead vehicle have been treated as constants (, , and ).

3.3. Boulevard Limitations

Definition 5. Consider a section of the road defined, for some , for , as

The boundaries of the road section, illustrated in Figure 5, are defined as follows:

(a)Lower boundary: (b)Upper boundary:

Figure 5: A schematic representation of the road with obstacles.

We require the prescribed formation to stay within the boundaries of the road at all time . In our LbCS, these boundaries are considered as fixed obstacles. For the th robot to avoid these, we define the following potential functions for the upper and lower boundaries, respectively:

Now, since , each of the functions is positive in , for . As discussed before, these obstacle avoidance functions will be combined with appropriate tuning parameters to generate repulsive potential field functions for the boundaries of the workspace.

3.4. Final Orientation of Formation

Although the final position is reachable, it is virtually impossible to simultaneously harvest exact orientations via continuous feedback controllers of nonholonomic systems [14], a direct result of Brockett’s theorem [28]. We utilize the concepts of ghost wall and minimum distance technique (MDT) from [14] to force final orientations of the vehicles. This is needed to confine the vehicles to within the lane markings and later for parking a vehicle into a parking bay. To begin, we construct ghost walls along the three sides of the final positions of the vehicles, treated as a parking bay, with the orientation depending on the desired final orientation of the vehicles. To avoid the ghost walls of each vehicle’s parking bay, we utilize MDT, which gives the perpendicular distance between the closest point on each kth ghost wall and . The avoidance of these closet points on a given ghost wall at any time essentially results in the avoidance of the entire wall by a vehicle.

Now let us consider the th ghost wall in the -plane from the point to the point . We assume that the point is closest to it at the tangent line which passes through the point. From geometry, it is known that if is the point of intersection of this tangent, then

where

If , then we let ; if , then we let ; otherwise we accept the value of between and , in which case there is a perpendicular line to the point on the ghost wall from the center of the th vehicle at every time .

The leader will be avoiding the st, nd, and rd ghost walls, while the th follower will be avoiding the , , and ghost walls for . Now, for the th vehicle to avoid the closest point of each of the th line segments, we consider an avoidance function

for and .

3.5. Moving Obstacles

To generate feasible trajectories, we consider moving obstacles in the workspace, in which the C-ITS has prior knowledge. Here, each vehicle has to be treated as a moving obstacle for all other vehicles on the road. The vehicles will have to travel towards their targets while avoiding another vehicle in their path. For the vehicle to avoid the vehicle , via vehicle-to-vehicle (V-V) communication, we adopt an avoidance function:

3.5.1. Dynamic Constraints

Practically, the steering angle of the th autonomous vehicle is limited due to mechanical singularities, while the translational speed is restricted due to safety reasons [14]. Subsequently, we have the following;

(i), where is the maximal achievable speed of the th vehicle.(ii), where . This condition arises due to the boundedness of the steering angle . That is, , where is the maximal steering angle.

Remark 6. For simplicity, the values of and will be kept the same for each vehicle.

As per the LbCS, for each dynamic constraint, we design a corresponding artificial obstacle. For example, we consider the artificial obstacle for the constraint tagged to . We can create similar artificial obstacles for the other limitations as well. Hence, we consider the following avoidance functions:

4. Design of the Acceleration-Based Controllers

4.1. Lyapunov Function

We now construct the total potentials, that is, a Lyapunov function for system (1). First, for , we introduce the following control parameters that we will use in the repulsive potential functions:

(i), , for the collision avoidance of disk-shaped obstacles.(ii), , for the avoidance of the artificial obstacles from dynamic constraints.(iii), , , for the collision avoidance between any two vehicles.(iv), , for the avoidance of the lane boundaries.(v), , for the avoidance of the parking bays.

The above parameters are determined via heuristics, but there is also an opportunity to obtain optimal values through optimization techniques. Using these, we now construct the following Lyapunov function for system (1) with two components, namely, the attractive and repulsive potential field functions:

4.2. Nonlinear Acceleration Controllers

The process of designing the feedback controllers begins by noting that the functions to for , , and are defined as in the Appendix (on suppressing ).

Remark 7. The choice of total potential given in (24) with its terms specified in (11)–(16), (18a), (18b), and (21)–(23) has the following properties:

(i)It attains a minimum value when the robots are at their desired locations.(ii)It goes to infinity whenever one or more robots come in contact with an obstacle.

Remark 8. With the interrobot bounds (see (12) and (22)) in place, it is guaranteed that the robots reestablish the predetermined formation if the robot positions are slightly distorted with the encounter of obstacle(s) soon after the avoidance and before reaching the target.

So, we design the following theorem.

Theorem 9. Consider car-like mobile robots in the C-ITS, whose motion is governed by the ODEs described in system (1). The principal goal is to establish and control a prescribed formation, facilitate maneuvers of the vehicles within a constrained environment, and reach the target configuration while maintaining a desired formation. The subtasks include restrictions placed on the workspace, convergence to predefined targets, and consideration of kinodynamic constraints. Utilizing the attractive and repulsive potential field functions, the following continuous time-invariant acceleration control laws can be generated in accordance with the LbCS of system (1):

for , where and are constants commonly known as convergence parameters.

5. Stability Analysis

We utilize Lyapunov’s direct method to provide a mathematical proof of stability of system (1).

Theorem 10. Let be the position of the target of the leader and let , for , be the prescribed final orientations of the robots. Let and satisfy

for any given and , for . If as defined in (8) is an equilibrium point for (1), then is a stable equilibrium point of system (1).

Proof. One can easily verify the following, for :

(1) is defined as continuous and positive over the domain .(2); .(3).(4), .(5).

Hence, is classified as a Lyapunov function for system (1) and is a stable equilibrium point in the sense of Lyapunov.

6. Simulation Results

In this section, we illustrate the effectiveness of the proposed continuous controllers by simulating a number of virtual scenarios for the C-ITS on our roads.

6.1. Scenario 1: Line Formation in the Presence of Obstacles

We consider the motion of two automated vehicles in a line formation in the presence of obstacles. The follower vehicle is prescribed a position relative to the leader as seen in Figure 6. While the leader moves towards its target, the follower maintains a desired distance and orientation relative to the leader, therefore maintaining a locally rigid formation throughout the journey.

Figure 6: The evolution of C-ITS trajectories and the contour plot in the presence of obstacles in Scenario 1.

Assuming that the appropriate units have been accounted for, Table 1 provides the corresponding initial and final configurations of the two vehicles and other parameters required to simulate Scenario 1.

Table 1: Numerical values of initial and final states, constraints, and parameters for Scenario 1.

Initial configuration

Rectangular positions
and

Velocities
and , for

Angular positions
, for

Parking bays
and

and

and

and

Constraints and parameters

Dimensions of robots
and for

Leader’s target
;

Final orientations

Max. translational velocity

Max. steering angle

Clearance parameters
and

Fixed obstacles
, , and

and for

Control and convergence parameters

Collision avoidance
, for ,

, for ,

, for ,

, , and

for

Dynamics constraints
, for

Convergence
, , , and

Figure 6 also depicts the contour plot of the potential fields of the system enroute to the final destination. Figures 7 and 8 show the orientations and velocities of and , respectively. Figure 9 depicts the time evolution of the nonlinear controllers of the leader , and Figure 10 compares the relative distance to the desired relative distance . It is evident that the formation is slightly distorted when the pair of cooperative cars encounter an obstacle; however, the desired formation is reestablished before the pair reach the final destination.

Figure 7: Orientations of and for Scenario 1.

Figure 8: Translational and rotational velocities for Scenario 1.

Figure 9: Accelerations and of for Scenario 1.

Figure 10: The relative distance of the follower to the leader vehicle compared to the desired relative distance in Scenario 1.

6.2. Scenario 2: Effect of Noise on Line Formation

To evaluate the robustness of the proposed scheme, we look at the effect of noise on the formation of the C-ITS. It is sufficient to include the noise parameters in the components and which define the follower vehicles’ relative position to the leader vehicle, with respect to the coordinate system, similar to the one proposed in [29]. Thus we have

The terms and are the small disturbances, where is the noise level, while and are randomized time-dependent variables such that and . Figure 11 shows the trajectories and the control signals under the influence of small disturbances, . It is observed that the pair of cooperative cars maintain the line formation throughout their road journey even under the influence of the noise terms. There are slight distortions in their formation when the pair of cooperative vehicles encounter obstacles but these distortions are temporary. Also, the disturbances in the controllers at units are a result of the parking bays. The two cars align themselves to achieve the desired orientations inside the parking bays. The final orientations are forced as a result of the repulsive potentials created by the walls of the parking bays.

(a) Trajectories for

(b) Control signals, and , for

(c) Trajectories for

(d) Control signals, and , for

(e) Trajectories for

(f) Control signals, and , for

Figure 11: Trajectories of and and the evolution of control signals under various influences of noise.

6.3. Scenario 3: Diamond Formation

In this scenario, we have considered the leader vehicle at the center of a Diamond Formation with the followers positioned at each vertex (see Figure 12). The figure shows the formation maneuvered from an initial state to a predefined final state, with collision and obstacle avoidance.

Figure 12: The evolution of the 5-robot C-ITS and the contour plot in the presence of obstacles in Scenario 3.

Figure 12 also depicts the contour plot of the potential fields and the corresponding collision-free path over the defined workspace, , containing the obstacles on the road. Figures 13 and 14 depict the time evolution of the nonlinear controllers of the leader and its follower vehicles. Assuming that the appropriate units have been accounted for, Table 2 (if different from Table 1) provides the corresponding initial and final configurations of the 5-car C-ITS and other parameters required to simulate Scenario 3. The coordinates of the parking bays can be obtained from Figure 12.

Table 2: Numerical values of initial and final states, constraints, and parameters for Scenario 3.

Initial configuration

Rectangular positions
, ,

, and

,

, and

Velocity and angular position
, , and for

Constraints and parameters

Leader’s target
;

Final orientations
for

Control and convergence parameters

Obstacle avoidance
, for ,

, for ,

, for , ,

Collision avoidance
, for ,

Dynamics constraints
, for ,

Convergence
20,500,  10,500,  , and for

Figure 13: Translational accelerations, for Scenario 3.

Figure 14: Rotational accelerations, for Scenario 3.

Clearly the translational and rotational accelerations of the vehicles decrease as the formation approaches a fixed obstacle and increase once it is able to evade it. Moreover, Figures 15 and 16 compare the relative distance to the desired relative distance and compares to the desired relative distance , respectively. It is evident from the behavior shown in the figures that the formation gets slightly distorted when the C-ITS encounters an obstacle; however, the desired formation is reestablished before the leader reaches its designated target, thus ensuring a locally rigid formation along the trajectory of the C-ITS.

Figure 15: Relative distance error, to for Scenario 3.

Figure 16: Relative distance error, to for Scenario 3.

7. Conclusion

This paper presents a set of nonlinear control laws using the LbCS to achieve a novel technique of extracting a locally rigid formation of a C-ITS made up of multiple car-like autonomous robots. A leader-following strategy is proposed to operate within the control scheme for the maintenance of the locally rigid formation for a C-ITS which navigates in a constrained environment. This leader-follower scheme uses a Cartesian coordinate system fixed on the leader’s body based on the concept of an instantaneous corotating frame of reference to uniquely assign a position to each follower. The advantage of such an approach is the complete avoidance of singularities inherent to the polar coordinate representations.

The new time-invariant acceleration-based controllers produce feasible trajectories and ensured a nice convergence of the system to its equilibrium state while satisfying the necessary kinematic and dynamic constraints. The scheme enables the vehicles to follow a predetermined leader while maintaining a locally rigid formation. The robustness of the proposed scheme is established by considering the effect of noise on the formation, while stability of the system is guaranteed using the direct method of Lyapunov. The assumptions of no slippage and pure rolling of the car-like mobile robots are also considered to generate the nonholonomic constraints on the given system. Further, the LbCS utilizes the minimum distance technique and parking bays to guarantee desired parking maneuvers and establish feasible prescribed posture of each vehicle in its designated parking bay.

This paper is a theoretical exposition into the applicability of an amalgamation of the new artificial potential field method, LbCS, and the leader-follower scheme. We restrict ourselves to showing the effectiveness of the control laws using computer-based simulations of interesting scenarios and numerical proofs. We shall be undertaking experiential design of the above system to see its effectiveness in the future. Future research will also address irregular shaped multimodal obstacles in partially known or completely known environments with the adaptive usage of sensing zones and relevant parameters. The optimization process of parameters within the LbCS still remains an open problem that warrants a careful thought.

Appendix

and, for ,

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

A. Festag, “Cooperative intelligent transport systems standards in Europe,” IEEE Communications Magazine, vol. 52, no. 12, pp. 166–172, 2014.

E. Ben Hamida, H. Noura, and W. Znaidi, “Security of cooperative intelligent transport systems: Standards, threats analysis and cryptographic countermeasures,” Electronics, vol. 4, no. 3, pp. 380–423, 2015.

T. Balch and M. Hybinette, “Social potentials for scalable multi-robot formations,” Proceedings-IEEE International Conference on Robotics and Automation, vol. 1, pp. 73–80, 2000.

C. De La Cruz and R. Carelli, “Dynamic model based formation control and obstacle avoidance of multi-robot systems,” Robotica, vol. 26, no. 3, pp. 345–356, 2008.

F. Arrichiello, Coordination Control of Multiple Mobile Robots [Ph.D. thesis], Universita Degli Studi Di Cassino, Cassino, Italy, November 2006.

T. H. A. Van Den Broek, N. Van De Wouw, and H. Nijmeijer, “Formation control of unicycle mobile robots: a virtual structure approach,” in Proceedings of the 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference, CDC/CCC 2009, pp. 8328–8333, Shanghai, China, December 2009.

H. Yamaguchi, “A distributed motion coordination strategy for multiple nonholonomic mobile robots in cooperative hunting operations,” Robotics and Autonomous Systems, vol. 43, no. 4, pp. 257–282, 2003.

Y. H. Esin and M. Unel, “Formation control if nonholonomic mobile robots using implicit polynomials and elliptic fourier descriptors,” Turkish Journal of Electrical Engineering & Computer Sciences, vol. 18, no. 5, pp. 765–80, 2010.

R. Fierro, A. K. Das, V. Kumar, and J. P. Ostrowski, “Hybrid control of formations of robots,” in Proceedings of the IEEE Conference Robotics and Automation, vol. 1, pp. 374–379, Seoul, Korea, May 2001.

W. L. Seng, J. C. Barca, and Y. A. Şekercioğlu, “Distributed formation control of networked mobile robots in environments with obstacles,” Robotica, vol. 12, pp. 1–13, 2014.

F. Fahimi, “Full formation control for autonomous helicopter groups,” Robotica, vol. 26, no. 2, pp. 143–156, 2008.

R. Olfati-Saber, “Flocking for multi-agent dynamic systems: algorithms and theory,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 51, no. 3, pp. 401–420, 2006.

R. Falconi, L. Sabattini, C. Secchi, C. Fantuzzi, and C. Melchiorri, “Edge-weighted consensus-based formation control strategy with collision avoidance,” Robotica, vol. 33, no. 2, pp. 332–347, 2015.

B. Sharma, New Directions in the Applications of the Lyapunov-based Control Scheme to the Findpath Problem [Ph.D. thesis], University of the South Pacific, Suva, Fiji Islands, July 2008.

E. Yang, D. Gu, and H. Hu, “Nonsingular formation control of cooperative mobile robots via feedback linearization,” in Proceedings of the IEEE IRS/RSJ International Conference on Intelligent Robots and Systems (IROS '05), pp. 3652–3657, August 2005.

W. Kang, N. Xi, J. Tan, and Y. Wang, “Formation control of multiple autonomous robots:theory and experimentation,” Intelligent Automation & Soft Computing, vol. 10, no. 2, pp. 1–17, 2004.

A. Bazoula, M. S. Djouadi, and H. Maaref, “Formation control of multi-robots via fuzzy logic technique,” International Journal of Computers, Communications & Control, vol. 3, pp. 179–184, 2008.

N. H. M. Li and H. H. T. Liu, “Formation UAV flight control using virtual structure and motion synchronization,” in Proceedings of the 2008 American Control Conference (ACC '08), pp. 1782–1787, Washington, Wash, USA, June 2008.

W. Ren and R. W. Beard, “Virtual structure based spacecraft formation control with formation feedback,” in Proceedings of the AIAA Guidance, Navigation, and Control Conference and Exhibit, California, Calif, USA, August 2002.

M. Egerstedt and X. Hu, “Formation constrained multi-agent control,” in Proceedings of the 2001 IEEE International Conference on Robotics and Automation (ICRA '01), pp. 3961–3966, Seoul, Republic of Korea, May 2001.

N. Sorensen and W. Ren, “A unified formation control scheme with a single or multiple leaders,” in Proceedings of the 2007 American Control Conference (ACC '07), pp. 5412–5418, New York, NY, USA, July 2007.

L. Consolini, F. Morbidi, D. Prattichizzo, and M. Tosques, “Leader-follower formation control of nonholonomic mobile robots with input constraints,” Automatica, vol. 44, no. 5, pp. 1343–1349, 2008.

W. J. Dong, Y. Guo, and J. A. Farrell, “Formation control of nonholonomic mobile robots,” in Proceedings of the 2006 American Control Conference, pp. 5902–5607, Minneapolis, MN, USA, June 2006.

K. Raghuwaiya and S. Singh, “Formation types of multiple steerable 1-trailer mobile robots via split/rejoin maneuvers,” New Zealand Journal of Mathematics, vol. 43, pp. 7–21, 2013.

B. Sharma, J. Vanualailai, and A. Prasad, “Formation control of a swarm of mobile manipulators,” Rocky Mountain Journal of Mathematics, vol. 41, no. 3, pp. 909–940, 2011.

B. Sharma, J. Vanualailai, and A. Prasad, “A dϕ strategy: facilitating dual-formation control of a virtually connected team,” Journal of Advanced Transportation, vol. 2017, Article ID 9213805, 17 pages, 2017.

K. Raghuwaiya, B. Sharma, and J. Vanualailai, Advanced Computer and Communication Engineering Technology: Lecture Notes in Electrical Engineering, Cooperative Control of Multi Robot Systems with a low-degree formation, Springer, 2015.

R. W. Brockett, Differential Geometric Control Theory, Asymptotic Stability and Feedback Stabilisation, Springer, 1983.

A. Prasad, B. Sharma, and J. Vanualailai, “A new stabilizing solution for motion planning and control of multiple robots,” Robotica, vol. 34, no. 5, pp. 1071–1089, 2016.