Path-Guided Finite-Time Formation Control of Nonholonomic Mobile Robots Based on an Extended State Observer

: In this paper, we study the ﬁnite-time formation control problem of uncertain nonholonomic mobile robots following a parameterized path. A path-guided formation control scheme based on an extended state observer is proposed. To compensate for unmeasured velocities and disturbances simultaneously, a third-order fast ﬁnite-time extended state observer (FFTESO) is proposed. Then, a distributed formation control solution is developed to achieve the kinematic and dynamic system coordination control of the nonholonomic mobile robots. For the kinematic system control, a path-parameter-updating law is developed for a virtual leader, and the desired linear velocity and heading angle are developed for the mobile robots. For the kinetic control, an anti-disturbance control protocol is designed based on the estimated signals. The salient features of the proposed algorithms lie in that the estimations of disturbances and unmeasured velocities are achieved against the system’s nonholonomic constraints, and the path following the control and cooperative control is synthesized together for path-guided formation, which reduces the complexity of the controller design. Finally, simulation studies are conducted to demonstrate the effectiveness of the proposed algorithm.


Introduction
The formation control of multiple mobile robots has recently become a hot research issue with the development of the technology on multi-agent systems and its applications on robots [1][2][3]. The objective of formation control is to develop control algorithms for a group of robots such that a predefined formation shape can be achieved to perform some tasks cooperatively. Multi-robot formation control has wide applications in military and civil areas, such as cooperation transportation [4], search and rescue [5], surveillance [6], etc., due to its advantages in communication and collaboration.
The main purpose of the path-guided multi-robot formation is to make the mobile robots keep the desired formation and move along a parameterized path (called the geometric task). For example, the virtual structure approach was used to achieve the desired formation by considering the formation as a rigid body, and the model predictive control was employed to optimize the velocity of the virtual robot [7]. Besides the studies on geometric tasks, many research studies have focused on specifying the desired speed for the path parameter (called the dynamic task). Its advantage is that the path parameter can be treated as an additional degree of freedom. In [8], the path-following time-varying formation control problem was studied for a group of mobile robots with a unicycle-type kinematic model by designing a path-parameter-updating law. However, the control law is centralized. Then, an improved law for the distributed virtual-structure-based path-following formation control was developed in [9], where both the path following of individual robots and the desired formation pattern were achieved. In [10], based on the virtual structure approach, a multi-robot formation control method was studied in which multiple mobile robots moved along a parameterized path with obstacles. In [11], a path-following control and formation maintenance problem was solved for multiple mobile robots that were subjected to a prescribed performance level by using the backstepping technique and tan-type barrier Lyapunov functions. In [12], the path-following and formation control of multiple mobile robots were achieved by using a virtual structure algorithm and designing a proper path-parameter-updating law. It should be noted that the methods proposed in [10][11][12] only focused on the formation control at the kinematic level, but the dynamic control was not considered. In [13], the path-following control problem of multiple uncertain mobile robots with performance constraints was studied, and the proposed strategy was extended to the formation control of multiple unicycle-type robots. The above-mentioned control algorithms in [7][8][9][10][11][12][13] dealt with the path-guided formation control problem of multi-robot systems by assigning a desired path for each mobile robot and transforming the formation control problem into a multi-path-following problem without considering the coordination of the mobile robots. In practical engineering, the multi-path-guided formation may cause a heavy computational burden due to the constantly updating of path parameters once the formation pattern changes, thus leading to the instability of the system.
It should be noted that the dynamic control methods of the multiple mobile robot formation in the aforementioned works [8,9,13] are constrained to an accurate dynamic model and do not consider the effect of external disturbances on the stability of the system. To improve the robustness of the formation control by considering the effect of model uncertainties and external disturbances, a great number of methods have been proposed. In [14], an integral sliding mode controller was proposed to deal with external disturbances and achieve the formation control of multiple mobile robots. In [15], a terminal sliding mode control law was proposed to deal with model uncertainties at the dynamic level and external disturbances. In [16], a Q-learning-based adaptive sliding mode controller was proposed for the formation control of multiple mobile robots. However, the chattering of the sliding mode control in [15][16][17] causes serious wear to the mobile robots. A radial basis function neural network was used to approximate the model uncertainties of multiple mobile robots in [18,19]. A fixed-time disturbance observer was proposed in [20] to estimate external disturbances, and a leader-follower formation controller was developed for multirobot systems. The active disturbance rejection control (ADRC) is a widely used method to compensate for unknown disturbances, which was introduced for the robust control of the dynamic systems in [21] and nonlinear systems in [22]. Considering the ADRC of mobile robotics, a survey summarized the mainstream control strategies and pointed out the advantages of the ADRC on the robust control of mobile robots [23]. The above works show the advantages of the ADRC in the robust control of mobile robots. As the core of the ADRC, the extended state observer is used to estimate the total disturbances of the system. In [24][25][26][27][28][29][30][31][32], an extended state observer was applied only based on the dynamics of mobile robots. However, if the velocity is unmeasurable, the proposed extended state observer is unavailable because of having the characteristic of nonholonomic constraints. Moreover, the application of the extended state observer to the path-guided formation control of multiple mobile robots is meaningful but rarely studied.
Motivated by the aforementioned discussions, in this paper, we investigate the outputfeedback-based path-guided finite-time formation control of nonholonomic mobile robots. Firstly, a fast finite-time ESO (FFTESO) is proposed to estimate the unmeasured velocities and disturbances. Then, a formation control scheme including the kinematic and dynamic control laws is proposed. For the kinematic control law, a path-parameter-updating law is developed for a virtual leader, and the desired linear velocity and heading angle are designed for the mobile robots. For the dynamic control law, an anti-disturbance control protocol is designed based on the estimated signals. The main contributions of this work are as follows: (1) A fast finite-time extended state observer is developed to estimate the unmeasured velocities and disturbances, thus overcoming nonholonomic constraints while improving the observation accuracy and speed; (2) A finite-time formation control scheme is proposed for the kinematic and dynamic control of multiple mobile robots. The proposed path-guided formation controller integrates the path-following control and formation control to relax the assumption of a globally known parameterized path, which is needed in [10][11][12][13]; (3) A single-path-updating law is developed to drive the formation to follow the parameterized path with the assigned speed. Compared with the multi-path-updating law in [7][8][9][10][11][12][13], the proposed single-path-updating law reduces computing and communication resources.
The rest of this article is organized as follows: The preliminaries are introduced in Section 2. In Section 3, the finite-time extended state observer, the double closed-loop kinematic controller, and the output-feedback-based dynamic controller are developed. In Section 4, the stability analysis of the closed-loop system is presented. In Section 5, simulation studies are conducted to demonstrate the effectiveness of the proposed algorithm. Finally, Section 5 concludes this paper.

