Abstract
This paper is concerned with the robust stability and stabilization for a class of switched discretetime systems with state parameter uncertainty. Firstly, a new matrix inequality considering uncertainties is introduced and proved. By means of it, a novel sufficient condition for robust stability and stabilization of a class of uncertain switched discretetime systems is presented. Furthermore, based on the result obtained, the switching law is designed and has been performed well, and some sufficient conditions of robust stability and stabilization have been derived for the uncertain switched discretetime systems using the Lyapunov stability theorem, block matrix method, and inequality technology. Finally, some examples are exploited to illustrate the effectiveness of the proposed schemes.
Keywords:
switching design; uncertain discrete system; robust stability and stabilization; Lyapunov function; linear matrix inequality1 Introduction
A switched system is a hybrid dynamical system consisting of a finite number of subsystems and a logical rule that manages switching between these subsystems. Switched systems have drawn a great deal of attention in recent years; see [137] and references therein. The motivation for studying switched systems comes partly from the fact that switched systems and switched multicontroller systems have numerous applications in control of mechanical systems, process control, automotive industry, power systems, aircraft and traffic control, and many other fields. An important qualitative property of switched system is stability [13]. The challenge of analyzing the stability of switched system lies partly in the fact that, even if the individual systems are stable, the switched system might be unstable. Using a common quadratic Lyapunov function on all subsystems, the quadratic Lyapunov stability facilitates the analysis and synthesis of switched systems. However, the obtained results within this framework have been recognized to be conservative. In [10], various algorithms both for stability and performance analysis of discretetime piecewise affine systems were presented. Different classes of Lyapunov functions were considered, and how to compute them through linear matrix inequalities was also shown. Moreover, the tradeoff between the degree of conservativeness and computational requirements was discussed. The problem of stability analysis and control synthesis of switched systems in the discretetime domain was addressed in [11]. The approach followed in [11] looked at the existence of a switched quadratic Lyapunov function to check asymptotic stability of the switched system under consideration. Two different linear matrix inequalitybased conditions allow to check the existence of such a Lyapunov function. These two conditions have been proved to be equivalent for stability analysis.
There are many methodologies and approaches developed in the switched systems theory: approaches of looking for an appropriate switching strategy to stabilize the system [4], dwelltime and average dwelltime approaches for stability analysis and stabilization problems [5], approaches of studying stability and control problems under a specific class of switching laws [1], or under arbitrary switching sequences [6,9]. Reference [19] investigated the quadratic stability and linear state feedback and output feedback stabilization of switched delayed linear dynamic systems with, in general, a finite number of noncommensurate constant internal point delays. The results were obtained based on Lyapunov stability analysis via appropriate KrasovskiiLyapunov functionals, and the related stability study was performed to obtain both delayindependent and delaydependent results. The problem of fault estimation for a class of switched nonlinear systems of neutral type was considered in [20]. Sufficient delaydependent existence conditions of the fault estimator were given in terms of certain matrix inequalities based on the average dwelltime approach. The problem of robust reliable control for a class of uncertain switched neutral systems under asynchronous switching was investigated in [21]. A state feedback controller was proposed to guarantee exponential stability and reliability for switched neutral systems, and the dwelltime approach was utilized for the stability analysis and controller design. The exponential stability for a class of nonlinear hybrid timedelay systems was addressed in [24]. The delaydependent stability conditions were presented in terms of the solution of algebraic Riccati equations, which allows computing simultaneously the two bounds that characterize the stability rate of the solution.
On another research front line, it has been recognized that parameter uncertainties, which often occur in many physical processes, are main sources of instability and poor performance. Therefore, much attention has been devoted to the study of various systems with uncertainties, and a great number of useful results have been reported in the literature on the issues of robust stability, robust control, robust filtering, and so on, by considering different classes of parameter uncertainties [12,14].
Recently, some stability condition and stabilization approaches have been proposed for the switched discretetime system [15,18]. In [15], the quadratic stabilization of discretetime switched linear systems was studied, and quadratic stabilization of switched systems with norm bounded time varying uncertainties was investigated. In [16], the stability property for the switched systems which were composed of a continuoustime LTI subsystem and a discrete time LTI subsystem was studied. There existed a switched quadratic Lyapunov function to check asymptotic stability of the switched discretetime system in [17].
The objective of this paper is to present novel approaches for the asymptotical stability and stabilization of switched discretetime system with parametric uncertainties. The parameter uncertainties are timevarying but normbounded. Firstly, a new inequality is given. Using the new result, a new sufficient condition for robust stability and stabilization of a class of uncertain switched discretetime systems is proposed. Furthermore, using the block matrix method, inequality technology, and the Lyapunov stability theorem, some sufficient conditions for robust stability and stabilization have been presented for the uncertain switched discretetime systems, and the switched law design has been performed. Comparing with [22,23], the uncertainty in system was not considered in [22,23], but we consider the uncertainty in systems and the design switching law is simple and easy for application.
The rest of this paper is organized as follows. The problem is formulated in Section 2. Section 3 deals with robust stability and stabilization criteria for a class of discretetime switched system with uncertainty. Numerical examples are provided to illustrate the theoretical results in Section 4, and the conclusions are drawn in Section 5.
2 Preliminaries
The following notations will be used throughout this paper. denotes the set of all real nonnegative numbers; denotes the ndimensional space with the scalar product of two vectors or ; denotes the space of all matrices of dimension. denotes the transpose of A; a matrix A is symmetric if .
Matrix A is semipositive definite () if , for all ; A is positive definite () if for all ; means . denotes the set of all eigenvalues of A; .
Consider uncertain discrete systems with interval timevarying delay of the form
where is the state, is the switching rule, which is a function depending on the state at each time and will be designed. A switching function is a rule which determines a switching sequence for a given switching system. Moreover, implies that the system realization is chosen as the ith system, . It is seen that the system (2.1) can be viewed as an autonomous switched system in which the effective subsystem changes when the state hits predefined boundaries. , , are given constant matrices and the timevarying uncertain matrices and are defined by
where , , , are known constant real matrices with appropriate dimensions.
, are unknown uncertain matrices satisfying
The timevarying function satisfies the following condition:
Remark 2.1 It is worth noting that the time delay is a timevarying function belonging to a given interval, in which the lower bound of delay is not restricted to zero.
Definition 2.1 The uncertain switched system (2.1) is robustly stable if there exists a switching function such that the zero solution of the uncertain switched system is asymptotically stable for all uncertainties which satisfy (2.2) and (2.3).
Definition 2.2 The system of matrices , , is said to be strictly complete if for every there is such that .
It is easy to see that the system is strictly complete if and only if
where
Proposition 2.1 ([38])
The system, , is strictly complete if there exist, , such that
Ifthen the above condition is also necessary for the strict completeness.
Proposition 2.2 (Cauchy inequality)
For any symmetric positive definite matrixandwe have
Proposition 2.3 ([38])
LetE, HandFbe any constant matrices of appropriate dimensions and. For any, we have
3 Main results
3.1 Stability
Let us set
where
The main result of this paper is summarized in the following theorem.
Theorem 3.1The uncertain switched system (2.1) is robustly stable if there exist symmetric positive definite matrices, and matrices, satisfying the following conditions
The switching rule is chosen as, whenever.
Proof Consider the following LyapunovKrasovskii functional for any ith system (2.1)
where
We can verify that
Then, the difference of along the solution of the system is given by
because of
Using the expression of system (2.1)
we have
Therefore, from (3.3), it follows that
Applying Proposition 2.2, Proposition 2.3 and condition (2.2), the following estimations hold
Therefore, we have
and hence from (3.5) we have
we obtain from (3.6) and (3.7) that
Therefore, combining the inequalities (3.4), (3.8) gives
where
Therefore, we finally obtain from (3.9) and the condition (ii) that
We now apply the condition (i) and Proposition 2.1, the system is strictly complete, and the sets and by (3.1) are well defined such that
Therefore, for any , there exists such that . By choosing switching rule as whenever , from the condition (3.9) we have
which, combining the condition (3.2) and the Lyapunov stability theorem [39], concludes the proof of the theorem. □
3.2 Stabilization
Consider uncertain control discretetime systems with interval timevarying delay of the form
where is the state, , , is the control input, is the switching rule, which is a function depending on the state at each time and will be designed. A switching function is a rule which determines a switching sequence for a given switching system. Moreover, implies that the system realization is chosen as the ith system, . It is seen that the system (2.1) can be viewed as an autonomous switched system in which the effective subsystem changes when the state hits predefined boundaries. We consider a delayed feedback control law
and , is the controller gain to be determined. , , are given constant matrices and the timevarying uncertain matrices , , and are defined by: , and where , , , , , are known constant real matrices with appropriate dimensions. , , are unknown uncertain matrices satisfying
The timevarying function satisfies the following condition:
Remark 3.1 It is worth noting that the time delay is a timevarying function belonging to a given interval, in which the lower bound of delay is not restricted to zero.
Applying the feedback controller (3.11) to the system (3.10), the closedloop discrete timedelay system is
Definition 3.1 The uncertain switched control system (3.10) is robustly stabilizable if there is a delayed feedback control (3.11) such that the switched system (3.13) is robustly stable.
Let us set
where
Theorem 3.2The switched control system (3.10) is robustly stabilizable by the delayed feedback control (3.11), where
if there exist symmetric matrices, and matrices, satisfying the following conditions
The switching rule is chosen as, whenever.
Proof Using the feedback control (3.11), the closedloop system leads to the system (2.1), where
Since , , , , the stability condition of the closedloop system (3.13), by Theorem 3.1, is immediately derived. □
Remark 3.2 Note that the results proposed in [4042] for switching systems to be asymptotically stable under an arbitrary switching rule. The asymptotic stability for switching linear discretetime delay systems studied in [12] was limited to constant delays. In [43], a class of switching signals has been identified for the considered switched discretetime delay systems to be stable under the averaged well time scheme.
4 Numerical examples
Example 4.1 (Stability)
Consider the uncertain switched discretetime system (2.1), where the delay function is given by
By LMI toolbox of Matlab, we find that the conditions (i), (ii) of Theorem 3.1 are satisfied with , , , , and
In this case, we have
Moreover, the sum
is negative definite, i.e., the first entry in the first row and the first column is negative and the determinant of the matrix is positive. The sets and are given as
Obviously, the union of these sets is equal to . The switching regions are defined as
By Theorem 3.1 the uncertain system is robustly stable and the switching rule is chosen as whenever .
Example 4.2 (Stabilization)
Consider the uncertain switched discretetime control system (3.10), where the delay function is given by
By LMI toolbox of Matlab, we find that the conditions (i), (ii) of Theorem 3.2 are satisfied with , , , , and
In this case, we have
Moreover, the sum
is negative definite, i.e., the first entry in the first row and the first column is negative and the determinant of the matrix is positive. The sets and are given as
Obviously, the union of these sets is equal to . The switching regions are defined as
By Theorem 3.2, the control system is robustly stabilizable and the switching rule is whenever , the delayed feedback control is
5 Conclusion
This paper has proposed a switching design for the robust stability and stabilization of uncertain switched linear discretetime systems with interval timevarying delays. Based on the discrete Lyapunov functional, a switching rule for the robust stability and stabilization for the uncertain system is designed via linear matrix inequalities.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors contributed equally and significantly in writing this paper. The authors read and approved the final manuscript.
Acknowledgements
This work is partially supported by the Thai Research Fund Grant, the Higher Education Commission and Faculty of Science, Maejo University, Thailand (for the first and third authors) and also by Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand (for the second author). The authors thank anonymous reviewers for valuable comments and suggestions, which allowed us to improve the paper.
References

