Loading [MathJax]/jax/output/SVG/jax.js
Research article Special Issues

Fuzzy tracking control of singular multi-agent systems under switching topology

  • The consensus tracking problem of leader-follower multi-agent systems (MASs) with singular structures on jointly connected topology is studied in this paper. To achieve the objective of consensus tracking, a distributed adaptive control protocol is formulated to adjust the coupling weights among the agents using the adaptive rate, where the adaptive protocol can be implemented by each agent in a fully distributed manner without using any global information. A fuzzy logic system method is used to deal with the nonlinear terms in response to the limitations of nonlinear system analysis. The consensus tracking problem is transformed into an error system stability analysis, and two sufficient conditions are provided to guarantee the control objective based on Lyapunov stability theory and singular system theory. Finally, the effectiveness of this method is verified through a simulation example.

    Citation: Jiawen Li, Yi Zhang, Heung-wing Joseph Lee, Yingying Wang. Fuzzy tracking control of singular multi-agent systems under switching topology[J]. AIMS Mathematics, 2024, 9(11): 29718-29735. doi: 10.3934/math.20241440

    Related Papers:

    [1] Osama Ala'yed, Rania Saadeh, Ahmad Qazza . Numerical solution for the system of Lane-Emden type equations using cubic B-spline method arising in engineering. AIMS Mathematics, 2023, 8(6): 14747-14766. doi: 10.3934/math.2023754
    [2] Emre Kırlı . A novel B-spline collocation method for Hyperbolic Telegraph equation. AIMS Mathematics, 2023, 8(5): 11015-11036. doi: 10.3934/math.2023558
    [3] Shafeeq Rahman Thottoli, Mohammad Tamsir, Mutum Zico Meetei, Ahmed H. Msmali . Numerical investigation of nonlinear extended Fisher-Kolmogorov equation via quintic trigonometric B-spline collocation technique. AIMS Mathematics, 2024, 9(7): 17339-17358. doi: 10.3934/math.2024843
    [4] M. S. Hashmi, Rabia Shikrani, Farwa Nawaz, Ghulam Mustafa, Kottakkaran Sooppy Nisar, Velusamy Vijayakumar . An effective approach based on Hybrid B-spline to solve Riesz space fractional partial differential equations. AIMS Mathematics, 2022, 7(6): 10344-10363. doi: 10.3934/math.2022576
    [5] Yan Wu, Chun-Gang Zhu . Generating bicubic B-spline surfaces by a sixth order PDE. AIMS Mathematics, 2021, 6(2): 1677-1694. doi: 10.3934/math.2021099
    [6] Shanshan Wang . Split-step quintic B-spline collocation methods for nonlinear Schrödinger equations. AIMS Mathematics, 2023, 8(8): 19794-19815. doi: 10.3934/math.20231009
    [7] Osama Ala'yed, Belal Batiha, Diala Alghazo, Firas Ghanim . Cubic B-Spline method for the solution of the quadratic Riccati differential equation. AIMS Mathematics, 2023, 8(4): 9576-9584. doi: 10.3934/math.2023483
    [8] Abdul Majeed, Muhammad Abbas, Amna Abdul Sittar, Md Yushalify Misro, Mohsin Kamran . Airplane designing using Quadratic Trigonometric B-spline with shape parameters. AIMS Mathematics, 2021, 6(7): 7669-7683. doi: 10.3934/math.2021445
    [9] Mei Li, Wanqiang Shen . Integral method from even to odd order for trigonometric B-spline basis. AIMS Mathematics, 2024, 9(12): 36470-36492. doi: 10.3934/math.20241729
    [10] Ram Kishun Lodhi, Saud Fahad Aldosary, Kottakkaran Sooppy Nisar, Ateq Alsaadi . Numerical solution of non-linear Bratu-type boundary value problems via quintic B-spline collocation method. AIMS Mathematics, 2022, 7(4): 7257-7273. doi: 10.3934/math.2022405
  • The consensus tracking problem of leader-follower multi-agent systems (MASs) with singular structures on jointly connected topology is studied in this paper. To achieve the objective of consensus tracking, a distributed adaptive control protocol is formulated to adjust the coupling weights among the agents using the adaptive rate, where the adaptive protocol can be implemented by each agent in a fully distributed manner without using any global information. A fuzzy logic system method is used to deal with the nonlinear terms in response to the limitations of nonlinear system analysis. The consensus tracking problem is transformed into an error system stability analysis, and two sufficient conditions are provided to guarantee the control objective based on Lyapunov stability theory and singular system theory. Finally, the effectiveness of this method is verified through a simulation example.



    The Lane-Emden equation represents a dimensionless form of Poisson's equation that arises in astrophysics for the spherically symmetric, polytrophic fluids, and the gravitational potential of Newtonian self-gravitating [1,2,3]. Modeling diverse phenomena in astrophysics, physical, and mathematical physics, such as the stellar structure theory, isothermal gas spheres, the thermal dynamic of a spherical gas cloud, the thermionic current theory, chemical reactions, population evolution, and pattern formation, results in scalar and systems of Lane-Emden equations, see [4,5] and the references therein. While there has been little research on Lane-Emden equation systems, recent attention to studying this type of systems has increased considerably [5].

    In this study, we consider the following Lane-Emden system of the form

    d2ωi(τ)dτ2+δiτdωi(τ)dτ+i(τ,ω1(τ),ω2(τ))=i(τ),i=1,2, (1)

    subject to

    ωi(0)=εi,ω'i(0)=0, (2)

    where δ1,δ2,ε1,andε2 are real constants, and i and i(τ),i=1,2 are given continuous functions.

    Numerous approaches have been established for solving scalar and systems of Lane-Emden equations, including the Haar wavelet collocation method [6], Laplace transform and residual error function [7], Bernoulli wavelets functional matrix technique [5], B-spline methods [8,9,10], Adomian decomposition method [9], Chebyshev operational matrix method [4], variational iteration method [11,12], discontinuous finite element method [13], Bernstein collocation method [14], Bessel-collocation procedure [15], and Legendre Polynomials [16,17,18].

    The literature survey reveals that collocation methods are an important tool in obtaining approximate solutions for different types of differential equations, including different classes of initial and boundary value problems, Singular differential equations, partial and fractional partial differential equations, system of partial differential equations, fractional Volterra integro-differential equations, and Abel's integral equations, [19,20,21,22,23,24,25,26,27,28,29,30,31,32], among others. One well-known established method among collocation methods is the so-called B-spline method, where the letter "B" represents "basis". This method was originally introduced by Schoenberg in 1946. The primary motivation for introducing the B-splines is the creation of a stable interpolating function across finite number of points, which maintain the smoothness and the shape of the data [33,34]. Recently, B-spline methods have been demonstrated to be useful in approximation theory, image processing, and numerical computation due to their valuable properties such as numerical computation stability, local effects of coefficient changes, and built-in smoothness between adjacent polynomial pieces.

    The spline methods, as is known, provide inaccurate solutions with the presence of singularity. To defeat the drawback of these methods, we, in this work, develop an effective method based on quintic B-spline functions, known as the quintic B-spline method (QBSM), to approximate the solution of (1). To construct the QBSM, the approximate solution is forced to fulfill the considered system at the grid points, converting it into a set of algebraic equations with unknown coefficients. Solving the set of algebraic equations determines the values of these coefficients. Note that the considered problem has a singularity at τ=0. When addressing the singularity of (1) numerically, it is important to efficiently deal with the singularity via certain means. In our case, we employ the L'Hôpital rule to its second term. To the best of our knowledge, the results presented in this work are new and have not been previously presented in the literature. The method is illustrated with several test problems. It is demonstrated that the accuracy of the method is of fourth-order convergence, superior to the convergence of the cubic B-spline method, which is proven to be of second-order convergence, derived in our prior work [8]. Outcomes are compared with some other numerical solutions to demonstrate the advantage of the method.

    The structure of this paper is as follows: Section 2 provides the preliminaries of the quintic B-spine functions and their properties. Section 3 is dedicated to the construction of QBSM for obtaining the solution of the considered system. Section 4 discusses the convergence of the method. Section 5 provides the numerical illustration, and, finally, Section 6 summarizes and concludes our work.

    In this section, we define quintic B-spline functions and their main properties to be utilized in constructing QBSM. We construct this method upon a uniform mesh. To do this, we partition the solution domain Γ=[α,β] into k subintervals Γi=[τi,τi+1] by the grid points τi=α+iΛ (i=0,1,...,k), where Λ=(βα)/k. Let Ω be the set of these grid points of the solution domain Γ, referred to as the partition of Γ, and is defined as Ω={τ0,τ1,,τk}. To provide proper support for the quintic B-spline functions, it is essential to introduce an additional five grid points on each side of the solution domain Γ. Consequently, the solution domain Γ is extended to Γ=[α5Λ,β+5Λ] with τi=α+iΛ (i=5,...,k+5). The linear space of quintic splines over this defined partition is expressed as

    M5(Γ)={μ(τ)C4(Γ):μ(τ)|ΓiP5,i=0,...,k1},

    where μ(τ)|Γi indicates the restriction of μ(τ) over Γi and P5 designates the set of one-variable quintic polynomials. The dimension of the linear space M5(Γ) is (k+5). According to [30], the quintic B-spline Kr(τ)(r=2,...,k+2) is defined as

    Kr(τ)=1120Λ5{(ττr3)5,(ττr3)56(ττr2)5,(ττr3)56(ττr2)5+15(ττr1)5,(τ+τr+3)56(τ+τr2)5+15(τ+τr+1)5,(τ+τr+3)56(τ+τr+2)5,(ττr3)5,0,τ[τr3,τr2]τ[τr2,τr1]τ[τr1,τr]τ[τr,τr+1]τ[τr+1,τr+2]τ[τr+2,τr+3]else.

    The basis functions Kr, r=2,...,k+2, are nonnegative and linearly independent on the domain [α,β]. The values of Kr(τ) and their derivatives up to the third order at the grid points are recorded in Table 1.

    Table 1.  The values of K(ν)r(τ)(ν=0,1,2,3) at the grid points.
    τr2 τr1 τr τr+1 τr+2 else
    Kr(τ) 1120 26120 66120 26120 1120 0
    K'r(τ) 124Λ 1024Λ 0 1024Λ 124Λ 0
    K''r(τ) 16Λ2 26Λ2 66Λ2 26Λ2 16Λ2 0
    K'''r(τ) 12Λ3 22Λ3 0 22Λ3 12Λ3 0

     | Show Table
    DownLoad: CSV

    For an appropriately smooth function ω(τ), one can uniquely define a quintic spline

    μ(τ)=k+2r=2λrKr(τ)M5(I)

    that fulfill the interpolation conditions μ(τi)=ω(τi),i=0,...,k, and μ'(α)=ω'(α). From Table 1, for the discretization knots τj(j=0,...,k), we get

    μ(τj)=k+2r=2λrKr(τj)=λj2+26λj1+66λj+26λj+1+λj+2120, (3)
    μ'(τj)=k+2r=2λrK'r(τj)=λj210λj1+10λj+1+λj+224Λ, (4)
    μ''(τj)=k+2r=2λrK''r(τj)=λj2+2λj16λj+2λj+1+λj+26Λ2, (5)
    μ'''(τj)=k+2r=2λrK'''r(τj)=λj2+2λj12λj+1+λj+22Λ3. (6)

    Equations (3)–(6) serve as the fundamental relations in the construction of the QBSM.

    This part of the study discusses the method and the convergence analysis.

    In this section, we present the development of a collocation method based on quintic B-spline functions for (1) and (2). Let μi(τ)=k+2r=2λi,rKr(τ),i=1,2, represents the quintic B-spline approximate solution of the exact solution ωi(τ) to (1). To overcome the singularity behavior of (1), we employ the L'Hôpital rule on the second term at τ=0, to obtain

    (1+δi)d2ωi(τ)dτ2+i(τ,ω1(τ),ω2(τ))=i(τ),forτ=0,
    d2ωi(τ)dτ2+δiτdωi(τ)dτ+i(τ,ω1(τ),ω2(τ))=i(τ),forτ0,i=1,2. (7)

    Discretizing (7), we get

    (1+δi)d2ωi(τ0)dτ2+i(τ0,ω1(τ0),ω2(τ0))=i(τ0),
    d2ωi(τj)dτ2+δiτjdωi(τj)dτ+i(τj,ω1(τj),ω2(τj))=i(τj), (8)

    where j=1,,k. Using (3)–(5), we have

    (1+δi)(λi,2+2λi,16λi,0+2λi,1+λi,26Λ2)+i(τ0,ε1,ϑ1)=i(τ0),(λi,j2+2λi,j16λi,j+2λi,j+1+λi,j+26Λ2)+δiτj(λi,j210λi,j1+10λi,j+1+λi,j+224Λ)+ϱi(λ1,j2,λ1,j1,λ1,j,λ1,j+1,λ1,j+2,λ2,j2,λ2,j1,λ2,j,λ2,j+1,λ2,j+2)=i(τj), (9)

    where i=1,2 and j=1,,k. Additionally, from (2), we derive the following four equations

    ωi(0)=εi=λi,2+26λi,1+66λi,0+26λi,1+λi,2120, (10)
    ω'i(0)=0=λi,210λi,1+10λi,1+λi,224Λ, (11)

    where i=1,2. Four equations are still needed. Therefore, by differentiating (1), we obtain:

    d3ωi(τ)dτ2+δiτω''i(τ)ω'i(τ)τ2+ddτi(τ,ω1(τ),ω2(τ))+di(τ,ω1(τ),ω2(τ))dω1(τ)ω'1(τ)+di(τ,ω1(τ),ω2(τ))dω2(τ)ω'2(τ)='i(τ). (12)

    Applying the L'Hôpital rule and using (2)–(4), (6) and (12) becomes

    (1+δi2)(λi,2+2λi,12λi,1+λi,22Λ3)+ddτi(τ0,ε1,ε2)='i(0). (13)

    Similarly, at τ=1, we obtain

    λi,k2+2λi,k12λi,k+1+λi,k+22Λ3+ϖi(λ1,k2,λ1,k1,λ1,k,λ1,k+1,λ1,k+2,λ2,k2,λ2,k1,λ2,k,λ2,k+1,λ2,k+2)='i(1), (14)

    where i=1,2.

    Expressing (9)–(11), (13), and (14) in matrix form as

    AΦ=Ψ, (15)

    where A represents a coefficient matrix of dimension 2(k+5)×2(k+5), Φ is a column vector defined as

    Φ=[λ1,2,,λ1,k+2,λ2,2,,λ2,k+2]T,

    and Ψ is a column vector with 2(k+5) entries. Solving this system yields the coefficients of the approximate solution μi(τ) for (1).

    In this section, we demonstrate the convergence analysis of QBSM. To facilitate this analysis, we assume that ωi(τ)C5[0,1],i=1,2. From (3)–(6), we have [35,36]

    μ'i(τj2)+26μ'i(τj1)+66μ'i(τj)+26μ'i(τj+1)+μ'i(τj+2)=5ωi(τj2)50ωi(τj1)+50ωi(τj+1)+5ωi(τj+2)Λ,μ''i(τj2)+26μ''i(τj1)+66μ''i(τj)+26μ''i(τj+1)+μ''i(τj+2)=20ωi(τj2)+40ωi(τj1)120ωi(τj)+40ωi(τj+1)+20ωi(τj+2)Λ2,μ'''i(τj2)+26μ'''i(τj1)+66μ'''i(τj)+26μ'''i(τj+1)+μ'''i(τj+2)=60ωi(τj2)+120ωi(τj1)120ωi(τj+1)+60ωi(τj+2)Λ3. (16)

    With the operator notations, Ξωi(τj)=ωi(τj+1),Dωi(τj)=ω'i(τj), and Iωi(τj)=ωi(τj), Eq (16) can be expressed as

    μ'i(τj)=1Λ(5Ξ250Ξ1+50Ξ+5Ξ2Ξ2+26Ξ1+66I+26Ξ+Ξ2)ωi(τj),
    μ''i(τj)=1Λ2(20Ξ2+40Ξ1120I+40Ξ+20Ξ2Ξ2+26Ξ1+66I+26Ξ+Ξ2)ωi(τj),
    μ'''i(τj)=1Λ3(60Ξ2+120Ξ1120Ξ+60Ξ2Ξ2+26Ξ1+66I+26Ξ+Ξ2)ωi(τj), (17)

    i=1,2. Setting Ξ=eΛD in (17) gives

    μ'i(τj)=1Λ(5e2ΛD50eΛD+50eΛD+5e2ΛDe2ΛD+26eΛD+66+26eΛD+e2ΛD)ωi(τj),
    μ''i(τj)=1Λ2(20e2ΛD+40eΛD120+40eΛD+20e2ΛDe2ΛD+26eΛD+66+26eΛD+e2ΛD)ωi(τj),
    μ'''i(τj)=1Λ3(60e2ΛD+120eΛD120eΛD+60e2ΛDe2ΛD+26eΛD+66+26eΛD+e2ΛD)ωi(τj), (18)

    Expanding the exponential functions in (18) in powers of ΛD, we obtain

    μ'i(τj)=ω'i(τj)+15040Λ6ω(7)i(τj)+O(Λ8),
    μ''i(τj)=ω''i(τj)+1720Λ4ω(6)i(τj)+O(Λ6),
    μ'''i(τj)=ω'''i(τj)1240Λ4ω(7)i(τj)+O(Λ6), (19)

    i=1,2. Next, let's define truncation error as follows

    ei(τj)=i(τj)d2ωi(τj)dτ2δiτjdω1(τj)dτi(ω1(τj),ω2(τj))=[d2μi(τj)dτ2+δiτjdμ1(τj)dτ+i(μ1(τj),μ2(τj))]d2ωi(τj)dτ2δiτjdω1(τj)dτi(ω1(τj),ω2(τj)). (20)

    As μi(τj)=ωi(τj),i=1,2 and j=1,...,k, Eq (20) can be simplified as

    ei(τj)=[d2μi(τj)dτ2d2ωi(τj)dτ2]+δiτj[dμi(τj)dτdωi(τj)dτ], (21)

    Hence, by using (19) in (21), we can conclude that

    ei(τj)=O(Λ4), (22)

    and for j = 0, we have

    ei(τ0)=i(τ0)(1+δi)d2ωi(τ0)dτ2i(ω1(τ0),ω2(τ0))=(1+δi)d2μi(τ0)dτ2+i(μ1(τ0),μ2(τ0))(1+δi)d2ωi(τ0)dτ2i(ω1(τ0),ω2(τ0). (23)

    As μi(τ0)=ωi(τ0),i=1,2, Eq (23) can be simplified as

    ei(τj)=(1+δi)[d2μi(τ0)dτ2d2ωi(τ0)dτ2]. (24)

    Hence, by using (19) in (24), we find

    ei(τ0)=O(Λ4). (25)

    In light of (22) and (25), it can be deduced that the truncation error for the Lane-Emden system is of the order O(Λ4).

    In this section, five test problems are considered to demonstrate the accuracy and applicability of QBSM. Additionally, the obtained numerical results corresponding to the considered system have been compared with those achieved previously [4,8,37]. Note that, in our calculations, "En" means 10n.

    The absolute error (Absi) and L error are defined by

    Absi=|ωi(τj)μi(τj)|,i=1,2,
    Li(k)=max0jk|ωi(τj)μi(τj)|,i=1,2,

    where ωi(τ) and μi(τ) represent the exact and QBSM solutions at the grid point τj, respectively. Moreover, the order of convergence (OC) of the method is computed by applying the following formula:

    OCi=log2(Li(k)Li(2k)),i=1,2.

    Problem 1. Consider the following system

    d2ω1(τ)dτ2+3τdω1(τ)dτ4(ω1(τ)+ω2(τ))=0, (26)

    subject to

    ω1(0)=1,ω'1(0)=0,
    ω2(0)=1,ω'2(0)=0. (27)

    The exact solution for this system is ω1(τ)=1+τ2,ω2(τ)=1τ2.

    We apply the proposed QBSM to solve this problem for Λ=0.1. Table 2 presents the exact and approximate solutions at the grid points. It is worth mentioning that, for this problem, the outcomes are exact and the errors are only incurred caused by round-off errors in computational processes.

    Table 2.  Absolute errors of Problem 1.
    τ ω1(τ) μ1(τ)(Λ=0.1) Abs1 ω2(τ) μ2(τ)(Λ=0.1) Abs2
    0.0 1 1 1.11E16 1 1 0
    0.1 1.01 1.01 2.22E16 0.99 0.99 0
    0.2 1.04 1.04 2.22E16 0.96 0.96 1.11E16
    0.3 1.09 1.09 2.22E16 0.91 0.91 1.11E16
    0.4 1.16 1.16 2.22E16 0.84 0.84 1.11E16
    0.5 1.25 1.25 0 0.75 0.75 0
    0.6 1.36 1.36 2.22E16 0.64 0.64 1.11E16
    0.7 1.49 1.49 0 0.51 0.51 2.22E16
    0.8 1.61 1.61 2.22E16 0.36 0.36 2.77E16
    0.9 1.81 1.81 2.22E16 0.19 0.19 3.33E16
    1.0 2 2 0 0 5.64E16 3.84E16

     | Show Table
    DownLoad: CSV

    Problem 2. Consider the following system

    ω''1(τ)+2τω'1(τ)(4τ2+6)ω1(τ)+ω2(τ)=τ4τ3,
    ω''2(τ)+8τω'2(τ)+ω1(τ)+τω2(τ)=eτ2+τ5τ4+44τ230τ, (28)

    subject to

    ω1(0)=1,ω'1(0)=0,
    ω2(0)=0,ω'2(0)=0. (29)

    The exact solution of this system is

    ω1(τ)=eτ2,ω2(τ)=τ4τ3.

    We apply the proposed QBSM to solve this problem for Λ=0.1,0.01. The logarithmic plots of absolute errors for various values of k are depicted in Figure 1, which exhibits that if the value of k is increased, the error decreases. The absolute errors obtained by QBSM are given in Tables 3 and 4 along with those obtained by CBSM [8] and Chebyshev operational matrix method (COMM) [4]. Comparison reveals that QBSM yields more accurate solutions than the methods in [4,8]. The outcomes of Li(k) errors are listed using k=16,32,64, and 128. In addition, the OCi,i=1,2, are computed and the results are tabulated in Table 5. It can be observed that the achieved OCi,i=1,2, is four. The method's computational time (CPU time) is reported in the same Table, which confirms that the QBSM is computationally effective.

    Figure 1.  Logarithmic plots of absolute errors for Problem 2.
    Table 3.  Absolute errors for approximate solution of ω1(τ) in Problem 2.
    τ CBSM [8] COMM [4] QBSM
    Λ=0.1 Λ=0.01 n=5 n=6 n=8 Λ=0.1 Λ=0.01
    0.0 0 0 8.00E9 5.00E10 0 0 0
    0.1 3.39E5 1.72E7 ---- ---- ---- 5.98E8 2.88E12
    0.2 9.52E5 7.17E7 2.38E5 1.35E7 1.02E7 1.58E7 1.23E11
    0.3 2.02E4 1.76E6 ---- ---- ---- 3.45E7 3.09E11
    0.4 3.81E4 3.51E6 1.26E4 6.90E6 2.61E7 6.78E7 6.39E11
    0.5 6.72E4 6.35E6 ---- ---- ---- 1.24E6 1.21E10
    0.6 1.14E3 1.09E5 2.09E4 3.05E5 4.71E7 2.20E6 2.17E10
    0.7 1.87E3 1.81E5 ---- ---- ---- 3.78E6 3.77E10
    0.8 3.04E3 2.96E5 6.88E3 1.02E4 9.09E7 6.44E6 6.47E10
    0.9 4.90E3 4.78E5 ---- ---- ---- 1.08E5 1.10E9
    1.0 7.89E3 7.71E5 3.14E2 6.11E4 1.97E4 1.84E5 1.86E9

     | Show Table
    DownLoad: CSV
    Table 4.  Absolute errors for approximate solution of ω2(τ) in Problem 2.
    τ CBSM [8] COMM [4] QBSM
    Λ=0.1 Λ=0.01 n=5 n=6 n=8 Λ=0.1 Λ=0.01
    0.0 6.00E31 0 0 0 0 7.23E21 2.82E23
    0.1 4.67E5 1.13E7 ---- ---- ---- 1.53E11 6.59E16
    0.2 6.21E5 4.46E7 4.36E8 1.89E10 1.22E10 1.76E10 1.07E14
    0.3 1.20E4 9.98E7 ---- ---- ---- 7.45E10 5.78E14
    0.4 1.99E4 1.77E6 3.43E7 3.58E8 3.99E10 2.31E9 2.00E13
    0.5 2.95E4 2.74E6 ---- ---- ---- 5.97E9 5.47E13
    0.6 4.12E4 3.92E6 7.70E6 1.02E7 1.38E9 1.37E8 1.30E12
    0.7 5.47E4 5.27E6 ---- ---- ---- 2.91E8 2.82E12
    0.8 6.96E4 6.77E6 6.20E6 2.59E7 4.55E9 5.85E8 5.75E12
    0.9 8.53E4 8.36E6 ---- ---- ---- 1.13E7 1.12E11
    1.0 1.01E3 9.96E6 4.19E5 7.22E6 1.68E7 2.12E7 2.12E11

     | Show Table
    DownLoad: CSV
    Table 5.  The outcomes of Li(k) errors, the OCi, and CPU times, in Problem 2 using various k.
    k L1(k) OC1 L2(k) OC2 CPU (s)
    8 4.493×105 5.149×107 0.0156
    16 2.825×106 3.991 3.234×108 3.993 0.0312
    32 1.771×107 3.996 2.022×109 3.999 0.0312
    64 1.108×108 3.999 1.263×1010 3.999 0.0625
    128 6.927×1010 3.999 7.899×1012 3.999 0.1406

     | Show Table
    DownLoad: CSV

    Problem 3. Consider the following system

    ω''1(τ)+5τω'1(τ)+8(eω1(τ)+2eω2(τ)2)=0,ω''2(τ)+3τω'2(τ)8(eω1(τ)2+eω2(τ))=0, (30)

    subject to

    ω1(0)=12ln(2),ω'1(0)=0,ω2(0)=1+2ln(2),ω'2(0)=0, (31)

    where the exact solution is

    ω1(τ)=12ln(τ2+2),ω2(τ)=1+2ln(τ2+2).

    We apply the proposed QBSM to obtain the approximate solutions to this problem for Λ=0.1,0.01. Absolute errors of QBSM for Λ=0.1,0.01 are listed in Tables 5 and 6, respectively, along with those obtained by the CBSM [8]. From these tables, it can be observed that QBSM provides lesser error than CBSM. The logarithmic plots of absolute errors for various values of k are depicted in Figure 2. The outcomes of Li(k) errors are listed using k=16,32,64, and 128. In addition, the OCi,i=1,2, are computed and the results are tabulated in Tables 7 and 8. The table show that the achieved OCi,i=1,2, is four. The method's CPU time is reported in the same table, which confirms that the QBSM is computationally effective.

    Table 6.  Absolute errors for approximate solution of ω1(τ) in Problem 3.
    τ CBSM [8] QBSM
    Λ=0.1 Λ=0.01 Λ=0.1 Λ=0.01
    0.0 2.22E16 2.22E16 2.22E16 2.22E16
    0.1 1.29E5 4.14E8 2.47E8 6.75E13
    0.2 2.12E5 1.53E7 2.99E8 2.34E12
    0.3 3.50E5 3.08E7 4.56E8 4.19E12
    0.4 5.03E5 4.67E7 5.18E8 5.24E12
    0.5 6.18E5 5.92E7 4.21E8 4.80E12
    0.6 6.68E5 6.51E7 1.58E8 2.59E12
    0.7 6.36E5 6.26E7 2.47E8 1.13E12
    0.8 5.16E5 5.13E7 7.33E8 5.82E12
    0.9 3.16E5 3.18E7 1.24E7 1.08E11
    1.0 5.10E6 5.70E8 1.68E7 1.54E11

     | Show Table
    DownLoad: CSV
    Figure 2.  Logarithmic plots of absolute errors for Problem 3.
    Table 7.  Absolute errors for approximate solution of ω2(τ) in Problem 3.
    τ CBSM [8] QBSM
    Λ=0.1 Λ=0.01 Λ=0.1 Λ=0.01
    0.0 2.22E16 2.22E16 2.22E16 2.22E16
    0.1 1.48E5 6.21E8 2.79E8 1.02E12
    0.2 3.18E5 2.33E7 4.86E8 3.60E12
    0.3 5.42E5 4.75E7 7.42E8 6.64E12
    0.4 7.94E5 7.39E7 9.19E8 8.83E12
    0.5 1.02E4 9.71E7 8.89E8 9.10E12
    0.6 1.16E4 1.12E6 6.21E8 6.95E12
    0.7 1.20E4 1.17E6 1.28E8 2.51E12
    0.8 1.12E4 1.10E6 5.23E8 3.64E12
    0.9 9.26E5 9.13E7 1.26E7 1.07E11
    1.0 6.27E5 6.21E7 1.97E7 1.79E11

     | Show Table
    DownLoad: CSV
    Table 8.  The outcomes of Li errors, the OCi, and CPU times, in Problem 3 using various k.
    k L1(k) OC1 L2(k) OC2 CPU (s)
    8 4.299×107 5.072×107 0.0156
    16 2.439×108 4.139 2.842×108 4.157 0.0312
    32 1.484×109 4.038 1.724×109 4.042 0.0312
    64 9.215×1011 4.009 1.069×1010 4.011 0.0625
    128 5.746×1012 4.003 6.643×1012 4.009 0.1406

     | Show Table
    DownLoad: CSV

    Problem 4. Consider the following system of LEE

    ω''1(τ)+1τω'1(τ)ω32(τ)(ω21+1)=0,ω''2(τ)+3τω'2(τ)+ω52(τ)(ω21+3)=0, (32)

    subject to

    ω1(0)=1,ω'1(0)=0,
    ω2(0)=1,ω'2(0)=0, (33)

    where the exact solution is given by ω1(τ)=1+τ2,ω2(τ)=11+τ2. We solve this system using the proposed QBSM for Λ=0.1,0.01. Absolute errors obtained by QBSM for Λ=0.1,0.01 are given in Tables 9 and 10, along with the errors obtained by the CBSM [8] and COMM [4]. From these tables, it seems that the errors of QBSM are less than the errors of CBSM and COMM. The logarithmic graphs of absolute errors for different values of n are presented in Figure 3. The outcomes of Li(k) errors are listed using k=16,32,64, and 128. In addition, the OCi,i=1,2, are computed and the results are tabulated in Table 11. The table show that the achieved OCi,i=1,2, is four. The method's CPU time is reported in the same table, which confirms that the QBSM is computationally effective.

    Table 9.  Absolute errors for approximate solution of ω1(τ) in Problem 4.
    τ CBSM [8] COMM [4] QBSM
    Λ=0.1=0.01 Λ=0.1=0.01 n=4 n=5 n=6 Λ=0.1 Λ=0.01
    0.0 0 0 0 0 0 0 0
    0.1 3.39E5 1.72E7 ---- ---- ---- 2.61E8 1.51E12
    0.2 9.52E5 7.17E7 5.09E4 5.65E5 7.56E6 6.61E8 5.11E12
    0.3 2.02E4 1.76E6 ---- ---- ---- 1.02E7 8.86E12
    0.4 3.81E4 3.51E6 6.28E4 2.16E5 8.65E6 1.20E7 1.09E11
    0.5 6.72E4 6.35E6 ---- ---- ---- 1.13E7 1.06E11
    0.6 1.14E3 1.09E5 2.77E4 5.57E6 4.56E6 8.93E8 8.35E12
    0.7 1.87E3 1.81E5 ---- ---- ---- 6.00E8 5.27E12
    0.8 3.04E3 2.96E5 2.72E4 7.38E5 7.71E6 3.81E8 2.61E12
    0.9 4.90E3 4.78E5 ---- ---- ---- 3.24E8 1.32E12
    1.0 7.89E3 7.71E5 6.44E4 7.46E5 6.56E6 4.80E8 1.96E12

     | Show Table
    DownLoad: CSV
    Table 10.  Absolute errors for approximate solution of ω2(τ) in Problem 4.
    τ CBSM [8] COMM [4] QBSM
    Λ=0.1 Λ=0.01 n=4 n=5 n=6 Λ=0.1 Λ=0.01
    0.0 6.00E31 0 0 0 0 0 2.22E16
    0.1 4.67E5 1.13E7 ---- ---- ---- 1.06E7 3.61E12
    0.2 6.21E5 4.46E7 1.03E4 1.65E5 6.59E6 1.42E7 1.08E11
    0.3 1.20E4 9.98E7 ---- ---- ---- 1.39E7 1.42E11
    0.4 1.99E4 1.77E6 2.27E4 1.51E5 7.65E6 5.25E8 8.72E12
    0.5 2.95E4 2.74E6 ---- ---- ---- 1.13E7 5.17E12
    0.6 4.12E4 3.92E6 1.00E4 1.66E5 9.63E6 3.03E7 2.31E11
    0.7 5.47E4 5.27E6 ---- ---- ---- 4.70E7 4.00E11
    0.8 6.96E4 6.77E6 6.92E4 1.67E5 8.65E6 5.81E7 5.22E11
    0.9 8.53E4 8.36E6 ---- ---- ---- 6.27E7 5.85E11
    1.0 1.01E3 9.96E6 2.62E4 6.08E5 6.53E7 6.16E7 5.91E11

     | Show Table
    DownLoad: CSV
    Figure 3.  Logarithmic plots of absolute errors for Problem 4.
    Table 11.  The outcomes of Li errors, the OCi, and CPU times, in Problem 4 using various k.
    k L1(k) OC1 L2(k) OC2 CPU (s)
    8 2.961×107 1.583×106 0.0156
    16 1.766×108 4.067 9.263×108 4.095 0.0312
    32 1.073×109 4.040 5.697×109 4.023 0.0312
    64 6.638×1011 4.015 3.547×1010 4.005 0.0468
    128 4.132×1012 4.005 2.216×1011 4.000 0.1250

     | Show Table
    DownLoad: CSV

    Problem 5. Consider the following system of LEE

    ω''1(τ)+8τω'1(τ)+(18ω1(τ)4ω1(τ)lnω2(τ))=0,ω''2(τ)+4τω'2(τ)+(4ω2(τ)lnω1(τ)10ω2(τ))=0 (34)

    subject to

    ω1(0)=1,ω'1(0)=0,ω2(0)=1,ω'2(0)=0. (35)

    The exact solution for this system is

    ω1(τ)=eτ2,ω2(τ)=eτ2.

    We solve this system using the proposed QBSM for Λ=0.1,0.01. Absolute errors obtained by QBSM for Λ=0.1,0.01 are tabulated in Tables 12 and 13, along with the errors reported in CBSM [8] and Dickson operational matrix (DOM) [37]. We note that QBSM yields results more accurate than those obtained in [8,37]. The logarithmic graphs of absolute errors for different values of k are displayed in Figure 4. The outcomes of Li(k) errors are listed using k=16,32,64, and 128. In addition, the OCi,i=1,2, are computed and the results are tabulated in Table 14. The table show that the achieved OCi,i=1,2, is four. The method's CPU time is reported in the same Table, which confirms that the QBSM is computationally effective.

    Table 12.  Absolute errors for approximate solution of ω1(τ) in Problem 5.
    τ CBSM [8] DOM [37] QBSM
    Λ=0.1 Λ=0.01 n=8 n=10 Λ=0.1 Λ=0.01
    0.0 0 0 ---- ---- 1.11E16 0
    0.1 3.39E5 1.72E7 5.84E8 1.17E9 4.43E8 9.12E13
    0.2 9.52E5 7.17E7 1.04E7 1.67E9 3.81E8 3.23E12
    0.3 2.02E4 1.76E6 2.21E7 2.17E10 7.01E8 5.97E12
    0.4 3.81E4 3.51E6 1.37E7 2.91E9 7.71E8 7.78E12
    0.5 6.72E4 6.35E6 3.18E7 2.17E9 6.38E8 7.30E12
    0.6 1.14E3 1.09E5 2.59E7 1.59E9 1.82E8 3.54E12
    0.7 1.87E3 1.81E5 3.00E7 3.33E9 6.32E8 3.91E12
    0.8 3.04E3 2.96E5 2.41E7 1.16E9 1.75E7 1.47E11
    0.9 4.90E3 4.78E5 2.77E7 3.21E11 3.10E7 2.79E11
    1.0 7.89E3 7.71E5 5.95E7 2.19E10 4.47E7 4.22E11

     | Show Table
    DownLoad: CSV
    Table 13.  Absolute errors for approximate solution of ω2(τ) in Problem 5.
    τ CBSM [8] DOM [37] QBSM
    Λ=0.1 Λ=0.01 n=8 n=10 Λ=0.1 Λ=0.01
    0.0 6.00E31 0 ---- ---- 0 0
    0.1 4.67E5 1.13E7 3.30E7 1.27E8 5.14E8 1.74E12
    0.2 6.21E5 4.46E7 1.18E6 1.28E8 1.01E7 7.50E12
    0.3 1.20E4 9.98E7 1.14E6 6.24E9 2.24E7 1.93E11
    0.4 1.99E4 1.77E6 1.69E6 3.15E8 4.50E7 4.11E11
    0.5 2.95E4 2.74E6 1.44E6 1.35E8 8.44E7 7.97E11
    0.6 4.12E4 3.92E6 2.46E6 2.31E8 1.53E6 1.47E10
    0.7 5.47E4 5.27E6 1.17E6 3.51E8 2.69E6 2.63E10
    0.8 6.96E4 6.77E6 1.87E6 9.14E9 4.68E6 4.61E10
    0.9 8.53E4 8.36E6 2.20E6 7.33E10 7.99E6 7.99E10
    1.0 1.01E3 9.96E6 3.36E7 2.57E9 1.39E5 1.38E9

     | Show Table
    DownLoad: CSV
    Figure 4.  Logarithmic plots of absolute errors for Problem 5.
    Table 14.  The outcomes of Li errors, the OCi, and CPU times, in Problem 5 using various k.
    k L1(k) OC1 L2(k) OC2 CPU (s)
    8 1.120×106 3.416×105 0.0156
    16 6.588×108 4.088 2.106×106 4.019 0.0312
    32 4.044×109 4.025 1.314×107 4.002 0.0312
    64 2.515×1010 4.006 8.213×109 4.000 0.0468
    128 1.570×1011 4.001 5.133×1010 4.000 0.1250

     | Show Table
    DownLoad: CSV

    As can be observed from the above tables, the proposed QBSM is fourth-order accurate and the practical convergence order aligns consistently with the theoretical convergence order obtained in the previous section.

    In this study, we have established a numerical method for solving systems of Lane-Emden equations. The QBSM has been constructed using quintic B-spline functions on the uniform mesh. We investigate the convergence analysis of the QBSM and found it exhibited fourth-order convergence. To strengthen the significance of the QBSM method and validate theoretical results, we examined five test problems. We have presented tabular and graphical exhibitions to confirm the effectiveness of QBSM. Notably, the numerical solutions of QBSM are in good agreement with the exact ones, and their accuracy improves as the step sizes decrease. Moreover, we compared the QBSM with other numerical methods such as CBSM, DOM, and COMM, and the comparison exposed that the QBSM produces more accurate numerical results than the other methods. In conclusion, the method is computationally efficient, accurate, robust, easy to address the singularity, and, therefore, it can be employed to solve different classes of nonlinear singular differential equations.

    The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors declare no conflicts of interest.



    [1] J. Sun, J. Zhang, L. Liu, Q. Shan, J. X. Zhang, Event-triggered consensus control of linear multi-agent systems under intermittent communication, J. Franklin Inst., 361 (2024), 106650. https://doi.org/10.1016/j.jfranklin.2024.106650 doi: 10.1016/j.jfranklin.2024.106650
    [2] A. Amirkhani, A. H. Barshooi, Consensus in multi-agent systems: a review, Artif. Intell. Rev., 55 (2022), 3897–3935. https://doi.org/10.1007/s10462-021-10097-x doi: 10.1007/s10462-021-10097-x
    [3] J. Sun, J. Zhang, L. Liu, Y. Wu, Q. Shan, Output consensus control of multi-agent systems with switching networks and incomplete leader measurement, IEEE Trans. Autom. Sci. Eng., 21 (2024), 6643–6652. https://doi.org/10.1109/TASE.2023.3328897 doi: 10.1109/TASE.2023.3328897
    [4] S. Liang, F. Wang, Z. Liu, Z. Chen, Necessary and sufficient conditions for leader–follower consensus of discrete-time multiagent systems with smart leader, IEEE Trans. Syst. Man Cybern.: Syst., 52 (2022), 2779–2788. https://doi.org/10.1109/TSMC.2021.3055578 doi: 10.1109/TSMC.2021.3055578
    [5] A. Jadbabaie, J. Lin, A. S. Morse, Coordination of groups of mobile autonomous agents using nearest neighbor rules, IEEE Trans. Autom. Control, 48 (2003), 988–1001. https://doi.org/10.1109/TAC.2003.812781 doi: 10.1109/TAC.2003.812781
    [6] R. Olfati-Saber, R. Murray, Consensus problems in networks of agents with switching topology and time-delays, IEEE Trans. Autom. Control, 49 (2004), 1520–1533. https://doi.org/10.1109/TAC.2004.834113 doi: 10.1109/TAC.2004.834113
    [7] W. Ren, R. W. Beard, Consensus seeking in multi-agent systems under dynamically changing interaction topologies, IEEE Trans. Autom. Control, 50 (2005), 655–661. https://doi.org/10.1109/TAC.2005.846556 doi: 10.1109/TAC.2005.846556
    [8] W. Ni, D. Z. Cheng, Leader-following consensus of multi-agent systems under fixed and switching topologies, Syst. Control Lett., 59 (2010), 209–217. https://doi.org/10.1016/j.sysconle.2010.01.006 doi: 10.1016/j.sysconle.2010.01.006
    [9] J. H. Qin, C. B. Yu, H. J. Gao, Coordination for linear multiagent systems with dynamic interaction topology in the leader-following framework, IEEE Trans. Ind. Electron., 61 (2014), 2412–2422. https://doi.org/10.1109/TIE.2013.2273480 doi: 10.1109/TIE.2013.2273480
    [10] D. Yang, Q. Zhang, B. Yao, Singular system, Beijing: Science Press, 2004.
    [11] Y. Mu, H. Zhang, Y. Zhou, L. Yang, A new method of fault estimation observer design for T-S fuzzy singular systems with disturbances using dissipativity theory, IEEE Trans. Circ. Syst. II Express Briefs, 69 (2022), 5059–5063. https://doi.org/10.1109/TCSII.2022.3202980 doi: 10.1109/TCSII.2022.3202980
    [12] E. Jafari, T. Binazadeh, Robust output regulation in discrete-time singular systems with actuator saturation and uncertainties, IEEE Trans. Circ. Syst. II Express Briefs, 67 (2020), 340–344. https://doi.org/10.1109/TCSII.2019.2908500 doi: 10.1109/TCSII.2019.2908500
    [13] J. Li, Y. Zhang, Z. Jin, Distributed cooperative control of singular multi agent systems based on fuzzy logic approach, Int. J. Fuzzy Syst., 19 (2023), 9709–9729. https://doi.org/10.1007/s40815-023-01607-w doi: 10.1007/s40815-023-01607-w
    [14] Y. Mu, H. Zhang, Y. Yan, Z. Wu, A design framework of nonlinear H PD observer for one-sided Lipschitz singular systems with disturbances, IEEE Trans. Circ. Syst. II Express Briefs, 69 (2022), 3304–3308. https://doi.org/10.1109/TCSII.2022.3166677 doi: 10.1109/TCSII.2022.3166677
    [15] A. Ailon, Disturbance decoupling with stability and impulse-free response in singular systems, Syst. Control Let., 19 (1992), 401–411. https://doi.org/10.1016/0167-6911(92)90090-F doi: 10.1016/0167-6911(92)90090-F
    [16] X. R. Yang, G. P. Liu, Necessary and sufficient consensus conditions of descriptor multi-agent systems, IEEE Trans. Circ. Syst. I: Regular Papers, 59 (2012), 2669–2677. https://doi.org/10.1109/TCSI.2012.2190663 doi: 10.1109/TCSI.2012.2190663
    [17] J. Ren, Q. Song, Y. B. Gao, M. Zhao, G. P. Lu, Leader-following consensus of nonlinear singular multi-agent systems under signed digraph, Int. J. Syst. Sci., 52 (2021), 277–290. https://doi.org/10.1080/00207721.2020.1825873 doi: 10.1080/00207721.2020.1825873
    [18] T. Y. Liu, A. D. Sheng, C. Q. Ma, G. Q. Qi, Y. Y. Li, Consensus tracking for singular multi-agent systems with Lipschitz nonlinear dynamics and external disturbances, Int. J. Robust Nonlin., 32 (2022), 4899–4922. https://doi.org/10.1002/rnc.6060 doi: 10.1002/rnc.6060
    [19] J. Xi, Y. Yu, G. Liu, Y. S. Sheng, Guaranteed-cost consensus for singular multi-agent systems with switching topologies, IEEE Trans. Circuits Syst. I: Regular Papers, 61 (2014), 1531–1542. https://doi.org/10.1109/TCSI.2013.2289399 doi: 10.1109/TCSI.2013.2289399
    [20] S. Wang, J. Huang, Cooperative output regulation of singular multi-agent systems under switching network by standard reduction, IEEE Trans. Circ. Syst. I: Regular Papers, 65 (2018), 1377–1385. https://doi.org/10.1109/TCSI.2017.2755686 doi: 10.1109/TCSI.2017.2755686
    [21] J. Li, Z. Jin, Y. Zhang, Optimal output agreement for T-S fuzzy multi-agent systems: an adaptive distributed approach, Int. J. Fuzzy Syst., 25 (2023), 2453–2463. https://doi.org/10.1007/s40815-023-01493-2 doi: 10.1007/s40815-023-01493-2
    [22] J. Sun, H. Lei, J. Zhang, L. Liu, Q. Shan, Adaptive consensus control of multiagent systems with an unstable high-dimensional leader and switching topologies, IEEE Trans. Ind. Inform., 20 (2024), 10946–10953. https://doi.org/10.1109/TII.2024.3395661 doi: 10.1109/TII.2024.3395661
    [23] X. Jiang, G. Xia, Z. Feng, Guaranteed-performance consensus tracking of singular multi-agent systems with Lipschitz nonlinear dynamics and switching topologies, Int. J. Robust Nonlinear Control, 29 (2019), 5227–5250. https://doi.org/10.1002/rnc.4670 doi: 10.1002/rnc.4670
    [24] T. Zheng, M. He, J. X. Xi, G. B. Liu, Leader-following guaranteed-performance consensus design for singular multi-agent systems with Lipschitz nonlinear dynamics, Neurocomputing, 266 (2017), 651–658. https://doi.org/10.1016/j.neucom.2017.05.073 doi: 10.1016/j.neucom.2017.05.073
    [25] K. Li, Y. Li, Fuzzy adaptive optimal consensus fault-tolerant control for stochastic nonlinear multiagent systems, IEEE Trans. Fuzzy Syst., 30 (2022), 2870–2885. https://doi.org/10.1109/TFUZZ.2021.3094716 doi: 10.1109/TFUZZ.2021.3094716
    [26] D. Chen, X. Liu, W. Yu, Finite-time fuzzy adaptive consensus for heterogeneous nonlinear multi-agent systems, IEEE Trans. Netw. Sci. Eng., 7 (2020), 3057–3066. https://doi.org/10.1109/TNSE.2020.3013528 doi: 10.1109/TNSE.2020.3013528
    [27] Y. Li, J. Zhang, S. Tong, Fuzzy adaptive optimized leader-following formation control for second-order stochastic multiagent systems, IEEE Trans. Industr. Inform., 18 (2022), 6026–6037. https://doi.org/10.1109/TII.2021.3133927 doi: 10.1109/TII.2021.3133927
    [28] S. Sui, H. Xu, S. Tong, C. L. P. Chen, Prescribed performance fuzzy adaptive output feedback control for nonlinear MIMO systems in a finite time, IEEE Trans. Fuzzy Syst., 30 (2022), 3633–3644. https://doi.org/10.1109/TFUZZ.2021.3119750 doi: 10.1109/TFUZZ.2021.3119750
    [29] J. H. Jiang, Y. Y. Jiang, Leader-following consensus of linear time-varying multi-agent systems under fixed and switching topologies, Automatica, 113 (2020), 108804. https://doi.org/10.1016/j.automatica.2020.108804 doi: 10.1016/j.automatica.2020.108804
    [30] L. An, G. H. Yang, Distributed optimal coordination for heterogeneous linear multiagent systems, IEEE Trans. Autom. Control, 67 (2022), 6850–6857. https://doi.org/10.1109/TAC.2021.3133269 doi: 10.1109/TAC.2021.3133269
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(754) PDF downloads(76) Cited by(0)

Figures and Tables

Figures(5)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog