This paper investigates the observer-based bipartite consensus tracking of nonlinear fractional-order multi-agent systems (FOMASs) by employing a pull-based dynamic event-triggered mechanism (DETM). First, considering that the relevant state information of each agent is not always measurable, a class of distributed observers is considered for each agent to estimate its state information. Then, a pull-based DETM for FOMASs is proposed to avoid continuous controller updates, in which the dynamic threshold is modulated according to the preset conditions. The pull-based DETM constructed in this paper enables each agent to update the controller only based on its own trigger instants. Furthermore, an observer-based dynamic event-triggered control protocol is designed to guarantee the bipartite consensus tracking of FOMASs. Correspondingly, sufficient conditions are obtained by using graph theory and choosing suitable Lyapunov candidate functions. Moreover, the Zeno behavior is precluded. Finally, two simulation examples are presented to illustrate the theoretical results efficiently.
With the development of science and technology, cooperative control of multi-agent systems (MASs) has received extensive attention in the fields of social science, computer science, engineering, and ecology. However, most of the literature focuses on the integer-order dynamics (Huang et al., 2021; Wang et al., 2022; Yan et al., 2022; Zhan et al., 2023; Zhang et al., 2021b). In fact, for dynamics problems such as viscoelastic dampers (Ray et al., 2016), sinusoidal oscillators (Mishra et al., 2018), and seismic transducers (Veeraian et al., 2018), traditional integer-order dynamics can no longer accurately express them. Fractional-order calculus, as a generalization of integer-order calculus, has received increasing attention due to the fact that it effectively describes the long-range dependence of various materials and processes, such as the voltage-current relation of semi-infinite lossy transmission line and heat diffusion over semi-infinite solid. Furthermore, when modeling some natural properties, such as the electrical properties of materials and the rheological properties of rocks, can be better described by fractional-order dynamics. So far, numerous results on fractional-order multi-agent systems (FOMASs) (Bai et al., 2018; Wang and Dong, 2023; Xia et al., 2023; Zhang et al., 2019) have been available.
Generally speaking, most of the research assumes that the information interactions between the agents are cooperative, that is, the edge weights of the communication network graph between the agents are all non-negative. However, in some real-world scenarios, for example, social networks (Easley and Kleinberg, 2010), opinion dynamics (Altafini and Lini, 2014), and biological systems, cooperation and competition exist at the same time, that is, the edge weights of the communication network graph between agents are both positive and negative. The concept about the bipartite consensus was proposed for the first time in Altafini (2012). After that, numerous results have been obtained in the field of bipartite consensus (Lu et al., 2022; Sakthivel et al., 2023; Zhao et al., 2023). For the FOMASs, Gong (2020) discussed the problem of exponential bipartite consensus under switching-directed topology, and Shahvali et al. (2020) investigated the bipartite consensus via utilizing the fully distributed controller. Up to now, to the best of our knowledge, there are few results on bipartite consensus for FOMASs. This is another motivation to promote this article. It should be mentioned that Lu et al. (2022), Gong (2020) required continuous controller updates, which may lead to excessive energy consumption for practical applications.
Since the event-triggered mechanism (ETM) will trigger the control task only when the system states satisfy the given event-triggering conditions, it can effectively save resources, and fruitful conclusions about the ETM have been achieved by Yu et al. (2022), Zhang et al. (2021a), and Jiang et al. (2022). Yu et al. (2022) proposed a mode-dependent ETM to reduce communication and computational load. In order to achieve intermittent communication among neighbors, an innovative adaptive ETM was designed by Zhang et al. (2021a). In addition, the fully distributed controllers by utilizing the pull-based ETM were designed by Jiang et al. (2022) to reduce controller updates. Although the ETM can effectively reduce resources in the beginning, events will be triggered more frequently as the error becomes smaller and smaller. To cope with this matter, the DETM was imported in Girard (2014), which means that the threshold for DETM can adjusted. Furthermore, some corresponding results have been obtained by Chai et al. (2022) and Xu et al. (2023). Known by the authors, up to now, for the FOMASs, there is no paper involving the distributed bipartite consensus tracking driven by pull-based DETM. Therefore, the problem of bipartite consensus tracking with pull-based DETM for FOMASs is still open and awaits a breakthrough, which is also one of the main motivations for promoting this article.
Motivated by the above discussion, an observer-based bipartite consensus tracking problem is considered for FOMASs by employing pull-based DETM. To the best of the authors’ knowledge, there are few papers investigating the problem of FOMASs. The main contributions of this paper can be summarized as follows. First, considering that the relevant state information of each agent is not always measurable, a class of distributed observers is considered for FOMASs. Then, in contrast to continuous controller updates in the existing literature on FOMASs Liu et al. (2023) and Mahmoodi and Shojaei (2022), the pull-based dynamic event-triggered control protocol is designed based on the estimated information, which enables each agent to update the controller only based on its own trigger instants, that is, it can efficiently decrease controller updates. Moreover, the dynamic threshold of the DETM can modulated dynamically according to the preset conditions, which guarantees the larger inter-event intervals.
The remainder of this article can be summarized as follows. The next section presents the elementary preliminaries and problem formulation. Then, the observer-based bipartite consensus tracking problem under the continuous-time control protocol and the pull-based dynamic event-triggered control protocol are investigated, respectively. There follows a section that presents numerical simulation experiments to validate the theoretical results. The final section summarizes the whole article.
Preliminaries and problem formulation
Graph theory
A signed communication graph is considered, where is the set of nodes, is the set of edges, and matrix is called the adjacency matrix. An edge implies that , where and represent the cooperative interaction and antagonistic interaction between agent i and j, respectively. The Laplacian matrix can be given as , where , and . In the leader-following case, consider a diagonal matrix , where represents that agent i can receive the information from leader agent, otherwise , is defined as .
Definition 1.(Altafini, 2012) A signed communication graph is referred to as structurally balanced, if can be classified into two disjoint subsets , satisfying , and .
Lemma 1.(Altafini, 2012) A signed communication graph is structurally balanced if and only if , where . Moreover, the bipartition of depends on , such as and .
Assumption 1.The signed communication graph is connected and structurally balanced.
Lemma 2.(Zhang et al., 2020) If Assumption 1 holds, then such that is positive definite and is semipositive definite.
Caputo fractional derivative and its properties
Definition 2.(Podlubny, 1999) The Caputo fractional derivative of function with order can be given as
where. Note that holds for .
Definition 3.(Podlubny, 1999) The Caputo fractional integral of function with order is defined as
Lemma 3.(Podlubny, 1999) Consider a continuous function , if , then the following equality holds
Lemma 4.(Liu et al., 2022) For , if , then , where , is a continuous function, and p and M are positive constants.
Definition 4.(Wang and Dong, 2023) For and , the Mittag-Leffler function can be given as
Lemma 6.(Wang and Dong, 2023) For any constants and , considering a continuous function , the solution of is presented as
Lemma 7.(Wang and Dong, 2023) Consider a differentiable and continuous function . For , , and matrix , the following inequality holds
Lemma 8.(Gong, 2020) For any vectors , the following relationship holds
where matrices , E and F with appropriate dimensions.
Problem formulation
Consider a nonlinear FOMAS consisting of one leader and N followers, in which one leader is denoted as 0. The dynamic model of a leader is described by
where , and and represent the state and output of leader 0, respectively.
The dynamic model of follower i is characterized by
where , , , and represent the state, control input, and output of follower , respectively. presents the set consisting of N followers.
Remark 1.Compared with the work of Yan et al. (2022), Wang et al. (2022), and Zhan et al. (2023) which concentrate on the bipartite control of integer-order MASs, this paper investigates more general systems, that is, FOMASs. Fractional-order models are more applicable than integer-order models in some practical applications due to its pragmatic significance of capturing non-local behavior and memory retention phenomena.
Assumption 2.The matrix pair is stabilizable.
Assumption 3.The matrix pair is detectable.
Assumption 4.For any vectors , there exists a constant such that the vector-valued function satisfies the following inequality
where .
Remark 2. Assumption 1 is a sufficient condition to achieve bipartite consensus. Assumptions 2 and 3 are basic assumptions for achieving consensus, and they are also demanded by Rong et al. (2021)andXu et al. (2022). The Lipschitz condition assumption is very important to deal with nonlinear systems. Many functions satisfy the above Lipschitz condition (10), which is also used byLi et al. (2021)and Gong (2020).
Based on Assumptions 2 and 3, the state observer is given as
where is the estimation of .
Definition 5.The FOMASs reach bipartite consensus tracking, if for any initial conditions,
where or .
Observer-based bipartite consensus tracking via continuous-time control protocol
In this section, a distributed observer-based continuous-time controller will be designed to arrive at the bipartite consensus tracking of nonlinear FOMAS (9) with the leader (8).
Denote the combined measurement as
where represents the sign function. The observer-based distributed continuous-time controller is defined as follows
where is the feedback gain matrix.
Remark 3.It is well known that the state information of agent is hard to measure in practice applications. To avoid this problem, this article presents a fractional-order state observer (11) to estimate the state information of each agent. Moreover, the controller based on the observation information is designed; in this way, it is more reasonable in practical applications.
Theorem 1.Suppose that Assumptions 2 and 3 are satisfied, there exists a symmetric positive definite matrix satisfying
where , , , and , , , and are positive constants. is designed such that is a fractional-order Hurwitz matrix, where is the solution of the equality . The bipartite consensus tracking of nonlinear FOMAS (9) with the leader (8) can be arrived under the observer (11) and the observer-based control law (14).
Proof. Define , . Define , . Denote the measurement error , . By the definition of , we derive
where .
Let , and , where , , and matrix satisfies
Consider the Lyapunov function
Evidently, is positive definite. Using the result in Lemma 7, we derive
By employing Lemma 8, it derives that
and
where and are positive constants.
By recalling Lemma 7, Assumption 4, the definition of , and equation (17), it is easy to obtain that
Choose an orthogonal matrix ensuring , where are eigenvalues of . Let , we have
which indicates that is bounded. According to equation (23), Definition 3, and Lemma 3, one has
In light of Lemma 4, we can observe that system (16) is asymptotically stable, that is to say, . It means that the nonlinear FOMAS (9) with the leader (8) can arrive bipartite consensus tracking by employing the continuous-time control law. This proof is completed.
Observer-based bipartite consensus tracking via pull-based dynamic event-triggered control protocol
In the section, a distributed observer-based controller by utilizing pull-based DETM will be proposed to realize the bipartite consensus tracking of nonlinear FOMAS (9) with the leader (8), and the Zeno behavior will be precluded.
Denote the measurement error as
where denotes the kth triggering time of the ith agent. Let . Then, for the nonlinear FOMAS (9), the distributed pull-based dynamic event-triggered controller is defined as follows
where is the feedback gain matrix.
Remark 4.In contrast to the work of Zhang et al. (2021a) and Xu et al. (2022) where controllers use the push-based ETM with , where . This article proposes the controller (26) by employing the pull-based DETM, which means that each agent only updates the controller based on its own trigger instants. Therefore, compared with push-based ETM, this paper uses the pull-based DETM can greatly decrease the frequency of controller updates.
The DETM is proposed as follows
where , with for , , , and and are positive constants. The dynamics of is characterized by
where , , and
Lemma 9.For pre-defined parameters , , , and , the dynamic variable in event-triggered function satisfies
Together with Lemmas 5 and 6, one has . Then, when , the following inequality holds: . Thus, for , one has . Then, for , it can be further obtained
Remark 5.Compared with the work of Mahmoodi and Shojaei (2022) and Xia et al. (2023), one advantage of this article is that a dynamic variable is proposed, which is an important factor for adjusting triggering thresholds dynamically. By introducing dynamic variable , the problem of events being triggered more frequently in ETM as the error decreases is solved. It means that the number of event-triggered instants is decreased in DETM. Actually, ETM is a special case of DETM, the DETM becomes ETM when , . Therefore, DETM can efficiently decrease the number of event-triggered instants than ETM. In addition, by appropriately increasing the values of and and decreasing the value of , the larger interevent time intervals can be obtained, which also means that the number of event-triggered instants is reduced.
Remark 6.For the existing literature on fractional-order systems, none of Jin et al. (2023) and Xia et al. (2023) contemplated both pull-based event-triggered strategy and DETM. Therefore, we introduce a pull-based DETM in this article, which not only adjusts the dynamic threshold dynamically according to the preset conditions but also updates the controller based on its own trigger instants.
Theorem 2.Suppose that Assumptions 2 and 3 are satisfied, there exists a symmetric positive definite matrix satisfying
where , , , and , , , and are positive constants. is designed such that is a fractional-order Hurwitz matrix, where is the solution of the equality . The bipartite consensus tracking of nonlinear FOMAS (9) with the leader (8) can be arrived under the state observer (11) and the observer-based control protocol (26) driven by DETM (27), if the following inequality holds
Proof. Let , , and , where matrix is defined in Theorem 2, , and matrix satisfies equation (17).
Consider the Lyapunov function
Evidently, is positive definite according to Lemma 9. By the definition of , we derive
According to the result in Lemma 7 and equation (36), we have
By utilizing Lemma 8, we have
where is a positive constant.
Choose an orthogonal matrix ensuring , where are eigenvalues of . Let . Combining inequalities (20), (21), (37), and (38), we derive
We can derive that is bounded. By integrating inequality (43), one can obtain
In light of Lemma 4, we obtain , that is, the observer-based bipartite tracking control problem of FOMASs with pull-based DETM is solved.
We now show that agents are free from Zeno behavior under the proposed pull-based DETM.
Theorem 3.Under the pull-based DETM in Theorem 2, the Zeno behavior can be precluded.
Proof. According to Theorem 2, we can derive that and are bounded. Based on the Caupto fractional integral and equation (25), we have
Since and are bounded, for any , there exists positive constants and such that , . Then
where .
According to the triggering condition (27), we obtain the next event will not reach before . Denoting , one has
It is obvious that
which means that there does not exist infinite event-triggered instants in a finite time. Therefore, Zeno behavior is precluded. Following this, Theorem 3 is completely proved.
Simulation
In this section, two simulation examples are used to certify the validity of the above theoretical results. Consider a FOMAS consisting of one leader and four followers (labeled as 0, 1, 2, 3, and 4). The communication graph among agents is applied as Figure 1. The system matrices of FOMAS (9) with the leader (8) are presented as
Communication topology graph.
Suppose the nonlinear functions are , . According to Figure 1, the Laplacian matrix among agents is expressed as
Example 1.(Continuous-Time Control Law) In this example, we consider the nonlinear FOMAS (9) with the leader (8) under the continuous-time control law. Solving equation (15) with , , , , and , we obtain
Moreover, the matrix is given as
The trajectories of state-tracking without control input are applied as Figure 2. Figures 3 and 4 describe the agent trajectories and the observer trajectories, respectively. From Figures 2 and 3, it can be viewed that the design of the controller is effective. Figure 5 depicts the tracking control errors of four agents, we can see from Figure 5 that the bipartite tracking control can be achieved.
Trajectories of (a) and (b) without control input.
Trajectories of (a) and (b) under the continuous-time control law.
Trajectories of (a) and (b) under the continuous-time control law.
Tracking errors of (a) and (b) under the continuous-time control law.
Example 2.(Pull-based Dynamic Event-Triggered Control Law) In this example, we consider the nonlinear FOMAS (9) with the leader (8) under the pull-based dynamic event-triggered control law.
Solving equation (33) with , , , , , and , we obtain
Moreover, the matrix is given as
Assume , , , and . Suppose the initial values of dynamic parameters are , , , and . Figures 6 and 7 show the agent trajectories and the observer trajectories, respectively. The trajectories of bipartite tracking control error are applied as Figure 8. From Figures 6–8, it can be viewed that all the followers can follow the tracks of the leader with a certain error. Figure 9 gives the evolution of dynamic variable , which verifies the effectiveness of Lemma 9. Figure 10 depicts the triggering time for four agents, which illustrates that the Zeno behavior can be precluded. Table 1 exhibits the event-triggered instants within the 20s for the controller (26) and the controller in the work of Xia et al. (2023). It shows that DETM can decrease the number of event-triggered instants than ETM. Therefore, the investigation of DETM is more meaningful than ETM. To conclude, the simulation figures demonstrate the theoretical results efficiently.
Trajectories of (a) and (b) under the pull-based dynamic event-triggered control law.
Trajectories of (a) and (b) under the pull-based dynamic event-triggered control law.
Tracking errors of (a) and (b) under the pull-based dynamic event-triggered control law.
Evolution of dynamic variable .
Triggering time of four followers under the pull-based dynamic event-triggered control law.
This paper has investigated the observer-based bipartite tracking control of FOMASs by utilizing pull-based DETM. First, an observer has been designed to estimate the state information of each agent. Then, a pull-based DETM has been considered in this paper to avoid continuous controller updates. Furthermore, the distributed continuous-time control protocol and the pull-based dynamic event-triggered control protocol have been proposed for solving the bipartite consensus tracking, respectively. Finally, Zeno behavior has been precluded. As for our future work, it is worth solving the fully distributed DETM bipartite consensus problems of FOMASs.
Footnotes
Declaration of conflicting interests
The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
Funding
The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported by the Fundamental Research Funds for the University of Science and Technology Beijing under Grant GJJ2022-16 and JG2022M36 and the National Natural Science Foundation of China under Grant 61703035 and 61977004.
ORCID iDs
Xiaohe Li
Guoguang Wen
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
1.
AltafiniC (2012) Consensus problems on networks with antagonistic interactions. IEEE Transactions on Automatic Control58(4): 935–946.
2.
AltafiniCLiniG (2014) Predictable dynamics of opinion forming for networks with antagonistic interactions. IEEE Transactions on Automatic Control60(2): 342–357.
3.
BaiJWenGRahmaniA, et al. (2018) Consensus for the fractional-order double-integrator multi-agent systems based on the sliding mode estimator. IET Control Theory and Applications12(5): 621–628.
4.
ChaiXWangQDiaoQ, et al. (2022) Sampled-data-based dynamic event-triggered formation control for nonlinear multi-agent systems. Transactions of the Institute of Measurement and Control44(14): 2719–2728.
5.
EasleyDKleinbergJ (2010) Networks, Crowds, and Markets: Reasoning about a Highly Connected World. Cambridge: Cambridge University Press.
6.
GirardA (2014) Dynamic triggering mechanisms for event-triggered control. IEEE Transactions on Automatic Control60(7): 1992–1997.
7.
GongP (2020) Exponential bipartite consensus of fractional-order non-linear multi-agent systems in switching directed signed networks. IET Control Theory and Applications14(17): 2582–2591.
8.
HuangMLiuCShanL (2021) Containment control of first-order multi-agent systems under pi coordination protocol. Algorithms14(7): 209.
9.
JiangDWenGPengZ, et al. (2022) Fully distributed pull-based event-triggered bipartite fixed-time output control of heterogeneous systems with an active leader. IEEE Transactions on Cybernetics53: 3089–3100.
10.
JinYXuYLiuG, et al. (2023) Event-triggered distributed sliding mode control of fractional-order nonlinear multi-agent systems. Symmetry15(6): 1247.
11.
LiKHuaCYouX, et al. (2021) Output feedback predefined-time bipartite consensus control for high-order nonlinear multiagent systems. IEEE Transactions on Circuits and Systems I: Regular Papers68(7): 3069–3078.
12.
LiuSFuXZhaoXW, et al. (2023) Containment control for fractional-order multi-agent systems with mixed time delays. Mathematical Methods in the Applied Sciences46(3): 3176–3186.
13.
LiuYZhangHWangY, et al. (2022) Adaptive containment control for fractional-order nonlinear multi-agent systems with time-varying parameters. IEEE/CAA Journal of Automatica Sinica9(9): 1627–1638.
14.
LuMHanTWuJ, et al. (2022) Adaptive bipartite output consensus for heterogeneous multi-agent systems via state/output feedback control. IEEE Transactions on Circuits and Systems II: Express Briefs69(8): 3455–3459.
15.
MahmoodiHShojaeiK (2022) Adaptive bipartite output consensus of nonlinear fractional-order multi-agent systems. International Journal of Systems Science53(8): 1615–1638.
16.
MishraSKUpadhyayDKGuptaM (2018) An approach to improve the performance of fractional-order sinusoidal oscillators. Chaos Solitons Fractals116: 126–135.
17.
PodlubnyI (1999) Fractional differential equations: An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications. Elsevier.
18.
RaySSSahooSDasS (2016) Formulation and solutions of fractional continuously variable order mass–spring–damper systems controlled by viscoelastic and viscous–viscoelastic dampers. Advances in Mechanical Engineering8(5): 168781401 6646505.
19.
RongLLiuXJiangGP, et al. (2021) Observer-based multiagent bipartite consensus with deterministic disturbances and antagonistic interactions. IEEE Transactions on Cybernetics52(11): 1–8.
20.
SakthivelRParivallalAKongF, et al. (2023) Bipartite consensus for Takagi-Sugeno fuzzy uncertain multi-agent systems with gain fluctuations. IEEE Transactions on Signal and Information Processing Over Networks9: 74–83.
21.
ShahvaliMAzarbahramANaghibi-SistaniMB, et al. (2020) Bipartite consensus control for fractional-order nonlinear multi-agent systems: An output constraint approach. Neurocomputing397: 212–223.
22.
VeeraianPGandhiUMangalanathanU (2018) Design and analysis of fractional order seismic transducer for displacement and acceleration measurements. Journal of Sound and Vibration419: 123–139.
23.
WangFLiuZChenZ (2022) Sampled-hold-based consensus control for second-order multiagent systems under aperiodically intermittent communication. IEEE Transactions on Circuits and Systems I: Regular Papers69(9): 3794–3803.
24.
WangLDongJ (2023) Reset event-triggered adaptive fuzzy consensus for nonlinear fractional-order multiagent systems with actuator faults. IEEE Transactions on Cybernetics53(3): 1868–1879.
25.
XiaXBaiJLiX, et al. (2023) Containment control for fractional order mass with nonlinearity and time delay via pull-based event-triggered mechanism. Applied Mathematics and Computation454: 128094.
26.
XuCQinYSuH (2023) Observer-based dynamic event-triggered bipartite consensus of discrete-time multi-agent systems. IEEE Transactions on Circuits and Systems II: Express Briefs70(3): 1054–1058.
27.
XuCXuHGuanZH, et al. (2022) Observer-based dynamic event-triggered semiglobal bipartite consensus of linear multi-agent systems with input saturation. IEEE Transactions on Cybernetics53: 3139–3152.
28.
YanCZhangWGuoH, et al. (2022) Distributed adaptive time-varying formation control for Lipschitz nonlinear multi-agent systems. Transactions of the Institute of Measurement and Control44(2): 272–285.
29.
YuJAhnCKShiP (2022) Event-triggered bipartite consensus for fuzzy multiagent systems under Markovian switching signed topology. IEEE Transactions on Fuzzy Systems30(7): 2610–2620.
30.
ZhanHWuJZhanX, et al. (2023) Fixed-time bipartite containment control of high-order multi-agent systems in the signed graph. IEEE Transactions on Circuits and Systems II: Express Briefs70(4): 1520–1524.
31.
ZhangHCaiYWangY, et al. (2020) Adaptive bipartite event-triggered output consensus of heterogeneous linear multiagent systems under fixed and switching topologies. IEEE Transactions on Neural Networks and Learning Systems31(11): 4816–4830.
32.
ZhangJZhangHLuoY, et al. (2021a) Adaptive event-triggered leader-follower consensus of linear multiagent systems under directed graph with nonzero leader input. IEEE Transactions on Circuits and Systems II: Express Briefs69(3): 1442–1446.
33.
ZhangYWenGPengZ, et al. (2019) Group multiple lags consensus of fractional-order nonlinear leader-following multi-agent systems via adaptive control. Transactions of the Institute of Measurement and Control41(5): 1313–1322.
34.
ZhangYWenGRahmaniA, et al. (2021b) Cluster consensus of multi-agent systems with general linear and nonlinear dynamics via intermittent adaptive pinning control. Transactions of the Institute of Measurement and Control43(6): 1337–1346.
35.
ZhaoHShanJPengL, et al. (2023) Data-driven event-triggered bipartite consensus for multi-agent systems preventing dos attacks. IEEE Control Systems Letters7: 1915–1920.