1.
Introduction
Chaotic systems, which are a form of dynamic system, are extremely sensitive to initial conditions. Despite their natural predictability, chaotic systems are distinguished by their unpredictability and the perception of randomness. However, they have a broader range of applications in a variety of natural and artificial systems, including pattern recognition, biological systems, and secure communication. It should be emphasized that synchronization is a critical issue of study in all these systems. In the last two decades, a large number of works on the synchronization of chaotic systems have been published (for example, see [1,2,3,4,5,6]). The majority of these works describe chaotic systems in the Lur'e form, which includes both a linear and a nonlinear term that meets the sector-bound constraint. Such systems are frequently referred to as chaotic Lur'e systems. It should be pointed out that the master-slave paradigm is commonly used to synchronize chaotic Lur'e systems, with the goal of designing an adequate controller so that the slave system's output follows the master system's output [7,8,9,10,11,12]. Despite substantial research on the subject, strengthening the synchronization criterion by increasing the sampling period or time delay bound in the control design remains a point of contention, indicating that more research is needed.
To address the synchronization issues of chaotic Lur'e systems, numerous control techniques have been presented in the literature. One of the most difficult aspects of designing a synchronization controller is delivering signals over input channels with limited capacity, which is especially prevalent in digital computer control systems that apply finite-precision arithmetic. To overcome this issue, signal quantization has been implemented [13,14]; nevertheless, this cannot be directly addressed by classical control theory, as the signal transmission is accomplished with infinite precision. So research communities utilized the sector-bound approach [15,16], which is now widely employed to attenuate quantization effects by interpreting quantization error as nonlinearity or uncertainty and bounding it. Following these pioneering research, some significant challenges on synchronization of chaotic Lur'e systems with quantized feedback control techniques have been reported [17,18,19,20,21]. Interestingly, in [19], a quantized sampled-data controller design for delayed chaotic Lur'e systems has been proposed by presenting the extended Wirtinger-inequality-based Lyapunov approach, which results in a longer sampling period than some previous ones; and in [20], some improved synchronization conditions for delayed chaotic Lur'e systems with a quantized sampled-data controller have been obtained by developing a novel Lyapunov functional based on the auxiliary function-based integral inequality. As a result, considering the influence of quantization in controller design for achieving synchronization in chaotic Lur'e systems is practical and broadens the spectrum of applications.
One of the most important research areas in the field of systems and control theory in recent years has been the development of improved synchronization criteria for chaotic Lur'e systems. In order to achieve this goal, researchers developed and used a number of methodologies in addition to the Lyapunov stability theory. As a result, over the last decade, literature has seen an explosion of intriguing works on this subject (for example, see [22,23,24,25,26,27]). In [23], some improved sampled-data synchronization criteria for two identical chaotic Lur'e systems subject to aperiodic samplings have been derived by proposing an improved fragmentation strategy and employing the looped-functional technique. In [25], improved synchronization criteria for uncertain chaotic Lur'e systems with time-varying delay have been obtained by developing an appropriate Lyapunov-Krasovskii functional with triple and quadruple integral terms. By introducing the integral-term-related free-weighting-matrices approach and using the Bessel-Legendre inequality, improved and less conservative synchronization conditions for chaotic Lur'e systems have been provided in [27]. On the other hand, the delay-product-type Lyapunov functional technique, which is one of the important methods for improving the stability of time-varying delayed systems with delay rate information [28,29], has been widely used in recent years to support the goal of solving problems in a variety of time-varying delayed systems. A few significant works on this subject can be found in [30,31,32,33]. As a result, researchers have expressed an interest in applying this technique to improve synchronization criterion for chaotic Lur'e systems [34,35,36]. However, there is potential for future exploration in order to reduce conservatism in these works, which is the objective for conducting this research.
Motivated by the preceding descriptions, the goal of this research is to provide improved synchronization conditions for chaotic Lur'e systems with a quantized time-varying delay feedback controller. To summarize, the contributions of this paper to the achievement of this goal are as follows:
● A feedback controller that takes into account time-varying delay and quantization is designed to achieve synchronization in chaotic Lur'e systems, guaranteeing that the control system responds predictably and dependably.
● To reduce the conservatism of synchronization criteria for the considered system, an augmented Lyapunov-Krasovskii functional with quadratic, integral, and delay-product terms is employed in conjunction with a generalized free-weighting-matrix technique, an augmented zero equality, and a convex combination strategy.
● Chua's circuit model is utilized to demonstrate the relationship between quantization density and time-varying delay, as well as the superiority of the established synchronization criteria, implying that the results of this paper provide a larger delay bound than those reported previously, such as in [26,27,34,36].
This paper is briefly described as follows: The description of chaotic Lur'e systems and the design of quantized time-varying delay feedback controller is covered in Section 2. The asymptotic synchronization conditions for the addressed system are presented in Section 3. The validation of theoretical findings and the overall conclusion of this work are provided in Sections 4 and 5, respectively. Table 1 lists the notations used in this work together with their meanings for the sake of brevity.
2.
Problem formulation and preliminaries
This paper investigates a class of chaotic Lur'e systems, the dynamics of which are defined in the master-slave paradigm as follows:
where {x(t),ˆx(t)}∈Rn denote the state vectors of the master and slave systems; f(⋅):Rm→Rm is a diagonal nonlinearity vector in the feedback path of subsystems; u(t)∈Rn is the control input vector susceptible to the quantization effect; {y(t),ˆy(t)}∈Rp are the output vectors of the master and slave systems; A∈Rn×n, B∈Rn×m, G∈Rm×n, and C∈Rp×n are given matrices.
In this paper, it is assumed that G=col{gT1,gT2,…,gTm}, where gl∈Rn (l=1,2,…,m) and f(⋅) meets the following sector-bound condition:
where k−l,k+l∈R.
Remark 1. The arbitrary scalars k−l and k+l (l=1,2,…,m) in the nonlinear bound condition (2.2) can have any positive, negative, or zero value. The nonlinear bound conditions in [4,8,9,10,12,17,18,23,24] are achieved if the values of k−l (l=1,2,…,m) are considered to be zero. As a result, the condition (2.2) is clearly more generic than certain existing ones, which is preferable for minimizing the conservatism of the proposed results.
We now provide a time-varying delay feedback controller design that guarantees the asymptotic synchronization of the system under consideration (2.1). It should be mentioned that inaccurate signal transmission is an unavoidable technological challenge in information interchange, owing to practical constraints on the control channel's transmission capacity. As a result, signal quantization is important to consider while designing a controller. The design goal of a quantized controller is to simplify the control system by limiting the controller output to a finite set of discrete values. While this technique has benefits such as simplicity and robustness, it does have precision limitations that must be carefully examined during the design phase. In light of this, the following controller, which considers the influence of quantization, is utilized for (2.1):
where Q(⋅)=[Q1(⋅),Q2(⋅),…,Qp(⋅)]T is the logarithmic quantizer; K∈Rn×p is the control gain to be determined and h(t) is a time-varying delay that is assumed to satisfy 0≤h(t)≤hM and μ1≤˙h(t)≤μ2<1, where hM and μa (a=1,2) are given scalars.
The logarithmic quantizer Q(⋅) is assumed to be symmetric with Qj(ϖ)=−Qj(−ϖ) (j=1,2,…,p) throughout this paper, and the quantization levels are explored for each logarithmic quantizer as: Qj={±λjq:λjq=(σj)qλj0, q=0,±1,±2,…}∪{0}, where λj0>0 and σj∈(0,1) (j=1,2,…,p) are the scaling parameter and quantization density of the j-th quantizer, respectively. The corresponding j-th quantizer Qj(ϖ) is defined as follows:
where ρj=1−σj1+σj∈(0,1). As a result, the following conclusion is straightforward:
Using the sector bound approach in [15] and the above constraints, the j-th quantizer is represented as Qj(ϖ)=(1+Δj)ϖ, where Δj∈[−ρj,ρj]. Furthermore, by defining ˜Δ=diag{Δ1,Δ2,…,Δp}, the controller (2.3) is rewritten as
By considering the synchronization error vector as e(t)=x(t)−ˆx(t), the following error dynamics can be obtained:
where φ(Ge(t))=f(Gx(t))−f(Gˆx(t)).
Let gTl represent the l-th row vector of the matrix G. The following is then derived from (2.2):
To accomplish the goal of this study, the following section uses the Lyapunov-Krasovskii stability theory and the lemma given below.
Lemma 1. [37] For any matrices {X,Y} of appropriate dimensions and Q∈Sn+, the following inequality holds for all continuously differentiable function {x(t)∈Rn:t∈[a1,a2]}:
where η0 is any vector, θ1=∫a2a1x(v)dv and θ2=−θ1+2a2−a1∫a2a1∫a2wx(v)dvdw.
3.
Main results
The required synchronization criteria are developed and stated as linear matrix inequalities in this section. Consider the augmented vector and notations listed below for ease of representation:
Furthermore, the desired synchronization analysis is divided into two portions based on the proposed control law (2.4): (ⅰ) Without quantization effect and (ⅱ) with quantization effect. To begin, consider the following error system derived from (2.5) by ignoring the quantization impact:
Let us establish the asymptotic stability criterion for (3.1) in the following theorem, which assures the desired synchronization of (2.1) via the proposed controller (2.4) without the quantization influence.
Theorem 1. Given scalars γ>0, hM>0, and μ1≤μ2<1, the error system (3.1) is asymptotically stable if there are matrices P∈S7n+, Qa∈S6n+, Q3∈S3n+, Ra∈S4n+, H1=diag{α1,α2,…,αm}∈Dm+, H2=diag{β1,β2,…,βm}∈Dm+, H3∈Dm+, Na∈S2n, {Xa,Ya}∈R(12n+m)×3n, L∈Rn×n, U∈Rn×m, and W∈R(12n+m)×2n (a=1,2) such that the requirements listed below hold for ˙h(t)∈{μ1,μ2}:
where
Based on the foregoing results, the proposed control gain is calculated using the equation K=L−1U.
Proof. Select an augmented Lyapunov-Krasovskii functional candidate with delay-product terms for the error system (3.1), as indicated below:
where
with
Then, the results of ˙Vτ(e(t)) (τ=1,2,3,4,5) are presented below:
In addition, a zero equality is added to ˙V3(e(t)), as shown below:
where Na∈S2n (a=1,2). As a result, ˙V3(e(t)) is written as follows:
The integral terms involving QNa (a=1,2) in (3.11) are bounded using Lemma 1 as follows:
where Xa, Ya, Θa(h(t)) (a=1,2), and η0 are defined in the theorem statement.
Consider the following inequality, which is obtained from (2.6), for any H3∈Dm+:
On the other hand, a zero equation based on (3.1) is taken into consideration as follows:
where L∈Rn×n, U=LK, and γ>0 is a given scalar. Furthermore, a zero equality is considered using the elements of the augmented vector ξ(t) as follows:
where W∈R(12n+m)×2n.
Using (3.4)–(3.16), the following bound is obtained:
where
Following that, ˉΦ(h(t),˙h(t)) can be expressed as matrices in (3.2) and (3.3) using the Schur complement and convex combination approach for h(t)∈[0,hM] and ˙h(t)∈[μ1,μ2]. Then, the system (3.1) can be guaranteed to be asymptotically stable as a result of the inequalities (3.2) and (3.3). □
The following theorem extends Theorem 1 by including the quantization influence in the proposed control law.
Theorem 2. Given scalars γ>0, hM>0, and μ1≤μ2<1, the error system :(2.5): is asymptotically stable if there are matrices P∈S7n+, Qa∈S6n+, Q3∈S3n+, Ra∈S4n+, H1=diag{α1,α2,…,αm}∈Dm+, H2=diag{β1,β2,…,βm}∈Dm+, H3∈Dm+, Na∈S2n, {Xa,Ya}∈R(12n+m)×3n, L∈Rn×n, U∈Rn×m, W∈R(12n+m)×2n (a=1,2) and scalar ε>0 such that the requirements listed below hold for ˙h(t)∈{μ1,μ2}:
where ˆΦ(h(t),˙h(t))=Φ(h(t),˙h(t))+εϑ2CT˜ΩCϑT2 with ˜Ω=diag{ρ21,ρ22,…,ρ2p}, and the definition of Φ(h(t),˙h(t)) is the same as in Theorem 1. Furthermore, the proposed control gain is calculated using the equation K=L−1U.
Proof. The outcomes of this Theorem ((3.18) and (3.19)) are clearly an extended version of the results of Theorem 1. To complete the proof, consider the steps from (3.4)–(3.16) but use the following zero equation instead of (3.15):
Using the knowledge that ±2ψT1ψ2≤δ−1ψT1ψ1+δψT2ψ2, where ψa∈Rn (a=1,2) and δ>0, the following term has a bound as
where ε>0 and ˜Ω is defined in the theorem statement.
As a result, the new bound for ˙V(e(t)) is given by (3.20) and (3.21) as follows:
where ˉΦ(h(t),˙h(t)) is specified in (3.17). The matrices (3.18) and (3.19) are then obtained by applying the Schur complement and convex combination technique to (3.22), as in the prior theorem proof. □
Remark 2. This paper uses the delay-product-type Lyapunov-Krasovskii functional (3.4), which consists of several augmented vectors in the quadratic, integral, and delay-product terms, to establish the desired synchronization criteria for chaotic Lur'e systems (2.1). When compared to the works [34] and [36], the novelty of (3.4) can be stated as follows: The integral terms in this paper include augmented vectors like ∫tsζ(v)dv, ∫st−h(t)ζ(v)dv, ∫t−h(t)sζ(v)dv, ∫st−hMζ(v)dv, where ζ(v)=col{e(v),˙e(v)}, whereas the integral terms in [34] and [36] contained vectors like ∫ts˙e(v)dv, ∫st−h(t)˙e(v)dv, ∫t−h(t)s˙e(v)dv, ∫st−hM˙e(v)dv and ∫tse(v)dv, ∫st−h(t)e(v)dv, ∫t−h(t)se(v)dv, ∫st−hMe(v)dv, respectively. To summarize, certain cross-terms exist in the obtained findings as a result of the augmented vectors in the integral terms, which leads to a reduction in the conservatism of the proposed synchronization criteria.
Remark 3. It should be noted that Lemma 1 proposed in [37] is used in Theorems 1 and 2 to achieve the required synchronization criteria. Despite the fact that this lemma increases computing complexity, it is possible to lower it without sacrificing actual results by suitably modifying any vector η0 based on the system parameter values chosen for the feasibility test. Given this, a suitable vector η0, as opposed to η0=[ϑ1,ϑ2,…,ϑ13] in the results of Theorems 1 and 2, is explored for the numerical example in the next section.
4.
A numerical example
The theoretical findings from the previous section are effectively validated in this section using a numerical example with simulation results.
Consider the well-known Chua's circuit model, the dynamics of which are shown below [3,25,26,27,34,36,38]:
with ϕ(x1(t))=m1x1(t)+0.5(m0−m1)(|x1(t)+1|−|x1(t)−1|), where α=9, β=14.28, m0=−1/7, and m1=2/7. The preceding dynamics can be represented as (2.1) with the following parameters:
Based on these values and the initial condition x(0)=[−0.2,−0.33,0.2]T, Figure 1 depicts the responses of the master system, illustrating that the system states move chaotically. Let us look at the simulation results in two scenarios with respect to the proposed control law (2.4), which are as follows:
Case 1. (With quantization effect): Choose μ1=−0.4, μ2=0.4, and γ=0.6. Furthermore, consider η0=[ϑ1,ϑ2,ϑ3,ϑ4,ϑ7,ϑ9,ϑ10,ϑ11,ϑ12] rather than η0=[ϑ1,ϑ2,…,ϑ13] because both scenarios produce the identical results, which are found using the trial and error method. Then, the maximum allowable upper bound (MAUB) in relation to different σ1 is determined using the results of Theorem 2 and shown in Table 2 along with the corresponding gain matrix because the quantization density σ1 has such a large influence on the time delay bound hM. The results of this table demonstrate that the MAUB hM grows as the quantization density value increases. The following simulation results are shown with the initial condition ˆx(0)=[0.5,0.1,−0.66]T and using the values σ1=0.9 and hM=0.2929. Figure 2 provides the chaotic behavior of the slave system under the proposed quantized control law (2.4). The state responses of the master and slave systems, and the synchronization error responses are depicted in Figures 3 and 4, respectively. These figures show that when the controller (2.4) is used, the required synchronization is achieved in a short period of time. As a result, because the states of the master and slave systems do not synchronize in the absence of a controller, the proposed control law is effective and useful for establishing synchronization of the addressed system (2.1).
Case 2. (Without quantization effect): Using the aforementioned system parameter values, the findings of Theorem 1 are resolved with γ=3.5 and η0 as indicated in the preceding case to obtain the MAUB hM and the corresponding control gain matrix. For comparison purposes, it is assumed that μ1=μ2=0. Table 3 shows the results obtained in this paper as well as some recently published ones [3,25,26,27,34,36,38], including the MAUB hM, control gain matrix K, and number of decision variables (DVs) utilized. This table clearly shows that the results of this paper are significantly superior than those of previous works, demonstrating that the proposed method is less conservative. Although it increases computational complexity, the major goal of this paper is to lower the conservatism of the proposed method. In addition, simulation results are provided below based on the values in Table 3 and the initial condition in the prior case. The chaotic behavior of the slave system under the proposed control law (2.4) without the influence of quantization is depicted in Figure 5. Figures 6 and 7, respectively, demonstrate the state responses of the master and slave systems, as well as the synchronization error responses, indicating that the error system (3.1) is asymptotically stable. Based on these simulations, it is concluded that the system (2.1) achieves asymptotic synchronization under the controller (2.4) with no quantization impact.
Remark 4. In the preceding example, η0=[ϑ1,ϑ2,ϑ3,ϑ4,ϑ7,ϑ9,ϑ10,ϑ11,ϑ12]∈R37×27 is used instead of η0=[ϑ1,ϑ2,…,ϑ13]∈R37×37 since [37] defines η0 as any vector. Both of these vectors yield the same results, and the vector η0∈R37×27 is determined by the trial and error approach. As a result, the dimensions of the matrices Xa and Ya (a=1,2) are chosen to be R27×9 rather than R37×9, which reduces the number of DVs from 2385 to 2025. It is concluded that any vector in Lemma 1 can be appropriately adjusted to lower the computational complexity of the proposed synchronization criteria.
5.
Conclusions
The quantized master-slave synchronization problem of chaotic Lur'e systems has been addressed in this paper. The goals here are to provide enhanced synchronization criteria and a quantized controller design process. These goals have been met by employing the delay-product-type Lyapunov-Krasovskii functional technique, as well as the generalized free-weighting-matrix technique and augmented zero equality. To be more specific, Theorems 1 and 2 have presented the asymptotic synchronization conditions for the considered system via the time-varying delay feedback controller without and with quantization influence, respectively. These synchronization conditions have been examined using Chua's circuit model parameters, and their usefulness and superiority have been proved through simulations and comparison. It should be noted that finite-time and fixed-time synchronization problems are currently a research hotspot due to their powerful anti-interference properties (for example, see [39,40,41]). As a result, it is worthwhile to examine finite-time or fixed-time synchronization for chaotic Lur'e systems, which will be explored further in future research.
Use of AI tools declaration
The authors declare that they have not used Artificial Intelligence tools in the creation of this article.
Acknowledgments
This work was supported in part by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education under Grant NRF-2020R1A6A1A12047945 and in part by Innovative Human Resource Development for Local Intellectualization program through the Institute of Information & Communications Technology Planning & Evaluation (IITP) grant funded by the Korea government (MSIT) (IITP-2024-2020-0-01462, 30%). This work was also supported by Chungbuk National University BK21 program (2023).
Conflict of interest
All authors declare no conflicts of interest in this paper.