- Research
- Open access
- Published:
Stabilization of neutral-type indirect control systems to absolute stability state
Advances in Difference Equations volume 2015, Article number: 64 (2015)
Abstract
This paper provides sufficient conditions for absolute stability of an indirect control Lur’e problem of neutral type. The conditions are derived using a Lyapunov-Krasovskii functional and are given in terms of a system of matrix algebraic inequalities. From these matrix inequalities a sufficient condition for linear state feedback stabilizability follows.
1 Introduction
The problem of absolute stability is often encountered in engineering practice. One specific form of this problem is the indirect control Lur’e problem, where the system to be controlled is linear, but the control action is the output of a nonlinear scalar system that itself receives output feedback. The special case where the output of the controller is a nonlinear function of one variable whose graph lies between two lines in the first and third quadrants of the coordinate plane is usually studied. Initially only systems of ordinary differential equations were considered; see for example [1–6]. A historical overview of the absolute stability problem can be found in [7] or in the introduction of [8].
In practical control processes time delays are common and they often cause instabilities, as a result, the absolute stability problem of nonlinear control systems with delay has attracted a lot of interest [5, 6, 9–11]. Nonlinear systems of neutral type with indirect control are considered in [10–15]. Sufficient conditions for absolute stability for such systems are derived in [13, 14] by the direct Lyapunov method using Lyapunov-Krasovskii functionals, these conditions are given in Theorem 1 of this paper. The functionals are constructed by taking the sum of a quadratic form of the current coordinates, integrals over the delay of quadratic forms of the state and its derivative, and the integral of the nonlinear components of the considered system [5, 6, 9–11]. All results from [11, 13, 14] can be put into a unified form in terms of matrix algebraic inequalities. A very different approach is given in [16, 17] or [18, 19], where integral operators are used.
In this paper we also consider what to do if absolute stability of the system under investigation cannot be established using the result given in Theorem 1. There are two obvious options: either change the method of investigation or change the Lyapunov function or functional. But there is a third option: we can try to add a linear state feedback to stabilize the closed loop system for the previously chosen Lyapunov function or functional. There are some interesting papers devoted to the investigation of stability and stabilization tasks [20–22].
The present article is a direct extension of [22]. The remainder of this paper is organized as follows. In Section 2 the absolute stability problem of neutral type indirect nonlinear control system is formulated, some notation is defined, and a result from [13, 14] is stated. Section 3 introduces the concepts of stability and stabilization with respect to a given functional for the case of a linear control system with delay. In Section 4 the scalar case of a neutral system with nonlinear indirect control is treated. The indirect control system of neutral type in the general matrix form is considered in Section 5. Finally, some conclusion are drawn in Section 6.
2 Problem formulation and preliminaries
In this paper \(\mathbb{R}_{0}^{+}= [0,\infty )\), \(\mathbb{R}^{n}\) is the n-dimensional vector space over the real numbers; \(\mathbb {R}^{m\times n}\) will be used for the set of all \(m\times n\) matrices, \(\mathrm {I}_{n\times n}\) is the \(n\times n\) identity matrix; \(0_{m\times n}\) is an \(m\times n\) matrix filled with zeros; a superscript T marks the transpose of a vector or a matrix; and \(\vec{\mathrm{e}}_{k,n}\) is the unit vector along the kth coordinate direction in an n-dimensional space. Subscripts n and \(n\times n\), which indicate the dimension of the space or the matrix, will be dropped whenever they are clear from the context. The Euclidean norm of a vector \(a\in\mathbb{R}^{n}\) will be written as \(\vert a\vert \), so
and for a square matrix \(A\in\mathbb{R}^{n\times n}\), \(\vert A\vert \) will be the operator norm induced by the Euclidean vector norm. Recall that
where \(\lambda_{\max}\) is the largest eigenvalue of \(A^{\mathrm{T}}A\). We will write \(\mathcal{C}_{n,\tau}\) for the Banach space \(\mathcal {C} ( [-\tau,0 ],\mathbb{R}^{n} )\) of continuous functions from \([-\tau,0 ]\) to \(\mathbb {R}^{n}\) with norm
and use \(\mathcal{C}_{n,\tau}^{1}=\mathcal{C}^{1} ( [-\tau ,0 ],\mathbb{R}^{n} )\) for the Banach space \(\mathcal{C}^{1} ( [-\tau,0 ],\mathbb{R}^{n} )\) of continuous functions from \([-\tau,0 ]\) to \(\mathbb{R}^{n}\) with a continuous derivative with norm
We will also need the time shift operator, which operates on time dependent functions and is given by
For a function f with domain X, the function g with domain \(Y\subset X\) that coincides with f on Y will be denoted by \(f\vert _{Y} \). As is usual in the literature on differential equations with delay, we will use the abbreviated notation \(x_{t}\) for the time shifted function x, restricted to the domain \([-\tau,0 ]\), so
In this paper we will consider a Lur’e system of neutral type with indirect control,
with \(\phi\in\mathcal{C}_{n,\tau}\), \(A_{1},A_{2},D\in\mathbb {R}^{n\times n}\), \(b,c\in\mathbb{R}^{n}\), \(\rho,\tau\in\mathbb{R}\), \(f\in\mathcal {C} (\mathbb{R},\mathbb{R} )\) such that \(\rho>0\), \(\tau>0\), \(\vert D\vert <1\), and
where \(k_{1},k_{2}\in\mathbb{R}\) and \(k_{2}>k_{1}>0\). This is a special case of the more general autonomous neutral functional-differential equation
where \(D\in\mathbb{R}^{n\times n}\) and \(F\in\mathcal{C} (\mathcal{C}_{n,\tau},\mathbb{R}^{n} )\) with initial condition
where \(\phi\in\mathcal{C}_{n,\tau}^{1}\). If we need to refer to a specific solution of (5) with (6) then we will use the notation \(x_{ \langle t_{0},\phi \rangle}\).
Definition 1
A pair \((x,\sigma )\in C ( [t_{0}-\tau,\infty ),\mathbb{R}^{n} )\times C ( [t_{0},\infty ),\mathbb{R} )\) is a solution of (1), (2), (3) on \([t_{0},\infty )\) if x satisfies ( 3 ) and the pair satisfies the system (1) and (2).
Evidently, as discussed in [23], p.169, there are obviously two families of metrics or measures for stability in this case, one based on x alone and another based on x and its derivative. A general theory of stability in two metrics or measures was first given by [24] and extended by [25]; see also [26, 27]. We use the definition of measure given in [26].
Definition 2
A function \(h\in\mathcal{C} (\mathbb{R}_{0}^{+}\times X,\mathbb {R}_{0}^{+} )\), where X is a Banach space, is called a measure in X if
and the set of all measures in X is denoted by \(\Gamma (X )\).
Note the large difference in meaning conveyed by the subtle difference in terminology between a ‘measure in X’ and a ‘measure on X’.
Definition 3
For given \(h_{0}\in\Gamma (\mathcal{C}_{n,\tau}^{1} )\) and \(h\in\Gamma (\mathcal{C}_{n,\tau}^{1} )\) the solution \(x_{ \langle t_{0},\phi \rangle}\) of (5) with (6) is \((h_{0},h )\) stable if
Definition 4
For given \(h_{0}\in\Gamma (\mathcal{C}_{n,\tau}^{1} )\) and \(h\in\Gamma (\mathcal{C}_{n,\tau}^{1} )\) the solution \(x_{ \langle t_{0},\phi \rangle}\) of (5) with (6) is \((h_{0},h )\) asymptotically stable if it is \((h_{0},h )\) stable and
or equivalently if it is \((h_{0},h )\) stable and
Definition 5
For given \(h_{0}\in\Gamma (\mathcal{C}_{n,\tau}^{1} )\) and \(h\in\Gamma (\mathcal{C}_{n,\tau}^{1} )\) the solution \(x_{ \langle t_{0},\phi \rangle}\) of (5) with (6) is \((h_{0},h )\) exponentially stable (after for instance [27, 28]) if
Definition 6
For given \(h_{0}\in\Gamma (\mathcal{C}_{n,\tau}^{1} )\) and \(h\in\Gamma (\mathcal{C}_{n,\tau}^{1} )\) the solution \(x_{ \langle t_{0},\phi \rangle}\) of (5) with (6) is \((h_{0},h )\) globally asymptotically stable if
Definition 7
We call the zero solution \(x:t\mapsto0_{n\times1}\), \(\sigma:t\mapsto0\) of (1), (2) stable if it is \((h_{0},h )\) stable for \(h_{0} (t,\phi )=\Vert \phi \Vert _{\infty}\) and \(h (t, \langle x_{t},\sigma_{t} \rangle )=\sqrt{\vert x_{t} (0 )\vert ^{2}+\vert \sigma _{t} (0 )\vert ^{2}}\).
Definition 8
We call the zero solution \(x:t\mapsto0_{n\times1}\), \(\sigma:t\mapsto0\) of (1), (2) asymptotically stable if it is \((h_{0},h )\) asymptotically stable for \(h_{0} (t,\phi )=\Vert \phi \Vert _{\infty}\) and \(h (t, \langle x_{t},\sigma_{t} \rangle )=\sqrt{\vert x_{t} (0 )\vert ^{2}+\vert \sigma _{t} (0 )\vert ^{2}}\).
Definition 9
We call the zero solution \(x:t\mapsto0_{n\times1}\), \(\sigma:t\mapsto0\) of (1), (2) globally asymptotically stable if it is \((h_{0},h )\) globally asymptotically stable for \(h_{0} (t,\phi )=\Vert \phi \Vert _{\infty}\) and \(h (t, \langle x_{t},\sigma_{t} \rangle )=\sqrt{\vert x_{t} (0 )\vert ^{2}+\vert \sigma _{t} (0 )\vert ^{2}}\).
Definition 10
We call the zero solution \(x:t\mapsto0_{n\times1}\), \(\sigma:t\mapsto0\) of (1), (2) globally asymptotically stable in metric \(\mathcal{C}^{1}\) if it is \((h_{0},h )\) globally asymptotically stable for \(h_{0} (t,\phi )=\Vert \phi \Vert _{\infty}\) and
Definition 11
The system (1), (2) is called absolutely stable if the zero solution of the system (1), (2) is globally asymptotically stable for an arbitrary function \(f (\sigma )\) that satisfies (4).
To investigate the system (1), (2) we use a Lyapunov-Krasovskii functional of the form
where \(H,G_{1},G_{2}\in\mathbb{R}^{n\times n}\) and \(\beta,\gamma\in \mathbb{R}\), \(\beta>0\), \(\zeta>0\).
We define the matrix
where
In [13, 14] a general theorem was proved, that provided sufficient conditions for absolute stability and estimates of the exponential decay for the solutions of the system (1), (2), when the elements of the matrices \(A_{1}\) and \(A_{2}\) were only known to lie in given intervals. When \(A_{1}\) and \(A_{2}\) are known exactly the following theorem follows immediately.
Theorem 1
Let \(\vert D\vert <1\), \(\rho,\tau>0\) and suppose that there exist positive definite matrices \(G_{1}\), \(G_{2}\), H, and constants \(\zeta>0\), \(\beta>0\) such that the matrix \(S [A_{1},A_{2},b,c,\rho,\tau,H,G_{1},G_{2},\beta,\zeta ]\) is positive definite. In that case the system (1), (2) is absolutely stable in metric with respect to the metric defined earlier for \(\mathcal{C}^{1}\).
Corollary 1
Let \(\vert D\vert <1\), \(\rho,\tau>0\) and suppose that there exist positive definite matrices \(G_{1}\), \(G_{2}\), H, and constants \(0<\lambda<1\), \(\beta>0\) such that the matrix \(\tilde{S} [A_{1},A_{2},b,c,\rho,\tau ,H,G_{1},G_{2},\beta,\lambda ]\) given by \(S_{ij}\) for \((i,j)\notin\{ (2,2), (3,3) \}\) and \(\tilde{S}_{22} = \lambda G_{1}-A_{2}^{T}G_{2}A_{2}\), \(\tilde{S}_{33} = \lambda G_{2}-D^{T}G_{2}D\) is positive definite. In that case the system (1), (2) is absolutely stable in metric in metric \(\mathcal{C}^{1}\) for all finite delays τ.
Proof
For each τ this follows from Theorem 1 by taking \(\zeta= \tau^{-1} \log\lambda\). □
Note 1
In this corollary there are no conditions on the delay other than \(\tau>0\).
In analogy with the definition of exponential stability in terms of two measures we can use the existence of a Lyapunov-Krasovkii functional with specific properties to define a new type of stability. The definition is based on the inequality
Definition 12
A system is stable with respect to the functional V with exponent \(\gamma>0\) if inequality (10) holds for the total derivative of the functional \(V [x,t ]\) along any solution of \(x:t\mapsto x (t )\) of the system.
For some systems it can be profitable to examine the possibility of stabilizing the system by allowing a specific type of linear state feedback.
Definition 13
A system is stabilizable with respect to functional V and state feedback of a given type if the adding state feedback of that type results in a system that is stable with respect to the functional V with exponent \(\gamma>0\).
To illustrate the use of these definitions in the next two sections we will apply these definitions first in the case of a linear system with delay and then in the case of a scalar nonlinear neutral system with indirect control.
3 A Lyapunov-Krasovkii functional approach to a linear problem with delay
Before considering the general problem of stabilization of nonlinear control systems, an example of a linear control system with delay is used to introduce the concept of stability and stabilization with respect to a given functional and to demonstrate the methodology. Let us consider the control system
with \(A_{1},A_{2}\in\mathbb{R}^{n\times n}\), \(b,c\in\mathbb{R}^{n}\), and \(u (t )\) is a scalar function and \(\tau>0\) is constant. To investigate the system (7) we use a Lyapunov-Krasovskii functional of the form
where \(H,G\in\mathbb{R}^{n\times n}\) and \(\gamma\in\mathbb {R}\), \(\zeta>0\). We will consider controls of the form
where \(c,d\in\mathbb{R}^{n}\). First, let us consider stability with respect to the functional (12).
Theorem 2
Consider (11) for \(b=0\) and with given \(A_{1}\), \(A_{2}\). Let there be positive definite matrices G and H and a constant \(\gamma>0\) such that the matrix
is positive definite. In that case the system (11) is stable with respect to functional (12) with matrices G, H, and exponent γ.
Proof
Let \(x (t )\) be a solution of (11). We introduce the vector
We can now write
To show that the system (11) is stable with respect to functional (12) we need to show that (10) holds. For this we need to take the derivative of \(V [x (t ) ]\):
The terms containing H in (16) can be rewritten in terms of \(y (t )\) by using (15)
To rewrite the terms in (16) containing the integral we will use
and
If we insert \(g (t )=x^{\mathrm{T}} (s )Gx (s )\) then this results in
which with the aid of (15) can be put into matrix form
If we combine these results, then we get
and by positive definiteness of M we have (10). □
Example 1
If in Theorem 2 we take
then the conditions of the theorem are satisfied when we take
Corollary 2
Let there be positive definite matrices H and G, vectors c and d, and a constant \(\gamma>0\) such that the matrix
is also positive definite. In that case the system (11) is stabilizable with respect to functional (12) with state feedback of type (13), matrices G, H, and exponent γ.
Proof
This follows immediately from Theorem 2. □
Corollary 3
If the pair \((A,b )\) is controllable and
and \(\det (\lambda I-A_{1} )=\lambda^{n}+p_{1}\lambda ^{n-1}+\cdots+p_{n}\) and we define
and the matrix
is positive definite, then the system (11) is stabilizable with respect to functional (12) with state feedback of type (13), matrices G, H, and exponent γ.
Proof
If we apply the change of basis \(y (t )=R^{-1}x (t )\), then this corollary follows immediately from the previous corollary. □
4 A scalar Lur’e system of neutral type with indirect control
Let us consider an indirect control system of neutral type described by a two scalar equations
where \(t\ge t_{0}\ge0\), x is the state function, σ is the control defined on \([t_{0},\infty )\), \(a_{1}\), \(a_{2}\), b, c, \(-1< d<1\), \(\rho>0\), \(\tau>0\) are constants, and f is a continuous function on ℝ that satisfies the sector condition (4).
For this case the Lyapunov-Krasovskii functional (12) can be written as
where \(h>0\), \(g_{1}>0\), \(g_{2}>0\), \(\zeta>0\) are constants, \((x,\sigma )\) is a solution of (18), (19), and \(t\ge t_{0}\ge0\). We define
and the symmetric matrix
where \(s_{ij}=s_{ji}\). Our first result is a theorem on the absolute stability for the system (18), (19).
Theorem 3
If there exist constants \(h>0\), \(g_{1}>0\), \(g_{2}>0\), \(\beta>0\), \(\zeta>0\) such that the matrix \(S [a_{1},a_{2},b,c,\rho,h,g_{1},g_{2},\beta,\zeta ]\) is positive definite, then the system (18), (19) is absolutely stable.
Proof
The proof of this theorem follows directly from Theorem 1. □
Example 2
If in Theorem 3 we take
then the conditions of the theorem are satisfied for
From Sylvester’s criterion [29], Theorem 7.2.5, it follows that a necessary and sufficient condition for positive definiteness of the matrix S is that all of the leading principal minors are positive, that is,
From inequalities (20) to (23) we can determine whether or not the matrix S is positive definite. If it is then the system (18), (19) is absolutely stable. Another approach is based on the lemma on the properties of block matrices given below.
Lemma 1
Let A be a regular \(n\times n\) matrix, B be an \(n\times q\) matrix, and C be a regular \(q\times q\) matrix. Let a Hermitian matrix S be represented as
This matrix S is positive definite if and only if the matrices A and
are positive definite. Here \(B^{*}\) denotes the Hermitian adjoint.
Proof
See [30], Theorem 1.12. □
Now we can use this to formulate another set of stability conditions.
Theorem 4
For \(S=S [a_{1},a_{2},b,c,\rho ,h,g_{1},g_{2},\beta,\zeta ]\) let
and suppose there exist constants \(h>0\), \(g_{1}>0\), \(g_{2}>0\), \(\beta>0\), \(\zeta>0\) such that the inequalities (20), (21) hold and the matrix
is positive definite. In that case the system (18), (19) is absolutely stable.
Proof
According to Lemma 1, S is positive definite if and only if \(W_{11}\) and \(W_{22}-W_{12}^{T}W_{11}^{-1}W_{12}\) are positive definite. This completes the proof. □
The crucial assumption in Theorem 4 is the assumption of positive definiteness of the matrix \(S [a_{1},a_{2},b,c,\rho,h,g_{1},g_{2},\beta,\zeta ]\). If we cannot find suitable constants \(c>0\), \(h>0\), \(g_{1}>0\), \(g_{2}>0\), \(\beta>0\), \(\zeta>0\) to ensure positive definiteness, then we cannot apply Theorem 4. If that is the case, then we can consider modification of the control function in (18), (19) by adding a linear combination of the state at t and at \(t-\tau\)
where
and \(c_{1}\), \(c_{2}\), and \(c_{3}\) are suitable constants. Inserting the definitions of u and v in system (25), (26) results in
In this case the matrix of the total derivative takes of the functional along the solution will be of the form
To stabilize the system we need to find \(c_{1}\), \(c_{2}\), and \(c_{3}\) such that
is positive definite. We can now either use the Sylvester criterion [31] and look for \(c_{1}\), \(c_{2}\), and \(c_{3}\) such that the leading principal minors of \(S_{3}\) are positive or use Lemma 1 by defining
where
and look for \(c_{1}\), \(c_{2}\), and \(c_{3}\) such that the matrices \(S_{11}\) and \(S_{22}-S_{12}^{T}S_{11}^{-1}S_{12}\) are positive definite.
5 Stabilization
Let us return to our original system (1), (2). According to Theorem 1 for absolute stability of the system (1), (2) we need the matrix
to be positive definite. From the Sylvester criterion [31] it follows that we can verify that the matrix is positive definite by calculating its leading principal minors, that is, by verifying the positivity of \(3n+1\) determinants. Using the results of Lemma 1 we will give another set of absolute stability conditions. To do so we give names to specific blocks in matrix (8) as follows:
where
Theorem 5
The sufficient conditions of absolute stability of neutral-type indirect control system (1), (2) are the existence of the positive definite matrices \(W_{11}\) and \(W_{22}- (W_{12} )^{T} (W_{11} )^{-1}W_{12}\).
Proof
According to Lemma 1 the condition imposed on the matrices \(W_{11}\) and \(W_{22}- (W_{12} )^{T} (W_{11} )^{-1}W_{12}\) implies that \(S_{3}\) is positive definite. Theorem 1 now implies that the system is stable. □
Therefore, the absolute stability investigation problem is reduced to the task of checking of positive definiteness for two matrices, one of which is 2n-dimensional and the other is \(n+1\)-dimensional. Note that we can use Lemma 1 to reduce the proof of positive definiteness of the 2n-dimensional case to positive definiteness of two n-dimensional matrices.
Example 3
When the matrices have special properties, Theorem 5 can be quite useful. For example suppose we have
Now \(A_{1}\) is negative definite and
or in other words b is in the intersection of the null spaces of \(D^{\mathrm{T}}\) and \(A_{2}^{\mathrm{T}}\) and the image of D is in the null space \(A_{2}^{\mathrm{T}}\).
If we could take \(H=-hA_{1}\), \(G_{1}=g_{1}I\), and \(G_{2}=g_{2}I\), then our matrix S would be of the form
It is interesting to examine under what conditions we could actually do this and still prove positive definiteness of the matrix. To apply Theorem 5 to this matrix we need the following matrices to be positive definite:
and
where
and
Note that we can apply Lemma 1 to \(W_{11}\), so the proof of positive definiteness of \(W_{11}\) reduces to the proofs that
and
are positive definite.
A tempting further simplification would be \(h=g_{2}\), which would simplify \(W_{11}\) and \(W_{12}\) to
and
while for \(W_{22}-W_{12}^{\mathrm{T}}W_{11}^{-1}W_{12}\) we would get
to get a positive definite S. Under these assumptions we would need the following matrices to be positive definite:
and we would need \(r (\rho,b,c,\beta,g_{1},h )\) defined by
to be positive.
For (31) we need \(g_{2}>0\) and \(\exp (-\zeta\tau )>\Vert D^{\mathrm{T}}D\Vert \) which can be realized by taking \(\zeta>-\log \Vert D^{\mathrm{T}}D\Vert \). This is possible because \(\Vert D\Vert <1\). For (30) is possible only if \(g_{1}e^{-\zeta\tau}>h\Vert A_{2}^{\mathrm{T}}A_{2}\Vert \) and for (29) we need \(h\Vert A_{1}^{\mathrm{T}}A_{1}\Vert >g_{1}\). For (32) to hold we need
which is solvable if and only if
For our example we find
and
We see that for \(g_{1}=h/4\) and \(0<\zeta< (\log4 )/\tau\) the matrices
are positive definite and
which, after insertion of the inverse matrix,
reduces to
This holds for
which is solvable as long as \(16\rho^{2}>9h^{2}\).
If we cannot find suitable matrices \(G_{1}\), \(G_{2}\), H, and constants \(\beta>0\), \(\zeta>0\) to ensure positive definiteness, or such matrices and constants do not exist, then Theorem 5 is not applicable. In such a case we can try to construct a feedback control u, v, such that the modified system
will be absolutely stable, where \(C_{1}\) and \(C_{2}\) are \(n\times n\) matrices and \(C_{3}\) is a \(1\times n\) matrix.
Define
We give a generalization of the two previous options of finding of the stabilization conditions to the case of the system (1), (2).
Theorem 6
Suppose that there are matrices \(C_{1}\), \(C_{2}\), and \(C_{3}\), such that the matrix \(S_{4}\) is positive definite. In that case the system (1), (2) is stabilizable with respect to the state feedback shown in (43), (44), and the functional (7).
Proof
The proof follows immediately from Theorem 1. □
Using the results of Lemma 1, we can replace verification of positive definiteness of matrix \(S_{4}\) by verification of positive definiteness of two matrices of lower dimensionality.
Theorem 7
Define
Suppose that there are matrices \(C_{1}\), \(C_{2}\), and \(C_{3}\), such that the matrices \(\tilde{S}_{11}\) and \(\tilde{S}_{11}- (\tilde {S}_{12} )^{T} (\tilde{S}_{11} )^{-1}\tilde{S}_{12}\) are positive definite. In that case the system (1), (2) is stabilizable with respect to the state feedback shown in (43), (44), and the functional (7).
6 Conclusions
We discussed the stabilization problem for an indirect control Lur’e system of neutral type. Based on the direct Lyapunov method (Lyapunov-Krasovskii approach) several stabilization criteria were given in terms of a set of matrix algebraic inequalities. A sufficient condition for absolutely stability of the closed loop system was presented.
References
Lur’e, AI: Some Non-linear Problems in the Theory of Automatic Control. Her Majesty’s Stationery Office, London (1957)
Aizerman, MA, Gantmacher, FR: Absolute Stability of Regulator Systems. Holden-Day, San Francisco (1964)
Chukwu, EN: A neutral functional differential equation of Lurie type. SIAM J. Math. Anal. 11(1), 108-114 (1980)
Yakubovich, VA, Leonov, GA, Gelig, AK: Stability of Stationary Sets in Control Systems with Discontinuous Nonlinearities. Series on Stability, Vibration and Control of Systems. Series A: Textbooks, Monographs and Treatises, vol. 14. World Scientific, River Edge (2004)
Liao, X, Wang, L, Yu, P: Stability of Dynamical Systems. Monograph Series on Nonlinear Science and Complexity. Elsevier, Amsterdam (2007)
Liao, X, Yu, P: Absolute Stability of Nonlinear Control Systems. Springer, New York (2008)
Liberzon, MR: Essays on the absolute stability theory. Autom. Remote Control 67(10), 1610-1644 (2006)
Altshuller, D: Frequency Domain Criteria for Absolute Stability. A Delay-Integral-Quadratic Constraints Approach. Lecture Notes in Control and Information Sciences, vol. 432. Springer, London (2013)
Chukwu, EN: Stability and Time-Optimal Control of Hereditary Systems. World Scientific, Singapore (2001)
Khusainov, DY, Shatyrko, AV: The Method of Lyapunov Functions in the Investigation of the Stability of Functional-Differential Systems. Izdatel’stvo Kievskogo Universiteta, Kiev (1997) (in Russian)
Shatyrko, AV, Khusainov, DY: Стiйкiсть нелiнiйних систем регулювання з пiслядiєю. Iнформ.-аналiт. агентство, Kyiv (2012) (in Ukrainian)
Liu, M: Stability analysis of neutral-type nonlinear delayed systems: an LMI approach. J. Zhejiang Univ. Sci. A 7, 237-244 (2006)
Shatyrko, AV, Khusainov, DY, Diblik, J, Bastinec, J, Rivolova, A: Оценки возмущений нелинейных систем непрямого регулирования нейтрального типа. Кибернетика и вычислительная техника 160, 72-85 (2010) (in Russian)
Shatyrko, AV, Khusainov, DY, Diblik, J, Bastinec, J, Ryvolova, A: Estimates of perturbations of nonlinear indirect interval control system of neutral type. J. Autom. Inf. Sci. 43(1), 13-28 (2011)
Kolmanovskii, V, Myshkis, A: Introduction to the Theory and Applications of Functional-Differential Equations. Mathematics and Its Applications, vol. 463. Kluwer Academic, Dordrecht (1999)
Azbelev, NV, Maksimov, VP, Rakhmatullina, LF: Introduction to the Theory of Functional Differential Equations. Nauka, Moscow (1991) (in Russian)
Azbelev, NV, Simonov, PM: Stability of Differential Equations with Aftereffect. Stability and Control: Theory, Methods and Applications, vol. 20. Taylor & Francis, London (2003)
Bainov, D, Domoshnitsky, A: Nonnegativity of the Cauchy matrix and exponential stability of a neutral type system of functional differential equations. Extr. Math. 8(1), 75-82 (1993)
Domoshnitsky, A, Gitman, M, Shklyar, R: Stability and estimate of solution to uncertain neutral delay systems. Bound. Value Probl. 2014, 55 (2014)
Fruchter, G: Generalized zero sets location and absolute robust stabilization of continuous nonlinear control systems. Automatica 27(3), 501-512 (1991)
Dong, Y, Liu, J: Exponential stabilization of uncertain nonlinear time-delay systems. Adv. Differ. Equ. 2012, 180 (2012)
Shatyrko, AV, 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)
El’sgol’ts, LE, Norkin, SB: Introduction to the Theory and Application of Differential Equations with Deviating Arguments. Academic Press, New York (1973)
Movčan, AA: Stability of processes with respect to two metrics. J. Appl. Math. Mech. 24, 1506-1524 (1960)
Lakshmikantham, V, Leela, S, Sivasundaram, S: Lyapunov functions on product spaces and stability theory of delay differential equations. J. Math. Anal. Appl. 154(2), 391-402 (1991)
de Godoy, SMS, Bená, MA: Stability criteria in terms of two measures for functional differential equations. Appl. Math. Lett. 18(6), 701-706 (2005)
Bená, MA, de Godoy, SMS: On the stability in terms of two measures of perturbed neutral functional differential equations. Nonlinear Anal. 47(7), 4567-4578 (2001)
Liu, J, Liu, X, Xie, W-C: On the \((h_{0},h)\)-stabilization of switched nonlinear systems via state-dependent switching rule. Appl. Math. Comput. 217(5), 2067-2083 (2010)
Horn, RA, Johnson, CR: Matrix Analysis, 2nd edn. Cambridge University Press, Cambridge (2013)
Zhang, F (ed.): The Schur Complement and Its Applications. Numerical Methods and Algorithms, vol. 4. Springer, New York (2005)
Gilbert, GT: Positive definite matrices and Sylvester’s criterion. Am. Math. Mon. 98(1), 44 (1991)
Acknowledgements
The authors would like to thank for their support: the first and the fourth authors were supported by the budget program 2201250 of the Ministry of Education and Science of Ukraine ‘Study and training of students, scientist and teachers on abroad’ of 2012.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Shatyrko, A., van Nooijen, R.R., Kolechkina, A. et al. Stabilization of neutral-type indirect control systems to absolute stability state. Adv Differ Equ 2015, 64 (2015). https://doi.org/10.1186/s13662-015-0405-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0405-y