Graph Theory
Consider a system consisting of N mobile robots (labeled as n 1 , n 2 , . . . , n N ) and one virtual leader (labeled as n 0 ). The communication topology of the multi-robot system is described by a directed graph G = (V, E ) with a set of mobile robots V = {n 0 , n 1 , . . . , n N } and a set of edges E ⊆ V × V. The edge (i, j) ∈ E means node i can obtain information from node j, and node j is a neighbor of node i. The set of neighbors of node i is denoted by N i = {j ∈ V | (i, j) ∈ E }. A directed path from node i 1 to node i s is a sequence of ordered directed edges consisting of {(i 1 , i 2 ), (i 1 , i 2 ), . . . , (i s−1 , i s )}. For the N following mobile robots, the subgraph G is used to describe the communication topology among the robots labeled as n 1 , n 2 , . . . , n N . The adjacency matrix of the graph G is denoted as A(G) = a ij , where a ij = 1 if a ij ∈ E and a ij = 0, if otherwise. The Laplacian matrix L = l ij is defined as l ii = N ∑ j=1,j =i a ij and l ij = −a ij , i = j, i, j = 1, 2, . . . , N. In this paper, suppose that the virtual leader has none of the following robots' information, i.e., a 0i = 0, i = 1, 2, . . . , N, and at least one of the following robots can access the information of the virtual leader. Let L ∈ R N×N be the Laplacian matrix of subgraph G, B ∈ R N×N = diag{a 10 , a 20 , . . . , a N0 } and H = L + B. The following assumption is needed: There exists a directed spanning tree with the virtual leader as the root in graph G.