Liberzon, D, Morse, AS: Basic problems in stability and design of switched systems. IEEE Control Syst. Mag.. 19, 57–70 (1999)

Dong, Y, Liu, J, Mei, S, Li, M: Stabilization for switched nonlinear timedelay systems. Nonlinear Anal. Hybrid Syst.. 5, 78–88 (2011). Publisher Full Text

Wang, R, Liu, X, Guan, Z: Robustness and stability analysis for a class of nonlinear switched systems with impulse effects. Dyn. Syst. Appl.. 14, 233–248 (2004)

Peleties, P, Decarlo, R: Asymptotic stability of mswitched systems using Lyapunovlike functions. Proceedings of the 1991 American Control Conference. 1679–1684 (1991)

Ishii, H, Francis, BA: Stabilizing a linear system by switching control with dwell time. IEEE Trans. Autom. Control. 47, 1962–1973 (2002). Publisher Full Text

Branicky, MS: Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Autom. Control. 43, 475–482 (1998). Publisher Full Text

Skafidas, E, Evans, RJ, Savkin, AV, Petersen, IR: Stability results for switched controller systems. Automatica. 35, 553–564 (1999). Publisher Full Text

Jianyin, F, Kai, L: Stabilization of nonlinear systems under arbitrary switching law. Proceedings of the 30th Chinese Control Conference. 641–643 (2010)

