Open Access Highly Accessed Research

LMI approach to robust stability and stabilization of nonlinear uncertain discrete-time systems with convex polytopic uncertainties

M Rajchakit and G Rajchakit*

Author Affiliations

Major of Mathematics and Statistics, Faculty of Science, Maejo University, Chiangmai, 50290, Thailand

For all author emails, please log on.

Advances in Difference Equations 2012, 2012:106  doi:10.1186/1687-1847-2012-106


The electronic version of this article is the complete one and can be found online at: http://www.advancesindifferenceequations.com/content/2012/1/106


Received:11 November 2011
Accepted:27 June 2012
Published:16 July 2012

© 2012 Rajchakit and Rajchakit; licensee Springer

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

This article addresses the robust stability for a class of nonlinear uncertain discrete-time systems with convex polytopic of uncertainties. The system to be considered is subject to both interval time-varying delays and convex polytopic-type uncertainties. Based on the augmented parameter-dependent Lyapunov-Krasovskii functional, new delay-dependent conditions for the robust stability are established in terms of linear matrix inequalities. An application to robust stabilization of nonlinear uncertain discrete-time control systems is given. Numerical examples are included to illustrate the effectiveness of our results.

MSC: 15A09, 52A10, 74M05, 93D05.

Keywords:
robust stability and stabilization; nonlinear uncertain discrete-time systems; convex polytopic uncertainties; Lyapunov-Krasovskii functional; linear matrix inequality

1 Introduction

Since the time delay is frequently viewed as a source of instability and encountered in various engineering systems such as chemical processes, long transmission lines in pneumatic systems, networked control systems, etc., the study of delay systems has received much attention and various topics have been discussed over the past years. The problem of stability and stabilization of dynamical systems with time delays has received considerable attention, and lots of interesting results have reported in the literature, see [1-8] and the references therein. Some delay-dependent stability criteria for discrete-time systems with time-varying delay are investigated in [2,6,9-11], where the discrete Lyapunov functional method are employed to prove stability conditions in terms of linear matrix inequalities (LMIs). A number research works for dealing with asymptotic stability problem for discrete systems with interval time-varying delays have been presented in [12-22]. Theoretically, stability analysis of the systems with time-varying delays is more complicated, especially for the case where the system matrices belong to some convex polytope. In this case, the parameter-dependent Lyapunov-Krasovskii functionals are constructed as the convex combination of a set of functions assures the robust stability of the nominal systems and the stability conditions must be solved upon a grid on the parameter space, which results in testing a finite number of LMIs [11,23,24]. To the best of the authors’ knowledge, the stability for linear discrete-time systems with both time-varying delays and polytopic uncertainties has not been fully investigated. The articles [25,26] propose sufficient conditions for robust stability of discrete and continuous polytopic systems without time delays. More recently, combining the ideas in [23,24], improved conditions for D -stability and D -stabilization of linear polytopic delay-difference equations with constant delays have been proposed in [27].

In this article, we consider polytopic nonlinear uncertain discrete-time equations with interval time-varying delays. Using the parameter-dependent Lyapunov-Krasovskii functional combined with LMI techniques, we propose new criteria for the robust stability of the nonlinear uncertain system. The delay-dependent stability conditions are formulated in terms of LMIs, being thus solvable by the numeric technology available in the literature to date. The result is applied to robust stabilization of nonlinear uncertain discrete-time control systems. Compared to other results, our result has its own advantages. First, it deals with the nonlinear uncertain delay-difference system, where the state-space data belong to the convex polytope of uncertainties and the rate of change of the state depends not only on the current state of the nonlinear systems but also its state at some times in the past. Second, the time-delay is assumed to be a time-varying function belonging to a given interval, which means that the lower and the upper bounds for the time-varying delay are available. Third, our approach allows us to apply in robust stabilization of the nonlinear uncertain discrete-time system subjected to polytopic uncertainties and external controls. Therefore, our results are more general than the related previous results.

