- Research
- Open Access
- Published:
Absolute stability of time-varying delay Lurie indirect control systems with unbounded coefficients
Advances in Difference Equations volume 2017, Article number: 38 (2017)
Abstract
This paper investigates the absolute stability problem of time-varying delay Lurie indirect control systems with variable coefficients. A positive-definite Lyapunov-Krasovskii functional is constructed. Some novel sufficient conditions for absolute stability of Lurie systems with single nonlinearity are obtained by estimating the negative upper bound on its total time derivative. Furthermore, the results are generalised to multiple nonlinearities. The derived criteria are especially suitable for time-varying delay Lurie indirect control systems with unbounded coefficients. The effectiveness of the proposed results is illustrated using simulation examples.
1 Introduction
In the middle of the last century, the concept of absolute stability was introduced in [1]. Since then, the absolute stability problem of Lurie system has been extensively studied in the academic community, and there have been many publications on this topic [2–6]. As for time-delay Lurie systems with constant coefficients, fruitful results have been obtained. In [7], Khusainov and Shatyrko studied the absolute stability of multi-delay regulation systems. In [8], by applying the properties of M-matrix and selecting an appropriate Lyapunov function, Chen et al. established new absolute stability criteria for Lurie indirect control system with multiple variable delays, and they improved and generalised the corresponding results in [9]. In [10, 11], different Lyapunov-Krasovskii functionals were constructed. The absolute stability problem of Lurie direct control system with multiple time-delays became the stability problem of a neutral-type system based on the Newton-Leibniz formula and decomposing the matrices, and some stability criteria were obtained. The authors in [12, 13] made greater improvements. They avoided the stability assumption on the operator using extended Lyapunov functional and gave less conservative stability criteria than those in [10, 11]. [14] and [15] studied the absolute stability of Lurie systems with constant delay and the systems with time-varying delay, respectively. Improved robust absolute stability criteria were obtained in [16] and [17] based on a free-weighting matrix approach and a delayed decomposition approach. Additionally, for a class of more complicated Lurie indirect control systems of neutral type, some relevant stability conditions were derived in [18–20].
At the same time, Lurie system has been generalised by researchers from different aspects. Time-varying Lurie system is a natural generalisation. For the absolute stability of such a system, there have been lots of useful results. In [21], the absolute stability of Lurie indirect control systems and large-scale systems with multiple operators and unbounded coefficients were studied. The discussed system was taken as a large-scale interconnected system composed of several subsystems. By constructing a Lyapunov function for each isolated subsystem, a certain weighted sum of them was considered as the Lyapunov function of the original system. Thus some stability criteria were derived. The authors in [22, 23] developed some sufficient conditions for the absolute stability of Lurie direct control systems and large-scale systems with unbounded coefficients.
Regarding the absolute stability of time-varying Lurie systems, uncertain Lurie systems and stochastic Lurie systems, lots of research results have been reported in the literature. However, most of the results on the absolute stability of Lurie systems require that the system coefficients be bounded. Motivated by this, we will study the absolute stability of time-varying Lurie indirect control systems with time delay. Especially, the coefficients of the system studied in this paper can be unbounded. Lyapunov’s second method will be used. In fact, the research methods in [14, 15, 21] can be combined and modified appropriately to investigate the systems considered in this paper. The proposed Lyapunov-Krasovskii functional not only keeps the components related to a quadratic form together with an integral term in the above references, but also adds an integral of a quadratic form related to the time delay. Finally, several new simple absolute stability criteria are established. The novelty of the paper can be summarised as follows: The elements of the system coefficient matrices can be unbounded functions; and also the time delay can be very large if its time derivative is less than one. At the same time, the obtained results are also applicable to time-varying delay Lurie indirect control systems with bounded coefficients and the systems with constant coefficients.
Notation
Throughout this paper, \(\lambda ( A )\) stands for any eigenvalue of the square matrix A; Let vector \(x= [ {{x}_{1}} \ {{x}_{2}} \ \cdots \ {{x}_{m}} ]^{T}\), and \(\Vert x \Vert \) represents the Euclidean norm of the vector x, i.e. , \(\Vert x \Vert =\sqrt{\sum_{i=1}^{m}{x_{i}^{2}}}\); The matrix norm \(\Vert A \Vert \), induced by the Euclidean vector norm \(\Vert x \Vert \), is defined as \(\Vert A \Vert =\max_{\Vert x \Vert =1} \Vert Ax \Vert \), and it can be easily verified that \(\Vert A \Vert =\sqrt{{{\lambda}_{\max}} ( {{A}^{T}}A )}\); \(\varlimsup_{t\to\infty} \) refers to the upper limit. For simplicity, let \(\phi ( \theta )=\bigl [ {\scriptsize\begin{matrix}{} x ( t+\theta ) \cr \sigma(t)\end{matrix}} \bigr ]\), \(\theta\in [ -h,0 ]\), \(t\ge0\), \({{\Vert \phi \Vert }_{{{L}_{2}}}}=\sqrt{{{\int_{-h }^{0}{\Vert \phi ( \theta ) \Vert }}^{2}}\, d\theta}\).
Lurie indirect control systems with single nonlinearity will be first studied, and then the derived results will be extended to multiple nonlinearities. Lyapunov’s theorem on asymptotic stability of time-delay systems used in the proof is given in [24, 25]. For the case of multiple nonlinearities, \(\sigma(t) \) in \(\phi ( \theta )\) is taken as a vector.
2 Absolute stability of Lurie systems with single nonlinearity
Consider the following time-varying delay Lurie indirect control system with variable coefficients and single nonlinearity:
where \(x(t)\in{{R}^{n}}\); \(\sigma(t) \in{R}\); \(A ( t )\), \(B ( t )\) are \(n\times n\) matrices, \(b ( t )\), \(c ( t )\) are n-dimensional column vectors; \(\tau ( t )\) is time delay; \(\rho ( t )\ge\rho>0\), ρ is a constant. \(A ( t )\), \(B ( t )\), \(b ( t )\), \(c ( t )\), \(\rho ( t )\) are continuous in \([0,\infty)\). \(\varphi ( t )\) is the initial condition. The nonlinearity \(f ( \cdot )\) is continuous and satisfies the sector condition:
where \({{k}_{1}}\), \({{k}_{2}}\) are given constants satisfying \({{k}_{2}}>{{k}_{1}}>0\).
Definition 1
[26]
System (1) is said to be absolutely stable if its zero solution is globally asymptotically stable for any nonlinearity \(f ( \cdot )\in{{F}_{ [ {{k}_{1}},{{k}_{2}} ]}}\).
For system (1), the following assumptions are made.
-
A1:
The time delay \(\tau ( t )\) denotes the continuous and piecewise differentiable function satisfying
$$0\le\tau ( t )\le h,\qquad \dot{\tau} ( t )\le\alpha< 1, $$where h, α are constants. At the non-differential points of \(\tau ( t )\), \(\dot{\tau} ( t )\) represents \(\max [ \dot{\tau}(t-0),\dot{\tau}(t+0) ]\).
-
A2:
For any \(t\in[0,\infty)\), there exist symmetric positive-definite matrices P and G such that
$$\lambda\bigl( PA( t)+{{A}^{T}}(t)P+G\bigr)\le-\delta(t)\le-\xi< 0, $$where \(\delta ( t )>0\) is a function and \(\xi>0\) is a constant.
-
A3:
For any \(t\in[0,\infty)\), assume that
$$\frac{\Vert PB ( t ) \Vert }{\sqrt{\delta ( t ) ( 1-\alpha ){{\lambda}_{\min}} ( G )}}\le\eta ,\qquad \frac{\Vert Pb ( t )+\frac{1}{2}c ( t ) \Vert }{\sqrt{\delta ( t )\rho ( t )}}\le\gamma, $$where η, γ are constants.
Theorem 1
Under A1, A2 and A3, if the inequality
holds, then system (1) is absolutely stable.
Proof
Using the matrices P and G, a Lyapunov-Krasovskii functional candidate is chosen as
It can be proved that if \(f\in{{F}_{ [ {{k}_{1}},{{k}_{2}} ]}}\), then \(\frac{1}{2}{{k}_{1}}{{\sigma}^{2} ( t )}\le \int_{0}^{\sigma ( t )}{f ( s )\,ds}\le\frac {1}{2}{{k}_{2}}{{\sigma}^{2} ( t )}\) hold. Thus, V satisfies
Further, we have
That is, let
then the following will hold when \(t\ge0\):
Consequently, \(V ( t,\phi )\) satisfies the conditions required by Lyapunov’s theorem.
The time derivative of \(V ( t,\phi )\) along the trajectories of system (1) will be calculated, and its upper bound will be estimated as follows:
By virtue of A1, A2 and the property of norm, the following will be obtained:
In order to make full use of A3 and the unbounded terms in the coefficients of system (1), take \(\sqrt{\delta ( t )} \Vert x ( t ) \Vert \), \(\sqrt{ ( 1-\alpha ){{\lambda}_{\min}} ( G )}\Vert x ( t-\tau ( t ) ) \Vert \) and \(\sqrt{\rho ( t )}\vert f ( \sigma{ ( t )} ) \vert \) as the following variables of the quadratic form. By further estimating the right-hand side of \(\frac{d}{dt}V ( t,\phi ) |_{\text{(1)}}\) based on A3, let us note that
Then, rewriting the right-hand side of the above inequality yields
where
In the following, we will show that the right-hand side of (2) is a negative-definite function. To establish this result, let us prove that matrix D is negative definite. It is easy to obtain the characteristic polynomial of D given by
Thus, the eigenvalues of D are as follows:
It can be seen that if \({{\eta}^{2}}+{{\gamma}^{2}}<1\), three eigenvalues of D are negative, i.e., D is a negative-definite matrix. Clearly, \({{\lambda}_{2}}\) is the maximum eigenvalue of D. This implies that
Since \(\sigma{(t)} f ( \sigma{(t)} )\ge{{k}_{1}}{{\sigma }^{2}{(t)} }\), we have \(\vert f ( \sigma{(t)} ) \vert \ge {{k}_{1}}|\sigma{(t)} |\). Thus,
This shows that, as to all \(f\in{{F}_{ [ {{k}_{1}},{{k}_{2}} ]}}\), \(\frac{d}{dt}V ( t,\phi ) |_{\text{(1)}}\) is negative definite. Based on Lyapunov’s theorem, system (1) is absolutely stable, which completes the proof of Theorem 1. □
Because asymptotical stability is a property of the trajectories of a system as time tends to infinity, we just need to ensure that the above requirements can be met when time t is sufficiently large. Therefore, A2 and A3 can be rewritten as follows. There exists \(T\ge0\) such that when \(t>T\), the corresponding conditions hold. Particularly, A3 can be rewritten as a new form of the upper limit, that is, the following A4 is valid.
-
A4:
It is assumed that
$$\varlimsup_{t\to\infty}\frac{\Vert PB ( t ) \Vert }{\sqrt{\delta ( t ) ( 1-\alpha ){{\lambda}_{\min}} ( G )}}=\bar{\eta},\qquad \varlimsup_{t\to\infty}\frac{\Vert Pb ( t )+\frac{1}{2}c ( t ) \Vert }{\sqrt{\delta ( t )\rho ( t )}}=\bar{\gamma}, $$where η̄, γ̄ are constants.
The following corollaries are more convenient in practical situations.
Corollary 1
Under A1, A2 and A4, if the inequality
holds, then system (1) is absolutely stable.
Proof
According to the property of the upper limit, if A4 holds, for any \(\varepsilon>0\), there exists T (\(T\ge0\)) such that when \(t>T\) the following hold:
Let
then inequality (2) in Theorem 1 holds when \(t>T\). By Theorem 1, if there exists \(\varepsilon>0\) such that
then system (1) is absolutely stable. We notice that the known condition \(\psi ( 0 )={{\bar{\eta}}^{2}}+{{\bar{\gamma }}^{2}}<1\), and \(\psi ( \varepsilon )\) is a continuous function of ε, thus a positive real number ε which is sufficiently small can be found such that \(\psi ( \varepsilon )<1\). This completes the proof of Corollary 1.
In fact, if we define \(\delta=1- ( {{{\bar{\eta}}}^{2}}+{{{\bar {\gamma}}}^{2}} )\) and take \(\varepsilon=\frac{- ( \bar {\eta}+\bar{\gamma} )+\sqrt{{{ ( \bar{\eta}+\bar{\gamma} )}^{2}}+\delta}}{2}\), then we have \(\varepsilon>0\) and \({{ ( \bar{\eta}+\varepsilon )}^{2}}+{{ ( \bar{\gamma }+\varepsilon )}^{2}}=1-\frac{\delta}{2}<1\). □
Corollary 2
Under A1, A2 and A4, if the inequality
holds, then system (1) is absolutely stable.
Proof
From \(\bar{\eta}\ge0\), \(\bar{\gamma}\ge0\), obviously, we have
If \(\bar{\eta}+\bar{\gamma}<1\), i.e. , \({{ ( \bar{\eta }+\bar{\gamma} )}^{2}}<1\), then inequality (3) is valid. Thus, Corollary 2 holds by Corollary 1. □
Particulary, if the coefficients of system (1) are bounded, the above conclusions are still accurate. Certainly, the above criteria are also true for Lurie systems with constant coefficients.
3 Absolute stability of Lurie systems with multiple nonlinearities
Consider the following time-varying delay Lurie indirect control system with variable coefficients and multiple nonlinearities:
where \(x(t)\in{{R}^{n}}\); \(\sigma_{i}(t) \in{R}\) (\(i=1,2,\ldots,m\)); \(A ( t )\), \(B ( t )\) are \(n\times n\) matrices; \({{b}_{i}} ( t )\), \({{c}_{i}} ( t )\) (\(i=1,2,\ldots,m\)) are n-dimensional column vectors; \(\tau ( t )\) is time delay; \({{\rho}_{i}} ( t )\ge{{\rho}_{i}}>0\) (\(i=1,2,\ldots,m\)), \({{\rho}_{i}}\) are constants. \(A ( t )\), \(B ( t )\), \({{b}_{i}} ( t )\), \({{c}_{i}} ( t )\), \({{\rho}_{i}} ( t )\) are continuous in \([0,\infty)\). \(\varphi ( t )\) is the initial condition. The nonlinearities \({{f}_{i}} ( \cdot )\) (\(i=1,2,\ldots,m \)) are continuous and satisfy the sector condition:
where \({{k}_{i1}}\), \({{k}_{i2}}\) are given constants satisfying \({{k}_{i2}}>{{k}_{i1}}>0\).
Definition 2
System (4) is said to be absolutely stable if its zero solution is globally asymptotically stable for any nonlinearity \({{f}_{i}} ( \cdot )\in{{F}_{ [ {{k}_{i1}},{{k}_{i2}} ]}}\) (\(i=1,2,\ldots,m \)).
In addition to A1 and A2, the following assumptions are needed for system (4).
-
A5:
For any \(t\in[0,\infty)\), assume that
$$\frac{\Vert PB ( t ) \Vert }{\sqrt{\delta ( t ) ( 1-\alpha ){{\lambda}_{\min}} ( G )}}\le\eta , \qquad \frac{\Vert P{{b}_{j}} ( t )+\frac{1}{2}{{c}_{j}} ( t ) \Vert }{\sqrt{\delta ( t ){{\rho}_{j}} ( t )}}\le{{\gamma}_{j}}, $$where η, \({{\gamma}_{j}}\) (\(j=1,2,\ldots,m\)) are constants.
Theorem 2
Under A1, A2 and A5, if the inequality
holds, then system (4) is absolutely stable.
Proof
Using matrices P and G, a Lyapunov-Krasovskii functional candidate can be chosen as
where \(\phi ( \theta )= [ {{x}^{T}} ( t+\theta )\ {{\sigma}_{1}} ( t )\ \cdots \ {{\sigma}_{m}} ( t ) ]^{T}\), \(\theta\in [ -h,0 ]\), \(t\ge0\). Similarly to the proof of Theorem 1, it can be verified that \(V ( t,\phi )\) satisfies the conditions required by Lyapunov’s theorem.
Next calculating the time derivative of \(V ( t,\phi )\) along the trajectories of system (4) yields
Likewise, in the light of A1, A2 and the property of norm, the following will be obtained:
In order to take advantage of A5 and the unbounded terms in the coefficients of system (4), let us take \(\sqrt{\delta ( t )}\Vert x ( t ) \Vert \), \(\sqrt{ ( 1-\alpha ){{\lambda}_{\min}} ( G )}\Vert x ( t-\tau ( t ) ) \Vert \) and \(\sqrt{{{\rho}_{i}} ( t )}\vert {{f}_{i}} ( {{\sigma}_{i}{ ( t )}} ) \vert \) (\(i=1,2,\ldots,m\)) as the following variables of the quadratic form. Further estimating the right-hand side of \(\frac{d}{dt}V ( t,\phi ) |_{\text{(4)}}\) based on A5 yields
Rewriting the right-hand side of the above inequality, it follows that
where
In the following section we will prove that the right-hand side of (5) is a negative-definite function. Firstly, let us show that matrix D is negative definite. Calculating the characteristic polynomial of D yields
It can easily be seen that \(\lambda=-1\) is an eigenvalue of multiplicity m, and the other two eigenvalues are given by \(\lambda =-1\pm\sqrt{{{\eta}^{2}}+\sum_{i=1}^{m}{\gamma_{i}^{2}}}\). Therefore, if \({{\eta}^{2}}+\sum_{i=1}^{m}{{{\gamma}_{i}}^{2}}<1\), all eigenvalues of D are negative, i.e., D is negative definite.
Let us denote the largest eigenvalue of D by β, namely, \(\beta=-1+\sqrt{{{\eta}^{2}}+\sum_{i=1}^{m}{\gamma_{i}^{2}}}\). From (6), the following will be obtained:
Since \({{\sigma}_{i}{(t)}}{{f}_{i}} ( {{\sigma}_{i}{(t)}} )\ge{{k}_{i1}}\sigma_{i}^{2}{(t)}\), then \(\vert {{f}_{i}} ( {{\sigma}_{i}{(t)}} ) \vert \ge{{k}_{i1}}|{{\sigma }_{i}{(t)}}|\) (\(i=1,2,\ldots,m\)) holds. Therefore, from the above inequality, we obtain
Because \(\beta<0\), for any nonlinearity \({{f}_{i}} ( \cdot )\) satisfying the given sector condition, we get \(\frac {d}{dt}V ( t,\phi )|_{\text{(4)}}\) is negative definite. Thus, system (4) is absolutely stable by Lyapunov’s theorem. This completes the proof of Theorem 2. □
Similarly to the case of single nonlinearity, in order to guarantee that system (4) is absolutely stable, A5 in Theorem 2 can be rewritten as follows: There exists \(T\ge0\) such that when \(t>T\) the corresponding conditions hold. Therefore, η, \({{\gamma}_{j}}\) (\(j=1,2,\ldots,m\)) in A5 can be calculated by the upper limit (if the corresponding upper limit is a finite value).
-
A6:
It is assumed that
$$\varlimsup_{t\to\infty}\frac{\Vert PB ( t ) \Vert }{\sqrt{\delta ( t ) ( 1-\alpha ){{\lambda}_{\min}} ( G )}}=\bar{\eta},\qquad \varlimsup_{t\to\infty}\frac{\Vert P{{b}_{j}} ( t )+\frac {1}{2}{{c}_{j}} ( t ) \Vert }{\sqrt{\delta ( t ){{\rho}_{j}} ( t )}}={{\bar{\gamma}}_{j}}, $$where η̄, \({{\bar{\gamma}}_{j}}\) (\(j=1,2,\ldots,m\)) are constants.
Corollary 3
Under A1, A2 and A6, if the inequality
holds, then system (4) is absolutely stable.
The proof follows similar steps as in the proof of Corollary 1, and thus is omitted here. According to Corollary 3, it is easy to obtain the following Corollary 4.
Corollary 4
Under A1, A2 and A6, if the inequality
holds, then system (4) is absolutely stable.
4 Numerical simulations
In this section, the validity of the proposed approach will be shown by numerical examples.
Example 1
Consider the time-varying delay Lurie indirect control system with variable coefficients and single nonlinearity
where \(\tau ( t )=3+0.5\sin t\), \(f ( \cdot )\in {{F}_{ [ 0.01,100 ]}}\).
In comparison with system (1), the coefficient matrices are as follows:
Now let us verify that this system satisfies all the conditions of Theorem 1.
Firstly, it is obvious that \(0\le\tau ( t )\le3.5=h\), \(\dot{\tau} ( t )=0.5\cos t\le0.5<1\). We have \(\alpha =0.5\). Thus, A1 is satisfied.
Then, let \(P=G=I\), it follows that
It is easy to obtain
Furthermore, let \(T=1.5\), when \(t>T\), we have
Thus, we can choose
Note that if \(t>T\), we have
Thus, A2 is satisfied. In addition,
Hence, \(\eta=\frac{1}{\sqrt{2}}\), \(\gamma=\frac{1}{\sqrt{15}}\), that is, A3 is satisfied.
It is clear that \({{\eta}^{2}}+{{\gamma}^{2}}=\frac{17}{30}<1\). Summarising the conditions obtained, we conclude that Theorem 1 is applicable and system (6) is absolutely stable. In order to carry out a numerical simulation, let
Now it can be proved that \(f ( \sigma{(t)} )\) belongs to \({{F}_{ [ 0.01,100 ]}}\). Obviously, \(f ( 0 )=0\). Thus, we just need to show that if \(\sigma{(t)} \ne0\), the following inequalities
i.e.,
are valid.
First we know, if \(0<\vert \sigma{(t)} \vert <\frac{\pi}{2}\), we have
Hence,
Thus, in such a case, (7) hold.
If \(\vert \sigma{(t)} \vert \ge\frac{\pi}{2}\), because of \(\vert \sin\sigma{(t)} \vert \le1\), we have
that is, the right-hand side of (7) is valid. Moreover,
that is, the left-hand side of (7) is valid. Thus, \(f ( \sigma{(t)} )\in{{F}_{ [ 0.01,100 ]}}\).
The numerical simulation is carried out by Matlab. Suppose the initial condition is \({{ [ {{x}_{1}} ( t )\ {{x}_{2}} ( t )\ {{\sigma}} ( 0 ) ]}^{T}}={{ [ 1\ 1\ 0 ]}^{T}}\), \(t\in [ -h,0 ]\). The state response of system (6) is shown in Figure 1.
The state response of system ( 6 ) (with \(\pmb{f ( \sigma(t) )=2\sigma(t) +\sin\sigma{(t)}}\) ).
It can be seen from Figure 1 that the zero solution of system (6) is asymptotically stable. Changing the form of \(f ( \sigma{(t)} )\) and carrying out a corresponding numerical simulation demonstrate that system (6) is asymptotically stable as long as \(f ( \cdot )\in{{F}_{ [ 0.01,100 ]}}\). Thus, it is absolutely stable. This example illustrates that the simulation result is in perfect accordance with theoretical conclusions.
Furthermore, in this paper, the derived theorems and corollaries are sufficient conditions. This implies that system (1) may be still asymptotically stable although some conditions are not satisfied. For this example, let \(f ( \sigma{(t)} )={{\sigma}^{2}{(t)}}\), and the rest of the parameters remain unchanged. Although \(f ( \sigma{(t)} )\) does not belong to any \({{F}_{ [ {{k}_{1}},{{k}_{2}} ]}}\), it is found that system (6) is still asymptotically stable by simulation, as shown in Figure 2. Therefore, it is possible to extend the absolute stability region of parameters for system (1). This will be explored in our future works.
The state response of system ( 6 ) (with \(\pmb{f ( \sigma(t) )={{\sigma}^{2}(t)}}\) ).
The above selected \(\tau ( t )\) is derivable everywhere. Next, \(\tau ( t )\) is rewritten as a continuous and piecewise differentiable function.
Example 2
We still consider system (6), the time delay is given by
The other parameters remain unchanged. Here \(\tau ( t )\le 2\) means \(h=2\). Note that \(\tau ( t )\) is not derivable at \(t=2\) and \(t=4\), but it has right and left derivative. Combined with A1, we have \(\dot{\tau} ( t )\le0.5\). Thus, \(\alpha=0.5\). Similarly to Example 1, this system is absolutely stable. By utilising Matlab, the simulation result is shown in Figure 3.
The state response of the system in Example 2 .
It is worth noting that the coefficients \(A ( t )\), \(B ( t )\), \(b ( t )\), \(c ( t )\), \(\rho ( t )\) in Example 1 and Example 2 are unbounded. This is the novelty of the paper. All theorems and corollaries are suitable for systems whose coefficient matrices are unbounded. Actually, for Lurie systems with bounded or constant coefficients, all results are also true. Now an example of Lurie system with constant coefficients is presented.
Example 3
Consider the time-varying delay Lurie indirect control system with constant coefficients
where \(\tau ( t )=3+0.5\sin t\), \(f ( \cdot )\in {{F}_{ [ 0.01,100 ]}}\). Here,
are all constant matrices or constants.
Now we verify that this system satisfies all the conditions of Theorem 1.
First, it is obvious that \(0\le\tau ( t )\le3.5=h\), \(\dot {\tau} ( t )=0.5\cos t\le0.5<1\). We have \(\alpha=0.5\). Thus, A1 is satisfied. Then let \(P=G=I\), it follows that
It is easy to obtain
Thus, we have
Then, A2 is satisfied. In addition,
Hence, we have \(\eta=0.9\), \(\gamma=0.3\) in A3.
It is clear that \({{\eta}^{2}}+{{\gamma}^{2}}=0.9<1\), which means that the conditions of Theorem 1 are satisfied. The conclusion could be made that system (8) is absolutely stable. Let
Suppose the initial condition is \({{ [ {{x}_{1}} ( t )\ {{x}_{2}} ( t )\ {{\sigma}} ( 0 ) ]}^{T}}={{ [ 1\ 1\ 0 ]}^{T}}\), \(t\in [ -h,0 ]\). The simulation result is obtained using Matlab, as shown in Figure 4.
The state response of system ( 8 ).
Figure 4 indicates that the zero solution of system (8) is asymptotically stable. This verifies theoretical results. Changing \(f ( \sigma{(t)} )\) to simulate yields that system (8) is asymptotically stable so long as \(f ( \cdot )\in{{F}_{ [ 0.01,100 ]}}\), i.e., system (8) is absolutely stable. Thus, the results in this paper are true for Lurie systems with constant coefficients.
Next, an example of Lurie system with multiple nonlinearities is introduced.
Example 4
Consider the time-varying delay Lurie indirect control system with variable coefficients and two nonlinearities
where \(\tau ( t )=3+0.5\sin t\), \({{f}_{i}} (\cdot )\in{{F}_{ [ 0.01,100 ]}}\), \(i=1,2\) and
Now we verify that this system satisfies all the conditions of Corollary 4.
Firstly, it is obvious that \(0\le\tau ( t )\le3.5=h\), \(\dot{\tau} ( t )=0.5\cos t\le0.5<1\). We know that \(\alpha =0.5\). Thus A1 is satisfied.
Then let \(P=G=I\), it follows that
It is easy to obtain
Further, let \(T=2\). Then, when \(t>T\), we have
Thus A2 is satisfied with \(\delta ( t )=5t\), \(\xi=-10\). In addition,
We recall the fact that the upper limit always exists if the limit exists, and it is equal to the limit value. Hence, for A6 we have \(\bar {\eta}=\frac{1}{\sqrt{10}}\), \({{\bar{\gamma}}_{1}}={{\bar{\gamma}}_{2}}=0\).
It is clear that \(\bar{\eta}+\bar{\gamma}_{1}+\bar{\gamma }_{2}=\frac{1}{\sqrt{10}}<1\). Thus, all the conditions in Corollary 4 are satisfied, that is, system (9) is absolutely stable.
In order to carry out the numerical simulation, let
Suppose the initial condition of the system is given by
With the aid of Matlab, the state response of system (9) is shown in Figure 5. It illustrates that the numerical simulation result is completely consistent with the theoretical conclusion.
The state response of system ( 9 ).
5 Conclusion
The absolute stability problem of time-varying delay Lurie indirect control systems with variable coefficients has been investigated in this paper. Based on Lyapunov stability theory, some sufficient conditions and several simple and practical corollaries have been obtained. The results in this paper are especially applicable to checking the absolute stability of time-varying delay Lurie indirect control systems with unbounded coefficients. The validity of the proposed criteria has been demonstrated by numerical examples.
References
Lur’e, AI, Postnikov, VN: On the theory of stability of control system. Prikl. Mat. Meh. 8(3), 283-286 (1944)
Liberzon, MR: Essays on the absolute stability theory. Autom. Remote Control 67(10), 1610-1644 (2006)
Gelig, AH, Leonov, GA, Fradkov, AL: Nonlinear Systems. Frequency and Matrix Inequalities. Fizmatlit, Moscow (2008)
Lur’e, AI: Some Nonlinear Problems in the Theory of Automatic Control. H. M. Stationery Office, London (1957)
Aizerman, MA, Gantmaher, FR: Absolute Stability of Regulator Systems. Holden-Day, San Francisco (1964)
Xie, H: Theories and Applications of Absolute Stability. Science Press, Beijing (1986)
Khusainov, DY, Shatyrko, AV: Absolute stability of multi-delay regulation systems. J. Autom. Inf. Sci. 27(3), 33-42 (1995)
Chen, W-H, Guan, Z-H, Lu, X-M: Absolute stability of Lurie indirect control systems with multiple variable delays. Acta Math. Sin. 47(6), 1063-1070 (2004)
Gan, Z-X, Ge, W-G: Absolute stability of a class of multiple nonlinear Lurie control systems with delay. Acta Math. Sin. 43(4), 633-638 (2000)
Tian, J, Zhong, S, Xiong, L: Delay-dependent absolute stability of Lurie control systems with multiple time-delays. Appl. Math. Comput. 188(1), 379-384 (2007)
Cao, J, Zhong, S: New delay-dependent condition for absolute stability of Lurie control systems with multiple time-delays and nonlinearities. Appl. Math. Comput. 194(1), 250-258 (2007)
Nam, PT, Pathirana, PN: Improvement on delay dependent absolute stability of Lurie control systems with multiple time delays. Appl. Math. Comput. 216(3), 1024-1027 (2010)
Daryoush, BS, Soheila, DC: Improvement on delay dependent absolute stability of Lurie control systems with multiple time-delays and nonlinearities. World J. Model. Simul. 10(1), 20-26 (2014)
Shatyrko, A, Diblík, J, Khusainov, D, Růžičková, M: Stabilization of Lur’e-type nonlinear control systems by Lyapunov-Krasovskii functionals. Adv. Differ. Equ. 2012, 229 (2012)
Wang, T-C, Wang, Y-C, Hong, L-R: Absolute stability for Lurie control system with unbound time delays. J. China Univ. Min. Technol. 14(1), 67-69 (2005)
Zeng, H-B, He, Y, Wu, M, Feng, Z-Y: New absolute stability criteria for Lurie nonlinear systems with time-varying delay. Control Decis. 25(3), 346-350 (2010)
Liu, P-L: Delayed decomposition approach to the robust absolute stability of a Lur’e control system with time-varying delay. Appl. Math. Model. 40(3), 2333-2345 (2016)
Shatyrko, AV, Khusainov, DY: Absolute interval stability of indirect regulating systems of neutral type. J. Autom. Inf. Sci. 42(6), 43-54 (2010)
Shatyrko, AV, Khusainov, DY, Diblik, J, Baštinec, J, Rivolova, A: Estimates of perturbation of nonlinear indirect interval control system of neutral type. J. Autom. Inf. Sci. 43(1), 13-28 (2011)
Shatyrko, A, van Nooijen, RRP, Kolechkina, A, Khusainov, D: Stabilization of neutral-type indirect control systems to absolute stability state. Adv. Differ. Equ. 2015, 64 (2015)
Liao, F-C, Li, A-G, Sun, F-B: Absolute stability of Lurie systems and Lurie large-scale systems with multiple operators and unbounded coefficients. J. Univ. Sci. Technol. B 31(11), 1472-1479 (2009)
Wang, D, Liao, F: Absolute stability of Lurie direct control systems with time-varying coefficients and multiple nonlinearities. Appl. Math. Comput. 219(9), 4465-4473 (2013)
Liao, F, Wang, D: Absolute stability criteria for large-scale Lurie direct control systems with time-varying coefficients. Sci. World J. 2014, Article ID 631604 (2014). doi:10.1155/2014/631604
Burton, TA: Uniform asymptotical stability in functional differential equations. Proc. Am. Math. Soc. 68(2), 195-199 (1978)
Burton, TA: Stability and Periodic Solutions of Ordinary and Functional Differential Equations. Academic Press, New York (1985)
Lefschetz, S: Stability of Nonlinear Control Systems. Academic Press, New York (1965)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (grant number 61174209).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors have made the same contribution. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liao, F., Yu, X. & Deng, J. Absolute stability of time-varying delay Lurie indirect control systems with unbounded coefficients. Adv Differ Equ 2017, 38 (2017). https://doi.org/10.1186/s13662-017-1094-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1094-5
Keywords
- nonlinear systems
- Lurie indirect control systems
- absolute stability
- Lyapunov stability theorem