Dong, Y, Fan, J, Mei, S: Quadratic stabilization of switched nonlinear systems. Sci. China Ser. F. 52, 999–1006 (2009). Publisher Full Text

FerrariTrecate, G, Cuzzola, FA, Mignone, D, Morari, M: Analysis of discretetime piecewise affine and hybrid systems. Automatica. 38, 2138–2146 (2002)

Daafouz, J, Riedinger, P, Iung, C: Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach. IEEE Trans. Autom. Control. 47, 1883–1887 (2002). Publisher Full Text

Phat, VN: Robust stability and stabilizability of uncertain linear hybrid systems with state delays. IEEE Trans. Circuits Syst. II, Express Briefs. 52, 94–98 (2005)

Sun, YG, Wang, L, Xie, G: Delaydependent robust stability and control for uncertain discretetime switched systems with modedependent time delays. Appl. Math. Comput.. 187, 1228–1237 (2007). Publisher Full Text

Zhang, L, Shi, P, Wang, C, Gao, H: Robust filtering for switched linear discretetime systems with polytopic uncertainties. Int. J. Adapt. Control Signal Process.. 20, 291–304 (2006). Publisher Full Text

Ji, Z, Wang, L: Quadratic stabilization of uncertain discretetime switched linear systems. Proceeding of the IEEE International Conference on Systems, Man and Cybernetics (SMC ’04). 4555–4560 (2004)

