Abstract

This article investigates the decentralized formation tracking problem for complex multiagent systems in finite settling time, subjected to output constraints and external disturbances. The barrier Lyapunov function is used to constrain the output of each agent. Therefore, starting inside a closed boundary, the agents are guaranteed to remain inside it for all future time. Under directed communication topology, decentralized time-varying formation tracking is achieved in finite time. Furthermore, in the proposed work, the linear sliding manifold is employed to mitigate the singularity problem that occurs in the conventional robust finite-time methods, i.e., terminal sliding mode-based control schemes. The stability properties of the proposed framework are established through the Lyapunov method which not only ensures the finite-time formation tracking of nonlinear multiagent systems under directed communication but also guarantees that for all time the agents remain inside a closed boundary if they are initially inside it. Consequently, the uniqueness of this article is that it presents a novel formation tracking control framework for multiagent systems that simultaneously considers three performance metrics of robustness, finite-time convergence, and output constraints while mitigating the singularity problem. The proposed topology is validated by implementing the numerical examples in MATLAB/SIMULINK.

1. Introduction

Multiagent systems have gained popularity as a result of their ability to perform distributed sensing and actuating operations. In comparison with a single agent, they are more flexible, cost-effective, reliable, and robust while operating in an uncertain environment and are capable of handling complex tasks. Owing to these benefits, they are being adopted in a variety of applications, such as rescue and retrieval operations, intelligence, surveillance, and reconnaissance (ISR) missions, precision agriculture, space and planetary exploration, cooperative transportation, communication networking. [1, 2]. Typically, in these applications, the agent can be a robotic manipulator, an unmanned aerial vehicle, an underwater vehicle, a ground vehicle, etc.

In order to accomplish the aforementioned tasks, a cooperative controller is required such that the multiagent system attains the anticipated group behavior based on individual dynamic models and the information sharing among these agents [3]. In literature, several linear, nonlinear, fuzzy, and observer-based techniques are employed to design cooperative controllers such as [410]. Cooperative control can either be centralized or decentralized [11]. The centralized approach entails the control of all agents by a central station; consequently, each agent shall perpetually have knowledge of the central station’s states and inputs. The most fatal weakness of the centralized approach is its reliance on a central station, resulting in poor robustness, high computational requirements, and susceptibility to disruptions. In order to address these problems, the decentralized approach was introduced in which the central station is not present to manage the multiagent system [12]. A controller is assigned to each agent in accordance with its local interaction in order to execute a global group mission [13].

Recently, decentralized cooperative control has attracted much interest due to its stronger robustness, easy maintenance, and high flexibility [14]. The recent significant decentralized works include consensus control [1520], formation control [2123], consensus tracking control [24], formation tracking control [1, 2527], containment control [2830], and flocking [31]. In consensus control, agents share local information to establish an agreement on a common state (i.e., consensus point) in a decentralized manner. In formation control, each agent keeps a predetermined spatial gap from the other [3]. The particular spatial pattern is named the desired formation that can be time-varying or time-invariant, as discussed in [27]. Furthermore, formation tracking control deals with tracking a reference while maintaining multiagent formation [26]. The formation tracking control problem in multiagent systems is examined in this article.

In the formation tracking problem, convergence time is of significant importance in complex scenarios where there are constraints on the time available for accomplishing a particular task. For example, in some industrial applications, the operations are constrained by the production schedule; in ISR missions that often take place in hostile or challenging environments, such as battlefields or disaster zones, the task execution time becomes crucial for the success of the mission. One of the viable solutions in such circumstances is to design a controller that ensures finite-time stability, as discussed in [25, 3236]. In finite-time control schemes, systems’ states converge to a fixed value or a limit set within a finite time interval. Consequently, finite-time stability offers high control precision and improved disturbance rejection attributes [37]. The existing finite time control approaches employ the terminal sliding mode that suffers from singularity. This paper employs a linear sliding manifold to establish finite time formation tracking control, and as a result, the singularity problem is mitigated.

In practice, the complexity of control design arises when the multiagent systems are subjected to particular constraints. Typical examples include the current through a branch of the synchronous circuit, keeping a self-driving car platoon inside the road boundary, or the flights of an unmanned aerial system may be restricted by speed, angle of attack, or position limits. Moreover, it is common practice to deploy multiagent systems in a confined space, where it is necessary to impose constraints on the agents’ states [38]. To handle this complexity, these constraints are fulfilled by introducing the barrier Lyapunov functions (BLFs) in nonlinear controllers [39]. In another article, the distributed consensus of the multiagent system under position constraints is studied using BLF in conjunction with adaptive backstepping [40]. In another research, the consensus problem was addressed under input saturation constraints [41]. BLF-based constrained nonlinear control along with a disturbance observer is presented for surface ships [9]. In another study, an output synchronization problem with prescribed constraints is incorporated for nonlinear strict-feedback multiagent systems by utilizing a high-gain observer and adaptive controller [8]. In another study, BLF is used in conjunction with sliding mode control (SMC) for finite-time tracking of a single quadrotor under output constraints [42]. The linear sliding manifold is used in this work to achieve a finite settling time of states. A similar approach is used in References [4347] for finite and fixed settling time control of single agents under constraints. It is essential to note that recent work also includes fixed-time or predefined-time controllers derived from finite-time controllers [4850]. However, these approaches do not constitute the consideration of constraints. In general, existing research focuses on either finite-time cooperative control or the performance of cooperative control under constraints. However, singularity-free finite-time cooperative control of multiagent systems with output constraints and the effect of external disturbances is still an open problem. In this paper, we present the singularity-free formation tracking of multiagents in finite settling time under output constraints.

From the preceding discussion, it is evident that in the literature, robustness, settling time, and output constraints are the primary performance matrices that are considered when dealing with multiagent systems’ control. Comparing the existing robust cooperative control methods, it is to be noted that the majority of the research is carried out without considering the finite convergence time or output constraints, as in references [1519, 2124, 27]. Only works of references [25, 26, 3236, 51] investigated the coordinated control with convergence time consideration. References [8, 38, 40, 41] present the cooperative control under output constraints but only establish asymptotic convergence. A brief comparison of existing cooperative control methods is presented in Table 1. It demonstrates that none of the available techniques provide robust formation tracking in finite time while maintaining output constraints, i.e., the literature lacks to present a controller that considers three performance matrices of robustness, finite time, and output constraints, simultaneously. In this research, we investigate the formation tracking problem for nonlinear multiagent systems with output constraints under disturbances in finite settling time.

The subsequent points outline the main contributions of this paper:(1)A decentralized formation tracking control topology is introduced for nonlinear multiagent systems that is robust against the matched disturbances.(2)Using the proposed control, the output of all the agents is guaranteed to stay within the user-specified constraints under the directed communication graph.(3)Singularity-free convergence of outputs within a finite time interval is guaranteed, and the upper bound on the settling time is predetermined.

In a nutshell, this article presents a new formation tracking control framework for multiagent systems that simultaneously considers the three performance metrics of robustness, finite-time convergence, and output constraints while mitigating the singularity problem. To the best of the authors' knowledge, such a cooperative controller that considers these performance matrices simultaneously has not been reported in the literature.

This article is organized as follows: Section 2 presents the essential definitions and lemmas to be used in this work. The problem statements with considered assumptions are described in Section 3, whereas Section 4 presents the proposed finite settling time formation tracking control scheme. In Section 5, the MATLAB simulation-based results are discussed. The conclusion of this article is given in Section 6.

2. Preliminaries

In this section, the preliminaries are defined which will be used throughout this article. Moreover, a concise summary of previously published findings is also provided in this section of the paper.

2.1. Graph Theory