Problem Formulation
As shown in Figure 1, O − X E Y E is the global coordinate frame, and C − X B Y B is the body-fixed coordinate frame. The mobile robots with two actuated wheels are controlled to keep the desired formation pattern and follow a desired path by exchanging information with their neighbor robots. According to [25], the dynamics of the ith (i ∈ {1, . . . , N}) mobile robot can be described as (2) where = , T is the position of the th mobile robot in the global coordinate frame, is the heading angle, and are the linear and angular velocities defined in the body-fixed coordinate frame, and are the inertia parameters, and are the unknown Coriolis and damping terms, and are the external disturbances, and are the control torques, is the radius of the wheel, and 2 is the width of the th robot. In the formation control problem, the mobile robots are guided by a virtual leader moving along the parameterized path = , . Here, the scalar variable is the time-dependent parameter of the parameterized path . It is used to plan the desired path of the virtual leader. The mobile robots labeled as , … , move to follow the desired relative position and orientation. The following assumption is needed for the parameterized path: Assumption 2. The parameterized path and its derivative / are bounded.
The control objective of this work is to develop an observer-based formation maneuvering protocol for mobile robots such that the following statements hold: (1) The mobile robots keep the desired formation described by In the formation control problem, the mobile robots are guided by a virtual leader moving along the parameterized path p r (ϕ) = [x r (ϕ), y r (ϕ)] T . Here, the scalar variable ϕ is the time-dependent parameter of the parameterized path p r (ϕ). It is used to plan the desired path of the virtual leader. The mobile robots labeled as n 1 , . . . , n N move to follow the desired relative position and orientation. The following assumption is needed for the parameterized path: Assumption 2. The parameterized path p r (ϕ) and its derivative ∂p r (ϕ)/∂ϕ are bounded.
The control objective of this work is to develop an observer-based formation maneuvering protocol for mobile robots such that the following statements hold: (1) The mobile robots keep the desired formation described by where 1 is a positive constant, and p ijd ∈ R 2 is the desired geometry position between the ith robot and the jth robot. (2) The path parameter converges to a commanded speed v s as follows: .
where v s is the assigned speed of the path parameter, and 2 is a positive constant.
The following lemma is introduced to achieve the above objectives: Lemma 1 [33]. Consider a general system .
x(t) = f (x(t)) with f (0) = 0, where f : U 1 → R is the differential in an open neighborhood of the origin. Suppose there are positive constants c 1 > 0, c 2 > 0, η 1 ∈ (0, 1) and η 2 , a differential Lyapunov function V(x) with the initial value V(x 0 ) such that Figure 2 depicts the formation control scheme consisting of kinematic control and dynamic control. At the kinematic control level, the desired linear velocity v id , heading angle θ id , and the path-parameter-updating law ω s are obtained such that control objectives (3) and (4) can be achieved. At the dynamic level, an anti-disturbance controller based on the estimated velocities and disturbances is developed to make

