On stability analysis of discrete-time uncertain switched nonlinear time-delay systems
© Kermani and Sakly; licensee Springer. 2014
Received: 13 March 2014
Accepted: 4 August 2014
Published: 9 September 2014
This paper addresses the stability analysis problem for a class of discrete-time switched nonlinear time-delay systems with polytopic uncertainties. These considered systems are characterized by delayed difference nonlinear equations which are given in the state form representation. Then, a transformation under the arrow form is employed. Indeed, by constructing an appropriated common Lyapunov function, and also by resorting to the Kotelyanski lemma and the M-matrix proprieties, new delay-independent stability conditions under arbitrary switching law are deduced. Compared with the existing results of switched systems, those obtained results are formulated in terms of the unknown polytopic uncertain parameters, explicit and easy to apply. Moreover, this method allows us to avoid the search for a common Lyapunov function which is a difficult matter. Finally, a numerical example is presented to illustrate the effectiveness of the proposed approach.
Switched systems are an important class of hybrid systems. Generally speaking, a switched system is composed of a family of subsystems described by differential or difference equations and a switching rule orchestrating the switching between the subsystems that have attracted much attention in control theory and practice during recent decades. Switched systems can be efficiently used to model many practical systems which are inherently multi-model in the sense that several dynamical systems are required to describe their behavior. For example, many physical processes exhibit switched and hybrid nature. Switched systems have strong engineering background in various areas and are often used as a unified modeling tool for a great number of real-world systems, such as power electronics, chemical processes, mechanical systems, automotive industry, aircraft and air traffic control and many other fields [1–6].
Undoubtedly, stability is the first requirement for a system to work properly; thus, stability analysis of switched systems presents a theoretical challenge, which has attracted growing attention in the literature [1–37]. However, stability under arbitrary switching is a fundamental issue and an important topic in the design and analysis of these systems. To solve this matter, many effective methods have been developed [11, 15, 16, 24]. Within this framework, we are required to find conditions that guarantee asymptotic stability under arbitrary switching rules. Indeed, it is well known that the existence of a common Lyapunov function [7–9] for all subsystems is sufficient to guarantee the stability under arbitrary switching law. However, finding such a function is often difficult even for discrete-time switched linear systems . Consequently, this problem becomes more complicated for discrete-time switched nonlinear systems, and relatively fewer results have been reported in this context.
On the other hand, to avoid the problem of the existence of a common Lyapunov function, some attention has been widely given to seeking conditions that guarantee the stability of the switched systems under restricted switching. Although many efficient approaches and important results have been proposed for this alternative, such as the multiple Lyapunov function approach  and average dwell time method [11, 12], stability under arbitrary switching, which is considered in this work, remains most preferable for practical systems. Indeed, it offers great flexibility and it allows us to achieve other performances for designing a control law along stability maintained.
As is well known, time-delay phenomena are usually confronted in many engineering systems [1, 16–24, 28–30, 38, 39], such as chemical engineering systems, hydraulic systems, inferred grinding model, neural network, nuclear reactor, population dynamic model and rolling mill. Recently, stability analysis for discrete-time switched time-delay systems has been investigated [1, 16–24, 28–30].
It is noteworthy that there are two divisions in the recent literature addressing the stability analysis of time-delay systems, namely delay-independent criteria and delay-dependent criteria. Therefore, in view of delay-independent criteria, this paper will try to aid the stability analysis under arbitrary switching law.
On the other hand, when practical systems are modelled, uncertainties of system parameters are often included. Therefore, most of the systems refer to uncertainties in real applications. Indeed, basically, two kinds of uncertainties are simultaneously encountered in the open literature, widely polytopic uncertainties and norm-bounded. From the practical viewpoint, it is important to investigate switched systems with uncertain parameters [19, 20, 24, 28–30, 33, 36]. Thus, polytopic uncertainties exist in many real systems, and most of the uncertain systems can be approximated by systems with polytopic uncertainties . On the other hand, the polytopic uncertain systems are less conservative than systems with norm-bounded uncertainties .
Up to now, discrete-time uncertain switched time-delay systems have received more and more attention. Although many interested and significant results on stability problems for those systems have been established [19, 20, 26, 28–30], those previous works were mainly focused on several hot topics of Lyapunov stability theory and most of them were interested in the linear case [19, 22–26, 28–30]. Thus, due to the complexity of switched nonlinear systems, unfortunately, the available results on the stability of uncertain discrete-time switched nonlinear time-delay systems are limited .
Motivated by these mentioned shortcomings for the existing results as well as in the sense of various methods that can be employed, in this paper we aim to establish new stability analysis for a class of discrete-time switched time-delay systems with polytopic uncertainties. Indeed, based on transforming, the representation of these systems are studied under consideration into the arrow form matrix [31–33, 40–51]. Then, by constructing an appropriated common Lyapunov function and by resorting to the Kotelyanski lemma  and the M-matrix proprieties [53, 54], new delay-independent stability conditions under arbitrary switching law are deduced.
Within the frame of studying the stability analysis, the said approach has already been introduced in [40, 41] for continuous-time delay systems and in our previous work  for discrete-time switched linear time-delay systems in a field related to the study of convergence.
To the best of the authors’ knowledge, no results have been reported in the literature on the stability of discrete-time switched time-delay systems with polytopic uncertainties by employing the Kotelyanski stability conditions that can be very effective in dealing with a class of more general nonlinear systems.
The contributions in our work mainly include two aspects. First, due to the conservatism of the methods for stability analysis which are based on the common Lyapunov function, this proposed method can guarantee stability under arbitrary switching and allows us to avoid searching for a common Lyapunov function. Second, these obtained results are formulated in terms of the unknown polytopic uncertain parameters, explicit and easy to apply. Furthermore, this proposed approach could be further used as a constructive solution to the problems of state and static output feedback stabilization.
The layout of the paper is as follows. Section 2 presents the problem formulation and some preliminaries. The main results of this paper are presented in Section 3. Section 4 is devoted to deriving new delay-independent conditions for asymptotic stability of switched nonlinear systems defined by difference equations. Some remarks and a numerical example are presented in Section 5 to illustrate the theoretical results. Finally, Section 6 concludes this paper.
Notation The notation used throughout this paper is as follows. For a matrix A, we denote the transpose by . Let ℜ denote the field of real numbers, denote an n-dimensional linear vector space over the reals with the norm . For any , we define the scalar product of the vectors u and v as ; is the space of matrices with real entries. is a set of positive real numbers. is a set of integers and is an identity matrix with appropriate dimension.
2 Problem formulation and preliminaries
2.1 Problem formulation
where , and , are matrices that have nonlinear elements with appropriate dimensions.
It is obvious that .
where , and , are respectively the vertex matrices denoting the extreme points of the polytope , and , , is the number of the vertex matrices , is the number of the vertex matrices and the weighting factors , , , are unknown polytopic uncertain parameters for each belong to , and , .
Now, the following definition, theorem and lemma are preliminarily presented for further development.
For system (2.1) or (2.6) we can give the following definition.
Definition 1 System (2.6) is said to be uniformly robust asymptotically stable if for any , there is such that implies , . For arbitrary switching law and all admissible uncertainties (2.4) and (2.5), there is also such that implies as for arbitrary switching signal (2.3).
The following lemma and theorem will play an important role in our later development.
Kotelyanski lemma 
Real parts of the eigenvalues of the matrix , with nonnegative off-diagonal elements, are less than a real number μ if and only if all those of the matrix , where , are positive with being the n identity matrix.
In this case, all the principal minors of matrix are positive. Then, the Kotelyanski lemma permits to deduce the stability properties of the system given by .
Theorem 1 The matrix is said to be an M-matrix if the following properties are verified:
All the eigenvalues ofhave a positive real part;
The real eigenvalues are positive;
The principal minors ofare positive:(2.7)
For any positive real numbers, the algebraic equationshave a positive solution.
Remark 1 A discrete-time system given by a matrix is stable if the matrix verifies the Kotelyanski conditions, in this case is an M-matrix.
3 Main results
This section will present the main results on the robust stability conditions for the discrete-time nonlinear switched time-delay system with polytopic uncertainties (2.6).
Such sufficient conditions, which are the main theoretical contribution of the paper, are stated in the theorem below.
Proof Let us consider system (2.6) of any switching law (2.3) and all admissible uncertainties (2.4) and (2.5), let with components (, ) and be the state vector.
where the matrix is defined in (3.1).
Therefore, switched system (2.6) is robust asymptotically stable under switching law (2.3) and all admissible uncertainties (2.4) and (2.5). This completes the proof. □
4 Application to discrete-time uncertain switched nonlinear time-delay systems defined by difference equations
where , are the components of the switching function given in (2.3), , and , are unknown polytopic uncertain parameters given in (2.4) and (2.5) for each .
Therefore, the presence of time-delay terms, the nonlinearities of coefficients, and unknown polytopic uncertain parameters makes the stability analysis for system (4.1) very difficult.
where is the state vector of components , . , are the components of the switching function given in (2.3), , and , are unknown polytopic uncertain parameters given in (2.4) and (2.5) for each .
To simplify the application to the Kotelyanski lemma, we consider a coordinate transformation into the arrow matrix form.
where (), , , are free real parameters that can be chosen arbitrarily.
Now, after the above formulation, based on the Kotelyanski lemma, we are in a position to give sufficient stability conditions for system (4.5) that are presented in the following theorem.
where the elements are defined in (4.22).
From (4.23), it is clear that all the elements of are positive. Therefore, the application of the Kotelyanski lemma to the matrix enables us to conclude the stability of system (4.5).
It is clear that for , condition (4.20) is verified as follows: .
It follows that .
This ends the proof of Theorem 3. □
To simplify the use of the stability conditions, Theorem 3 can be reduced to the corollary below.
Now, by considering relations (4.26) and (4.28) in Corollary 1 and substituting (4.15), (4.16) into (4.31), we obtain (4.27).
which indicates that condition (4.27) is satisfied.
Robust asymptotical stability of system (4.5) under any arbitrary switching law (2.3) and all admissible uncertainties (2.4) and (2.5) follows. This completes the proof. □
5 An illustrative example
where τ is the time-delay, and are nonlinear coefficients, and are unknown polytopic uncertain parameters for each , and . is the arbitrary switching rule given in (2.3).
where and are general nonlinear functions.
Let us introduce unknown uncertainty parameters satisfying the following conditions: , , and with being a general nonlinearity such that .
+ < 0,
+ < 0,
This example was used to illustrate the effectiveness of our developed approach with different values of delay and different switched time. Besides, this example shows that the obtained stability conditions are sufficient and very close to be necessary.
It is should be noted that this proposed approach is less conservative that searching for a common Lyapunov function. In fact, in  the authors introduced a simple linear example without time-delay for which a common Lyapunov function does not exist. Therefore, we cannot guarantee stability under arbitrary switching.
This paper has investigated new robust delay-independent stability conditions for a class of discrete-time switched nonlinear time-delay systems with polytopic uncertainties. These stability conditions were deduced with the help of the construction of an appropriated common Lyapunov function, and also by the resort to the Kotelyanski lemma and the M-matrix proprieties.
Compared with the existing results of switched systems, these obtained results are formulated in terms of the uncertain parameters, explicit and easy to apply. Moreover, this method allows us to avoid searching for a common Lyapunov function. A numerical example is given to show the effectiveness of our proposed approach.
This proposed approach could be further used as a constructive solution to the problems of state and static output feedback stabilization.
The limits of this paper are that it has been confined to the boundaries of numerical examples. It would be beneficial to extend the research further so as to include real systems and to conduct a comparative study with an example for which a common Lyapunov function exists.
The authors would like to thank the referees and the editor for helpful suggestions incorporated into this paper.
- Mahmoud S: Switched Time-Delay Systems. Springer, Boston; 2010.View ArticleMATHGoogle Scholar
- Liberzon D: Switching in Systems and Control. Springer, Boston; 2003.View ArticleMATHGoogle Scholar
- Li Z, Soh Y, Wen C: Switched and Impulsive Systems: Analysis, Design and Applications. Springer, Berlin; 2005.MATHGoogle Scholar
- Yu M, Wang L, Chu TG, Xie GM: Stabilization of networked control systems with data packet dropout and network delays via switching system approach. 4. Proc. the 43th IEEE Conf. Decision and Control 2004, 3545-3550.Google Scholar
- Donkers M, Heemels W, Wouw N, Hetel L: Stability analysis of networked control systems using a switched linear systems approach. IEEE Trans. Autom. Control 2011, 56: 2101-2115.View ArticleMathSciNetMATHGoogle Scholar
- Gans NR, Hutchinson SA: Stable visual servoing through hybrid switched-system control. IEEE Trans. Robot. 2007, 23: 530-540.View ArticleGoogle Scholar
- Narendra KS, Balakrishnan J: A common Lyapunov function for stable LTI systems with commuting A -matrices. IEEE Trans. Autom. Control 1994, 39: 2469-2471. 10.1109/9.362846MathSciNetView ArticleMATHGoogle Scholar
- Shim H, Noh DJ, Seo JH: Common Lyapunov function for exponentially stable nonlinear systems. J. Korean Inst. Electr. Eng. 2001, 11: 108-111.Google Scholar
- Vu L, Liberzon D: Common Lyapunov functions for families of commuting nonlinear systems. Syst. Control Lett. 2005, 54: 405-416. 10.1016/j.sysconle.2004.09.006MathSciNetView ArticleMATHGoogle Scholar
- Branicky MS: Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Autom. Control 1998, 43: 475-482. 10.1109/9.664150MathSciNetView ArticleMATHGoogle Scholar
- Ishii H, Francis BA: Stabilizing a linear system by switching control with dwell time. IEEE Trans. Autom. Control 2002, 47: 1962-1973. 10.1109/TAC.2002.805689MathSciNetView ArticleGoogle Scholar
- Hespanha JP, Morse AS: Stability of switched systems with average dwell-time. 38th IEEE Conf. Decision and Control 1999. PhoenixGoogle Scholar
- Daafouz J, Riedinger P, Iung C: Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach. IEEE Trans. Autom. Control 2002, 47: 1883-1887. 10.1109/TAC.2002.804474MathSciNetView ArticleGoogle Scholar
- Chang L, Ker Y, Jenq-Der C, Long-Yeu C: Sufficient conditions for global exponential stability of discrete switched time-delay systems with linear fractional perturbations via switching signal design. Adv. Differ. Equ. 2013., 2013: Article ID 39Google Scholar
- Jianyin F, Kai L: Stabilization of nonlinear systems under arbitrary switching law. Proceedings of the 30th Chinese Control Conference 2010. Beijing, ChinaGoogle Scholar
- Zhang WA, Yu L: Stability analysis for discrete-time switched time-delay systems. Automatica 2009, 45: 2265-2271. 10.1016/j.automatica.2009.05.027View ArticleMathSciNetMATHGoogle Scholar
- Lien CH, Yu KW, Chang HC, Chung LY, Chen JD: Switching signal design for exponential stability of discrete switched systems with interval time varying delay. J. Franklin Inst. 2012, 349: 2182-2192. 10.1016/j.jfranklin.2012.04.001MathSciNetView ArticleMATHGoogle Scholar
- Sangapate P: New sufficient conditions for the asymptotic stability of discrete time-delay systems. Adv. Differ. Equ. 2012., 2012: Article ID 28Google Scholar
- Sun YG, Wang L, Xie GM: Delay-dependent robust stability and stabilization for discrete-time switched systems with mode-dependent time-varying delays. Appl. Math. Comput. 2006, 180: 428-435. 10.1016/j.amc.2005.12.028MathSciNetView ArticleMATHGoogle Scholar
- Lien CH, Yu KW, Chung YJ, Chang HC, Chung LY, Chen JD: Switching signal design for global exponential stability of uncertain switched nonlinear systems with time-varying delay. Nonlinear Anal. Hybrid Syst. 2011, 5: 10-19. 10.1016/j.nahs.2010.08.002MathSciNetView ArticleMATHGoogle Scholar
- Dong Y, Wei J: Output feedback stabilization of nonlinear discrete-time systems with time-delay. Adv. Differ. Equ. 2012., 2012: Article ID 73Google Scholar
- Zhang WA, Yu L: Stability analysis for discrete-time switched time-delay systems. Automatica 2009, 45(10):2265-2271. 10.1016/j.automatica.2009.05.027MathSciNetView ArticleMATHGoogle Scholar
- Sun XM, Wang W, Liu GP, Zhao J: Stability analysis for linear switched systems with time-varying delay. IEEE Trans. Syst. Man Cybern., Part B, Cybern. 2008, 38: 528-533.Google Scholar
- Zhang L, Shi P, Basin M: Robust stability and stabilization of uncertain switched linear discrete time-delay systems. IET Control Theory Appl. 2008, 2: 606-614. 10.1049/iet-cta:20070327MathSciNetView ArticleGoogle Scholar
- Zhai G, Lin H, Antsaklis PJ: Quadratic stabilizability of switched linear systems with polytopic uncertainties. Int. J. Control 2003, 76: 747-753. 10.1080/0020717031000114968MathSciNetView ArticleMATHGoogle Scholar
- Lin H, Antsaklis PJ: Switching stabilizability for continuous-time uncertain switched linear systems. IEEE Trans. Autom. Control 2007, 52: 633-646.MathSciNetView ArticleGoogle Scholar
- Sun Z, Ge SS: Switched Linear Systems Control and Design. Springer, London; 2005.View ArticleMATHGoogle Scholar
- Ibrir S: Stability and robust stabilization of discrete-time switched systems with time-delays: LMI approach. Appl. Math. Comput. 2008, 206: 570-578. 10.1016/j.amc.2008.05.149MathSciNetView ArticleMATHGoogle Scholar
- Liu J, Liu X, Xie WC: Delay-dependent robust control for uncertain switched systems with time-delay. Nonlinear Anal. Hybrid Syst. 2008, 2: 81-95. 10.1016/j.nahs.2007.04.001MathSciNetView ArticleMATHGoogle Scholar
- Sun YG, Wang L, Xie G: Delay-dependent robust stability and H ∞ control for uncertain discrete-time switched systems with mode-dependent time delays. Appl. Math. Comput. 2007, 187: 1228-1237. 10.1016/j.amc.2006.09.053MathSciNetView ArticleMATHGoogle Scholar
- Kermani M, Jaballi A, Sakly A: A new stability analysis for discrete-time switched time-delay systems. Int. J. Control Energy Electr. Eng. 2014, 1: 23-30.Google Scholar
- Kermani M, Sakly A, M’Sahli F: A new stability analysis and stabilization of discrete-time switched linear systems using vector norms approach. World Acad. Sci., Eng. Technol. 2012, 71: 1302-1307.Google Scholar
- Kermani M, Sakly A, M’Sahli F: A new stability analysis and stabilization of uncertain switched linear systems based on vector norms approach. 10th International Multi-Conference on Systems, Signals & Devices (SSD) 2013. Hammamet, TunisiaGoogle Scholar
- Xie D, Xu G: Computation of performance robustness bounds for control systems with parameter uncertainties: an LMI approach. IEE Proc., Control Theory Appl. 2005, 152: 675-682. 10.1049/ip-cta:20045015View ArticleGoogle Scholar
- Chen N, Gui W, Liu B: Parametric absolute stability of interconnected Lurie control systems. Acta Autom. Sin. 2007, 33: 1283-1289.MathSciNetView ArticleMATHGoogle Scholar
- Zhanga X, Gaoc Y, Xia Z: Stabilization of switched systems with polytopic uncertainties via composite quadratic functions. Nonlinear Anal. Hybrid Syst. 2014, 11: 71-83.MathSciNetView ArticleGoogle Scholar
- Minh VT: Stability for switched dynamic hybrid systems. Math. Comput. Model. 2013, 57: 78-83. 10.1016/j.mcm.2011.05.055MathSciNetView ArticleMATHGoogle Scholar
- Shatyrko A, Diblik J, Khusainov D, Ruzickova M: Stabilization of Lur’e-type nonlinear control systems by Lyapunov-Krasovski functionals. Adv. Differ. Equ. 2012. 10.1186/1687-2012-229Google Scholar
- Khusainov D, Shatyrko A: Absolute stability conditions for difference systems. Bull. Taras Shevchenko Natl. Univ. Kyiv Cybern. 2010, 10: 34-48.Google Scholar
- Elmadssia S, Saadaoui K, Benrejeb M: New delay-dependent stability conditions for linear systems with delay. International Conference on Communications, Computing and Control Applications (CCCA) 2011. Hammamet, TunisiaGoogle Scholar
- Elmadssia S, Saadaoui K, Benrejeb M: New delay-dependent stability conditions for linear systems with delay. Syst. Sci. Control Eng. 2013, 1: 37-41.View ArticleMATHGoogle Scholar
- Benrejeb M, Soudani D, Sakly A, Borne P: New discrete Tanaka Sugeno Kang fuzzy systems characterization and stability domain. Int. J. Comput. Commun. Control 2006, 1: 9-19.View ArticleGoogle Scholar
- Sfaihi B, Benrejeb M: On stability analysis of nonlinear discrete singularly perturbed T-S fuzzy models. Int. J. Dyn. Control 2013, 1: 20-31. 10.1007/s40435-013-0003-3View ArticleMATHGoogle Scholar
- Benrejeb M, Borne P: On an algebraic stability criterion for non-linear processes. Interpretation in the frequency domain. Proceedings of the Measurement and Control International Symposium MECO’78 1978. AthensGoogle Scholar
- Benrejeb M, Gasmi M: On the use of an arrow form matrix for modelling and stability analysis of singularly perturbed nonlinear systems. Syst. Anal. Model. Simul. 2001, 40: 509-525.MATHGoogle Scholar
- Benrejeb M, Gasmi M, Borne P: New stability conditions for TS fuzzy continuous nonlinear models. Nonlinear Dyn. Syst. Theory 2005, 5: 369-379.MathSciNetMATHGoogle Scholar
- Filali RL, Hammami S, Benrejeb M, Borne P: On synchronization, anti-synchronization and hybrid synchronization of 3D discrete generalized H12 non map. Nonlinear Dyn. Syst. Theory 2012, 12: 81-96.MathSciNetMATHGoogle Scholar
- Benrejeb M, Borne P, Laurent F: Sur une application de la représentation en flèche à l’analyse des processus. RAIRO. Autom. 1982, 16: 133-146.MATHGoogle Scholar
- Borne P, Gentina JC, Laurent F: Sur la stabilité des systèmes Échantillonnés non linéaires. Rev. Fr. Autom. Inform. Rech. Opér. 1972, 2: 96-105.MathSciNetMATHGoogle Scholar
- Borne P, Vanheeghe P, Duflos E: Automatisation des processus dans l’espace d’état. Editions Technip, Paris; 2007.MATHGoogle Scholar
- Borne P: Nonlinear system stability: vector norm approach. 5. System and Control Encyclopedia 1987, 3402-3406.Google Scholar
- Kotelyanski DM: Some properties of matrices with positive elements. Mat. Sb. 1952, 31: 497-505.MathSciNetGoogle Scholar
- Robert F: Recherche d’une M -matrice parmi les minorantes d’un opérateur liéaire. Numer. Math. 1966, 9: 188-199.View ArticleMATHGoogle Scholar
- Gantmacher FR: Théorie des matrices. Dunod, Paris; 1966. Tomes 1 et 2MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. 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.