In multiagent systems consider that there are agents. The communication graph comprises a pair , where is the node set which denotes the vertex of the graph, and is the edge set that defines the flow of information from the node to node . For an undirected graph, the set must satisfy the condition , . On the other hand, if for any edge, then it is said to be a directed graph. In the case of an undirected graph, the degree of a node is defined as the number of edges that are incident to a node [30]. In graph theory, a communication path is defined to be the sequence of the edges among the nodes. Whenever there exists at least one communication path among all nodes of the graph, the graph is connected. For communication graph analytics, some of the matrices are very significant. In a diagonal matrix , each diagonal element characterizes the degree of the respective node whereas in an adjacency matrix , the nondiagonal elements describe the information flows from the neighboring nodes. The communication graph is entirely defined by a semipositive definite Laplacian matrix which is defined by [52].

2.2. Notations

In the course of this article, the following notations will be used: A dimensional set of real matrices is denoted by ; sets of negative, nonnegative, and positive real numbers are denoted by , , and , respectively; the -dimensional identity matrix is represented by ; the construction of a diagonal matrix is defined by ; and denotes an N-dimensional column matrix with all entries equal to 1. The Kronecker product operator is denoted by and defines the discontinuous scalar function, which is given by

Also, if then and .

Consider an autonomous single agent with a globally asymptotically stable origin defined as follows:where is continuously defined inside the open set defined in the neighborhood of equilibrium and . defines the solution of (2) where denotes the initial condition.

The definitions below are taken from the literature and are provided here for the reader’s convenience.

Definition 1. (finite-time stability) [53, 54]. For the agent (2), the origin is said to achieve global finite-time stability, if after time its solution converges to the origin, i.e., . denotes the settling time function.

Lemma 2 (see [54, 55]). Let be a radially unbounded and positive definite function that is continuously defined on the open neighborhood around the origin, i.e., , and satisfies(i)(ii)Then, the agent (2) is said to be finite-time stable.

Definition 3. (finite settling time stability) [45]: For the agent (2), the origin is said to achieve globally finite settling time stability if the solution satisfies where , is a bound such that , and finite settling time is denoted by .

Remark 4. According to Definition 3, an agent is considered to achieve finite settling time stability if the states of the agent approach the small bound ϵ ≈ 0 after some finite-time T, rather than being exactly 0. This assumption takes the practical aspect into account since in tracking control problems, it is typically acceptable to have a small user-defined error margin ϵ (e.g., order of ). In recent literature, this type of stability is also referred to as practical finite-time stability [56].

3. Problem Formulation

We consider agents in a multiagent system, and each agent has single-input single-output second-order dynamics, as considered in [3]. The multiagent system is defined bywhere defines the state vector; is the disturbance; and are continuously differentiable known functions with ; and the origin of (3) lies inside the open set . Moreover, is position, denotes the velocity, and represent the output and input, and is the associated disturbance of the agent; The position vector is defined as and denote the initial conditions of each agent in the multiagent system.

The main aim of this article is to propose a robust finite settling time decentralized formation tracking control for the multiagent system (3) under output constraints. For this purpose, we define the error variables as and for reference trajectory and . We further define , , . Then,where the vectors and are defined by , , respectively. Consider the vector sliding surface defined bywhere is a positive definite matrix, , and denotes the desired formation. Furthermore, we define few variables that will be employed to construct the main results of this article, such as, , , , and . It is pertinent to mention here that to avoid singularities in the nominal control and disturbance compensator, all diagonal entries of must be different from zero. The block diagram to explain the notations and signal flow of the proposed cooperative controller is given in Figure 1.

Assumption 5. defines a strongly connected, directed graph.

Assumption 6. The control direction, i.e., is always known.

Assumption 7. For , we assume the bound on a smooth reference , and formation ; remain bounded. The error bound is defined by and initially, all agents satisfy the symmetric constraint . The pictorial illustration is given in Figure 2.

Assumption 8. The uniform upper bound on the matched perturbation is known, i.e.,

Remark 9. This paper deals with consensus-based formation tracking. Therefore, virtually, the consensus point of multiagent is assumed to track the reference .

3.1. Problem Statement

Under directed communication, propose a decentralized formation tracking control for a multiagent system (3) to(i)Achieve the desired formation within finite settling time(ii)Constraint the output of all agents, i.e., and

Provide the predetermined upper bound on the settling time, depending upon the initial conditions of the agents.

4. Finite-Time Formation Tracking Control

In this section, the main contribution of this article is presented. The finite-time formation tracking control is presented in Theorem 10. Figure 3 presents the overview of the proposed formation tracking controller. The settling time function is derived in Corollary 11.

Theorem 10. Under Assumptions 58 the multiagent system (3) is guaranteed to achieve the desired decentralized formation tracking within a finite settling time using the following control protocol:where nominal control and disturbance compensator are, respectively, given bywhere denotes the sliding surfaces defined in (5) and . Moreover, the outputs of all agents will satisfy the constraint .

Proof. Consider a Lyapunov functionThe derivative of the Lyapunov function results inSolving for Plugging and from (4)and hence,Plugging the control law [7],Note that the second term in (14) is scalar and therefore . Moreover, the Assumption 8 results in and hence,Since, (Rens’ inequality [57]), therefore,Using inequality, , Defining , , thenTherefore, by virtue of Lemma 2, the sliding mode is attained in finite time. Since the error is bounded by an upper bound and exponential convergence of states is guaranteed after attaining sliding mode, therefore, it is straightforward to determine the maximum settling time that states require after attaining sliding mode. This results in finite settling time stability. Moreover, by the construction of the Lyapunov function, it is evident that , which eventually leads to based on Assumption 7. The mathematical expressions for finite settling time are provided in Corollary 11.

Corollary 11. The settling time function of the closed-loop multiagent system using control law (6) is upper bounded bywhere denotes the value of Lyapunov function at time and is dependent on the initial conditions of agents, Laplacian matrix, and initial value of the reference. denotes the error margin as explained in Definition 3.

Proof. Simplify the inequality (19) to solve the reaching time of states. By straightforward evaluation of ordinary differential inequality , we get , where denotes the initial values of the Lyapunov function. By virtue of Definition 1 and Lemma 2, , which implies that . Simplifying these expressions result in . Once the states of each agent reach the respective sliding manifold, i.e., , it is guaranteed by the construction of the sliding surface that the output converges exponentially to the origin, i.e., , where denotes the value of when is achieved. Subsequently, implies that the maximum settling time to establish becomes . Therefore, satisfies Corollary 11.

Remark 12. It is noticeable that the settling time function , of Corollary 11, can be predetermined, depending upon the initial conditions, communication graph, disturbance bound, and the control parameters. The settling time function of Corollary 11 exhibits relatively more overestimation of the settling time, and it can be improved by knowing the exact knowledge of states at the time of attaining the sliding mode.

Remark 13. Table 2 elaborates on the selection criteria as well as the essence of all the formation tracking controller parameters:

Remark 14. Excitation in the unmodeled closed loop dynamics, known as chattering, is caused by the high-frequency switching that occurs during the sliding phase (using the signum function). Actuators in the system can experience wear and tear due to chattering. While it is impossible to completely eliminate the chattering, the techniques outlined in [58] can help reduce it to a manageable level. The interesting fact about these methods is that the controller is initially designed using the signum function, and then its approximations are used to diminish chattering. In this article, however, the chattering suppression is not taken into account, and the focus is kept on the design of a decentralized finite settling time formation tracking controller with output constrained in the presence of disturbances.

Remark 15. By systematic extension of Theorem 10 and Corollary 11, the validation of the results of this paper can be employed to the square MIMO multiagent system; with each agent having order dynamics which are characterized by block diagonals, each block having a relative degree 2.