Main Results
(2) The path parameter converges to a commanded speed as follows: where is the assigned speed of the path parameter, and is a positive constant.
The following lemma is introduced to achieve the above objectives: [33] Consider a general system = with 0 = 0, where : → is the differential in an open neighborhood of the origin. Suppose there are positive constants > 0, > 0, ∈ 0,1 and , a differential Lyapunov function with the initial value such that − (or − − ); then, the trajectory of the system is finite-time convergent, where the convergence time is Figure 2 depicts the formation control scheme consisting of kinematic control and dynamic control. At the kinematic control level, the desired linear velocity id v , heading angle id θ , and the path-parameter-updating law s ω are obtained such that control objectives (3) and (4) can be achieved. At the dynamic level, an anti-disturbance controller based on the estimated velocities and disturbances is developed to make i

Observer Design
In this section, the design of an FFTESO is discussed to estimate the unmeasured linear velocity, angular velocity, and total disturbances containing external disturbances and uncertainties.
Dynamics (2) of the mobile robots can be rewritten as and Figure 2. Control scheme.

Observer Design
In this section, the design of an FFTESO is discussed to estimate the unmeasured linear velocity, angular velocity, and total disturbances containing external disturbances and uncertainties.
Dynamics (2) of the mobile robots can be rewritten as and To facilitate the FTESO design, the following assumption is needed: Assumption 3. There exist positive constants σ 1 and σ 2 such that It is reasonable to assume that the derivative of the velocity-related variables σ v i and σ ω i are bounded due to the limited energy of the external disturbances and velocities of practical mechanical systems.
Based on the abovementioned assumption, a finite-time observer is developed to estimate the unmeasured angular velocities and disturbances. (1) The following FFTESO is developed to estimate the unmeasured angular velocity ω i and the unknown signal σ ω i based on the measured output information θ i .
whereθ i ,ω i , andσ ω i are the estimates of θ i , ω i , and σ ω i ; the parameters b i1 , b i2 , b i3 > 0 are the control gains to be designed, and α is a positive constant satisfying 1 2 < α < 1. Using (6) and (7), the estimation error system is given as follows: i are the estimation errors. Then, the stability analysis of the estimation error system (8) is presented in the following theorem: Theorem 1. Considering the estimation error system (8) and Assumption 3, the estimation errors are finite-time uniformly ultimately bounded as stable if the observer gains Proof. Choose the Lyapunov function candidate as follows: where and P i is a positive definite matrix.
Taking the time derivative ε i , one has where where λ is the eigenvalue of the above characteristic equation. The Hurwitz matrix of the Based on the Routh-Hurwitz criterion, if the observer gains are selected to satisfy Considering θ i ≤ ε i 1 α and Assumption 3, we have where According to Lemma 1, the error vector ε i converges to the following stable region in a finite time: where ι 1 ∈ (0, µ 1 ) and ι 2 ∈ (0, µ 2 ). The convergence time is which completes the proof. 1.
The FFTESO for the estimation of unmeasured linear velocity is given as follows for v i and the unknown signal σ v i : where q i = x i cos(θ i ) + y i sin(θ i );q i ,v i andσ v i are the estimates of q i , v i and σ v i , respectively. The parameters γ i1 , γ i2 , γ i3 > 0 are the gains to be designed, and α is a positive constant satisfying 1 2 < α < 1. The estimation error system is given as follows: i are the estimation errors. The stability analysis of the estimation error system (16) is presented in the following theorem: Theorem 2. Considering the estimation error system (16) and Assumption 3, the estimation errors are finite-time uniformly ultimately bounded as stable if the observer gains γ i1 , γ i2 , γ i3 and satisfies Proof. After time T 1 , the estimated angular velocityω i converges to ω i , and the error system (16) becomes which has the same form as the system in (8).
The following Lyapunov candidate function is chosen: where According to Lemma 1, the error vector ζ i converges to the following stable region: where ι 1 ∈ (0, l 1 ) and ι 2 ∈ (0, l 2 ). The convergence time is which completes the proof.

