Partitioning Technique for Relaxed Stability Criteria of Discrete-Time Systems with Interval Time-Varying Delay

We demonstrate an improved stability analysis based on a partition oriented technique for discrete-time systems with interval time-varying delay. The partition oriented technique introduces beneficial terms contributing to the negative definiteness of the Lyapunov function difference,meanwhile completely avoiding traditional inequality based approaches. In contrast, nonpartitioning oriented techniques do not put emphasis on further dividing the interval of the summation in the Lyapunov function. Herein, we demonstrate that the advantages of exploiting partitioning techniques manifest the relaxed stability criteria, as well as the flexibility to tune tradeoff between allowable timedelay range performance and computational load. Simulation carried out on a benchmark discrete-time system reveals the significant improvement in terms of maximum allowable upper bound in comparison.


Introduction
Stability analysis on continuous and discrete-time systems with interval time-varying delay has been extensively researched in the past decade [1][2][3][4][5][6][7].Traditional techniques focused on introducing inequalities (e.g., Moon et al. [8], Park [9], model transformation [10,11]) to cope with the double integral problem in the Lyapunov function whereas we term these approaches as nonpartitioning oriented techniques.However, these nonpartitioning oriented techniques increase conservativeness by introducing positive terms to the Lyapunov function difference.This setback led to techniques (e.g., zero equalities [12], averaging technique [13]) which further partition the time-delay interval to introduce beneficial terms contributing to the negative definiteness of the Lyapunov function difference (whereas we term this as partitioning techniques), resulting in relaxed stability criteria.From the above observation, we are motivated to completely avoid nonpartitioning oriented techniques while exploiting partitioning oriented techniques.The advantages are (i) relaxed stability criteria and (ii) flexibility to tune tradeoff between allowable time-delay range performance and computational load.Simulation results on a discretetime example reveal the best performance in comparison to previous literature.

Main Results
Using the partitioning technique, we have the following main results.
Theorem 1.Given nonnegative integer scalars   and   , the system where where (5) that is, the floor function of (1/2)(  +   ),  1 =  avg −   , and  2 =   −  avg .Let Then, it is clear that We divide the proof into two cases.
Comparing the results of this work to [14], the maximum allowable upper bound (MAUB) of   with various   is presented in Table 1, which shows that our conditions give significantly better results.
This example is discussed in [15], which assumes that   = 2 and   = 10.For this example and by Theorem 1 in this paper, the MAUB   = 34.

Conclusion
In this work, we have presented an exploitation of the partitioning oriented technique to deal with the stability problem of discrete-time systems with an interval time-varying delay.
In the analysis, a new Lyapunov function was defined and some conventional inequalities were avoided resulting in relaxed stability criteria formulated into LMIs.A benchmark numerical example was given and results reflect the criteria which show significant improvement over existing results.

Table 1 :
Maximum allowable upper bound   for various   .