5. Simulations and Results

In order to validate the theoretical developments, two numerical examples are presented here. Four frictionless carts (agents) under external force and disturbances are considered, as illustrated in Figure 4. Assuming , the dynamics can be written as follows:

The directed communication graph is given in Figure 5. The resulting Laplacian matrix is as follows:

In Example 1, a formation controller is devised for multiagent cart dynamics while the solution is extended to time-varying formation tracking control in Example 2.

5.1. Example 1 (Formation of Cart-Multiagent Dynamics)

While moving on a single axis under the effect of external force, the cart dynamics are in the form of double integrator dynamics (i.e., in (3), ). First, the simulations are carried out for formation control only (Example-2 is presented for evaluation of performance for the formation tracking control), and the initial positions of four carts are considered as and speeds as , respectively.

The desired formation is while reference is set to . Moreover, for simulations, the disturbance is assumed to be . The controller parameters are set to . From (18), the settling time function yields a maximum time of 14.11 s. The resulting plots are given in Figures 6 and 7; it is evident from these results that the settling time of the multiagent is 1.6 s, therefore, the upper bound evaluated using the settling time function is over-estimated. The plot in Figure 6 shows the position and speed state of each cart starting from different initial conditions. The position of each cart attains the desired formation and then sustains it for all future time. Furthermore, the position state satisfies the output constraints for all time. Figure 7 displays the control input for all agents. The chattering is observed with the presented controller but is of a very small amplitude, and it is inevitable when working with sliding mode control as discussed in Remark 14.

5.2. Example 2 (Time-Varying Formation Tracking Control)

In this section, the time-varying formation tracking control is presented for cart-multiagent dynamics of Example-1. Here, the desired formation is time-dependent and given as while reference is set to The perturbation is assumed to be . The controller parameters are set to . From (18), the upper bound on settling time shall be 14.30 s. The results (see Figures 8 and 9) show that there is no degradation in the performance of the proposed control for varying formations. The constraint on the output is also satisfied for all time.

The time-varying reference formation is kept similar with just bias involved in the provided simulations for clear visualization; nonetheless, the controller performs equivalently well for alternative formations as well. Moreover, the reference is exactly in the center of the solid-magenta and the dashed-black agent and the multiagent system attains the formation around that reference according to desired . Figure 9 represents the control effort for the proposed time varying formation controller. From the position plot of Figure 8, it is to be noted that the cart multiagent system is not only tracking the low-frequency reference but also has attained the high-frequency time varying formation.

6. Conclusion

A novel control topology with robustness and finite-time formation tracking for complex multiagent systems, subjected to output constraints, is designed in this paper. It is established using BLF that the proposed controller ensures that the output state never leaves that preassigned bound, provided it starts from that bound. As a result, the output bound during reaching phase of SMC is known and consequently, the finite convergence time is achieved using linear sliding surface. Therefore, no singularity occurs in the proposed formation tracking controller unlike in the existing literature. Contrarily, nonlinear sliding surfaces are utilized in existing literature to achieve finite time stability of the agents that causes the singularity in the control input. The simulations are conducted for cart-multiagent dynamics, and the results show that the proposed decentralized controller performs well for the formation tracking of constrained agents in the presence of unwanted disturbances. Thus the strength of this work lies in providing a unique solution to the formation tracking control of multiagent systems that offers output constraints, robustness, and finite time convergence simultaneously without singularity issues. However, the settling time function exhibits relatively more overestimation and is the weakness of this cooperative control framework. The future directions for this study include exploring the nonsymmetric constraints, predefined settling time, and higher-order multiagent systems. Moreover, a parallel study will be carried out to design a finite-time distributed cooperative control under output constraints.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was carried out at UAV Lab, CEME, NUST and financially supported by the National University of Sciences and Technology, Islamabad.