Abstract
This paper studies the event-based decentralized adaptive finite-time tracking control problem of the interconnected nonlinear time-varying systems. A novel tracking control strategy associating event-triggered techniques, dynamic surface control, and finite-time control is presented. Correspondingly, the newly designed controller not only ensures finite-time convergence but also decreases the communication burden between the controller and the actuator. Moreover, the complexity explosion problem caused by the backstepping design procedure can be excluded. In addition, the difficulty caused by the system uncertainty is solved by utilizing bound estimation methods and constructing a suitable smooth function. Simulation results verify the effectiveness of our proposed control strategy.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
During the several decades, the research of interconnected nonlinear systems (INSs) has attracted intensive attention due to the potential applications in modeling some practical systems, such as complex robotic manipulator systems, aerospace systems, and power supply systems [1,2,3,4]. The INSs are made up of a string of nonlinear interconnected subsystems. Due to the complexity of the interactions between subsystems, the controller design is much more difficult than that of the single-input single-output (SISO) or the multi-output multiple-output (MIMO) nonlinear systems. By using the backstepping approach, a large number of results were devoted to solving control problems of interconnected nonlinear systems, where the interconnection term was described as a function of all subsystem outputs [5,6,7,8] or a function of all subsystem states [9,10,11]. Nevertheless, the backstepping approach has the disadvantage that the issue of “explosion of complexity” due to the iterative differentiation of the virtual control during the design procedure, which increases the computational burden. Therefore, to alleviate this issue, the dynamic surface control (DSC) method was proposed [12, 13], by adopting a first-order filter at recursive steps.
Moreover, the aforementioned control strategies mainly focused on the problem of infinite time tracking control, that is, the control objectives were achieved only when the time tends to infinite. Nevertheless, it is well known that the controlled system usually needs to quickly reach steady response from transient response in engineering practice. To meet actual needs, the problem of finite-time control (FTC) has also received widely attention due to its realization of fast transient performance. So far, many useful and valuable achievements have been obtained in [14,15,16,17,18,19,20,21,22,23,24]. For instance, the finite time adaptive fuzzy decentralized control strategy was presented in [25] for uncertain nonlinear large-scale systems. The adaptive finite-time decentralized control scheme was developed in [26] for INSs with unknown multiplicative and additive faults. The authors in [27] proposed a novel adaptive decentralized finite-time tracking control scheme for INSs with input quantization and strongly interconnected terms. Moreover, the authors proposed a robust finite-time sliding mode control method in [28] for nonlinear bilateral teleoperators with variable time delays and disturbances. However, it should be noted that the parameters considered in the above-mentioned controlled plants were all limited to be constants. Thus, these FTC methods cannot be easily extended to INSs with unknown time-varying parameters.
On the other hand, the event-triggered control (ETC) has been brought into focus, owing to its ability to limit communication resources in practical applications. Compared with the conventional time-triggered control in which the feedback signals are transmitted periodically, ETC transmits signals through the communication channel only if a predefined trigger mechanism is satisfied. In ETC-based systems, the update and transmission of control signals is aperiodic and it is determined by a predefined event-trigger mechanism. A sum of excellent results were presented for various types of nonlinear systems [29,30,31,32,33,34,35,36,37,38]. To mention a few, the adaptive fuzzy ETC issue was addressed in [33] for nonlinear output feedback systems. A novel event-triggered adaptive control approach was developed in [34] for uncertain nonlinear systems. For interconnected stochastic time delay nonlinear systems with unmodeled dynamics, [35] presented a decentralized ETC strategy by adopting neural network estimation and backstepping technique. Furthermore, the ETC methods of the interconnected nonlinear systems were investigated in [36,37,38]. Nevertheless, as far as we know, the ETC issue for interconnected nonlinear time-varying systems is rarely investigated. Therefore, it is still challenging to construct an event-based decentralized adaptive finite-time dynamic surface controller that is suitable for such interconnected nonlinear time-varying systems.
Based on these motivations, the event-based decentralized adaptive finite-time DSC issue is considered for interconnected nonlinear time-varying systems. The major contributions of the designed control strategy are listed in the following.
-
(1)
Compared with the algorithm in [5,6,7,8,9,10,11], the control signals need to be periodically sampled and updated, which causes a great waste of communication resources. To tackle this problem, the event-triggered mechanism is introduced in step \(n_i\) of the backstepping technology, which makes the control signal sample and update only when the preset conditions are met and reducing the communication burden.
-
(2)
Different from the previous works [14,15,16,17,18,19,20,21,22,23,24,25,26,27,28], the finite-time control problems of interconnected nonlinear time-varying systems have not been fully considered until now. Hence, the study on the finite-time control of such systems have important theoretical and engineering significance. Furthermore, by applying the dynamic surface control technology, the “explosion of complexity” problem caused by the repeated differentiations of virtual control inputs in the backstepping-based approach is circumvented.
-
(3)
Unlike the finite time methods [25,26,27] or event triggered results [35,36,37] where the systems parameters are assumed to be constants, the system parameters allowed to be unknown and time-varying. Due to the existence of unknown time-varying parameters, the aforementioned control methods cannot be directly applied. With the aid of the bound estimation approach, the effect of the unknown time-varying parameters are successfully counteracted and global stability of the overall closed-loop system is obtained.
The paper is organised as follows: some preliminaries is presented in Sect. 2. Section 3 shows the design process of the controller and the stability analysis. To verify the effectiveness of the proposed control scheme, a simulation example is given in Sect. 4. Section 5 is the conclusions of this paper.
Notations
R and \(R^{n}\) are denoted as the set of real numbers and the n-dimensional Euclidean space, respectively. \(Z^{+}\) is the set of nonnegative real numbers. The transpose and the Euclidean norm of vectors or matrices are represented by \((\cdot )^{T}\) and \(\Vert \cdot \Vert \), respectively.
2 Problem statement
2.1 Model description
Consider the interconnected nonlinear time-varying systems as follows
where \(i=1,\ldots ,N\), \(k=1,\ldots ,n_{i}-1\); \(\bar{x}_{i,k}=[x_{i,1},\ldots ,x_{i,k}]\); and \(x_i=[x_{i,1},\ldots ,x_{i,n_i}]^T\in R^{n_i}\), \(u_i\in R\), \(y_i\in R\) represent the states, input and output of the ith subsystem, respectively. In addition, \({g}_{i,k}(t)\in R\), \(\theta _i(t)\in R^{\nu _i}\) are unknown, bounded and piecewise continuous parameters; \(f_{i,k}\in R^{\nu _i}\) are known smooth functions; and \(\psi _{i,k}\in R\) are unknown interactions among subsystems.
The control goal of this article is to design an event-based decentralized adaptive finite-time tracking control method so that the tracking error can converge to the origin neighborhood in finite time, and all signals in the closed-loop are bounded. For the subsequent development, the following lemmas and assumptions are provided.
Lemma 1
[39] For any variable \(z\in R\) and any scalar \(\epsilon >0\), it holds that
Lemma 2
[34] For \(\forall \varepsilon >0\) and \(\forall s\in R\), it follows that
Assumption 1
The target signal \(y_{di}(t)\) and its first time derivative \(\dot{y}_{di}(t)\) are known and bounded. Moreover, \(y_{di}^{(n_i)}(t)\) are piecewise continuous.
Assumption 2
The signs of \(g_{i,k}(t)\) are known, and \(g_{i,k}(t)\) are bounded such that \(\underline{g}_{i,k}\le \mid g_{i,k}\mid \le \bar{g}_{i,k}\), \(k=1,\ldots ,n_i\) with \(\underline{g}_{i,k}>0\) being positive constants. Without loss of generality, we suppose that \(g_{i,k}>0\).
Assumption 3
For \(k=1,\ldots ,n_i\), \(\psi _{i,k}(y_1,\ldots ,y_N,t)\) satisfies
where \(\varrho _{i,k,j}\ge 0\) and \(\phi _{i,k,j}(y_j)>0\) are unknown constants and known smooth functions, respectively.
Remark 1
Assumption 1 is a necessary condition to guarantee the limitation of states. From [1, 5, 8], Assumption 2 is a basic requirement to ensure the controllability of the system. Assumption 3 is adapted from [39] with the relaxation that \(\varrho _{i,k,j}\) are no longer required to be known.
2.2 Finite-time stability
The following definition and lemmas are useful in the FTC design.
Definition 1
[25] The \(\chi _i=0\) is the equilibrium value of the ith subsystem system \(\dot{\chi }_i=f_i(\chi _i,u_i)\). The large-scale systems are semiglobal practical finite-time stable (SGPFS) if for all \(\chi _i(t_{0})=\chi _0\), there exists \(\varepsilon >0\) and a settling time \(T(\varepsilon ,\chi _0)<\infty \) to make \(\parallel \chi _i(t)\parallel <\varepsilon \), for all \(t>t_{0}+T\).
Lemma 3
[25] For \(z_j\in R\), \(j=1,\ldots ,m\), \(0<p\le 1\), then
Lemma 4
[14] For real variables \(\varXi \) and \(\varDelta \), it holds that
where \(\zeta _1\), \(\zeta _2\) and \(\zeta _3\) are positive constants.
Lemma 5
[25] If there exist design parameters \(C>0\), \(0<\beta <1\) and \(\bar{\sigma }>0\) such that
then the systems \(\dot{\chi }_i=f_i(\chi ,u_i)\) are SGPFS for \(\forall t\ge T^{*}\), where \(T^{*}=\frac{1}{(1-\beta )\eta C }[V^{1-\beta }(0)-\frac{\bar{\sigma }}{(1-\eta )C}^{\frac{1-\beta }{\beta }} ]\) and \(0<\eta \le 1\).
Remark 2
Some results regarding the FTC scheme have been proposed in [25,26,27], where the system parameters are restricted to be constant. Since the time-varying parameters exist in all the differential equations, the considered systems (1) is more general and complex than that in [25,26,27]. Furthermore, to the best of our knowledge, the problem of decentralized adaptive finite-time tracking control of systems (1) with event-triggered input and dynamic surface techniques has not been addressed.
2.3 Structure of event-based decentralized adaptive control systems
In practice, the subsystems of the interconnected systems can receive data packets discontinuously over digital networks. To further reduce the computational load, a nonperiodic decentralised ETC will be formulated by adaptive backstepping techniques and event-sampled states. The structure of event-based decentralized adaptive control for interconnected time-varying systems is shown in Fig. 1.
For each subsystems, the control input is transferred to the actuator only if the trigger mechanism is satisfied, and the control input is calculated continuously. Obviously, the signal updated from the controller to the actuator channel is reduced. Subsequently, a zero-order hold (ZOH) is introduced to maintain the event sampling state until the next trigger moment. Finally, the resulting event-sampling closed-loop system is modelled as a nonlinear impulsive dynamical system, and boundedness of the system state and tracking error is proved using the Lyapunov method. It is also proved that a lower bound exists for inter-execution intervals, that is, Zeno behavior is avoided.
3 Controller design and stability analysis
In this section, based on adaptive backstepping DSC technique, an event-based decentralized adaptive finite-time tracking control strategy will be presented. In addition, the system stability analysis will be presented later in the framework of the finite-time Lyapunov stability theory.
3.1 Decentralized adaptive controller design
For the objective of control design, the n-step recursive design procedure is developed. Subsequently, the coordinate transformation is constructed as
where \(y_{di}\) is the reference signal, and \(z_{i,1}\) denotes the tracking error, \(z_{i,k}\) denotes the intermediate tracking error. \(\beta _{i,k}\) are a newly introduced intermediate variable. \(\alpha _{i,k-1}\) is an intermediate control function. \(\phi _{i,k}\) is the filter error.
Remark 3
Different from the coordinate transformation design of backstepping method, \(\beta _{i,k}\) is introduced to avert the differentiation operation of \(\alpha _{i,k-1}\). The differential operation in backstepping technique is transformed into simple algebraic operation by adding a first-order filter at each step of backstepping technique. Thus, the differential explosion problem can be avoided. The details will be reflected in the following control design process.
To simplify the controller design, we define
where \(\varTheta _i(t)=[\theta ^{T}_i(t),g_{i,1}(t),\ldots ,g_{i,n_i-1}(t)]^{T} \in R^{\nu _i+n_i-1}\). Let \(\hat{\nu }_i\), \(\hat{\ell }_{i,k}\) and \(\hat{\rho }_i\) be the estimations of \({\nu }_i\), \({\ell }_{i,k}\) and \({\rho }_i\), respectively. Correspondingly, the estimation errors are denoted as \(\tilde{\nu }_i=\hat{\nu }_i-\nu _i\), \(\tilde{\ell }_{i,k}=\hat{\ell }_{i,k}-{\ell }_{i,k}\) and \(\tilde{{\rho }}_i=\hat{\rho }_i-{\rho }_i\). Besides, we take \(\gamma _{\nu _i}\), \(\gamma _{{\ell }_{i,k}}\), \(\gamma _{\rho _i}\), \(\sigma _{\nu _i}\), \(\sigma _{\ell _{i,k}}\) and \({\sigma }_{\rho _i}\) \((i=1,\ldots ,N, k=1,\ldots ,n_i)\) as positive parameters to be designed in subsequent design steps without restating.
Step i, 1: According to (8), we have
where \(\xi _{i,1}=[f_{i,1}^T,\ldots ,0]^T\in R^{\nu _i+n_i-1}\).
The Lyapunov function candidate is defined as
where \(\hat{\ell }_{i,1}(0)>0\), and differentiating (15) yields
According to (11) and Lemma 1, one has
where \(\eta _{i,1}=\frac{z_{i,1}\xi _{i,1}^T\xi _{i,1}}{\sqrt{z_{i,1}^2\xi _{i,1}^T\xi _{i,1}+\epsilon _{i,1}^2}}\).
From Assumption 3 and utilizing Young’s inequality, it follows that
Construct the following smooth function to compensate for the influence of the interactions as:
where \(\lambda _i\) is a positive constant.
Combining (17)–(20), we can get
where
with \(\beta =\frac{2Z-1}{2Z+1}\), and \(c_{i,1}>0\) are design parameters. From (21), the first tuning function for \(\hat{\nu }_i\) is defined as
and let
Then, we have
where
Therefore, we have (for the detailed derivation process, see Appendix A.)
The first-order filter is defined as follows
where \(\lambda _{i,2}>0\), \({\beta }_{i,2}\) and \(\alpha _{i,1}\) represent the output and input of the first-order filter, respectively. According to (29) and (10), it yields that \(\dot{\beta }_{i,2}=-\frac{1}{\lambda _{i,2}}{\phi }_{i,2}\) and
where \(B_{i,1}(\cdot )\) is a continuous function, and its expression is
Therefore, it can be further obtained
Substituting (32) into (28) produces
Step i, k :(\(2\le k\le n_i-1\))
Choose the following Lyapunov function
where \(\hat{\ell }_{i,k}(0)>0\).
Differentiating (35) generates
where \(\xi _{i,k}=[f_{i,k}^T,0,\ldots ,0,z_{i,k-1},0,\ldots ,0]^T\in R^{\nu _i+n_i-1}\).
Similar to Step i, 1, we have
where \(\eta _{i,k}=\frac{z_{i,k}\xi _{i,k}^T\xi _{i,k}}{\sqrt{z_{i,k}^2\xi _{i,k}^T\xi _{i,k}+\epsilon _{i,k}^2}}\).
Substituting (37)–(39) into (36) yields
with
The stabilizing function is selected as
where \(\hat{\ell }_{i,k}\) is updated according to
Similar to (28), it can be deduced that
Define the following first-order filter
where \(\lambda _{i,k+1}>0\), \({\beta }_{i,k+1}\) and \(\alpha _{i,k}\) are the output and input of the first-order filter, respectively. From (46) and (10), it follows that \(\dot{\beta }_{i,k+1}=-\frac{1}{\lambda _{i,k+1}}{\phi }_{i,k+1}\) and
where \(B_{i,k}(\cdot )\) is a continuous function, and its expression is
Hence, we have
Therefore, we have
Step \(i,n_i\): From (9), one has
The following Lyapunov function is defined as
where \(\hat{\ell }_{i,n_i}(0)>0\). Then, we have
where \(\xi _{i,n_i}=[f_{i,n_i}^T,0,\ldots ,0,z_{i,n_i-1}]^T\in R^{\nu _i+n_i-1}\).
Similar to Step i, k, we have
where \(\eta _{i,n_i}=\frac{z_{i,n_i}\xi _{i,n_i}^T\xi _{i,n_i}}{\sqrt{z_{i,n_i}\xi _{i,n_i}^T\xi _{i,n_i}+\epsilon _{i,n_i}^2}}\).
Substituting (54) and (55) into (53) shows
where \(\bar{\alpha }_{i,n_i}=c_{i,n_i}z_{i,n_i}^{2\beta -1} +\hat{\nu }_i\eta _{i,n_i}+\frac{1}{4}z_{i,n_i}+\dot{\beta }_{i,n_i}\), \(\tau _{i,n_i}=\tau _{i,n_i-1}+\gamma _{\nu _i}z_{i,n_i}\eta _{i,n_i}\).
The adaptive laws are constructed as follows
By substituting (57) and (58) into (56), we obtain
In the following, the event-triggered controller and the event triggered mechanism are set as
where \(m_i>0\) and \(0<\delta _i<1\) denote the design parameters. \(u_i(t)=\omega _i(t_{i,l})\) is the actual applied control signal and \(\omega _i(t)\) is designed as
where \(e_i(t)=\omega _i(t)-u_i(t)\) is the measurement error, and \(\bar{m}_i>\frac{m_i}{1-\delta _i}\). In addition, \(t_{i,l}\), \(l\in Z^+\) denotes the controller update time with \(t_{i,1}=0\), and \(u_i(t)\) will be held as \(\omega _i(t_{i,l})\) in the time interval \(t\in [t_{i,l},t_{i,l+1})\). Once the triggering condition (61) is satisfied, \(u_i(t)\) will update as \(\omega _i(t_{i,l+1})\) and it is kept as \(\omega _i(t_{i,l+1})\) in \([t_{i+1},t_{i+2})\).
According to (61), it is not difficult to prove that there have \(\omega _i(t)=(1+o_{i1}(t)\delta _i)u_i(t)+o_{i2}(t)m_i\) in the time interval with \(t\in [t_{i,l},t_{i,l+1})\) with \(\mid o_{i1}(t)\mid \le 1\) and \(\mid o_{i2}(t)\mid \le 1\). Hence, one has
and
Furthermore, based on Lemmas 1 and 2, it follows that
Let
then, one has
By substituting (68) into (59), it can be deduced that
Using perfect square formula produces
The Lyapunov function of the overall closed-loop system is constructed as
In view of (73), one can obtain
It is proved in Appendix B that
where \(\sigma _i=\sum _{q=1}^{n_i}\epsilon _{i,q}( \underline{g}_{i,q}+\nu _i) +\frac{\sigma _{\nu _i}{\nu }_i^2}{2}+\frac{\sigma _{\rho _i}{\rho }_i^2}{2} +\sum _{q=1}^{n_i}\sigma _{\ell _{i,q}} \underline{g}_{i,q} \frac{\ell _{i,q}^2}{2}+\sum _{q=1}^{n_i-1}\frac{1}{2}M_{i,q+1}^2+4(1-\beta ) \beta ^{\frac{\beta }{1-\beta }}+0.557\bar{g}_{i,n_i}\varepsilon _i+H_i\).
Combining with Lemma 3, we can deduce that
where \(C=\min \{c_i,i=1,\ldots ,N\}\), \(\bar{\sigma }=\sum _{i=1}^{N}\sigma _i\).
Subsequently, we introduce the following theorem to summarize our main results.
3.2 Stability analysis
This subsection will be divided into two parts consisting of finite time stability analysis and the exclusion of Zeno behavior.
Theorem 1
Consider interconnected nonlinear time-varying systems (1), under Assumptions 1–3, the parameters adaptive laws (24), (25), (44), (57), (58), and the controller (60) with event-triggered mechanism (61). Given any \(K_{0}>0\), \(p>0\), if \(y^2_{di}+\dot{y}_{di}^2+\ddot{y}_{di}^2\le K_{0}\), \(V(0)\le p\), then the following results hold.
-
(1)
The closed-loop system is SGPFS.
-
(2)
The tracking error converges to the origin neighborhood in finite time.
-
(3)
All signals of the closed-loop system are bounded.
Proof
Let \(T^{*}=\frac{1}{(1-\beta )\eta C }[V^{1-\beta }(0)-\frac{\bar{\sigma }}{(1-\eta )C}^{\frac{1-\beta }{\beta }}]\), \(0<\eta \le 1\), with \(z_i(0)=[z_{i,1}(0),\ldots ,z_{i,n_i}(0)]^{T}\), \(\rho _i(0)=[0,\ldots ,\rho _i(0)]^{T}\), \(\nu _i(0)=[\nu _{i,1}(0),\ldots ,\nu _{i,n_i}(0)]^{T}\), \(\phi _i(0)=[0,\phi _{i,2}(0),\ldots ,\phi _{i,n_i}(0)]^{T}\), \(\ell _i(0)=[\ell _{i,1}(0),\ldots ,\ell _{i,n_i}(0)]^{T}\), \(i=1,\ldots ,N\). Then, according to Lemma 5, for \(\forall t\ge T^{*}\), \(V^{\beta }(z_i,\rho _i,\nu _i, \ell _i,\phi _i)\le \frac{\bar{\sigma }}{(1-\eta )C}\), namely, the closed-loop system is SGPFS.
In addition, for \(\forall t\ge T^{*}\), by combining with the definition of V, we have
which means \(z_{i,k}\) are bounded, and \(z_{i,k}\) can converge into the following set
The above set when \(k=1\) means the system outputs can track the desired target signals in finite time \(T^{*}\).
Based on (73) and (76), the following inequalities can be obtained
Further, it can be inferred that
On the basis of the convergence sets of \(z_{i,k}\) (78), \(\tilde{\nu }_i\), \(\tilde{\rho }_i\) , \(\tilde{\ell }_{i,k}\), \(\phi _{i,q}\)(80), \(i=1,\ldots ,N\), \(q=2,\ldots ,n_i\), we obtain that the errors \(z_{i,k}\), \(\tilde{\nu }_i\), \(\tilde{\rho }_i\), \(\tilde{\ell }_{i,k}\), \(\phi _{i,q}\) are able to converge to a small residual set in finite time \(T^{*}\). Clearly, all signals within the closed-loop are bounded. \(\square \)
Theorem 2
For this considered system (1) under event-triggered mechanism (62), there exists a time \(t^{*}>0\) such that the inter-execution intervals \({t_{l+1}-t_l}\) are lower bounded by \(t^{*}\).
Proof
By recalling \(e_i(t)=\omega _i(t)-u_i(t)\), together with the fact of the control input signal holds as a constant \(u_i(t)=\omega _i(t_{i,l})\), \(\forall t\in [t_{i,l},t_{i,l+1})\), there has
The boundedness of all signals can be inferred according to Theorem 1, and thus we can ensure \( |\dot{\omega } |<\omega _0\) with \(\omega _0>0\). Based on (60), it is the fact that \(e_i(t_{i,l})=0\) and \(\lim _{t\longrightarrow t_{l+1}} e_i({t_{i,l+1}})=\delta _i |u_i(t) |+\omega _i\). Thus, one has
Hence, it can be inferred that
which yields the lower bound of inter-execution time interval \(t^*>0\). Therefore, the Zeno-behavior cannot occur.
The proof is completed. \(\square \)
From the above control design process and discussion, the guidelines for parameter selection in the proposed control scheme are given below.
-
(1)
The design parameters can be selected such that \(\gamma _{\nu _i}>0\), \(\gamma _{\rho _i}>0\), \(\gamma _{{\ell }_{i,1}}>0\), \(\sigma _{\nu _i}>0\), \({\sigma }_{\rho _i}>0\), \(\sigma _{\ell _{i,1}}>0\), \(\lambda _i>0\), \(0<\beta <1\), \(c_{i,1}>0\), \(\epsilon _{i,1}>0\), \(\lambda _{i,2}>0\) \((i=1,\ldots ,N)\). And then, the tuning function \(\tau _{i,1}\) (23), the parameter adaptive laws \(\dot{\hat{\rho }}_i\) (24), \(\dot{\hat{\ell }}_{i,1}\) (25), the intermediate control function \(\alpha _{i,1}\) (27), and the first-order filter (29) can be determined.
-
(2)
The design parameters can be chosen such that \(c_{i,k}>0\), \(\epsilon _{i,k}>0\), \(\lambda _{i,k+1}>0\), \(\gamma _{{\ell }_{i,k}}>0\), \(\sigma _{\ell _{i,k}}>0\) \((i=1,\ldots ,N, k=2,\ldots ,n_i-1)\). Thus, the tuning function \(\tau _{i,k}\) (42), the parameter adaptive law \(\dot{\hat{\ell }}_{i,k}\) (44), the intermediate control function \(\alpha _{i,k}\) (43), and the first-order filter (46) can be determined.
-
(3)
The design parameters can be picked such that \(c_{i,n_i}>0\), \(\epsilon _{i,n_i}>0\), \(m_i>0\), \(0<\delta _i<1\), \(\gamma _{{\ell }_{i,n_i}}>0\), \(\sigma _{\ell _{i,n_i}}>0\), \(\varepsilon _i>0\) \((i=1,\ldots ,N)\). Hence, the parameter adaptive laws \(\dot{\hat{\nu }}_i\) (57), \(\dot{\hat{\ell }}_{i,n_i}\) (58), the controller \(u_{i}\) (60), and the event triggered mechanism (61) can be determined.
Remark 4
From (76) or \(z_{i,1}\le \sqrt{2}\left( \frac{\bar{\sigma }}{(1-\eta )C}\right) ^{\frac{1}{2\beta }}\), we see that the convergence rate of the tracking errors \(z_{i,1}\) depends on design parameters C and \(\bar{\sigma }\), that is, \(\gamma _{\nu _i}\), \(\gamma _{{\ell }_{i,k}}\), \(\gamma _{\rho _i}\), \(\sigma _{\nu _i}\), \(\sigma _{\ell _{i,k}}\), \({\sigma }_{\rho _i}\), \(\lambda _i\), \(c_{i,k}\), \(\epsilon _{i,k}\), and \(\lambda _{i,k+1}\). Reducing the radius of neighborhood and accelerating the convergence rate of the variables in the systems (1) can be achieved through increasing \(c_{i,k}\), \(\gamma _{\ell _{i,k}}\), \(\gamma _{\nu _i}\), \(\gamma _{\rho _i}\), \(\lambda _i\) and reducing \(\epsilon _{i,k}\), \(\sigma _{\nu _i}\), \(\sigma _{\rho _i}\), \(\sigma _{\ell _{i,k}}\), \(\beta \), \(\varepsilon _i\), \(\lambda _{i,k+1}\). Meanwhile, decreasing \(m_i\) and \(\bar{m}_i\) can reduce the number of triggering events. Nevertheless, from (24), (25), (44), (57), (58) and (61), increasing \(c_{i,k}\), \(\gamma _{\ell _{i,k}}\), \(\gamma _{\nu _i}\), \(\gamma _{\rho _i}\) and \(\lambda _i\) or decreasing \(\epsilon _{i,k}\), \(\sigma _{\nu _i}\), \(\sigma _{\rho _i}\), \(\sigma _{\ell _{i,k}}\), \(\beta \), \(\varepsilon _i\), \(\lambda _{i,k}\), \(m_i\) and \(\bar{m}_i\) may increase the amplitude of control signals. As a result, from a practical point of view, a tradeoff should be made between the tracking performance and the control effort.
Remark 5
It follows from Lemmas 1–5 that, a novel event-based decentralized adaptive finite-time DSC sch-eme for interconnected nonlinear time-varying systems with uncertain interactions can be obtained based on the above analysis. Correspondingly, the designed decentralized adaptive controller with parameter updated law not only guarantees that the closed-loop system is SGPFS, and the system tracking errors reach to the origin neighborhood in finite time, but also the computation burden of the communication procedure is substantially alleviated.
4 Simulation results
As an engineering practical example, two inverted pendulums mounted on two carts [39], as displayed in Fig. 2, are employed to illustrate the effectiveness and feasibility of the given control strategy physical implementation. Consider the following dynamic equations for the pendulums:
where \(y_i\), \(u_i\), and \(\varDelta _i\) \((i=1,2)\) denote the pendulum angles, control torques and bounded disturbances, respectively.
Define that \(x_{i,1}=y_i\), \(x_{i,2}=\dot{y}_i\), \(i=1,2\), \(\zeta _1(t)=\frac{\bar{g}}{v(t)l_0}-\frac{k[\delta (t)-v(t)l_0]\delta (t)}{v(t)m_1l_0^2}\), \(\zeta _2(t)=\frac{m_1}{m_2(t)}\), \(\zeta _{3,i}(t)=(-1)^{i} \frac{k[\delta (t)-v(t)l_0][l_1(t)-l_2(t)]}{v(t)m_1l_0^2}+\varDelta _i(t)\) and \(\zeta _4(t)=\frac{k[\delta (t)-v(t)l_0]\delta (t)}{v(t)m_1l_0^2}\), and then (83) can be expressed as:
where \(g_{i,2}(t)=\frac{1}{v(t)m_1l_0^2}\), \(\theta _i(t)=[\zeta _1(t),\zeta _2(t),\zeta _{3,i}(t)]^{T}\), \(f_{i,2}(x_i)=[y_i,-\dot{y}_i\sin (y_i),1]^{T}\), and the nonlinear interconnection term are \(\psi _{1,2}=\zeta _4(t)y_2\), \(\psi _{2,2}=\zeta _4(t)y_1\). In addition, the target signals are set as \(y_{di}=0.5\sin (t)\).
To check Assumption 3, which needs to be satisfied: \(\varrho _{1,2,1}=\varrho _{2,2,2}=0, \varrho _{1,2,2}=\varrho _{2,2,1}=\sup _{t\ge 0} \zeta _4^2(t) \phi _{1,2,1}(y_1)=\phi _{2,2,2}(y_2)=0, \phi _{1,2,2}(y_2)=y_2^2, \phi _{2,2,1}(y_1)=y_1^2.\) The design parameters are selected as \(c_{11}=c_{12}=c_{21}=c_{22}=2\), \(\lambda _1=\lambda _2=2\), \(\sigma _{\nu _1}=\sigma _{\nu _2}=0.02\), \(\sigma _{\rho _1}=\sigma _{\rho _2}=0.035\), \(\sigma _{\ell _{12}}=\sigma _{\ell _{22}}=0.055\), \(\epsilon _{11}=\epsilon _{12}=\epsilon _{21}=\epsilon _{22}=0.005\), \(\gamma _{\nu _1}=\gamma _{\nu _2}=5\), \(\gamma _{\rho _1}=\gamma _{\rho _2}=10\), \(\gamma _{\ell _{12}}=\gamma _{\ell _{22}}=3\), \(\beta =\frac{13}{15}\), \(\lambda _{12}=\lambda _{22}=0.1\), \(\delta _1=\delta _2=0.01\), \(m_1=m_2=4\). Besides, the initial values are set as \([x_{11},x_{12},x_{21},x_{22}]=[0.5,0.4,0.5,0.4]^{T}\), \([\hat{\nu }_1(0),\hat{\nu }_2(0)]=[1,1]^{T}\), \([\hat{\rho }_1(0),\hat{\rho }_2(0)]=[9,9]^{T}\), \([\hat{\ell }_{12}(0),\hat{\ell }_{22}(0)]=[12,12]^{T}\), \([\beta _{12}(0),\beta _{22}(0)]=[0.01,0.01]^{T}\).
The simulation results are displayed in Figs. 3, 4, 5, 6 and 7. More specifically, Figs. 3 and 4 give the output response curves and the tracking error trajectories of subsystems 1 and 2 under event-triggered control and time-triggered control. From Figs. 3 and 4, it can be seen that compared with traditional time-triggered control, the proposed event-based decentralized adaptive finite-time controller has satisfactory tracking performance even in the presence of time-varying uncertainties. Figure 5 presents the trajectory of the control signal. The trajectories of the adaptive laws are displayed in Fig. 6, which illustrates that the adaptive parameters of each subsystem are bounded. The number of the triggering events is exhibited in Fig. 7. Table 1 depicts the number of triggering instants with both the presented ETC and the corresponding time-triggered control methods. It is found that out of 15,000 sampling instants, that only 394 and 327 instants are triggered for subsystem 1 and subsystem 2, respectively. Therefore, compared with the time-triggered control, the event-triggered strategy can significantly reduce the amount of data sampling and/or transmission over the network while maintaining satisfactory system performance. Furthermore, Fig. 8 is added to illustrate the effect of filter parameter \(\lambda _{i,2}\) on the system tracking performance. It is clearly shown that decreasing \(\lambda _{i,2}\) diminishes the differences of \(z_{i,1}\), which rigorously validates the theoretical result in Remark 4.
Additionally, to demonstrate the effectiveness of considering finite-time convergence in the controller design, a comparison with a nonfinite-time controller developed in [13] is carried out. The compared tracking error trajectories are plotted in Fig. 9. It can be seen that compared to the nonfinite-time controller, our proposed finite time controller under reaches the steady state in a shorter time, which in turn reflects the better tracking performance and robustness of our developed control scheme. The simulation figures show that the proposed event-based decentralized adaptive finite-time tracking control strategy guarantees the stability of the closed-loop system in finite time. What’s more, it achieves satisfactory performance while reducing sampling instances, thereby greatly reducing resource consumption.
5 Conclusion
A decentralized adaptive finite-time tracking control strategy based on event-triggered has been developed for interconnected nonlinear time-varying systems. By incorporating smooth functions into the controller design and applying bounded estimation method, the effect of the system uncertainty can be successfully eliminated. Then, by adding a first-order filter in each stage of backstepping technique, thus the complexity explosion problem can be addressed. Furthermore, combining event-trigger mechanism and dynamic surface technique, a new event-based decentralized adaptive finite-time tracking controller is constructed for the considered system under the framework of finite-time stability theory. Finally, simulation examples confirm the feasibility of our proposed controller.
Data Availability Statement
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Du, P., Liang, H., Zhao, S., Ahn, C.K.: Neural-based decentralized adaptive finite-time control for nonlinear large-scale systems with time-varying output constraints. IEEE Trans. Syst. Man Cybern. Syst. 51(5), 3136–3147 (2019)
Li, S., Ahn, C.K., Xiang, Z.: Decentralized stabilization for switched large-scale nonlinear systems via sampled-data output feedback. IEEE Syst. J. 13(4), 4335–4343 (2019)
Li, Y.X., Yang, G.H., Tong, S.: Fuzzy adaptive distributed event-triggered consensus control of uncertain nonlinear multiagent systems. IEEE Trans. Syst. Man Cybern. Syst. 49(9), 1777–1786 (2018)
Dao, P.N., Liu, Y.C.: Adaptive reinforcement learning in control design for cooperating manipulator systems. Asian J. Control (2022)
Tong, S., Li, Y., Liu, Y.: Observer-based adaptive neural networks control for large-scale interconnected systems with nonconstant control gains. IEEE Trans. Neural Netw. Learn. Syst. 32(4), 1575–1585 (2020)
Li, X., Liu, X.: Backstepping-based decentralized adaptive neural \(H_ {\infty }\) control for a class of large-scale nonlinear systems with expanding construction. Nonlinear Dyn. 90(2), 1373–1392 (2017)
Ma, M., Wang, T., Qiu, J., Karimi, H.R.: Adaptive fuzzy decentralized tracking control for large-scale interconnected nonlinear networked control systems. IEEE Trans. Fuzzy Syst. 29(10), 3186–3191 (2020)
Wang, H., Liu, X., Chen, B., Zhou, Q.: Adaptive fuzzy decentralized control for a class of pure-feedback large-scale nonlinear systems. Nonlinear Dyn. 75(3), 449–460 (2014)
Sun, H., Zong, G., Chen, C.P.: Adaptive decentralized output feedback PI tracking control design for uncertain interconnected nonlinear systems with input quantization. Inf. Sci. 512, 186–206 (2020)
Wang, H., Liu, W., Qiu, J., Liu, P.X.: Adaptive fuzzy decentralized control for a class of strong interconnected nonlinear systems with unmodeled dynamics. IEEE Trans. Fuzzy Syst. 26(2), 836–846 (2017)
Ma, H.J., Xu, L.X.: Decentralized adaptive fault-tolerant control for a class of strong interconnected nonlinear systems via graph theory. IEEE Trans. Autom. Control 66(7), 3227–3234 (2020)
An, L., Yang, G.H.: Decentralized adaptive fuzzy secure control for nonlinear uncertain interconnected systems against intermittent DoS attacks. IEEE T. Cybern. 49(3), 827–838 (2018)
Niu, B., Liu, J., Wang, D., Zhao, X., Wang, H.: Adaptive decentralized asymptotic tracking control for large-scale nonlinear systems with unknown strong interconnections. IEEE-CAA J. Automatica Sin. 9(1), 173–186 (2021)
Wang, F., Chen, B., Liu, X., Lin, C.: Finite-time adaptive fuzzy tracking control design for nonlinear systems. IEEE Trans. Fuzzy Syst. 26(3), 1207–1216 (2017)
Xia, J., Zhang, J., Sun, W., Zhang, B., Wang, Z.: Finite-time adaptive fuzzy control for nonlinear systems with full state constraints. IEEE Trans. Syst. Man Cybern. Syst. 49(7), 1541–1548 (2018)
Wang, H., Bai, W., Liu, P.X.: Finite-time adaptive fault-tolerant control for nonlinear systems with multiple faults. IEEE-CAA J. Automatica Sin. 6(6), 1417–1427 (2019)
Sun, K., Qiu, J., Karimi, H.R., Gao, H.: A novel finite-time control for nonstrict feedback saturated nonlinear systems with tracking error constraint. IEEE Trans. Syst. Man Cybern. Syst. 51(6), 3968–3979 (2019)
Song, S., Park, J.H., Zhang, B., Song, X.: Composite adaptive fuzzy finite-time quantized control for full state-constrained nonlinear systems and its application. IEEE Trans. Syst. Man Cybern. Syst. 52(4), 2479–2490 (2021)
Sun, Y., Chen, B., Lin, C., Wang, H.: Finite-time adaptive control for a class of nonlinear systems with nonstrict feedback structure. IEEE T. Cybern. 48(10), 2774–2782 (2017)
Wang, H., Liu, P.X., Zhao, X., Liu, X.: Adaptive fuzzy finite-time control of nonlinear systems with actuator faults. IEEE Trans. Cybern. 50(5), 1786–1797 (2019)
Zhang, H., Liu, Y., Dai, J., Wang, Y.: Command filter based adaptive fuzzy finite-time control for a class of uncertain nonlinear systems with hysteresis. IEEE Trans. Fuzzy Syst. 29(9), 2553–2564 (2020)
Li, Y.X.: Finite time command filtered adaptive fault tolerant control for a class of uncertain nonlinear systems. Automatica 106, 117–123 (2019)
Wang, M., Wang, C.: Neural learning control of pure-feedback nonlinear systems. Nonlinear Dyn. 79, 2589–2608 (2015)
Park, J.H., Park, T.S., Kim, S.H.: Approximation-free output-feedback non-backstepping controller for uncertain SISO nonautonomous nonlinear pure-feedback systems. Mathematics 7(5), 456 (2019)
Sui, S., Tong, S., Chen, C.P.: Finite-time filter decentralized control for nonstrict-feedback nonlinear large-scale systems. IEEE Trans. Fuzzy Syst. 26(6), 3289–3300 (2018)
Jin, X.: Adaptive decentralized finite-time output tracking control for MIMO interconnected nonlinear systems with output constraints and actuator faults. Int. J. Robust Nonlinear Control 28(5), 1808–1829 (2018)
Sun, H., Hou, L.: Adaptive decentralized finite-time tracking control for uncertain interconnected nonlinear systems with input quantization. Int. J. Robust Nonlinear Control 31(10), 4491–4510 (2021)
Dao, P.N., Nguyen, V.T., Liu, Y.C.: Finite-time convergence for bilateral teleoperation systems with disturbance and time-varying delays. IET Contr. Theory Appl. 15(13), 1736–1748 (2021)
Li, Y.X., Yang, G.H.: Adaptive neural control of pure-feedback nonlinear systems with event-triggered communications. IEEE Trans. Neural Netw. Learn. Syst. 29(12), 6242–6251 (2018)
Zhang, J., Li, S., Xiang, Z.: Adaptive fuzzy output feedback event-triggered control for a class of switched nonlinear systems with sensor failures. IEEE Trans. Circuits Syst. I-Regul. Pap. 67(12), 5336–5346 (2020)
Zhao, D., Polycarpou, M.M.: Fault accommodation for a class of nonlinear uncertain systems with event-triggered input. IEEE-CAA J. Automatica Sin. 9(2), 235–245 (2021)
Yao, X.Y., Park, J.H., Ding, H.F., Ge, M.F.: Event-triggered consensus control for networked underactuated robotic systems. IEEE Trans. Cybern. 52(5), 2896–2906 (2020)
Lu, K., Liu, Z., Lai, G., Chen, C.P., Zhang, Y.: Adaptive fuzzy output feedback control for nonlinear systems based on event-triggered mechanism. Inf. Sci. 486, 419–433 (2019)
Xing, L., Wen, C., Liu, Z., Su, H., Cai, J.: Event-triggered adaptive control for a class of uncertain nonlinear systems. IEEE Trans. Autom. Control 62(4), 2071–2076 (2016)
Hua, C., Li, K., Guan, X.: Decentralized event-triggered control for interconnected time-delay stochastic nonlinear systems using neural networks. Neurocomputing 272, 270–278 (2018)
Li, Y.X., Tong, S., Yang, G.H.: Observer-based adaptive fuzzy decentralized event-triggered control of interconnected nonlinear system. IEEE Trans. Cybern. 50(7), 3104–3112 (2019)
Wang, C.C., Yang, G.H.: Event-triggered decentralized output-feedback control for interconnected nonlinear systems with input quantization. J. Frankl. Inst. 356(13), 7028–7048 (2019)
Wang, X., Jiang, K., Zhang, G., Niu, B.: Event-triggered-based adaptive decentralized asymptotic tracking control scheme for a class of nonlinear pure-feedback interconnected systems. Nonlinear Dyn. 104(4), 3881–3895 (2021)
Wang, C., Lin, Y.: Decentralized adaptive tracking control for a class of interconnected nonlinear time-varying systems. Automatica 54, 16–24 (2015)
Funding
This work was supported in part by the Funds of National Science of China (Grant Nos. 61973146, 62173172), in part by the Distinguished Young Scientific Research Talents Plan in Liaoning Province (Grant Nos. XLYC1907077, JQL201915402), in part by the Taishan Scholar Project of Shandong Province of China (Grant No. tsqn201909097), and in part by the Applied Basic Research Program in Liaoning Province (Grant No. 2022JH2/101300276).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix: Derivation of inequality (28)
Proof
Based on Assumption 2 and Lemma 1, one can obtain
Then, from (26), one has
Noting \(\underline{g}_{i,1}\tilde{\ell }_{i,1}-\underline{g}_{i,1}\hat{\ell }_{i,1}=-\underline{{g}}_{i,1}\ell _{i,1}=-1\), which yields (28). This ends the proof of (28). \(\square \)
Appendix: Derivation of inequality (75)
Proof
Define the compact set as follows \( \varPi _{i0}:=\{(y_{di},\dot{y}_{di}, \ddot{y}_{di}):y^2_{di}+\dot{y}_{di}^2+\ddot{y}_{di}^2\le K _{0}\}\), \(\varPi _{i,k}:=\{V_i(t)\le p_i\}\) where \(K_{0}\), \(p_i>0\), \(i=1,\ldots ,N\), \(k=1,\ldots ,n_i-1\). Clearly, for every i and k, \(\varPi _{i0}\times \varPi _{i,k}\) is also a compact set. Therefore, the continuous function \(B_{i,k}\) has a maximum, say, \(M_{i,k}\), on \(\varPi _{i0}\times \varPi _{i,k}\). Hence, one has \(|B_{i,k}|\le M_{i,k}\).
Thus, according to Lemma 3, and substituting (70)–(72) into (69), we get
with \(c_{i}=\min _{1\le i\le N, 1\le q\le n_i}\{2^{\beta -1} \underline{k_i}, 2\left( \frac{1}{\lambda _{i,q}}-1\right) ,\sigma _{\nu _i}\gamma _{\nu _i},\sigma _{\rho _i}\gamma _{\rho _i},\sigma _{\ell _{i,q}}\gamma _{\ell _{i,q}}\}\), \(\underline{k_i}=\min _{1\le q\le n_i}\{k_{i,q}\}\) and \(h_i=\sum _{j=1}^{N}\sum _{q=1}^{n_j}\varrho _{j,q,i}\phi _{j,q,i}(y_i) -\rho _iz_{i,1}\varphi _i\) are the uncertain terms generated by interactions.
Due to \(\phi _{j,q,i}\ge 0\) and the definitions of \(\rho _i\) and \(\varphi _i\), we have
By (B.2), it can be deduced that, for each \(i=1,\ldots ,N\), on the one hand, if \(\mid z_{i,1}\mid > \sqrt{\lambda _i}\), \(h_i<0\). And on the other hand, if \(\mid z_{i,1}\mid \le \sqrt{\lambda _i}\), \(y_i\) is bounded from (8). In summary then, \(h_i\) has an upper bound \(H_i \ge 0\).
Then, applying Lemma 4, let \(\varXi _1=\sum _{q=2}^{n_i}\frac{1}{2}\phi _{i,q}^2\), \(\varXi _2=\frac{1}{2\gamma _{\rho _i}}\tilde{\rho }_i^2\), \(\varXi _3=\frac{1}{2\gamma _{\nu _i}}\tilde{\nu }_i^2\), \(\varXi _4=\sum _{q=1}^{n_i}\frac{ \underline{g}_{i,q}}{2\gamma _{\ell _{i,q}}}\tilde{\ell }_{i,q}^2\), \(\varDelta =1\), \(\zeta _1=\beta \), \(\zeta _2=1-\beta \), \(\zeta _3=\beta ^{-1}\), it follows that
Then, substituting (B.2) and (B.3) into (B.1), we have
Inequality (75) is then obtained. \(\square \)
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Shi, S., Li, YX. & Tong, S. Event-based decentralized adaptive finite-time tracking control of interconnected nonlinear time-varying systems. Nonlinear Dyn 111, 3479–3495 (2023). https://doi.org/10.1007/s11071-022-08022-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11071-022-08022-0