Abstract
Guaranteed-cost formation problem for linear multi-agent systems with switching topologies is investigated. The guaranteed cost formation problem is transformed into a guaranteed cost control problem of an reduced-order switched systems equivalently by a linear transformation. Then, a necessary and sufficient condition for guaranteed cost formation is proposed. Moreover, based on an average dwell time scheme, a sufficient condition for the guaranteed cost formation of linear multi-agent system with switching topologies are presented in terms of linear matrix inequality techniques, and an upper bound of the guaranteed cost function is given. Finally, a numerical example is given to demonstrate the effectiveness of the theoretical results.
This work is supported by Beijing Municipal Science and Technology Project (KM202011417004), Special Research Projects of Beijing Union University (ZK30202002), Beijing Nova Program (Z201100006820101), Science and Technology Program of Beijing Municipal Education Commission (KM201811417001), 2021 “Star” College Students Science and Technology Innovation and Entrepreneurship Project (20211010,20212038).
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
During the past decades, coordinations of multi-agent systems have received more attention due to its wide applications in military and civilian areas. In the multi-agent systems, formation control has already been a hotspot of research, many researchers focused on formation control problems, such as leader-follower [1], virtual structure [2], behavior-based [3], and consensus-based strategy [4], which have been well developed and applied.
However, in many practical cases, the communication topologies of multi-agent systems may be switching due to that the communication channel may fail or new channels may be created during movement. Time-varying formation control problems for multi-agent systems with switching topologies are investigate in [5] by using the common Lyapunov functional approach and algebraic Riccati equation technique. As we know, the dynamic structures of agents and the communication topology of multi-agent systems are key factors for formation. However, switching signals of communication topological are also one of the important factors of formation feasible for multi-agent systems with switching topologies. Average dwell time and dynamic dwell time scheme were presented to investigate the formation problem of linear multi-agent systems with switching communication topologies in [6, 7].
Moreover, in practical applications, each agent of multi-agent systems may have limited energy supply to perform certain tasks, such as sensing, communication, and movement as well as be required to achieve some formation performance. Therefore, it is very important to realize a balance between formation performance and energy consumption, which can usually be modeled as optimal or suboptimal formation problems. To the best of our knowledge, there are few papers addressing guaranteed cost formation problems for multi-agent systems with switching topologies. Guaranteed cost formation control under fixed topology for multi-agent systems were investigated in [8, 9]. Energy-constraint output formation problems for high-order linear multi-agent systems with switching topologies and the random communication silence were investigated in [10]. Guaranteed-cost consensus for multi-agent systems with switching topologies were investigated, where the topology was described by an undirected graph and the dwell time of each topology was assumed to be the same in [11,12,13].
Motivated by this, guaranteed cost formation control problem of high-order continuous-time linear multi-agent systems with switching communication topology is investigated in this paper. Compared with the literature mentioned above, the main contribution of the current paper is that: i) the guaranteed cost formation problem with switching topologies under directed graphs is considered; ii) the average dwell time scheme is introduced into guaranteed cost formation problem with switching topologies.
The rest of the paper is organized as follows. Section 2 shows the problem description based on graph theory. A linear transformation approach is presented in Sects. 3, sufficient condition for guaranteed-cost formation for linear multi-agent systems under switching topologies is proposed, and the upper bound of guaranteed cost are presented. Numerical results are presented in Sect. 5.
Notations: \({\mathbb R}^n\) and \({\mathbb R}^{n\times m}\) are the n-dimension real column vector and the set of \(n\times m\) dimensional real matrices, respectively. Let 0 be zero number, zero vectors, or zero matrices in appropriate dimension, respectively. Let \(\mathbf {1}_N\) denote an N-dimensional column vector with \(\mathbf {1}_N=[1,1,\cdots ,1]^T\). Let \(P^T\) and \(P^{-1}\) denote the transpose and the inverse matrix of P, respectively. \(P^T=P>0\) stands for matrix P is symmetric and positive definite. The notation \(*\) denotes the symmetric terms of a symmetric matrix. \(I_N\) represents the identity matrix of order N, \(\otimes \) is applied to denote the Kronecker product of matrices. \(\lambda (\cdot )\) denotes the eigenvalue of a matrix.
2 Problem Description
Consider a linear multi-agent system (LMAS) consisting of N agents, where each agent takes the following dynamics:
with
where (A, B) is stabilizable. \(x_{i}(t)\in {\mathbb R}^{2n}\) is the state variable of agent i, and \(x_{i}(t)=[s_{i}^T(t),v_{i}^T(t)]^T\), \(s_{i}(t)\in {\mathbb R}^n\) and \(v_{i}(t)\in {\mathbb R}^n\) are the position state and the velocity state of agent i respectively, \(u_i(t)\in {\mathbb R}^m\) is formation control protocol of agent i, which depends on agents \(x_i\) and \(x_j\). Agent j is called a neighbor of agent i if there exists a communication channel from j to i, and \(\mathcal {I}=\{1,\cdots ,N\}\) is the index set of agents.
Let \(N_{i}(t)\) denote the set of the neighbors of the agent i at time t, and \(\mathcal {N}(t)=\{N_i(t), i\in \mathcal {I}\}\) is a communication configuration of the system (1) at time t. \(\mathcal {N}(t)\) can be expressed by a dynamic digraph \(\mathcal {G}=(\mathcal {V}, \mathcal {E}(t),~ W(t))\). Vertex set \(\mathcal {V}=\{1,2,\cdots ,N\}\) represents the group of agents. Time-varying edge set \(\mathcal {E}(t)\subseteq V\times V\) denotes the communication topology \(\mathcal {N}(t)\), i.e., \((j,i)\in \mathcal {E}(t)\Leftrightarrow j\in N_i(t)\), and \(W(t)=[w_{ij}]\in \mathbb {R}^{N\times N}\) is a weighted adjacency matrix.
A formation, which described by a vector \(H=[h_1^T, h_2^T,\) \(\cdots , h_N^T]^T\in \mathbb {R}^{2nN}\), is a geometric pattern, it satisfies some predefined geometric constraints which is required to achieve and maintain for the LMAS (1). H represents the desired formation. In the current paper, the formation vector \(h_i=[h_{is}^T,h_{iv}^T]^T\) is used to express the relative position \(h_{is}\) and the relative velocity \(h_{iv}\) of agent i respectively. It is generally known that the velocity state \(v_i(t)\) are synchronous when multi-agent system (1) achieves the formation H, therefore, there is \(H=[h_1^T,h_2^T,\ldots ,h_N^T]^T\) with \(h_i=[h_{si}^T,0]^T\in {\mathbb R}^{2n}\),\(i=1,\cdots ,N\).
For a desired formation H, a formation protocol is considered as follows:
where \(w_{ij}(t)\) represents the coupling strength with respect to a communication channel from j to i at time t.
Definition 1
Denote \(H=[h_1^T, h_2^T,\cdots , h_N^T]^T\in \mathbb {R}^{2nN}\) be a specified formation. Linear multi-agent system(LMAS) (1) is said to achieve formation H, if there exist vector-valued functions \(\xi (t)\in \mathbb {R}^{2n}\) and a control protocol (2), such that \(\lim _{t\rightarrow \infty }\Vert x_i(t)-h_i\Vert =\xi (t), i\in \mathcal {I}\), and the vector-valued function \(\xi (t)\) is called a formation center function.
Assume the communication topology of system (1) is time-varying. Without loss of generality, assume the communication topology of system (1) switches in a topology set, i.e.\(\mathcal {N}(t)\in \{\mathcal {N}^k,k\in \mathfrak {M}\}\), \(\mathcal {N}^k=\{N_i^k,i=1,\cdots ,N\}\), where \(\mathfrak {M}=\{1,\cdots ,M\}\) is an index set. Thus, the communication topology \(\mathcal {N}(t)\) is piecewise time-invariant as the system evolves. Define a switching signal \(\sigma :[0,+\infty )\rightarrow \mathfrak {M}\), which is a piecewise constant and right-continuous function of time, to describe the switching rules among the communication topologies \(\{\mathcal {N}^k,k\in \mathfrak {M}\}\), i.e.,\(\mathcal {N}(t)=\mathcal {N}^k\Leftrightarrow \sigma (t)=k\). The switching signal specifies the index of the actived topology \(\{\mathcal {N}^k,k\in \mathfrak {M}\}\) at time t.
Assume that the switching is finite in any finite time interval, and there are no jumps in the state at the switching instants. Corresponding to the switching signal \(\sigma (t)\), we have the switching sequence \(\{(t_0, k_0), (t_1, k_1), \cdots , (t_r, k_r), \cdots , |\ k_r \in \mathfrak {M},\ r=0,1, \cdots \}\), which means that the communication topology of system (1) is \(\mathcal {N}^{k_r}\) when \(t\in [t_r, t_{r+1})\).
Consider the following linear quadratic cost function
where Q and R are given symmetric positive matrices.
Definition 2
LMAS (1) is said to achieve guaranteed cost formation H via protocol (2) under the communication topologies \(\{\mathcal {N}^k,k\in \mathfrak {M}\}\) with the switching signal \(\sigma (t)\), if for any initial condition sequence x(0), there is \(\lim _{t\rightarrow \infty }\Vert (x_i(t)-h_i)-(x_j(t)-h_j)\Vert =0, i,j\in \mathcal {I}\), and there exists a \(J_C^*>0\), such that \(J_C\le J_C^*\), \(J_C^*\) is said to be a guaranteed cost.
Definition 3
LMAS (1) with respect to the formation H is said to be guaranteed cost feasible via formation protocol (2) under the communication topologies \(\{\mathcal {N}^k,k\in \mathfrak {M}\}\) with the switching signal \(\sigma (t)\), if there exist control gain matrix K such that multi-agent system (1) achieves guaranteed cost formation H.
Let \(x=[x_{1}^{T}\ldots x_{N}^{T}]^T\in {\mathbb R}^{2nN}\), and the dynamics of the LMAS (1) with formation protocol (2) can be described by a compact form as follows:
where outer-coupling matrix \(L_{\sigma (t)}=[l_{ij}]_{\sigma (t)}\in \mathbb {R}^{N\times N}\) is Laplacian matrix induced by the communication topology \(\mathcal {N}(t) =\{N_i^{\sigma (t)},~ i\in \mathcal {I}\}\), and its entries are defined by
Note that for a given protocol (2), switching signals of communication topological are one of the important factors for formation control problem of LMAS (1) with switching topologies. Based on this, this paper mainly studies the influence of the change of communication topology on guaranteed cost formation control for continuous-time linear multi-agent systems. Based on the actual situation of the communication topology, the following case is analyzed:
Assumption 1
Communication topology \(\mathcal {N}(t)\) switches among set \(\{\mathcal {N}^k,k\in \mathfrak {M}\}\), and there exist a spanning tree for each communication topology in set \(\{\mathcal {N}^k,k\in \mathfrak {M}^-=\{1,2,\cdots ,r\}\}\), \(1\le r<M\) meanwhile there does not exist a spanning tree for each communication topology in set \(\{\mathcal {N}^k,k\in \mathfrak {M}^+\}\), as well as \(\mathfrak {M}=\mathfrak {M}^-\cup \mathfrak {M}^+\).
3 Problem Transformation
In this section, guaranteed cost formation control problem for LMAS (1) with switching topologies are converted into guaranteed cost control problem of a corresponding auxiliary switched systems.
Transform system (4) by the following linear transformation [7]:
where
The inverse matrix of S can be worked out as follows:
By the linear transformation (5), system (4) is transformed into the following system:
Let \(\bar{x}=[y^T \ z^T]^T\), where \(y=[\bar{x}_1^T \ldots \bar{x}_{N-1}^T ]^T\), unfold system (6) by \(\bar{x}=[y^T \ z^T]^T\):
where
System (6) is equivalent to the following system:
Let \(\bar{A}=I_{N-1}\otimes A\), \(\bar{B}_{\sigma (t)}=-(\tilde{S}_0 L_{\sigma (t)} \hat{S}_0)\otimes B,\) \(\bar{K}=I_{N-1}\otimes K\).
According to the structure of A and H, it derived that \((\tilde{S}_0 \otimes A)H=0\). Hence, the above equation can be expressed by
Obviously, there is no relationship between y(t) and z(t) in the first equation in system (7). Therefore, the following Lemma is obtained which transforms the formation problem with switching topologies into a asymptotic stability problem of reduced-order switched systems equivalently.
Lemma 1
LMAS (1) achieves formation H via protocol (2) under the communication topologies \(\{\mathcal {N}^k,k\in \mathfrak {M}\}\) with the switching signal \(\sigma (t)\) for any bounded initial states x(0) if and only if switched systems
is asymptotically stable.
Cost function \(J_C\) in (3) can be rewritten as follows:
According Lemma 1 and Definition 2, the following theorem can be obtained:
Theorem 1
LMAS (1) achieves guaranteed cost formation H via protocol (2) under the communication topologies \(\{\mathcal {N}^k,k\in \mathfrak {M}\}\) with the switching signal \(\sigma (t)\) for any bounded initial states x(0), if and only if switched systems (8) is asymptotically stable and there exists a \(J_C^*>0\), such that \(J_C\le J_C^*\).
4 Main Results
In this section, guaranteed-cost formation criteria is presented based on the average dwell time method. The communication topologies \(\mathcal {N}(t)\) of LMAS (1) satisfies Assumption 2. Communication topology \(\mathcal {N}(t)\) switches among set \(\{\mathcal {N}^k,k\in \mathfrak {M}\}\), and there exist a spanning tree for each communication topology in set \(\{\mathcal {N}^k,k\in \mathfrak {M}^-\}\), meanwhile there does not exist a spanning tree for each communication topology in set \(\{\mathcal {N}^k,k\in \mathfrak {M}^+\}\), as well as there is \(\mathfrak {M}=\mathfrak {M}^-\cup \mathfrak {M}^+\).
It follows that matrices \((\bar{A}+\bar{B}_k\bar{K}), k\in \mathfrak {M}^-\) are Hurwitz, matrices \((\bar{A}+\bar{B}_k\bar{K}), k\in \mathfrak {M}^+\) are not Hurwitz. There exist normal number \(\theta _1,\ldots ,\theta _r,\theta _{r+1}, \cdots ,\)\( \theta _M\), such that \((\bar{A}+\bar{B}_k\bar{K})+\theta _kI\), \(k\in \mathfrak {M}^-\) and \((\bar{A}+\bar{B}_k\bar{K})-\theta _kI, k\in \mathfrak {M}^+\) are Hurwitz matrices. Hence, there exist positive definite symmetric matrices \(T_k, k\in \mathfrak {M}\) satisfy
Homogeneously, denote \(\alpha _1=\min _{k\in \mathfrak {M}}\lambda (M_k)\), \(\alpha _2=\max _{k\in \mathfrak {M}}\lambda (M_k)\), \(\mu =\alpha _2\alpha _1^{-1}\). Let \(T^-(t)\) (\(T^+(t)\)) signify the total activation time of the LMAS (1) under topologies \(\mathcal {N}^k,k\in \mathfrak {M}^-\)(\(\mathcal {N}^k,k\in \mathfrak {M}^+\)). Denote \(\theta ^-=\min _{k\in \mathfrak {M}^-}\theta _k\) and \(\theta ^+=\max _{k\in \mathfrak {M}^+}\theta _k\) then for any given \(\theta \in (0,\theta ^-)\), choose \(\theta ^*\in (\theta ,\theta ^-)\), proposing the switching condition:
Next, we try to characterize the switching signals within the communication topologies such that the LMAS (1) achieves formation via the protocol (2). We focus on the switched linear system (8) and introduce the following definition and Lemma.
Definition 4
[14] For any \(t > t_0 \ge 0\), let \(N_\sigma (t_0, t)\) denote the number of switchings of the signal \(\sigma (t)\) over the time interval \((t_0, t)\). If \(N_\sigma (t_0, t) \le N_0 + (t-t_0)\tau _a^{-1}\) holds for \(\tau _a > 0\) and \(N_0 \ge 0\), then \(\tau _a\) is called the average dwell time, and \(N_0\) is the chatter bound of the switching signal \(\sigma (t)\). Denote \(S_{ave}[\tau _a, N_0]\) be the set of all switching signals \(\sigma (t)\) with the average dwell time \(\tau _a\) and the chatter bound \(N_0\).
Lemma 2
[15] (Schur Complement)
For given symmetric matrix \(P\in \mathbb {R}^{(m+n)\times (m+n)}\):
where \(P_{11}\in \mathbb {R}^{m\times m}\), \(P_{22}\in \mathbb {R}^{n\times n}\). Then the following three conditions are equivalent:
-
(1)
\(P<0\);
-
(2)
\(P_{11}<0, P_{22}-P_{12}^TP_{11}^{-1}P_{12}<0;\)
-
(3)
\(P_{22}<0, P_{11}-P_{12}P_{11}^{-1}P_{12}^T<0.\)
Theorem 2
Suppose Assumption 1 hold, LMAS (1) with respect to the formation H is guaranteed cost feasible via protocol (2) under the communication topologies \(\{\mathcal {N}^k,k\in \mathfrak {M}=\mathfrak {M}^-\cup \mathfrak {M}^+\}\), if the following two conditions hold simultaneously:
-
i)
There is a finite constant \(\tau _a^*=\frac{\ln \mu }{2(\theta ^*-\theta )}\), such that the switching signal \(\sigma (t)\) satisfies switching condition (11) as well as \(\sigma (t)\in S_{ave}[\tau _a, N_0]\).
-
ii)
There exist \(2n(N-1)\)-dimensions matrices \(X_k=X_k^T>0\) and matrix \(W_k\) such that
$$\begin{aligned} \varPhi _k= \left[ \begin{array}{cccc} \phi _{11} &{} I &{} L_k\otimes K \\ *&{} -\frac{1}{2}(L_k\otimes Q)^{-1} &{} 0 \\ *&{} *&{} -R^{-1} \end{array} \right] <0, \end{aligned}$$(12)
where
In this case, the control gain matrix in formation protocol (2) satisfies \(K_k=W_kX_k^{-1}\), and guaranteed cost \(J_{Ck}^*=y_0^TX_k^{-1}y_0\), \(J_{C}^*=\max _{k\in \mathfrak {M}}J_{Ck}^*\).
5 Simulation Example
In this section, a numerical example is given to illustrate the effectiveness of the obtained theoretical results. As Theorem 2 is a special case of Theorem 3, we only present a example that satisfies Assumption 2. Consider a multi-agent systems with 4 agents and the dynamics of each agent is described by LMAS (1) with
where \(x_i(t)=[x_{i1}(t)\ x_{i2}(t)]^T\), \(x_{i1}(t)\) and \(x_{i2}(t)\) denote position and velocity of agent i respectively. The initial state is chosen randomly:
Figure 1 shows the communication topologies \(\mathcal {N}^1\), \(\mathcal {N}^2\), \(\mathcal {N}^3\), which satisfies Assumption 2, without loss of generality, let the communication topology weight is 1. One can figure out \(\tau _a^*=0.4808\) and \(\frac{T^-(t)}{T^+(t)}=3\). We choose a switching signal \(\sigma (t)\) which satisfies Theorem 3 is shown in Figure Fig. 2. In the guaranteed cost function (3) we choose \(Q=0.02I_2\) and \(Q=0.04I_2\). The target formation \(H=[50\ 100\ 150\ 200]^T\otimes [1\ 0]^T\).
In Fig. 3, the state(position and velocity) trajectories of LMAS (1) are shown, One can see from Fig. 3 that the position trajectories of all agents converge with a fixed difference and the position trajectories of all agents converge to the ones. Figure 4 depicts the trajectory of the cost function \(J_{C}\) and \(J_{C}^*\). The cost function \(J_{C}\) converges to a finite value less than \(J_{C}^*\). The simulation results illustrate that LMAS (1) achieves guaranteed-cost formation with protocol (2) under topologies \(\mathcal {N}^1\), \(\mathcal {N}^2\), \(\mathcal {N}^3\) with switching signal \(\sigma (t)\).
6 Conclusion
The guaranteed cost formation control for multi-agent systems with switching topologies under directed graphs was investigated in this paper. By a linear transformation, the guaranteed cost formation problem for multi-agent systems were equivalently converted into guaranteed cost control problem of a reduced-order auxiliary switched systems. A sufficient condition for the guaranteed cost formation control was given based on two types of switching topologies, and an upper bound of the guaranteed cost function was determined. Finally, the effectiveness of the proposed theory has been illustrated by a 4 agents systems experiments. Further research will be conducted to design the formation protocol and optimize guaranteed cost function for formation problem of multi-agent systems with switching topologies and time-delays.
References
Consolini, L., Morbidi, F., Prattichizzo, D., Tosques, M.: Leader-follower formation control of nonholonomic mobile robots with input constraints. Automatica 44(5), 1343–1349 (2008)
Lewis, M.A., Tan, K.H.: High precision formation control of mobile robots using virtual structures. Auton. Robots 4(4), 387–403 (1997). https://doi.org/10.1023/A:1008814708459
Balch, T., Arkin, R.C.: Behavior-based formation control for multirobot teams. IEEE Trans. Robot. Autom. 14(6), 926–939 (1998)
Ren, W., Sorensen, N.: Distributed coordination architecture for multi-robot formation control. Robot. Autonom. Syst. 56(4), 324–333 (2008)
Zhou, Y., Dong, X., Lu, G., et al.: Time-varying formation control for unmanned aerial vehicles with switching interaction topologies. In: International Conference on Unmanned Aircraft Systems, pp. 1203–1209 (2014)
Zhang, Y.: Consensus of multiagent with time delays under switching topologies and the applications in formation. Beijing University of Technology, pp. 81–106 (2016)
Zhang, Y., Chen, Y., Qu, X.: Design of topology switching law for formation problem of linear multi-agent systems with time-varying delay. In: Proceedings of Chinese Control Conference, pp. 7115–7120 (2016)
Wang, Z., Liu, G., Xi, J., et al.: Guaranteed cost formation control for multi-agent systems: consensus approach. In: Proceedings of the 34th Chinese Control Conference, pp. 7309–7314 (2015)
Wang, L., Xi, J., Yuan, M., Liu, G.: Guaranteed-performance time-varying formation control for swarm systems subjected to communication constraints. IEEE Access 6, 45384–45393 (2018)
Jin, J., Li, J., Wang, L., et al.: Energy-constraint output formation for networked systems with random communication silence and switching topologies. IEEE Access 99, 1–12 (2021)
Xi, J., Yu, Y., Liu, G., et al.: Guaranteed-cost consensus for singular multi-agent systems with switching topologies. IEEE Trans. Circ. Syst. I Regular Papers 61(5), 1531–1542 (2017)
Xi, J., Yang, X., Yu, Z., et al.: Leader-follower guaranteed-cost consensualization for high-order linear swarm systems with switching topologies. J. Franklin Inst. 352(4), 1343–1363 (2015)
Xi, J., Fan, Z., Liu, H., et al.: Guaranteed-cost consensus for multiagent networks with Lipschitz nonlinear dynamics and switching topologies. Int. J. Robust Nonlinear Control 28, 2841–2852 (2018)
Hespanha, J.P., Morse, A.S.: Stability of switched systems with average dwell-time. In: Proceeding of the 38th IEEE Conference on Decision and Control, pp. 2655–2660 (1999)
Liu, S.: Schur Complement, Encyclopedia of Statistical Sciences (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Zhang, Y., Huang, N., Tong, S., Zheng, B. (2021). Guaranteed Cost Formation Control for Linear Multi-agent Systems with Switching Topologies. In: Liu, XJ., Nie, Z., Yu, J., Xie, F., Song, R. (eds) Intelligent Robotics and Applications. ICIRA 2021. Lecture Notes in Computer Science(), vol 13013. Springer, Cham. https://doi.org/10.1007/978-3-030-89095-7_46
Download citation
DOI: https://doi.org/10.1007/978-3-030-89095-7_46
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-89094-0
Online ISBN: 978-3-030-89095-7
eBook Packages: Computer ScienceComputer Science (R0)