Remark 1.
Compared with the finite-time extended state observer proposed in [26], which only contains the term sig α (·), the combination of the term sig α ( θ i ) (or sig α ( q i )) and the linear term θ i (or q i ) in the proposed fast finite-time extended state observers (7) (or (15)) accelerate the convergence speed. This is because when the estimation error satisfies θ i ≥ 1 and q i ≥ 1, θ i and q i play the major role instead of the terms sig α ( θ i ) and sig α ( q i ), which accelerate the convergence speed to the regions θ i < 1 and q i < 1. Once the estimation error converges to the regions θ i < 1 and q i < 1, the terms sig α ( θ i ) and sig α ( q i ) play the major role instead.

Kinematic Controller Design
In this section, the double closed-loop control strategy is applied for the kinematic controller design. In the outer loop of multiple mobile robots, a velocity control law is designed for the formation control. In the inner loop, an attitude control law is designed for the heading angle tracking control.
The distributed formation error is defined as follows: where p ijd = p id − p jd , and e p i is the distributed formation error expressed in the global coordinate frame.
Differentiating e p i yields The desired guidance vector is designed to stabilize error dynamics (23) as follows: where k p i is a positive control gain to be designed, β p i is a positive constant satisfying 0 < β p i < 1, and v id , θ id are the desired linear velocity and heading angle of the mobile robot, respectively.
According to (24), the desired linear velocity v id and the desired heading angle θ id can be designed as follows: To make the derivative of the path parameter converge to a commanded speed, a path-updating law is designed as follows: .
where ρ 1 and ρ 2 are the positive control gains to be designed, and β s is a positive constant satisfying 0 < β s < 1.

FFTESO-Based Dynamic Controller Design
To realize the tracking control of the estimated linear velocityv i to the desired linear velocity v id , the tracking error e v i is defined as follows: Differentiating e v i yields To stabilize the tracking error e v i , the following control law is designed: To realize the tracking control of the heading angleθ i to the desired heading angle θ id obtained in (25), the following angle tracking error is defined: Differentiating e θ i yields where e ω i =ω i − ω id is the tracking error of the angular velocity. In order to stabilize the tracking error e θ i , the following attitude control law is designed: where k θ i ∈ R is the control gain to be designed, and β θ i is a positive constant satisfying 0 < β θ i < 1. where k v i ∈ R is the control gain to be designed, and β v i is a positive constant satisfying To realize the tracking control of the estimated angular velocityω i to the desired angular velocity ω id , the tracking error e ω i is defined in (29). Differentiating e ω i yields To stabilize the tracking error e ω i , the following control law is designed: where k ω i ∈ R is the control gain to be designed, and β ω i is a positive constant satisfying 0 < β ω i < 1.

Remark 2.
It can be observed from that (30), (33), and (35) that the time derivative . θ id , . ω id , and . v id are required in the controller design. In engineering, the noise will be amplified if we take the first derivative of signals θ id , ω id , and v id directly. Therefore, the second-order finite-time tracking differentiator proposed in [34] is employed to obtain the estimation of the first derivative of the signals and suppress noise.
Proof. Choose the Lyapunov function candidate as follows: Taking the time derivative of V 3 yields Denote with the positive real numbers z 1 , . . . , z N > 0 and p > 1, we have where Y e = max 1≤i≤N The errors ξ ie , and ξ je are bounded since the estimation errors are finite-time uniformly ultimately bounded. We assume that δ ie is bounded, which will be proved in the next theorem. Then, there exists a positive constant Y * such that Y e ≤ Y * . One has According to Lemma 1, can be reached in a finite time. The convergence time is Theorem 4. Consider a network of nonholonomic mobile robots with dynamics (1) and (2) with the dynamic control laws (30), (33), and (35). If Assumptions 1-3 are satisfied, subsystem (37) is finite-time stable.
Proof. Choose the Lyapunov function candidate as follows: Taking the time derivative of V 4 yields .
with the positive real numbers z 1 , . . . , z N > 0 and p > 1, we have The convergence time is According to Lemma 1, subsystem (37) is finite-time stable, implying that lim Hence, the tracking error δ ie is bounded. In Theorems 1-4, the stability of the observer subsystem, the kinematic subsystem, and the dynamic subsystem is analyzed. Through the following theorem, the stability of the closed-loop cascade system is synthesized: Consider a network of nonholonomic mobile robots with dynamics (1) and (2) with FFTESOs (7) and (15), the kinematic control laws (25), (26), the path-updating law (27), and the dynamic control laws (30), (33), and (35). If Assumptions 1-3 are satisfied, the distributed formation control can be achieved, and the errors in the closed-loop systems (36) and (37) are finite-time uniformly ultimately bounded stable.
Proof. According to Theorems 3 and 4, the system cascaded by subsystems (36) and (37) is finite-time uniformly ultimately bounded stable. From Theorems 3, the error vector satisfies E 1 ≤ Y * κ 1 , which means that there exist positive constants 1 and 2 such that (3) and (4) are satisfied, which completes the proof.