The article is organized as follows. In Section 2, introduces the main notations, definitions, and some lemmas needed for the development of the main results. In Section 3, sufficient conditions are derived for robust stability, stabilization of nonlinear uncertain discrete-time systems with interval time-varying delays and polytopic uncertainties. They are followed by some remarks. Illustrative examples are given in Section 4.

2 Preliminaries

The following notations will be used throughout this article. R + denotes the set of all real non-negative numbers; R n denotes the n-dimensional space with the scalar product , and the vector norm ; R n × r denotes the space of all matrices of ( n × r ) -dimension. A T denotes the transpose of A; a matrix A is symmetric if A = A T , a matrix I is the identity matrix of appropriate dimension.

Matrix A is semi-positive definite ( A 0 ) if A x , x 0 , for all x R n ; A is positive definite ( A > 0 ) if A x , x > 0 for all x 0 ; A B means A B 0 .

Consider a nonlinear uncertain delay-difference systems with polytopic uncertainties of the form where x ( k ) R n is the state, the system matrices are subjected to uncertainties and belong to the polytope Ω given by

Ω = { [ A , D ] ( ξ ) : = i = 1 p ξ i [ A i , D i ] , i = 1 p ξ i = 1 , ξ i 0 } , (2.1)

where A i , D i , i = 1 , 2 , , p , are given constant matrices with appropriate dimensions.

The nonlinear perturbations f ( k , x ( k h ( k ) ) ) satisfies the following condition

f T ( k , x ( k h ( k ) ) ) f ( k , x ( k h ( k ) ) ) β 2 x T ( k h ( k ) ) x ( k h ( k ) ) , (2.2)

where β is positive constants. For simplicity, we denote f ( k , x ( k h ( k ) ) ) by f, respectively.

The time-varying uncertain matrices Δ A ( k ) and Δ D ( k ) are defined by

Δ A ( k ) = E a F a ( k ) H a , Δ D ( k ) = E d F d ( k ) H d , (2.3)

where E a , E d , H a , H d are known constant real matrices with appropriate dimensions. F a ( k ) , F d ( k ) are unknown uncertain matrices satisfying

F a T ( k ) F a ( k ) I , F d T ( k ) F d ( k ) I , k = 0 , 1 , 2 , , (2.4)

where I is the identity matrix of appropriate dimension.

The time-varying function h ( k ) satisfies the condition:

0 < h 1 h ( k ) h 2 , k = 0 , 1 , 2 , .

Remark 2.1 It is worth noting that the time delay is a time-varying function belonging to a given interval, which allows the time-delay to be a fast time-varying function and the lower bound is not restricted to being zero as considered in [2,6,9-11].

Definition 2.1 The nonlinear uncertain system ( Σ ξ ) is robustly stable if the zero solution of the system is asymptotically stable for all uncertainties which satisfy (2.1), (2.3), and (2.4).

Proposition 2.1For real numbers ξ i 0 , i = 1 , 2 , , p , i = 1 p ξ i = 1 , the following inequality hold

( p 1 ) i = 1 p ξ i 2 2 i = 1 p 1 j = i + 1 p ξ i ξ j 0 .

Proof The proof is followed from the completing the square:

( p 1 ) i = 1 p ξ i 2 2 i = 1 p 1 j = i + 1 p ξ i ξ j = i = 1 p 1 j = i + 1 p ( ξ i ξ j ) 2 0 .

 □

Proposition 2.2 (Cauchy inequality)

For any symmetric positive definite matrix N M n × n and a , b R n we have

+ ̲ a T b a T N a + b T N 1 b .

Proposition 2.3 ([1])

LetE, HandFbe any constant matrices of appropriate dimensions and F T F I . For any ϵ > 0 , we have

E F H + H T F T E T ϵ E E T + ϵ 1 H T H .

3 Main results

3.1 Robust stability

In this section, we present sufficient delay-dependent conditions for the robust stability of nonlinear uncertain system ( Σ ξ ).

Let us set

