In this paper, we consider exponentially practical stability of a discrete time singular system with disturbance. By using Lyapunov–Krasovskii stability theory, some criteria for exponentially practical stability of such a system are derived. Moreover, by using a Razumikhin-type technique, the criteria for exponentially practical stability of a discrete time singular system with delay and disturbance are also obtained. Some numerical examples are given to show the success of our theoretical results.
Keywords
Discrete time system Singular system Delay Exponentially practical stability Disturbance
1 Introduction
Singular systems, which are also called descriptor systems, implicit systems, or generalized systems, have been investigated extensively in many areas [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21]. Generally, the systems can be described using algebraic and differential equations. Such systems are natural presentations of several dynamic systems which are better than regular systems, such as economical systems, chemical systems, robotic systems, etc. [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 20, 21, 22]. Moreover, singular systems are very complicated because we have to consider the stability of the systems as well as the regularity and also impulse free (in case of continuous singular systems) or causality (in case of discrete singular systems) [2, 11, 18]. In addition, a discrete time system is often represented in the real world systems such as population models and switched systems. There are several studies on the stability of a discrete time system [2, 3, 4, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 22, 23, 24].
In real world systems, the variation of systems’ current status often depends not only on the current state but also on the past state of the systems; such systems are called time delay systems. Examples of time delay systems are population dynamic models, mechanical transmissions, and digital control systems [4, 7, 8, 9, 10, 12, 13, 14]. It is well known that time delay may cause instability, oscillation, and poor performance of systems. For the above-mentioned reasons, time delay systems have been extensively discussed in many literature works [2, 4, 6, 7, 8, 9, 10, 13, 14, 15, 16, 18, 19, 22, 23]. As is known, most common approaches to studying stability analysis of a time delay system are Lyapunov–Krasovskii functional approach and Razumikhin-type technique. In the case of Lyapunov–Krasovskii functional method, it requires that a candidate Lyapunov–Krasovskii functional is decreasing on the whole state space. Meanwhile, the Razumikhin-type technique has an advantage that the Lyapunov–Krasovskii functional is not required to be decreasing on the whole state space. In general, disturbance inputs often occur in modeling of phenomena and engineering systems which may be due to data transformation, unknown disturbances, or measurement errors [4, 10, 24, 25]. Therefore, it is important to study the stability of a discrete time singular system with delay and disturbance.
Considering asymptotic stability, it is more desirable to consider exponential stability criterion for dynamical systems [1, 6, 7, 8, 9, 10, 18, 19, 20, 21, 24, 25]. For exponential stability, it is required that all solutions starting near an equilibrium point not only stay nearby, but tend to the equilibrium point very fast with exponential decay rate. In practice, we may only need to stabilize a system into the region of a phase space where the system may oscillate near the state in which the implementation is still acceptable. This concept is called practical stability [18, 22, 26, 27, 28, 29] which is very useful for studying the asymptotic behavior of the system in which the origin is not necessarily an equilibrium point. In this case, practical stability is an important concept to analyze the asymptotic behavior of solutions with respect to a small neighborhood of the origin. Recently, there have been several studies on practical stability of continuous time systems with delay, see [26, 27, 28, 29]. However, there have been few studies on practical stability of discrete time systems with delay [22, 23]. In [3], the authors studied discrete time singular systems with disturbance and obtained some stability criteria by using Lyapunov stability theory. In [23], the authors used the Razumikhin-type technique to derive the exponentially practical stability condition for impulsive discrete time systems with delay. Motivated by the above discussions, we propose to study exponentially practical stability of a discrete time singular system with delay and disturbance. We shall derive a new criterion for exponentially practical stability of the system, namely the solutions tend to the origin state with exponential decay rate in the early stage (but eventually oscillate in a neighborhood of the origin), in which the performance is still acceptable.
This work is organized as follows. In Sect. 2, some notations and definitions are introduced. In Sect. 3, we present some criteria for exponentially practical stability of a discrete time system with disturbance, exponentially practical stability of a discrete time singular system with disturbance, exponentially practical stability of a discrete time system with delay and disturbance, and exponentially practical stability of a discrete time singular system with delay and disturbance; definitions and assumption will be used in the proof our result. Some numerical examples are given to show the effectiveness of our theoretical result in Sect. 4. The last section concludes the work.
2 Preliminaries
Consider the following discrete time singular system with delay and disturbance:
where \(x(k)\in\mathbb{R}^{n}\) is the state vector, \(w(k)\in\Omega =\lbrace w(k)\in\mathbb{R}^{m}/ \Vert w(k) \Vert \leq\overline {w},\exists \overline{w}>0,\forall k\geq k_{0}\rbrace\) is the disturbance, \(A, B, G\), and E are constant matrices with appropriate dimensions where E is a singular matrix with \(\operatorname{rank}(E)=r< n\), τ is constant delay, \(\varphi\in \mathcal{C}_{\tau}:=\{f: \mathbb{N}_{-\tau } \longrightarrow \mathbb{R}^{n}, f \text{ is continuous}\}\) is the initial function with \(\Vert \varphi \Vert =\max_{\theta\in\mathbb {N}_{k_{0}-\tau}}\lbrace \Vert \varphi(\theta) \Vert \rbrace\), where \(\mathbb{N}_{k_{0}-\tau}=\{k_{0}-\tau,k_{0}-\tau+1,\ldots ,k_{0}-1,k_{0}\}\), and \(\mathbb{N}_{k_{0}}=\{k_{0},k_{0}+1,k_{0}+2,\ldots\}, k_{0} \geq0 \). A function \(\rho:\mathbb{R}^{+}_{0}\longrightarrow\mathbb {R}\), is called a K-function if it is a nonnegative continuous function where \(\mathbb{R}^{+}_{0}\) is the set of nonnegative real numbers. Let \(\mathrm{floor}(r):=\lfloor r \rfloor\) be the greatest integer that is less than or equal to r, and let \(\mathrm{ceil}(r):=\lceil r \rceil\) be the least integer that is greater than or equal to r.
System (2.1) is said to be regular if \(\det(zE-A)\neq0\) for some \(z \in\mathbb{C}\). System (2.1) is said to be causal if \(\deg(\det(zE-A))= \operatorname{rank}(E)\).
3 Main results
In this section, we consider exponentially practical stability problems for the following four cases: a discrete time system with disturbance, a discrete time singular system with disturbance, a discrete time system with delay and disturbance, and a discrete time singular system with delay and disturbance.
First, we consider the discrete time system with disturbance as follows:
where disturbance \(w(k)\in\Omega\), where Ω is defined as in (2.1), \(f:\mathbb{R}\times\mathbb{R}^{n}\times\Omega\longrightarrow \mathbb{R}^{n}\) is continuous and locally Lipschitz in \((x,w)\), uniformly in k with Lipschitz constant L which satisfies \(f(k,0,0)=0\). Let \(x(k;k_{0},x_{0},w)\) denote the trajectory of system (3.1) with initial state \(x(k_{0})=x_{0}\) and disturbance signal \(w(k)\in\Omega\).
Definition 3.1
System (3.1) is exponentially practically stable in the pth-moment for some \(p>0\) if for all \(k\geq k_{0}\) there exist constants \(0<\lambda<1, \eta>0, r>0\) such that
If there exist a Lyapunov function\(V(k,x(k))\), aK-functionρ, and positive constants\(c_{1},c_{2},c_{3},a,p; c_{3}< c_{2}\)such that the following conditions hold for all\(k\geq k_{0}, x(k)\in\mathbb{R}^{n}, w(k)\in\Omega\):
for all \(k\geq k_{0}, w(k)\in\Omega\), where \(\rho_{1}=\sup_{w(k)\in \Omega}\lbrace\rho( \Vert w(k) \Vert ) \rbrace, a_{1}=\frac {c_{3}a}{c_{2}}+\rho_{1}\). Without loss of generality, we may assume that \(c_{3}< c_{2}\), and let \(\sigma=1-\frac{c_{3}}{c_{2}}\). Then \(0<\sigma<1\), and it follows that
The singular system (3.2) is said to be exponentially practically stable in the pth-moment for some \(p>0\) if, for all \(k\geq k_{0}\), there exist constants \(0<\lambda<1, \eta >0, r>0\) for each disturbance \(w(k)\in\Omega\) such that
where \(x(k,k_{0},x_{0},w)\) is the state trajectory of a system with initial state \(x_{0}\).
Theorem 3.2
Assume that the singular system (3.2) is regular and causal. Then the singular system (3.2) is exponentially practically stable in thepth-moment with respect to\(w(k)\), if there exists a Lyapunov function\(V(k,x(k))\)such that
with initial state \(y_{0}\) satisfying \(\bigl ({\scriptsize\begin{matrix}{} I_{r}& 0\cr 0&0\end{matrix}} \bigr ) y_{0}= \bigl ({\scriptsize\begin{matrix}{} y_{10}\cr 0\end{matrix}} \bigr ) \). From the Lyapunov function \(V(k,x(k))\) satisfying conditions (i) and (ii), we obtain the following estimations:
where \(\overline{A_{1}}=N \bigl[{\scriptsize\begin{matrix}{} A_{1} & 0 \cr 0 & 0 \end{matrix}}\bigr] N^{-1}, \overline{G_{1}}=N \bigl[{\scriptsize\begin{matrix}{} G_{1} & 0 \cr 0 & 0 \end{matrix}}\bigr] \), and \(\overline{w}(k)= \bigl[{\scriptsize\begin{matrix}{} w(k) \cr 0 \end{matrix}} \bigr] \). Therefore, we may conclude that there exists a Lyapunov function \(V(k,\overline{y_{1}}(k))\) for system (3.5) which satisfies the following conditions:
where \(\eta_{1}=\eta_{0} \Vert N^{-1} \Vert ^{p} \Vert N \Vert ^{p}, r_{1}= \Vert N^{-1} \Vert ^{p}r_{0}\). From (3.4), we have \(y_{2}(k)=-G_{2}w(k)\), which in turn gives
where \(\eta_{4}= \eta_{1}^{\frac{1}{n}} \Vert y_{10} \Vert ^{\frac{p}{n}-p}, r_{5}=r_{1}+\overline{w} \Vert G_{2} \Vert \), and \(0<\lambda_{1}=\lambda^{\frac {1}{n}} <1\). Therefore, from (Case I) to (Case IV), we obtain
$$\begin{aligned} \bigl\Vert Ex(k) \bigr\Vert &\leq \Vert E \Vert \Vert N \Vert \bigl\Vert y(k) \bigr\Vert \\ &\leq \Vert E \Vert \Vert N \Vert \bigl( \eta_{5} \Vert y_{10} \Vert ^{p} \lambda_{2}^{k-k_{0}}+r_{6} \bigr) \\ &\leq \eta_{5} \Vert E \Vert \Vert N \Vert \Vert M \Vert ^{p} \Vert E \Vert ^{p} \Vert x_{0} \Vert ^{p} \lambda_{2}^{k-k_{0}}+ \Vert E \Vert \Vert N \Vert r_{6} \\ &=\eta_{6} \Vert x_{0} \Vert \lambda_{2}^{k-k_{0}}+r_{7}, \end{aligned}$$
where \(\eta_{6}=\eta_{5} \Vert E \Vert ^{p+1} \Vert N \Vert \Vert M \Vert ^{p} \Vert x_{0} \Vert ^{p-1} \) and \(r_{7}= \Vert E \Vert \Vert N \Vert r_{6}\).
Therefore, the singular system (3.2) is exponentially practically stable with respect to \(w(k)\) with \(\eta=\eta_{6}, \lambda =\lambda_{2}\), and \(r=r_{7}\). □
Remark 3.1
In Theorem 3.2, for \(p=1\), we can show that the singular system (3.2) is exponentially practically stable in the pth-moment with respect to \(w(k)\) by considering the explicit form of solution of the system. System (3.2) may be reduced to system (3.3) and (3.4). Moreover, the explicit solution of (3.3) and (3.4) with \(k_{0}=0\) is given as follows:
where \(r_{0}=\overline{w} \Vert G_{1} \Vert { }\frac{1}{1- \Vert A_{1} \Vert }+\overline{w} \Vert G_{2} \Vert \). Since \(x(k)=Ny(k)\), we have that
$$\begin{aligned} \bigl\Vert Ex(k) \bigr\Vert &\leq \Vert E \Vert \Vert N \Vert \bigl\Vert y(k) \bigr\Vert \\ &\leq \Vert E \Vert \Vert N \Vert \bigl( \Vert A_{1} \Vert ^{k} \bigl\Vert y_{1}(0) \bigr\Vert +r_{0} \bigr) \\ &\leq \Vert E \Vert \Vert N \Vert \bigl( \Vert A_{1} \Vert ^{k} \Vert M \Vert \Vert E \Vert \bigl\Vert x(0) \bigr\Vert +r_{0} \bigr) \\ &=\overline{\eta} \bigl\Vert x(0) \bigr\Vert \Vert A_{1} \Vert ^{k}+\overline{r}, \end{aligned}$$
where \(\overline{\eta}= \Vert E \Vert ^{2} \Vert N \Vert \Vert M \Vert \) and \(\overline{r}= \Vert E \Vert \Vert N \Vert r_{0}\). Hence, system (3.2) is exponentially practically stable.
Next, we consider the discrete time system with delay and disturbance as follows:
where \(x_{k} \) is defined by \(x_{k}(s)=x(k+s)\) for any \(s \in\mathbb {N}_{k_{0}-\tau}\), disturbance \(w(k)\in\Omega\), where Ω is defined as in (2.1), \(f:\mathbb{R}\times\mathbb{R}^{n}\times\Omega \longrightarrow\mathbb{R}^{n}\) is continuous and locally Lipschitz in \((x,w)\), uniformly in k with Lipschitz constant L which satisfies \(f(k,0,0)=0\). Let \(x(k;k_{0},\varphi,w)\) denote the trajectory of system (3.13) with initial condition φ and disturbance signal \(w(k)\in\Omega\).
Definition 3.3
System (3.13) is exponentially practically stable in the pth-moment with respect to \(w(k)\) for some \(p>0\) if, for any \(k\geq k_{0}\), there exist constants \(0< \lambda<1, \eta> 0, r>0\) such that
If there exist a Lyapunov–Krasovskii functional\(V(k,x(k))\), aK-functionρ, and positive constants\(c_{1},c_{2},a,p,q,\beta\), where\(q>1, 0<\beta<1, \rho ( \Vert w(k ) \Vert )<\beta a\)such that the following conditions hold for all\(w(k)\in\Omega\):
Then system (3.13) is exponentially practically stable in thepth-moment with\(\eta=\frac{c_{2}}{c_{1}}, q^{-\frac{1}{\tau+1}}\leq \lambda<1\), and\(r=\frac{a}{c_{1}}\).
Proof
For \(q>1\), there exists \(0<\lambda<1\) such that \(q\geq \lambda^{-(\tau+1)}\), or equivalently, \(q^{-\frac{1}{\tau+1}}\leq \lambda<1\). By employing a similar approach as in the proof of Theorem (3.1) in [23], it follows from \(0<\beta<1\) and \(\rho( \Vert w(k ) \Vert )<\beta a\) that
Therefore, system (3.13) is exponentially practically stable in the pth-moment with \(\eta=\frac{c_{2}}{c_{1}}, q^{-\frac{1}{\tau+1}}\leq \lambda<1\), and \(r=\frac{a}{c_{1}}\). □
Finally, we consider exponentially practical stability for system (2.1) with delay and disturbance.
Definition 3.4
The discrete time singular system (2.1) is said to be exponentially practically stable in the pth-moment for some \(p>0\) if there exist constants \(0< \lambda<1, \eta>0, r>0\) for each disturbance \(w(k)\in\Omega\) such that
for all \(k\geq k_{0}\), where \(x(k;k_{0},\varphi,w)\) is the state trajectory of the system with initial condition φ. In particular, when \(p=2\), the system is said to be exponentially practically stable in the mean square.
In order to proceed with the main result on exponentially practical stability in the pth-moment of a singular system with delay and disturbance (2.1), we make the following assumption; an explanation for this assumption is given in Remark 3.2.
Assumption 3.1
There exist nonsingular matrices \(M,N\) with appropriate dimensions such that \(MEN= \bigl({\scriptsize\begin{matrix}{}I_{r}& 0\cr 0&0_{n-r} \end{matrix}}\bigr) \), \({MAN}= \bigl({\scriptsize\begin{matrix}{} A_{1}& 0\cr0&I_{n-r} \end{matrix}}\bigr) \), \({MBN}= \bigl({\scriptsize\begin{matrix}{}B_{1}& 0\cr B_{3}&B_{4} \end{matrix}}\bigr) \), and \({MG}= \bigl({\scriptsize\begin{matrix}{} G_{1}\cr G_{2} \end{matrix}}\bigr) \), where \(\Vert B_{4} \Vert <1\).
Remark 3.2
For a physical meaning of Assumption 3.1, it implies that there is a plant (\(y_{1}\)) in this situation which does not dynamically depend on the other plant (\(y_{2}\)). For future investigation, we propose to study a more general case in which \({MBN}= \bigl({\scriptsize\begin{matrix}{} B_{1}& B_{2}\cr B_{3}&B_{4} \end{matrix}}\bigr) \), where \(B_{2}\) may not be zero; namely, all plants dynamically interact, and that \(\Vert B_{4} \Vert \) may not be less than 1.
Theorem 3.4
Assume that the singular system (2.1) is regular and causal, and that Assumption 3.1holds. Then the singular system (2.1) is exponentially practically stable in thepth-moment with respect to\(w(k)\), if there exists a Lyapunov–Krasovskii functional\(V(k,x(k))\)such that
where \(\Vert B_{4} \Vert <1\). Let \(y(k)=N^{-1}x(k)= \bigl[{\scriptsize\begin{matrix}{}y_{1}(k)\cr y_{2}(k) \end{matrix}}\bigr] \), then system (2.1) is transformed to the following system:
$$\begin{aligned} & y_{2}(k)=-B_{3}y_{1}(k- \tau)-B_{4}y_{2}(k-\tau)-G_{2}w(k), \\ &y_{1}(s):=\phi_{1}(s)=N^{-1} \varphi_{1}(s),\quad s \in\mathbb{N}_{k_{0}-\tau}, \\ &y_{2}(s):=\phi_{2}(s)=N^{-1}\varphi_{2}(s),\quad s \in\mathbb{N}_{k_{0}-\tau}. \end{aligned}$$
(3.15)
From the assumption, there exists a Lyapunov–Krasovskii functional \(V(k,x(k))\) which satisfies conditions (i) and (ii). Then we obtain the following estimations:
where \(\overline{A_{1}}=N \bigl[{\scriptsize\begin{matrix}{}A_{1} & 0 \cr 0 & 0 \end{matrix}}\bigr] N^{-1}, \overline{B_{1}}=N \bigl[{\scriptsize\begin{matrix}{}B_{1} & 0 \cr 0 & 0\end{matrix}}\bigr] N^{-1}, \overline{G_{1}}=N \bigl[{\scriptsize\begin{matrix}{} G_{1} & 0 \cr 0 & 0 \end{matrix}}\bigr] \), and \(\overline{w}(k)= \bigl[{\scriptsize\begin{matrix}{} w(k) \cr 0 \end{matrix}}\bigr] \). Therefore, we may conclude that there exists a Lyapunov–Krasovskii functional \(V(k,\overline{y_{1}}(k))\) for system (3.16) which satisfies the following conditions:
From (3.19), there are four cases to be considered according to the values of p and \(r_{1}\) as follows.
(Case I) \(0< p<1, 0<r_{1}<1\). Let \(\lfloor\frac{1}{p}\rfloor=n, n\in\mathbb{I}^{+}\). Since \(0<\lambda <1\), we may assume without loss of generality that
(Case II) \(0< p<1, r_{1}\geq1\). Let \(\lceil\frac{1}{p} \rceil=n, n\in\mathbb{I}^{+}\). Since \(0<\lambda <1\), we may assume without loss of generality that
where \(\eta_{3}=n \bigl({\scriptsize\begin{matrix}{} n\cr \lceil\frac{n}{2} \rceil \end{matrix}}\bigr) \eta_{1} r_{1}^{n}\) and \(r_{3}= \bigl({\scriptsize\begin{matrix}{} n\cr \lceil\frac{n}{2} \rceil \end{matrix}}\bigr) r_{1}^{n} \).
(Case III) \(p\geq1, 0< r_{1}<1\). Let \(\lfloor p \rfloor=n, n\in\mathbb{I}^{+}\). Since \(0<\lambda<1\), we may assume without loss of generality that
where \(\eta _{4}=\eta_{1}^{\frac{1}{n}} \Vert \phi_{1} \Vert ^{\frac{p}{n}-p}, r_{4}=r_{1}^{\frac{1}{n}}\), and \(\lambda_{1}=\lambda^{\frac{1}{n}}\).
(Case IV) \(p\geq1, r_{1}\geq1\). Let \(\lfloor p \rfloor=n, n\in\mathbb{I}^{+}\). Since \(0<\lambda<1\), we may assume without loss of generality that
$$\begin{aligned} \bigl\Vert Ex(k) \bigr\Vert &\leq \Vert E \Vert \Vert N \Vert \bigl\Vert y(k) \bigr\Vert \\ &\leq \Vert E \Vert \Vert N \Vert \bigl(\eta_{7} \Vert \phi \Vert ^{p} \lambda_{2}^{k-k_{0}}+r_{7} \bigr) \\ &\leq\eta_{7} \Vert E \Vert \Vert N \Vert \bigl\Vert N^{-1} \bigr\Vert \Vert \varphi \Vert ^{p} \lambda_{2}^{k-k_{0}}+ \Vert E \Vert \Vert N \Vert r_{7} \\ &= \eta_{8} \Vert \varphi \Vert \lambda_{2}^{k-k_{0}}+r_{8}, \end{aligned}$$
where \(\eta _{8}=\eta_{7} \Vert E \Vert \Vert N \Vert \Vert N^{-1} \Vert \Vert \varphi \Vert ^{p-1} \) and \(r_{8}= \Vert E \Vert \Vert N \Vert r_{7}\).
Therefore, the discrete time singular system (2.1) is exponentially practically stable with respect to \(w(k)\) with \(\eta=\eta_{8}, \lambda =\lambda_{2}\), and \(r=r_{8}\). □
Remark 3.3
From the method of proof of Theorem 3.4, it is clear that this method can be applied for a discrete time singular system with disturbance and time varying delay \(\tau(k)\) with \(0\leq\tau(k) \leq\tau, \tau>0\).
Remark 3.4
As is known, Razumikhin techniques only require less restrictive assumptions, namely they employ a type of Lyapunov–Krasovskii functional which is required to decrease only if a certain condition on the past state trajectory and the current state is satisfied. However, such Razumikhin-type techniques usually lead to a delay-independent criterion which is less conservative than a delay-dependent result, especially for constant delay systems. To deal with this conservativeness, several mathematical approaches have been considered in recent works, e.g., the LMI approach and the time-dependent Lyapunov functional method. Recently, in [31, 32], the Razumikhin technique was expressed by utilizing the LMI approach and the time-invariant Lyapunov functional method which avoid the conservativeness of the Razumikhin-type techniques. It is our future investigation to apply the above mentioned approaches to obtain less conservative criteria for exponentially practical stability of discrete time singular systems with delay and disturbance.
Remark 3.5
Obviously, exponential stability implies exponentially practical stability but not conversely. However, in several practical applications, it only needs to stabilize a system into the region of a phase space, namely the system may oscillate near the equilibrium point, in which the performance is still acceptable. To the best of our knowledge, the present work is the first result on exponentially practical stability of a discrete time singular system with delay and disturbance. Moreover, compared to [22] which proposed asymptotically practical stability criteria for a discrete time system with delay, we derive an exponentially practical stability condition which is more desirable.
4 Numerical examples
Remark 4.1
We provide an algorithm for the implementation and computational corresponding to Theorem 3.2 and Theorem 3.4 as follows:
1.
First, we choose an appropriate Lyapunov functional or Lyapunov–Krasovskii functional candidate according to the assumptions of Theorem 3.2 or Theorem 3.4, respectively. Then, we estimate the values of \(c_{1},c_{2}\), and a which satisfy condition (i) of the corresponding theorems.
2.
From the estimations of \(c_{1}, c_{2}\), and a obtained in 1, we choose appropriate \(q, \beta\), \(c_{3}\), and ρ which satisfy condition (ii) of the corresponding theorems.
Example 4.1
Consider system (3.2) with \(E= \bigl[{\scriptsize\begin{matrix}{}1& 0\cr 0&0 \end{matrix}}\bigr] \), \(A= \bigl[{\scriptsize\begin{matrix}{} 0.5& 0.5\cr 0&1 \end{matrix}}\bigr] \), \(G= \bigl[{\scriptsize\begin{matrix}{} 1\cr 1 \end{matrix}}\bigr] ,w(k)\in\mathbb{R}\), and \(k_{0}=0\) with the initial condition given by \(x(0)=[5,-0.04]^{T}\). We can see that \(\operatorname{det}(zE-A)=-z+0.5\neq0\) for some \(z \in\mathbb{C}\) and \(\operatorname{deg}(\operatorname{det}(zE-A))= \operatorname{rank}(E)=1\). Thus, system (3.2) is regular and causal. For nonsingular matrices \(M= \bigl[{\scriptsize\begin{matrix}{}2& -1\cr 0&2 \end{matrix}}\bigr] , N= \bigl[{\scriptsize\begin{matrix}{}0.5& 0\cr 0&0.5 \end{matrix}}\bigr] \), we obtain
Therefore, by Theorem 3.2, we may show that system (3.2) is exponentially practically stable in the pth-moment with \(\eta=35.6, \lambda=0.5, r=0.5\). For simulation purpose, we let \(a=0.3, \Vert w(k) \Vert \leq0.1\). Then Theorem 3.2 is satisfied with the parameters \(c_{1}=1, c_{2}=1,a=0.3, c_{3}=0.5, p=2,\rho( \Vert w(k) \Vert )=w(k)^{2}\leq 0.01\). Figure 1 shows the trajectories of solution of Example 4.1 with disturbance. Figure 2 shows the trajectories of solution of Example 4.1 without disturbance.
The trajectory of solution of system (3.2) without disturbance
Example 4.2
Consider system (2.1) with \(E= \bigl[{\scriptsize\begin{matrix}{}1& 0\cr 0&0 \end{matrix}}\bigr] \), \(A= \bigl[{\scriptsize\begin{matrix}{} -0.05& 0\cr -0.05&-0.05 \end{matrix}}\bigr] \), \(B= \bigl[{\scriptsize\begin{matrix}{}0.4& 0\cr -0.05&-0.02 \end{matrix}}\bigr] \), \(G= \bigl[{\scriptsize\begin{matrix}{} 0.5\cr 0.5 \end{matrix}}\bigr] ,w(k)\in\mathbb{R},\tau=1\), and \(k_{0}=0\) with the initial conditions given by \(x(-1)=[5,5]^{T}, x(0)=[5,1.75]^{T}\). We can see that \(\operatorname{det}(zE-A)=0.05z+0.0025\neq0\) for some \(z \in\mathbb {C}\) and \(\operatorname{deg}(\operatorname{det}(zE-A))= \operatorname{rank}(E)=1\). Thus, system (2.1) is regular and causal. For nonsingular matrices \(M= \bigl[{\scriptsize\begin{matrix}{} 2& 0\cr 0&2 \end{matrix}}\bigr] , N= \bigl[{\scriptsize\begin{matrix}{} 0.5& 0\cr-0.5&-10 \end{matrix}}\bigr] \), we get
where \(\beta\leq1-\frac{0.05}{1-0.4q}\) and \(\rho( \Vert w(k) \Vert )=\frac{0.55a + 0.5 \Vert w(k) \Vert }{1-0.4q}\).
Therefore, by Theorem 3.4, system (2.1) is exponentially practically stable in the pth-moment with \(\eta=82.41, \lambda=0.8\), and \(r=54.58\). For simulation purpose, we let \(a=0.5, \Vert w(k) \Vert \leq 0.1\). Then Theorem 3.4 is satisfied with \(c_{1}=1, c_{2}=1,a=0.5,q=1.6, \beta=0.8, p=1,\rho( \Vert w(k) \Vert ) \leq 0.9\). Figure 3 shows the trajectories of solution of Example 4.2. Figure 4 shows the trajectories of solution of system (2.1) without disturbance.
The trajectory of solution of system (2.1) without disturbance
5 Conclusion
In this paper, exponentially practical stability of a discrete time singular system with delay and disturbance has been investigated. For systems with disturbance but without delay, by using Lyapunov stability theory, we obtained a criterion for exponentially practical stability of a general discrete time system and a linear discrete time singular system, respectively. For systems with delay and disturbances, by using the Razumikhin-type technique, we derived exponentially practical stability criteria for a general discrete time system and a linear singular system, respectively. Numerical examples were given to show effectiveness of our theoretical results.
Notes
Acknowledgements
The first author is supported by student scholarship from the Human Resources Development in Science Project (Science Achievement Scholarship of Thailand SAST). The second author is supported by Chiang Mai University. This research is also (partially) supported by the Center of Excellence in Mathematics, The Commission on Higher Education, Thailand.
Authors’ contributions
All authors read and approved the final manuscript.
Competing interests
The authors declare that they have no competing interests.
References
1.
Feng, G., Cao, J.: Stability analysis of impulsive switched singular systems. IET Control Theory Appl. 9(6), 863–870 (2015)
MathSciNetCrossRefGoogle Scholar
2.
Feng, Z., Li, W., Lam, J.: New admissibility analysis for discrete singular systems with time-varying delay. Appl. Math. Comput. 265, 1058–1066 (2015)
MathSciNetGoogle Scholar
3.
Gao, C., Liu, X., Li, W.: Input-to-state stability of discrete-time singular systems based on quasi-min-max model predictive control. IET Control Theory Appl. 9(11), 1662–1669 (2015)
MathSciNetCrossRefGoogle Scholar
4.
Han, Y., Kao, Y., Gao, C.: Robust sliding mode control for uncertain discrete singular systems with time-varying delays and external disturbances. Automatica 75, 210–216 (2017)
MathSciNetCrossRefzbMATHGoogle Scholar
5.
Hassanabadi, A.H., Shafiee, M., Puig, V.: UIO design for singular delayed LPV systems with application to actuator fault detection and isolation. Int. J. Syst. Sci. 47(1), 107–121 (2015)
MathSciNetCrossRefzbMATHGoogle Scholar
6.
Hien, L.V., Vu, L.H., Phat, V.N.: Improved delay-dependent exponential stability of singular systems with mixed interval time-varying delays. IET Control Theory Appl. 9(9), 1364–1372 (2015)
MathSciNetCrossRefGoogle Scholar
7.
Li, S., Lin, H.: On \(l_{1}\) stability of switched positive singular systems with time-varying delay. Int. J. Robust Nonlinear Control 27(16), 1–15 (2017)
Google Scholar
Lin, J., Gao, Z.: Observers design for switched discrete-time singular time-delay systems with unknown inputs. Nonlinear Anal. Hybrid Syst. 18, 85–99 (2015)
MathSciNetCrossRefzbMATHGoogle Scholar
10.
Lin, J., et al.: Functional observer for switched discrete-time singular systems with time delays and unknown inputs. IET Control Theory Appl. 9(14), 2146–2156 (2015)
MathSciNetCrossRefGoogle Scholar
11.
Liu, Y., et al.: Input-to-state stability for discrete-time nonlinear switched singular systems. Inf. Sci. 358(359), 18–28 (2016)
CrossRefGoogle Scholar
12.
Liu, T., et al.: Finite-time stability of discrete switched singular positive systems. Circuits Syst. Signal Process. 36(6), 1–13 (2017)
MathSciNetCrossRefGoogle Scholar
13.
Long, S., Zhong, S.: Improved results for stochastic stabilization of a class of discrete-time singular Markovian jump systems with time-varying delay. Nonlinear Anal. Hybrid Syst. 23, 11–26 (2017)
MathSciNetCrossRefzbMATHGoogle Scholar
14.
Ma, Y., Zheng, Y.: Delay-dependent stochastic stability for discrete singular neural networks with Markovian jump and mixed time-delays. Neural Comput. Appl. 29(1) 111–122 (2018)
MathSciNetCrossRefGoogle Scholar
15.
Muoi, N.H., Rajchakit, G., Phat, V.N.: LMI approach to finite-time stability and stabilization of singular linear discrete delay systems. Acta Appl. Math. 146(1), 81–93 (2016)
MathSciNetCrossRefzbMATHGoogle Scholar
16.
Niamsup, P., Phat, V.N.: A new result on finite-time control of singular linear time-delay systems. Appl. Math. Lett. 60, 1–7 (2016)
MathSciNetCrossRefzbMATHGoogle Scholar
17.
Rami, M.A., Napp, D.: Positivity of discrete singular systems and their stability: an LP-based approach. Automatica 50(1), 84–91 (2014)
MathSciNetCrossRefzbMATHGoogle Scholar
18.
Sau, N.H., Niamsup, P., Phat, V.N.: Positivity and stability analysis for linear implicit difference delay equation. Linear Algebra Appl. 510, 25–41 (2016)
MathSciNetCrossRefzbMATHGoogle Scholar
19.
Zamani, I., Shafiee, M., Ibeas, A.: Stability analysis of hybrid switched nonlinear singular time-delay systems with stable and unstable subsystems. Int. J. Syst. Sci. 45(5), 1128–1144 (2014)
MathSciNetCrossRefzbMATHGoogle Scholar
20.
Zamani, I., Shafiee, M., Ibeas, A.: Switched nonlinear singular systems with time-delay: stability analysis. Int. J. Robust Nonlinear Control 25(10), 1497–1513 (2015)
MathSciNetCrossRefzbMATHGoogle Scholar
21.
Zamani, I., Shafiee, M.: Stability analysis of uncertain switched singular time-delay systems with discrete and distributed delays. Optim. Control Appl. Methods 36(1), 1–28 (2015)
MathSciNetCrossRefzbMATHGoogle Scholar
22.
Sun, L., Liu, C., Li, X.: Practical stability of impulsive discrete systems with time delays. Abstr. Appl. Anal. 2014, 954121 (2014)
MathSciNetGoogle Scholar
23.
Wangrat, S., Niamsup, P.: Exponentially practical stability of impulsive discrete time system with delay. Adv. Differ. Equ. 2016, 277 (2016)
MathSciNetCrossRefGoogle Scholar
24.
Zeng, Z.: Converse Lyapunov theorems for nonautonomous discrete-time systems. J. Math. Sci. 161(2), 337–343 (2009)
MathSciNetCrossRefzbMATHGoogle Scholar
25.
Ghanmi, B., Hadj Taieb, N., Hammami, M.A.: Growth conditions for exponential stability of time-varying perturbed systems. Int. J. Control 86(6), 1086–1097 (2013)
MathSciNetCrossRefzbMATHGoogle Scholar
26.
Ben Hamed, B., Ellouze, I., Hammami, M.A.: Practical uniform stability of nonlinear differential delay equations. Mediterr. J. Math. 8, 603–616 (2011)
MathSciNetCrossRefzbMATHGoogle Scholar
27.
Ben Hamed, B., Hammami, M.A.: Practical stabilization of a class of uncertain time-varying nonlinear delay systems. J. Control Theory Appl. 7(2), 175–180 (2009)
MathSciNetCrossRefGoogle Scholar
28.
Caraballo, T., Hammami, M.A., Mchiri, L.: Practical exponential stability of impulsive stochastic functional differential equations. Syst. Control Lett. 109, 43–48 (2017)
MathSciNetCrossRefzbMATHGoogle Scholar
29.
Ellouze, I., Hammami, M.A.: Practical stability of impulsive control systems with multiple time delays. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 20, 341–356 (2013)
MathSciNetzbMATHGoogle Scholar
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.