Zhai, G, Lin, H, Michel, AN, Yasuda, K: Stability analysis for switched systems with continuoustime and discretetime subsystems. Proceedings of the American Control Conference (AAC ’04). 4555–4560 (2004)

Sun, YG, Wang, L: Stabilization of planar discretetime switched systems: switched Lyapunov functional approach. Nonlinear Anal. Hybrid Syst.. 2, 1062–1068 (2008). Publisher Full Text

Chiou, JS, Cheng, CM: Stabilization analysis for a class of switched discretetime systems. Proceeding of the IEEE International Conference on Systems, Man and Cybernetics (SMC ’06). 4535–4540 (2006)

da la Sen, M: Quadratic stability and stabilization of switched dynamic systems with uncommensurate internal point delays. Appl. Math. Comput.. 185, 508–526 (2007). Publisher Full Text

Liu, XZ, Yuan, SA: On designing fault estimator for switched nonlinear systems of neutral type. Commun. Nonlinear Sci. Numer. Simul.. 16, 4379–4389 (2011). Publisher Full Text

Xiang, ZR, Sun, YN, Chen, QW: Robust reliable stabilization of uncertain switched neutral systems with delayed switching. Appl. Math. Comput.. 217, 9835–9844 (2011). Publisher Full Text

Zhang, W, Abate, A, Hu, J, Vitus, MP: Exponential stabilization of discretetime switched linear systems. Automatica. 45, 2526–2536 (2009). Publisher Full Text