Theorem 3.1The nonlinear uncertain system ( Σ ξ ) is robustly stable if there exist symmetric matrices P i > 0 , Q i > 0 , i = 1 , 2 , p and constant matrices S 0 , S 1 i , S 2 i , i = 1 , 2 , p satisfying the following LMIs:

(i) M i i ( P , Q , S 1 , S 2 ) + S < 0 , i = 1 , 2 , , p .

(ii) M i j ( P , Q , S 1 , S 2 ) + M j i ( P , Q , S 1 , S 2 ) 2 p 1 S < 0 , i = 1 , 2 , , p 1 ; j = i + 1 , , p .

Proof Consider the following parameter-dependent Lyapunov-Krasovskii functional for system ( Σ ξ )

V ( k ) = V 1 ( k ) + V 2 ( k ) + V 3 ( k ) ,

where

We can verify that

λ 1 x ( k ) 2 V ( k ) λ 2 x k 2 . (3.1)

Let us set z ( k ) = [ x ( k ) x ( k + 1 ) x ( k h ( k ) ) f ( k , x ( k h ( k ) ) ) ] T , and

Then, the difference of V 1 ( k ) along the solution of the system ( Σ ξ ), we obtained

Δ V 1 ( k ) = x T ( k + 1 ) P ( ξ ) x ( k + 1 ) x T ( k ) P ( ξ ) x ( k ) = z ( k ) T G ( ξ ) z ( k ) 2 z T ( k ) F T ( ξ ) ( 0.5 x ( k ) 0 0 0 ) , (3.2)

because of

Using the expression of system ( Σ ξ )

0 = S 1 ( ξ ) x ( k + 1 ) + S 1 ( ξ ) ( A ( ξ ) + Δ A ( k ) ) x ( k ) + S 1 ( ξ ) ( D ( ξ ) + Δ D ( k ) ) x ( k h ( k ) ) + S 1 ( ξ ) f , 0 = S 2 ( ξ ) x ( k + 1 ) + S 2 ( ξ ) ( A ( ξ ) + Δ A ( k ) ) x ( k ) + S 2 ( ξ ) ( D ( ξ ) + Δ D ( k ) ) x ( k h ( k ) ) + S 2 ( ξ ) f ,

we have

Therefore, from (3.2) it follows that

Δ V 1 ( k ) = x T ( k ) [ P ( ξ ) S 1 ( ξ ) A ( ξ ) S 1 ( ξ ) E a F a ( k ) H a A ( ξ ) T S 1 T ( ξ ) H a T F a T ( k ) E a T S 1 T ( ξ ) ] x ( k ) + 2 x T ( k ) [ S 1 ( ξ ) S 1 ( ξ ) A ( ξ ) S 1 ( ξ ) E a F a ( k ) H a ] x ( k + 1 ) + 2 x T ( k ) [ S 1 ( ξ ) D ( ξ ) S 1 ( ξ ) E d F d ( k ) H d ] x ( k h ( k ) ) + 2 x T ( k ) [ S 1 ( ξ ) S 2 ( ξ ) A ( ξ ) S 2 ( ξ ) E a F a ( k ) H a ] f ( k , x ( k h ( k ) ) ) + x ( k + 1 ) [ P ( ξ ) + S 1 ( ξ ) + S 1 T ( ξ ) ] x ( k + 1 ) + 2 x ( k + 1 ) [ S 1 ( ξ ) D ( ξ ) S 1 ( ξ ) E d F d ( k ) H d ] x ( k h ( k ) ) + 2 x ( k + 1 ) [ S 2 ( ξ ) S 1 ( ξ ) ] f ( k , x ( k h ( k ) ) ) + 2 x T ( k h ( k ) ) [ S 2 ( ξ ) D ( ξ ) S 2 ( ξ ) E d F d ( k ) H d ] f ( k , x ( k h ( k ) ) ) + f T ( k , x ( k h ( k ) ) ) ( k ) [ S 2 S 2 T ] f ( k , x ( k h ( k ) ) ) .

