 Open Access
 Total Downloads : 260
 Authors : Myung – Gon Yoon
 Paper ID : IJERTV5IS030065
 Volume & Issue : Volume 05, Issue 03 (March 2016)
 Published (First Online): 01032016
 ISSN (Online) : 22780181
 Publisher Name : IJERT
 License: This work is licensed under a Creative Commons Attribution 4.0 International License
Transfer Function of Dynamical Multiagent Consensus Systems with Less Than Five Agents
Myung – Gon Yoon
Department of Precision Mechanical Engineering GangneungWonju National University,
South Korea
Abstract This paper deals with transfer functions of agents in a linear multiagent consensus system where every agent in the system has the same dynamics described by a common transfer function. Depending on network topology, the transfer function of an agent in a consensus system varies in a highly complicated way and analytic methods for specifying the orders of transfer functions are yet unavailable except for some special cases. This paper presents a table of transfer functions of agents in a consensus system composed of less than five agents under all
II. PRELIMINARY
This section gives a short summary on the transfer function representation of a consensus system in [9].
In the SAC, every agent in a consensus system composed of n N identical agents is assumed to have a common linear timeinvariant dynamics described by a SISO (singleinput singleoutput) transfer function
possible network topologies.
() = () = ()
(1)
Keywords Consensus System, Transfer Function, Laplacian
() ()
Graph Angle