Sun, YG, Wang, L, Xie, G: Delaydependent robust stability and stabilization for discretetime switched systems with modedependent timevarying delays. Appl. Math. Comput.. 180, 428–435 (2006). Publisher Full Text

Phat, VN, Botmart, T, Niamsup, P: Switching design for exponential stability of a class of nonlinear hybrid timedelay systems. Nonlinear Anal. Hybrid Syst.. 3, 1–10 (2009). Publisher Full Text

Mahmoud, MS: Switched TimeDelay Systems: Stability and Control, Springer, Boston (2010)

Mahmoud, MS, Nounou, MN, Nounou, HN: Analysis and synthesis of uncertain switched discretetime systems. IMA J. Math. Control Inf.. 24, 245–257 (2007)

Mahmoud, MS: Delaydependent filtering of a class of switched discretetime statedelay systems. J. Signal Process.. 88(11), 2709–2719 (2008). Publisher Full Text

Mahmoud, MS: Switched discretetime systems with timevarying delays: a generalized approach. Comput. Math. Appl.. 57(1), 79–95 (2009). Publisher Full Text

Mahmoud, MS: Generalized control of switched discretetime systems with unknown delays. Appl. Math. Comput.. 311(1), 33–44 (2009)

Mahmoud, MS, Saif, AW, Shi, P: Stabilization of linear switched delay systems: and methods. J. Optim. Theory Appl.. 142(3), 583–601 (2009). Publisher Full Text

Mahmoud, MS, ALSunni, FM, Shi, Y: Switched discretetime delay systems: delaydependent analysis and synthesis. Circuits Syst. Signal Process.. 28(5), 735–761 (2009). Publisher Full Text

Li, X, Gao, H: A new model transformation of discretetime systems with timevarying delay and its application to stability analysis. IEEE Trans. Autom. Control. 56, 2172–2178 (2011)

Gao, H, Li, X: filtering for discretetime statedelayed systems with finite frequency specifications. IEEE Trans. Autom. Control. 56, 2935–2941 (2011)

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

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

Phat, VN, Ratchagit, K: Stability and stabilization of switched linear discretetime systems with interval timevarying delay. Nonlinear Anal. Hybrid Syst.. 5, 605–612 (2011). Publisher Full Text

Ratchagit, K, Phat, VN: Stability criterion for discretetime systems. J. Inequal. Appl.. 2010, (2010)

Uhlig, F: A recurring theorem about pairs of quadratic forms and extensions. Linear Algebra Appl.. 25, 219–237 (1979)

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

Lien, CH, Yu, KW, Chung, YJ, Lin, YF, Chung, LY, Chen, JD: Exponential stability analysis for uncertain switched neutral systems with intervaltimevarying state delay. Nonlinear Anal. Hybrid Syst.. 3, 334–342 (2009). Publisher Full Text

Xie, G, Wang, L: Quadratic stability and stabilization of discretetime switched systems with state delay. Proc. of the IEEE Conference on Decision and Control, Atlantics. 3235–3240 (2004)

Zhai, GS, Hu, B, Yasuda, K, Michel, A: Qualitative analysis of discrete time switched systems. Proc. of the American Control Conference. 1880–1885 (2002)

Zhang, WA, Yu, L: Stability analysis for discretetime switched timedelay systems. Automatica. 45, 2265–2271 (2009). Publisher Full Text