Applying Propositions 2.2, 2.3 and condition (2.4), the following estimations hold

Therefore, we have

Δ V 1 ( k ) = x T ( k ) [ P ( ξ ) S 1 ( ξ ) A ( ξ ) A ( ξ ) T S 1 T ( ξ ) + 2 S 1 ( ξ ) E a E a T S 1 T ( ξ ) + S 1 ( ξ ) E d E d T S 1 T ( ξ ) + S 2 ( ξ ) E a E a T S 2 T ( ξ ) + H a T H a ] x ( k ) + 2 x T ( k ) [ S 1 ( ξ ) S 1 ( ξ ) A ( ξ ) ] x ( k + 1 ) + 2 x T ( k ) [ S 1 ( ξ ) D ( ξ ) ] x ( k h ( k ) ) + 2 x T ( k ) [ S 1 ( ξ ) S 2 ( ξ ) A ( ξ ) ] f ( k , x ( k h ( k ) ) ) + x ( k + 1 ) [ P ( ξ ) + S 1 ( ξ ) + S 1 T ( ξ ) + S 1 ( ξ ) E d E d T S 1 T ( ξ ) + H a T H a ] x ( k + 1 ) + 2 x ( k + 1 ) [ S 1 ( ξ ) D ( ξ ) ] x ( k h ( k ) ) + 2 x ( k + 1 ) [ S 2 ( ξ ) S 1 ( ξ ) ] f ( k , x ( k h ( k ) ) ) + x T ( k h ( k ) ) [ S 2 ( ξ ) E d E d T S 2 T ( ξ ) + 2 H d T H d ] x ( k h ( k ) ) + 2 x T ( k h ( k ) ) [ S 2 ( ξ ) D ( ξ ) ] f ( k , x ( k h ( k ) ) ) + f T ( k , x ( k h ( k ) ) ) ( k ) [ S 2 ( ξ ) S 2 T ( ξ ) + H a T H a + H d T H d ] × f ( k , x ( k h ( k ) ) ) . (3.3)

The difference of V 2 ( k ) is given by

Δ V 2 ( k ) = i = k + 1 h ( k + 1 ) k x T ( i ) Q ( ξ ) x ( i ) i = k h ( k ) k 1 x T ( i ) Q ( ξ ) x ( i ) = i = k + 1 h ( k + 1 ) k h 1 x T ( i ) Q ( ξ ) x ( i ) + x T ( k ) Q ( ξ ) x ( k ) x x ( k h ( k ) ) Q ( ξ ) x ( k h ( k ) ) + i = k + 1 h 1 k 1 x T ( i ) Q ( ξ ) x ( i ) i = k + 1 h ( k ) k 1 x T ( i ) Q ( ξ ) x ( i ) . (3.4)

Since h ( k ) h 1 we have

i = k + 1 h 1 k 1 x T ( i ) Q ( ξ ) x ( i ) i = k + 1 h ( k ) k 1 x T ( i ) Q ( ξ ) x ( i ) 0 ,

and hence from (3.4) we have

Δ V 2 ( k ) i = k + 1 h ( k + 1 ) k h 1 x T ( i ) Q ( ξ ) x ( i ) + x T ( k ) Q ( ξ ) x ( k ) x T ( k h ( k ) ) Q ( ξ ) x ( k h ( k ) ) . (3.5)

The difference of V 3 ( k ) is given by

Δ V 3 ( k ) = j = h 2 + 2 h 1 + 1 [ x T ( k ) Q ( ξ ) x ( k ) x T ( k + j 1 ) Q ( ξ ) x ( k + j 1 ) ] = ( h 2 h 1 ) x T ( k ) Q ( ξ ) x ( k ) l = k + 1 h 2 k h 1 x T ( l ) Q ( ξ ) x ( l ) . (3.6)

Since

i = k = 1 h ( k + 1 ) k h 1 x T ( i ) Q ( ξ ) x ( i ) i = k + 1 h 2 k h 1 x T ( i ) Q ( ξ ) x ( i ) 0 ,