Remark 3.
A single-path-guided formation control scheme is proposed in this article, which makes multiple mobile robots keep the desired formation while tracking the parameterized path with a specified speed. Compared with the results in [7][8][9][10][11][12][13], where each mobile robot was assigned a desired parameterized path, the single-path-guided formation control scheme proposed in this article saves communication and computing resources.

Simulation Results
In this section, the results of the conducted simulation studies are presented to demonstrate the effectiveness of the proposed formation control protocols. MATLAB R2014a/Simulink software was used for simulation purposes, and the ode45 (Dormand-Prince) solver was used for the differential calculations with a relative tolerance value of 0.001. The considered system consisted of four mobile robots and a virtual leader moving along a parameterized path. Only one robot was assumed to have the ability to access the information of the desired path. The information exchange among the mobile robots was directed, and the communication topology between the mobile robots is shown in Figure 3. dynamic control laws (30), (33), and (35). If Assumptions 1-3 are satisfied, the distributed formation control can be achieved, and the errors in the closed-loop systems (36) and (37) are finitetime uniformly ultimately bounded stable.
Proof. According to Theorems 3 and 4, the system cascaded by subsystems (36) and (37) is finite-time uniformly ultimately bounded stable. From Theorems 3, the error vector sat- , which means that there exist positive constants and such that (3) and (4) are satisfied, which completes the proof. □

Remark 3.
A single-path-guided formation control scheme is proposed in this article, which makes multiple mobile robots keep the desired formation while tracking the parameterized path with a specified speed. Compared with the results in [7][8][9][10][11][12][13], where each mobile robot was assigned a desired parameterized path, the single-path-guided formation control scheme proposed in this article saves communication and computing resources.