INTRODUCTION
where (s) and (s) denote the Laplace transforms of output and input of agent labelled i [1, n]. The polynomials b(s) and a(s) are coprime and a(s) is a monic polynomial.
Consensus multiagent systems composed of a number of
identical dynamical agents have attracted much attention in various fields of science and engineering.
Moreover, we assume that every agent i [1, n] follows a linear consensus protocol given by
A typical approach for changing overall behaviors of a consensus system is to directly control only a small number of
= ( )
(2)
agents and to let remaining uncontrolled agents follow a certain predefined consensus protocol. The leaderfollower approach [1,2,3], the single agent control (SAC) [4,5,6] and the pinning control [7,8] share the same idea. Among those approaches, only the SAC is a frequency domain approach where a transfer function description of agents is critically important.
One key issue of the SAC is how to choose a controlled agent in a given consensus system and a network topology. In favor of an easy controller synthesis, it is desirable to select a controlled agent whose transfer function order is the smallest among all agents in a given consensus system. Unfortunately, however, there is no analytic methods which can characterize an agent with the smallest transfer function order, except a
where [1, ] denotes the set of neighbor agents of the
agent i [1, ]. In contrast, only one agent, call it j [1, ], is to be actively controlled by an exogenous controller and thus has an external input , i.e.,
= ( ) + (3)
The neighbor sets { ; [1, ]} of a given network topology can be completely described with a Laplacian matrix of a mathematical graph corresponding to the network topology;
1 1
= ( ) = [ ] , = 0 (4)
special case where a consensus system has a hub agent which has direct connections with all other agents [9].
1
=1
Motivated by this difficulty, from numerical computations, this paper gives a complete description of transfer functions of
= {1 if is directly connected to 0
(5)
consensus systems with less than five agents under all possible (connected) network topology.
An obvious contribution of this work is to serve an easy reference for transfer function representation of small consensus systems under the SAC scheme. Additionally our results provide useful inspiration on interesting, but
Let 1 > > ( ) be the distinct eigenvalues of the Laplacian matrix L. Then from a spectral factorization
= 11 + + where P ( = 1, , ) is the orthogonal projection onto eigenspace (1) , the transfer function () between the external input and
output can be shown to be
theoretically unsubstantiated yet, correlations between transfer
() = () =
()
2
function order and agent location in a given network. For instances, our numerical results suggests that agents located at
()
=1
() + ()
(6)
more symmetric positions in a given network topology, have smaller transfer function orders.
2 =< , > (7)
denotes the cosine of an angle between the eigenspace (1), and the standard orthonormal basis {; = 1, , } of . We call the Laplacian graph angle or graph angle in short.
Suppose the isolated agent transfer function () in (1) has a transfer function order O() . Then, the following fact holds [9];
Lemma 1: The transfer function () of agent j of a consensus system in (6) has an order  Ã— () where
: = { [1, ]; 2 0} {1, , } (8)
and  denotes the number of elements in .
From this result, the problem of how to choose an agent with a smallest transfer function order boils down to the problem of how to find j [1, n] with the smallest  . Unfortunately however no analytic methods exists within the author's knowledge that can characterize the smallest  in general.
Example 1 Suppose five identical agents in network topology of Fig. 1share the same dynamics given by:
Figure 1 A Consensus System
() =
() =
()
1
2 + + 1
(9)
Figure 2 Transfer Function Orders
For all 30 network topologies, the Laplacian eigenvalues,
whose transfer function order is O() = 2.
Note that = 0 implicitly holds for all i j in Fig. 1 when j [1,5] is a single agent to be controlled under the SAC scheme. Numerical computations give five distinct eigenvalues of in the first line of Table 1. Other lines give agent labels j [1,5] in the left and corresponding graph angles in the right. The transfer function of an agent j [1,5] is given () in (6) with { } in Table 1 and () = 1, () = 2 + + 1 . In addition, from Lemma 1, the order of () is given by 2  where the number 2 is the order of the isolated transfer function (9). By counting the number of nonzero angles in Table 1, one can find the quantity { } shown in Fig. 2 inside of circles denoting agents. For examples, the transfer function order of agent 3 is given as 2 3 = 2 Ã— 3 = 6 whereas that of agent 1 is 2 3 = 2 Ã— 5 = 10.
TABLE I. EIGENVALUES AND GRAPH ANGLES
4.3028
3.6180
1.3820
0.6972
0.0000
1,2
0.6768
0.5117
0.1954
0.2049
0.4472
3
0.0000
0.6325
0.6325
0.0000
0.4472
4,5
0.2049
0.1954
0.5117
0.6768
0.4472

TRANSFER FUNCTIONS
There are 1, 2, 6, 21 different network topologies, equivalently connected undirected graphs for multiagent systems composed of 2, 3, 4 and 5 agents (vertices), respectively.
graph angles and network topologies are given in Table 2. Our ordering and representations of graphs follow those in [10] (Appendix B).
For each network topology in Table 2, circles in the right side denote agents and numbers beside circles are agent labels. The multiplication factor  of the transfer function order of agent j [1, n] is written as a number inside of a circle, as we did in Fig. 2. In the left side of table, the first line shows the Laplacian eigenvalues with subscripts denoting multiplicities. Other lines give agent labels in the left and their graph angles in the right. The zero angles are emphasized with bold fonts.
The number of connections that an agent has is called as a degree in graph theory. The possible correlation between degree and multiplication factor  of an agent is very complicated and no theoretical results are available yet except for hub agents.
A rather unexpected result in Table 2 is that a larger degree is not significantly beneficial for a smaller multiplication factor. One can easily find many cases where agents with smaller degrees have smaller multiplication factors including the index 25, for an example.
Note that our previous example with the Laplacian matrix
(10) corresponds to the index 24 of Table 2.

CONCLUSION

With no analytic methods available, we numerically characterized transfer functions of a controlled agent in general liner consensus systems composed of less than five agent under all possible network topologies. From mathematical viewpoint, our result can be seen as a specification of Laplacian graph angles of connected graphs with less than five vertices.
TABLE II. EIGENVALUES AND GRAPH ANGLES
REFERENCES

J. Guo, Z. Lin, M. Cao, and G. Yan, Adaptive leaderfollower formation control for autonomous mobile robots,'' in American Control Conference, Baltimore, MD, June 30July 02, 2010, pp. 6822–6827.

M. Ji, A. Muhammad, and M. Egerstedt, Leaderbased multiagent coordination: Controllability and optimal control,'' in American Control Conference, Minneapolis, June 1416, 2006, pp. 1358–1363.

J. Guerrero, G. Romero, and R. Lozano, Robust consensus tracking of leaderbased multiagent systems,'' in American Control Conference, Baltimore, June 30July 2, 2010, pp. 6299–6305.

M. G. Yoon, Single agent control for multiagent dynamical consensus systems,'' IET Control Theory & Applications, vol. 6, no.~10, pp. 1478
1485, 2012.

——, Single agent control for cyclic consensus systems,'' International Journal of Control, Automation, and Systems, vol. 11, no. 2, pp. 243– 249, 2013.

——, Collective stabilization of multiagent dynamical systems with single agent control,'' IET Control Theory & Applications, vol. 9, no. 10, pp. 929–934, 2015.

X. Li, X. Wang, and G. Chen, Pinning a complex dynamical network to its equilibrium,'' IEEE Transaction on Circuits and Systems I, vol. 51, no. 10, pp. 2074–2087, 2004.

J. Zhou, Q. Wu, and L. Xiang, Pinning complex delayed dynamical networks by a single impulsive controller,'' IEEE Transaction on Circuits and Systems I, vol.58, no. 12, 2011.

M. G. Yoon, Minimalorder transfer function of dynamical multiagent consensus systems,'' (to appear) IET Control Theory & Applications, 2015.

D. Cvetkovic, P. Rowlinson, and S. Simic, Eigenspaces of graphs, ser. Encyclopedia of mathematics and its applications, Cambridge, UK: Cambridge University Press, 1997..