we obtain from (3.5) and (3.6) that

Δ V 2 ( k ) + Δ V 3 ( k ) ( h 2 h 1 + 1 ) x T ( k ) Q ( ξ ) x ( k ) x T ( k h ( k ) ) Q ( ξ ) x ( k h ( k ) ) . (3.7)

Therefore, combining the inequalities (3.3), (3.7) gives

Δ V ( k ) z T ( k ) T ( ξ ) z ( k ) , (3.8)

where

Let us denote

From the convex combination of the expression of P ( ξ ) , Q ( ξ ) , S 1 ( ξ ) , S 2 ( ξ ) , A ( ξ ) , D ( ξ ) , we have

T ( ξ ) = i = 1 p ξ i 2 ( M 1 i i S 1 i S 1 i A i S 1 i D i S 1 i S 2 i A i S 1 i T A i T S 1 i T M 2 i i S 1 i D i S 2 i S 1 i D i T S 1 i T D i T S 1 i T M 3 i i S 2 i D i S 1 i T A i T S 2 i T S 2 i T S 1 i T D i T S 2 i T M 4 i i ) + i = 1 p 1 j = i + 1 p ξ i ξ j ( M 1 i j + M 1 j i S 1 i j ( S 1 A ) i j ( S 1 D ) i j S 1 i j ( S 2 A ) i j S 1 i j T ( A T S 1 T ) i j M 2 i j + M 2 j i ( S 1 D ) i j S 2 i j S 1 i j ( D T S 1 T ) i j ( D T S 1 T ) i j M 3 i j + M 3 j i ( S 2 D ) i j S 1 i j T ( A T S 2 T ) i j S 2 i j T S 1 i j T ( D T S 2 T ) i j M 4 i j + M 4 j i ) = i = 1 p ξ i 2 M i i ( P , Q , S 1 , S 2 ) + i = 1 p 1 j = i + 1 p ξ i ξ j [ M i j ( P , Q , S 1 , S 2 ) + M j i ( P , Q , S 1 , S 2 ) ] .

Then the conditions (i), (ii) give

T ( ξ ) < i = 1 p ξ i 2 S + 2 p 1 i = 1 p 1 j = i + 1 p ξ i ξ j S 0 ,

because of Proposition 2.1

( p 1 ) i = 1 p ξ i 2 2 i = 1 p 1 j = i + 1 p ξ i ξ j = i = 1 p 1 j = i + 1 p ( ξ i ξ j ) 2 0 ,

and hence, we finally obtain from (3.8) that

Δ V ( k ) < 0 , k = 0 , 1 , 2 , ,

which together with (3.1) implies that the system ( Σ ξ ) is robustly stable. This completes the proof of the theorem. □

Remark 3.1 The stability conditions of Theorem 3.1 are more appropriate for practical systems since practically it is impossible to know exactly the delay but lower and upper bounds are always possible.

3.2 Robust stabilization

This section deals with a stabilization problem considered in [15] for constructing a delayed feedback controller, which stabilizes the resulting closed-loop system. The robust stability condition obtained in previous section will be applied to design a time-delayed state feedback controller for the nonlinear uncertain discrete-time control system described by

x ( k + 1 ) = ( A ( ξ ) + Δ A ( k ) ) x ( k ) + ( B ( ξ ) + Δ B ( k ) ) u ( k ) + f ( k , x ( k h ( k ) ) ) , k = 0 , 1 , 2 , , (3.9)

where u ( k ) R n is the control input, the system matrices are subjected to uncertainties and belong to the polytope Ω given by

Ω = { [ A , B ] ( ξ ) : = i = 1 p ξ i [ A i , B i ] , i = 1 p ξ i = 1 , ξ i 0 } ,

where A i B i i = 1 , 2 , , p , are given constant matrices with appropriate dimensions. As in [8], we consider a parameter-dependent delayed feedback control law

