- Research
- Open access
- Published:
A constructive way to design a switching rule and switching regions to mean square exponential stability of switched stochastic systems with non-differentiable and interval time-varying delay
Journal of Inequalities and Applications volume 2013, Article number: 499 (2013)
Abstract
This paper addresses a mean square exponential stability problem for a class of switched stochastic systems with time-varying delay. The time delay is any continuous function belonging to a given interval, but not necessary differentiable. By constructing a suitable augmented Lyapunov-Krasovskii functional combined with Leibniz-Newton’s formula, new delay-dependent sufficient conditions for the mean square exponential stability of switched stochastic systems with time-varying delay are first established in terms of LMIs. Numerical example is given to show the effectiveness of the obtained result.
MSC:15A09, 52A10, 74M05, 93D05.
1 Introduction
In the past decades, the problem of stability for neutral differential systems, which have delays in both their state and the derivatives of their states, has been widely investigated by many researchers. Such systems are often encountered in engineering, biology, and economics. The existence of time delay is frequently a source of instability or poor performance in the systems. Recently, some stability criteria for a neutral system with time delay have been given [1–25]. Stability analysis of linear systems with time-varying delays is fundamental to many practical problems and has received considerable attention [1–7]. In [8–17], which are not based on the method of Lyapunov functional, one of them uses the diagonal equations for reducing systems of delay differential equations to ones of integral equations and estimates the norms or spectral radii of corresponding integral operators obtained on the basis of the results in the book. Most of the known results on this problem are derived assuming only that the time-varying delay is a continuously differentiable function, satisfying some boundedness condition on its derivative: . In delay-dependent stability criteria, the main concern is to enlarge the feasible region of stability criteria in a given time-delay interval. Interval time-varying delay means that a time delay varies in an interval in which the lower bound is not restricted to be zero. By constructing a suitable argument, Lyapunov functional and utilizing free weight matrices, some less conservative conditions for asymptotic stability are derived in [18–24] for systems with time delay varying in an interval. However, the shortcoming of the method used in these works is that the delay function is assumed to be differential and its derivative is still bounded: . To the best of our knowledge, a constructive way to design a switching rule, switching regions, and mean square exponential stability of switched stochastic systems with interval time-varying delay, non-differentiable time-varying delays, which are important in both theory and applications, have not been fully studied yet (see, e.g., [25–38] and the references therein). This motivates our research.
This paper gives the improved results for the mean square exponential stability of switched stochastic systems with interval time-varying delay. The time delay is assumed to be a time-varying continuous function belonging to a given interval, but not necessary differentiable. Specifically, our goal is to develop a constructive way to design a switching rule to exponential stability of switched stochastic systems with interval time-varying delay. By constructing a Lyapunov functional combined with the LMI technique, we propose new criteria for the mean square exponential stability of switched stochastic systems with interval time-varying delay. The delay-dependent mean square exponential stability conditions are formulated in terms of LMIs, being thus solvable by utilizing Matlab’s LMI control toolbox available in the literature to date.
The paper is organized as follows. Section 2 presents definitions and some well-known technical propositions needed for the proof of the main results. Delay-dependent mean square exponential stability conditions of switched stochastic systems with interval time-varying delay are presented in Section 3. Numerical example is 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 in this paper. denotes the set of all real non-negative numbers; denotes the n-dimensional space with the scalar product and the vector norm ; denotes the space of all matrices of -dimensions; denotes the transpose of matrix A; A is symmetric if ; I denotes the identity matrix; denotes the set of all eigenvalues of A; ; , ; denotes the set of all -valued continuous functions on ; matrix A is called semi-positive definite () if for all ; A is positive definite () if for all ; means . ∗ denotes the symmetric term in a matrix.
Consider a switched stochastic system with interval time-varying 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 i th system, . It is seen that 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 is the initial function with the norm .
is a scalar Wiener process (Brownian motion) on with
and , , is the continuous function, and it is assumed to satisfy that
where and , , are known constant scalars. For simplicity, we denote by , respectively.
The time-varying delay function satisfies
The mean square stability problem for switched stochastic system (2.1) is to construct a switching rule that makes the system mean square exponentially stable.
Definition 2.1 Given . Switched stochastic system (2.1) is α-exponentially stable in the mean square if there exists a switching rule such that every solution of the system satisfies the following condition:
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
We end this section with the following technical well-known propositions, which will be used in the proof of the main results.
Proposition 2.1 [39]
The system , , is strictly complete if there exist , , such that
If , then the above condition is also necessary for the strict completeness.
Proposition 2.2 (Cauchy inequality)
For any symmetric positive definite matrix and , we have
Proposition 2.3 [40]
For any symmetric positive definite matrix , scalar and vector function such that the integrations concerned are well defined, the following inequality holds:
Proposition 2.4 [[41], p.89-90]
Let E, H and F be any constant matrices of appropriate dimensions and . For any , we have
Proposition 2.5 (Schur complement lemma [42])
Given constant matrices X, Y, Z with appropriate dimensions satisfying . Then if and only if
3 Main results
In this section, we investigate the mean square exponential stability problem for a class of switched stochastic systems (2.1) with time-varying delay. Before introducing the main result, the following notations of several matrix variables are defined for simplicity,
The following is the main result of the paper, which gives sufficient conditions for mean square exponential stability problem for a class of switched stochastic systems (2.1) with time-varying delay.
Theorem 3.1 Given . The zero solution of switched stochastic system (2.1) is α-exponentially stable in the mean square if there exist symmetric positive definite matrices P, Q, R, U, and matrices , , satisfying the following conditions:
-
(i)
, , ,
-
(ii)
, .
The switching rule is chosen as , whenever . Moreover, the solution of the switched stochastic system satisfies
Proof We consider the following Lyapunov-Krasovskii functional for system (2.1):
where
It easy to check that
Taking the derivative of along the solution of system (2.1) and taking the mathematical expectation, we obtain
Applying Proposition 2.2 and the Leibniz-Newton formula, we have
Note that
Using Proposition 2.2 gives
Since , we have
then
Similarly, we have
Therefore, we have
By using the following identity relation
and multiplying by , , , , , both sides of the identity relation, we have
Adding all the zero items of (3.4) into (3.3), we obtain
By assumption (2.2), we have
Applying assumption (2.3), the following estimations hold:
where .
Therefore, we finally obtain from (3.5) and condition (ii) that
We now apply 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 a switching rule as whenever , from (3.5) we have
and hence
Integrating both sides of (3.6) from 0 to t, we obtain
Furthermore, taking condition (3.2) into account, we have
then
By Definition 2.1, system (2.1) is exponentially stable in the mean square. The proof is complete. □
To illustrate the obtained result, let us give the following numerical example.
4 Numerical example
Example 4.1 Consider the following switched stochastic systems with interval time-varying delay (2.1), where the delay function is given by
and
It is worth noting that the delay function is non-differentiable and the exponent . Therefore, the methods used in [3, 21, 22, 24–28, 30–39] are not applicable to this system. By LMI toolbox of Matlab, we find that 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, switched stochastic system (2.1) is 1.5-exponentially stable in the mean square and the switching rule is chosen as whenever . Moreover, the solution of the system satisfies
(The trajectories of solution of switched stochastic systems is shown in Figure 1, respectively.)
5 Conclusions
In this paper, we have proposed new delay-dependent conditions for the mean square exponential stability of switched stochastic systems with time-varying delay. Based on the improved Lyapunov-Krasovskii functional and the linear matrix inequality technique, a switching rule for the mean square exponential stability of switched stochastic systems with time-varying delay has been established in terms of LMIs.
References
de Oliveira MC, Geromel JC, Hsu L: LMI characterization of structural and robust stability: the discrete-time case. Linear Algebra Appl. 1999, 296: 27–38. 10.1016/S0024-3795(99)00086-5
Phat VN, Nam PT: Exponential stability and stabilization of uncertain linear time-varying systems using parameter dependent Lyapunov function. Int. J. Control 2007, 80: 1333–1341. 10.1080/00207170701338867
Rajchakit G: Delay-dependent optimal guaranteed cost control of stochastic neural networks with interval nondifferentiable time-varying delays. Adv. Differ. Equ. 2013., 2013: Article ID 241 10.1186/1687-1847-2013-241
Sun YJ: Global stabilizability of uncertain systems with time-varying delays via dynamic observer-based output feedback. Linear Algebra Appl. 2002, 353: 91–105. 10.1016/S0024-3795(02)00292-6
Phat VN, Khongtham Y, Ratchagit K: LMI approach to exponential stability of linear systems with interval time-varying delays. Linear Algebra Appl. 2012, 436: 243–251. 10.1016/j.laa.2011.07.016
Phat VN, Ratchagit K: Stability and stabilization of switched linear discrete-time systems with interval time-varying delay. Nonlinear Anal. Hybrid Syst. 2011, 5: 605–612. 10.1016/j.nahs.2011.05.006
Ratchagit K, Phat VN: Stability criterion for discrete-time systems. J. Inequal. Appl. 2010., 2010: Article ID 201459
Krasnosel’skii MA, Vainikko GM, Zabreiko PP, Rutitskii JB, Stezenko VJ: Approximate Method for Solving Operator Equations. Nauka, Moscow; 1969.
Azbelev NV, Maksimov VP, Rakhmatullina LF Advanced Series in Mathematical Sciences and Engineering 3. In Introduction to Theory of Linear Functional Differential Equations. World Federation Publishers Company, Atlanta; 1995.
Domoshnitsky A, Sheina MV: Nonnegativity of Cauchy matrix and stability of systems with delay. Differ. Uravn. 1989, 25: 201–208.
Gyori I: Interaction between oscillation and global asymptotic stability in delay differential equations. Differ. Integral Equ. 1990, 3: 181–200.
Gyori I, Hartung F: Fundamental solution and asymptotic stability of linear delay differential equations. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 2006, 13: 261–287.
Hofbauer J, So JW-H: Diagonal dominance and harmless off-diagonal delays. Proc. Am. Math. Soc. 2000, 128: 2675–2682. 10.1090/S0002-9939-00-05564-7
Campbell SA: Delay independent stability for additive neural networks. Differ. Equ. Dyn. Syst. 2001, 9(3–4):115–138.
Bainov D, Domoshnitsky A: Nonnegativity of the Cauchy matrix and exponential stability of a neutral type system of functional-differential equations. Extr. Math. 1993, 8: 75–82.
Domoshnitsky A: About maximum principles for one of the components of solution vector and stability for systems of linear delay differential equations. Discrete Contin. Dyn. Syst. 2011, 2011: 373–380. Supplement 2011, Dedicated to the 8th AIMS Conference, Dresden, Germany, American Institute of Mathematical Sciences
Gamliel D, Domoshnitsky A, Shklyar R: Time evolution of spin exchange with a time delay. Funct. Differ. Equ. 2013, 20: 81–114.
Shatyrko A, Diblík J, Khusainov D, Ruzickova M: Stabilization of Lur’e-type nonlinear control systems by Lyapunov-Krasovskii functionals. Adv. Differ. Equ. 2012., 2012: Article ID 229 10.1186/1687-1847-2012-229
Diblík J, Dzhalladova I, Ruzickova M: The stability of nonlinear differential systems with random parameters. Abstr. Appl. Anal. 2012., 2012: Article ID 924107 10.1155/2012/924107
Bastinec J, Diblík J, Khusainov DY, Ryvolova A: Exponential stability and estimation of solutions of linear differential systems of neutral type with constant coefficients. Bound. Value Probl. 2010., 2010: Article ID 956121 10.1155/2010/956121
Kwon OM, Park JH: Delay-range-dependent stabilization of uncertain dynamic systems with interval time-varying delays. Appl. Math. Comput. 2009, 208: 58–68. 10.1016/j.amc.2008.11.010
Shao H: New delay-dependent stability criteria for systems with interval delay. Automatica 2009, 45: 744–749. 10.1016/j.automatica.2008.09.010
Sun J, Liu GP, Chen J, Rees D: Improved delay-range-dependent stability criteria for linear systems with time-varying delays. Automatica 2010, 46: 466–470. 10.1016/j.automatica.2009.11.002
Zhang W, Cai X, Han Z: Robust stability criteria for systems with interval time-varying delay and nonlinear perturbations. J. Comput. Appl. Math. 2010, 234: 174–180. 10.1016/j.cam.2009.12.013
Rajchakit M, Rajchakit G: LMI approach to robust stability and stabilization of nonlinear uncertain discrete-time systems with convex polytopic uncertainties. Adv. Differ. Equ. 2012., 2012: Article ID 106
Xu S, Shi P, Chu Y, Zou Y:Robust stochastic stabilization and control of uncertain neutral stochastic time-delay systems. J. Math. Anal. Appl. 2006, 314: 1–16. 10.1016/j.jmaa.2005.03.088
Yue D, Won S: Delay-dependent robust stability of stochastic systems with time delay and nonlinear uncertainties. Electron. Lett. 2001, 37: 992–993. 10.1049/el:20010632
Verriest EI, Florchinger P: Stability of stochastic systems with uncertain time delays. Syst. Control Lett. 1995, 24: 41–47. 10.1016/0167-6911(94)00030-Y
Dzhalladova IA, Bastinec J, Diblík J, Khusainov DY: Estimates of exponential stability for solutions of stochastic control systems with delay. Abstr. Appl. Anal. 2011., 2011: Article ID 920412
Tian L, Liang J, Cao J: Robust observer for discrete-time Markovian jumping neural networks with mixed mode-dependent delays. Nonlinear Dyn. 2012, 67: 47–61. 10.1007/s11071-011-9956-y
Niamsup P, Rajchakit G: New results on robust stability and stabilization of linear discrete-time stochastic systems with convex polytopic uncertainties. J. Appl. Math. 2013., 2013: Article ID 368259 10.1155/2013/368259
Dong H, Wang Z, Ho DWC, Gao H:Robust filtering for Markovian jump systems with randomly occurring nonlinearities and sensor saturation: the finite-horizon case. IEEE Trans. Signal Process. 2011, 59: 3048–3057.
Wang Z, Wei G, Feng G:Reliable control for discrete-time piecewise linear systems with infinite distributed delays. Automatica 2009, 45: 2991–2994. 10.1016/j.automatica.2009.09.012
Rajchakit M, Rajchakit G: Mean square robust stability of stochastic switched discrete-time systems with convex polytopic uncertainties. J. Inequal. Appl. 2012., 2012: Article ID 135 10.1186/1029-242X-2012-135
Rajchakit G: Switching design for the asymptotic stability and stabilization of nonlinear uncertain stochastic discrete-time systems. Int. J. Nonlinear Sci. Numer. Simul. 2013, 14(1):33–44.
Wang Y, Wang Z, Liang J: A delay fractioning approach to global synchronization of delayed complex networks with stochastic disturbances. Phys. Lett. A 2008, 372: 6066–6073. 10.1016/j.physleta.2008.08.008
Wang Z, Wang Y, Liu Y: Global synchronization for discrete-time stochastic complex networks with randomly occurred nonlinearities and mixed time delays. IEEE Trans. Neural Netw. 2010, 21: 11–25.
Rajchakit M, Rajchakit G: Mean square exponential stability of stochastic switched system with interval time-varying delays. Abstr. Appl. Anal. 2012., 2012: Article ID 623014 10.1155/2012/623014
Niamsup P, Rajchakit M, Rajchakit G: Guaranteed cost control for switched recurrent neural networks with interval time-varying delay. J. Inequal. Appl. 2013., 2013: Article ID 292 10.1186/1029-242X-2013-292
Wang Y, Xie L, de Souza CE: Robust control of a class of uncertain nonlinear systems. Syst. Control Lett. 1992, 19: 139–149. 10.1016/0167-6911(92)90097-C
Boyd S, El Ghaoui L, Feron E, Balakrishnan V: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia; 1994.
Uhlig F: A recurring theorem about pairs of quadratic forms and extensions. Linear Algebra Appl. 1979, 25: 219–237.
Acknowledgements
This work was supported by the Thailand Research Fund Grant, the Commission for Higher Education and Faculty of Science, Maejo University, Thailand. The second author is supported by the Center of Excellence in Mathematics, Thailand, and Commission for Higher Education, Thailand. The authors thank anonymous reviewers for valuable comments and suggestions, which allowed us to improve the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
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.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Rajchakit, M., Niamsup, P. & Rajchakit, G. A constructive way to design a switching rule and switching regions to mean square exponential stability of switched stochastic systems with non-differentiable and interval time-varying delay. J Inequal Appl 2013, 499 (2013). https://doi.org/10.1186/1029-242X-2013-499
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2013-499