Simulation Results
In this section, the results of the conducted simulation studies are presented to demonstrate the effectiveness of the proposed formation control protocols. MATLAB R2014a/Simulink software was used for simulation purposes, and the ode45 (Dormand-Prince) solver was used for the differential calculations with a relative tolerance value of 0.001. The considered system consisted of four mobile robots and a virtual leader moving along a parameterized path. Only one robot was assumed to have the ability to access the information of the desired path. The information exchange among the mobile robots was directed, and the communication topology between the mobile robots is shown in Figure  3. The parameters of the mobile robots used in the simulations are the same as those in [35] and presented in Table 1. The initial conditions of the mobile robots were chosen as  The parameters of the mobile robots used in the simulations are the same as those in [35] and presented in Table 1  The comparisons between the different observers are shown in Figure 4. For clarity, we only show the comparison results of one mobile robot. The other mobile robots resulted in the same conclusions, because the applied observers were distributed. By employing the proposed FFTESO (7) and (15), the estimation errors of the unmeasured velocities v i and ω i and the disturbance signals σ v i and σ ω i are shown in Figure 4. To demonstrate the superiority of the proposed FFTESO, the comparisons with the linear extended state observer (LESO) proposed in [29] and the finite-time extended state observer (FTESO) proposed in [26] were made. The observer gains and initial conditions of the linear extended state observer in [29] and the finite-time extended state observer in [26] are the same as those in this article. It can be observed from Figure 4 that the settling time and estimation error of the proposed FFTESO is less than those under the methods proposed in [29] and [26].   [26], and LESO proposed in [29].   [26], and LESO proposed in [29]. Based on the proposed FFTESO, the output-feedback-based formation control protocols were employed to achieve the maneuvering of the path-guided formation. Simulation results are shown in Figures 5-7. Figure 5a shows that the mobile robots were guided to follow the path with the commanded speed and reached the desired geometry shape under the proposed control protocol, where the asterisk indicates the initial positions of the mobile robots, and the triangle indicates the positions of the mobile robots at t = 5 s and t = 15 s, respectively. Figure 5b shows the evolution of the path parameter. It can be observed that the path-parameter-updating speed converged to a small neighborhood of the commanded speed. Figure 6 displays the curves of the mobile robots' states. It can be observed from Figure 6 that the formation position consensus errors of the four mobile robots, as well as the mobile robots' heading angle, linear velocity, and angular velocity, reached convergence in a finite time. Figure 7 shows the control inputs of the four mobile robots. It is observed that the proposed control protocol drove the multiple mobile robots to keep the desired formation and follow the desired path with the assigned speed. Thus, we can conclude that the proposed control protocol is effective and efficient. served from Figure 6 that the formation position consensus errors of the four mobile robots, as well as the mobile robots' heading angle, linear velocity, and angular velocity, reached convergence in a finite time. Figure 7 shows the control inputs of the four mobile robots. It is observed that the proposed control protocol drove the multiple mobile robots to keep the desired formation and follow the desired path with the assigned speed. Thus, we can conclude that the proposed control protocol is effective and efficient.

Conclusions
In this paper, we investigated the output-feedback-based finite-time path-guided formation control of nonholonomic mobile robots. A finite-time extended state observer was designed to estimate the velocities and disturbances. Then, the formation control scheme consisting of kinematic control and dynamic control was proposed. For the kinematic control, a path-parameter-updating law was developed for a virtual leader, and the desired linear velocity and heading angle were developed for the mobile robots. For the dynamic control algorithm, an anti-disturbance control protocol was developed based on the estimated velocities and disturbances. The stability analysis of the closed-loop system was given, and simulation studies were conducted to demonstrate the effectiveness of the proposed control protocols.

Conclusions
In this paper, we investigated the output-feedback-based finite-time path-guided formation control of nonholonomic mobile robots. A finite-time extended state observer was designed to estimate the velocities and disturbances. Then, the formation control scheme consisting of kinematic control and dynamic control was proposed. For the kinematic control, a path-parameter-updating law was developed for a virtual leader, and the desired linear velocity and heading angle were developed for the mobile robots. For the dynamic control algorithm, an anti-disturbance control protocol was developed based on the estimated velocities and disturbances. The stability analysis of the closed-loop system was given, and simulation studies were conducted to demonstrate the effectiveness of the proposed control protocols.

Conclusions
In this paper, we investigated the output-feedback-based finite-time path-guided formation control of nonholonomic mobile robots. A finite-time extended state observer was designed to estimate the velocities and disturbances. Then, the formation control scheme consisting of kinematic control and dynamic control was proposed. For the kinematic control, a path-parameter-updating law was developed for a virtual leader, and the desired linear velocity and heading angle were developed for the mobile robots. For the dynamic control algorithm, an anti-disturbance control protocol was developed based on the estimated velocities and disturbances. The stability analysis of the closed-loop system was given, and simulation studies were conducted to demonstrate the effectiveness of the proposed control protocols.

Conflicts of Interest:
The authors declare no conflict of interest.