u ( k ) = ( F ( ξ ) + Δ F ( k ) ) x ( k h ( k ) ) , k = h 2 , , 0 , (3.10)

F ( ξ ) + Δ F ( k ) is the controller gain to be determined. The time-varying uncertain matrices Δ A ( k ) Δ B ( k ) , and Δ F ( k ) are defined by

Δ A ( k ) = E a F a ( k ) H a , Δ B ( k ) = E b F b ( k ) H b , Δ F ( k ) = E f F f ( k ) H f ,

where E a E b E f H a H b H f are known constant real matrices with appropriate dimensions. F a ( k ) F b ( k ) F f ( k ) are unknown uncertain matrices satisfying

F a T ( k ) F a ( k ) I , F b T ( k ) F b ( k ) I , F f T ( k ) F f ( k ) I , k = 0 , 1 , 2 , ,

where I is the identity matrix of appropriate dimension.

Applying the feedback controller (3.10) to the nonlinear uncertain system (3.9), the closed-loop time-delay nonlinear uncertain system is

x ( k + 1 ) = ( A ( ξ ) + Δ A ( k ) ) x ( k ) + ( B ( ξ ) + Δ B ( k ) ) ( F ( ξ ) + Δ F ( k ) ) x ( k h ( k ) ) + f ( k , x ( k h ( k ) ) ) , k = 0 , 1 , 2 , . (3.11)

The time-varying function h ( k ) satisfies the condition:

0 < h 1 h ( k ) h 2 , k = 0 , 1 , 2 , .

Definition 3.1 The nonlinear uncertain system (3.9) is robustly stabilizable if there is a delayed feedback control (3.10) such that the closed-loop delay nonlinear uncertain system (3.11) is robustly stable.

Let us

The following theorem can be derived from Theorem 3.1.

Theorem 3.2The nonlinear uncertain system (3.9) is robustly stabilizable by the delayed feedback control (3.10), where ( F ( ξ ) + Δ F ( k ) ) = ( B ( ξ ) + Δ B ( k ) ) T [ ( B ( ξ ) + Δ B ( k ) ) ( B ( ξ ) + Δ B ( k ) ) T ] 1 , if there exist symmetric matrices P i > 0 , Q i > 0 , i = 1 , 2 , , p and constant matrices S 1 i , i = 1 , 2 , , p , S 0 satisfying the following LMIs:

(i) M i i ( P , Q , S 1 ) + S < 0 , i = 1 , 2 , , p .

(ii) M i j ( P , Q , S 1 ) + M j i ( P , Q , S 1 ) 2 p 1 S < 0 , i = 1 , 2 , , p 1 ; j = i + 1 , , p .

Proof Taking S 1 i = S 2 i and using the feedback control (3.10), the closed-loop nonlinear uncertain system becomes system ( Σ ξ ), where ( D ( ξ ) + Δ D ( k ) ) = ( B ( ξ ) + Δ B ( k ) ) ( F ( ξ ) + Δ F ( k ) ) = ( B ( ξ ) + Δ B ( k ) ) ( B ( ξ ) + Δ B ( k ) ) T [ ( B ( ξ ) + Δ B ( k ) ) ( B ( ξ ) + Δ B ( k ) ) T ] 1 = I . Since S 1 ( ξ ) ( D ( ξ ) + Δ D ( k ) ) = S 1 ( ξ ) , the robust stability condition of the closed-loop nonlinear uncertain system (3.11), by Theorem 3.1, is immediately derived. □

Remark 3.2 The stabilization conditions of Theorem 3.2 are more appropriate for practical systems since practically it is impossible to know exactly the delay but lower and upper bounds are always possible.

4 Numerical examples

To illustrate the effectiveness of the previous theoretical results, we consider the following numerical examples.

Example 4.1 (Robust stability)

Consider nonlinear uncertain system ( Σ ξ ) for p = 2 , where the delay function h ( k ) is given by

h ( k ) = 1 + 19 sin 2 k π 2 , k = 0 , 1 , 2 , ,

and

with any time-varying delay function h ( k ) with h 1 = 1 , h 2 = 20 . By using the LMI Toolbox in MATLAB, the LMIs (i) and (ii) of Theorem 3.1 are feasible with

Therefore, the nonlinear uncertain system is robustly stable.

Example 4.2 (Robust stabilization)

Consider nonlinear uncertain control system (3.9) for p = 2 , where the delay function h ( k ) is given by

h ( k ) = 1 + 32 sin 2 k π 2 , k = 0 , 1 , 2 , ,

and

with any time-varying delay function h ( k ) with h 1 = 1 , h 2 = 33 , ξ 1 = 0.5 , ξ 2 = 0.5 . By using the LMI Toolbox in MATLAB, the LMIs (i) and (ii) of Theorem 3.2 are feasible with

Therefore, the nonlinear uncertain system is robustly stabilizable with the feedback control

u ( k ) = ( B ( ξ ) + Δ B ( k ) ) T [ ( B ( ξ ) + Δ B ( k ) ) ( B ( ξ ) + Δ B ( k ) ) T ] 1 x ( k h ( k ) ) = ( 0.5 B 1 + 0.5 B 2 + Δ B ( k ) ) T [ ( 0.5 B 1 + 0.5 B 2 + Δ B ( k ) ) ( 0.5 B 1 + 0.5 B 2 + Δ B ( k ) ) T ] 1 x ( k h ( k ) ) = ( 0.8881 0.0061 0.0061 0.9100 ) x ( k h ( k ) ) .

Therefore, the feedback delayed controller is

u ( k ) = [ 0.8881 x 1 ( k h ( k ) ) 0.0061 x 2 ( k h ( k ) ) 0.0061 x 1 ( k h ( k ) ) 0.9100 x 2 ( k h ( k ) ) ] .

5 Conclusion

In this article, new delay-dependent robust stability conditions for nonlinear uncertain polytopic delay-difference equations with interval time-varying delays have been presented in terms of LMIs. An application in robust stabilization of nonlinear uncertain control discrete systems with time-delayed feedback controllers has been studied. Numerical examples have been given to demonstrate the effectiveness of the proposed conditions.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors contributed equally and significantly in writing this article. The authors read and approved the final manuscript.

Acknowledgements

This work was supported by the Thai Research Fund Grant, the Higher Education Commission and Faculty of Science, Maejo University, Thailand. The authors thank anonymous reviewers for valuable comments and suggestions, which allowed us to improve the article.

References

  1. Agarwal, RP: Difference Equations and Inequalities, Dekker, New York (2000)

  2. Chen, WH, Guan, ZH, Lu, X: Delay-dependent guaranteed cost control for uncertain discrete-time systems with delays. IEE Proc. Part D. Control Theory Appl.. 150, 412–416 (2003). Publisher Full Text OpenURL

  3. Elaydi, S, Gyri, I: Asymptotic theory for delay difference equations. J. Differ. Equ. Appl.. 1, 99–116 (1995). Publisher Full Text OpenURL

  4. Kolmanovskii, V, Myshkis, A: Applied Theory of Functional Differential Equations, Springer, Berlin (1992)

  5. Mao, WJ, Chu, J: D-stability and D-stabilization of linear discrete-time delay systems with polytopic uncertainties. Automatica. 45, 842–846 (2009). Publisher Full Text OpenURL

  6. Nam, PT, Hien, HM, Phat, VN: Asymptotic stability of linear state-delayed neutral systems with polytope type uncertainties. Dyn. Syst. Appl.. 19, 63–74 (2010)

  7. Phat, VN, Park, JY: On the Gronwall’s inequality and stability of nonlinear discrete-time systems with multiple delays. Dyn. Syst. Appl.. 1, 577–588 (2001)

  8. Phat, VN: Constrained Control Problems of Discrete Processes, World Scientific, Singapore (1996)

  9. Hsien, TL, Lee, CH: Exponential stability of discrete-time uncertain systems with time-varying delays. J. Franklin Inst.. 322, 479–489 (1995)

  10. Ji, DH, Park, JH, Yoo, WJ, Won, SC: Robust memory state feedback model predictive control for discrete-time uncertain state delayed systems. Syst. Control Lett.. 54, 1195–1203 (2005). Publisher Full Text OpenURL

  11. Phat, VN, Bay, NS: Stability analysis of nonlinear retarded difference equations in Banach spaces. Comput. Math. Appl.. 45, 951–960 (2003). Publisher Full Text OpenURL

  12. Boukas, EK: State feedback stabilization of nonlinear discrete-time systems with time-varying delays. Nonlinear Anal.. 66, 1341–1350 (2007). Publisher Full Text OpenURL

  13. Gao, H, Chen, T: New results on stability of discrete-time systems with time-varying delays. IEEE Trans. Autom. Control. 52, 328–334 (2007)

  14. Jiang, X, Han, QL, Yu, X: Stability criteria for linear discrete-time systems with interval-like time-varying delays. Proceedings of the American Control Conference. 2817–2822 (2005)

  15. Phat, VN, Nam, PT: Exponential stability and stabilization of uncertain linear time-varying systems using parameter-dependent Lyapunov function. Int. J. Control. 80, 1333–1341 (2007). Publisher Full Text OpenURL

  16. Phat, VN, Ratchagit, K: Stability and stabilization of switched linear discrete-time systems with interval time-varying delay. Nonlinear Anal. Hybrid Syst.. 5, 605–612 (2011). Publisher Full Text OpenURL

  17. Ratchagit, K: Asymptotic stability of nonlinear delay-difference system via matrix inequalities and application. Int. J. Comput. Methods. 6, 389–397 (2009). Publisher Full Text OpenURL

  18. Phat, VN, Kongtham, Y, Ratchagit, K: LMI approach to exponential stability of linear systems with interval time-varying delays. Linear Algebra Appl.. 436, 243–251 (2012). Publisher Full Text OpenURL

  19. Ratchagit, K, Phat, VN: Stability criterion for discrete-time systems. J. Inequal. Appl.. 2010, (2010)

  20. Ratchagit, K, Phat, VN: Robust stability and stabilization of linear polytopic delay-difference equations with interval time-varying delays. Neural Parallel Sci. Comput.. 19, 361–372 (2011)

  21. Zhang, B, Xu, S, Zou, Y: Improved stability criterion and its applications in delayed controller design for discrete-time systems. Automatica. 44, 2963–2967 (2008). Publisher Full Text OpenURL

  22. Yu, M, Wang, L, Chu, T: Robust stabilization of discrete-time systems with time-varying delays. Proceedings of the American Control Conference. 3435–3440 (2005)

  23. He, Y, Wu, M, She, JH, Liu, GP: Parameter-dependent Lyapunov functional for stability of time-delay systems with polytope-type uncertainties. IEEE Trans. Autom. Control. 49, 828–832 (2004). Publisher Full Text OpenURL

  24. Henrion, D, Arzelier, D, Peaucelle, D, Sebek, M: An LMI condition for robust stability of polynomial matrix polytopes. Automatica. 37, 461–468 (2001). Publisher Full Text OpenURL

  25. Coutinho, DF, Fu, M, Trofino, A: Robust analysis and control for a class of uncertain nonlinear discrete-time systems. Syst. Control Lett.. 53, 377–393 (2004). Publisher Full Text OpenURL

  26. Kau, SW, Liu, Y, Hang, L, Lee, CH, Fang, CH, Lee, L: A new LMI condition for robust stability of discrete-time uncertain systems. Appl. Math. Comput.. 215, 2035–2044 (2009). Publisher Full Text OpenURL

  27. Kwon, OM, Park, JH: Exponential stability of uncertain dynamic systems including state delays. Appl. Math. Lett.. 19, 901–907 (2006). Publisher Full Text OpenURL