Mathematical Modeling, Analysis, and Advanced Control of Complex Dynamical Systems
View this Special IssueResearch Article  Open Access
Yanqing Liu, Yanyan Yin, Fei Liu, Kok Lay Teo, "Disturbance Attraction Domain Estimation for Saturated Markov Jump Systems with Truncated Gaussian Process", Mathematical Problems in Engineering, vol. 2014, Article ID 678953, 6 pages, 2014. https://doi.org/10.1155/2014/678953
Disturbance Attraction Domain Estimation for Saturated Markov Jump Systems with Truncated Gaussian Process
Abstract
This paper investigates the disturbance attraction domain estimation of saturated Markov jump systems with truncated Gaussian process. The aim is to estimate the disturbance domain of attraction so that the state is maintained in a neighbour around the origin by a state feedback controller regardless of bounded disturbance. The problem is formulated as parameterdependent linear matrix inequalities (LMIs). The optimal disturbance attraction domain is obtained through searching for most appropriate auxiliary parameters in the defined domain. A numerical example is presented to show the potential application of the results.
1. Introduction
For a system subject to abrupt structural changes, such as component failures and sudden environmental changes, it is more appropriate to model it as a Markov jump linear system (MJS), where the switching behaviour amongst the different modes of the system is determined by its transition probability (TP) governed by a finite Markov chain. Many results related to controller design under the timeinvariant transition probability are now available in the literature (see, e.g., [1–11] and the references therein). However, the exact value of the transition probability cannot be easily obtainable. It is often that only partial information of the transition probability can be obtained. In this situation, questions on the stability analysis and controller design (see [12–14]) have also been addressed. In practice, the environment can be so complex that the transition probability of the MJS concerned can only be nonhomogeneous. For example, the delay and packet loss of a networked control system are distinct among different working time [15]. Similar phenomena are also observed in electronic circuits [16] and manpower systems [17]. For Markov systems with nonhomogeneous transition probability, some interesting results are now available (see [18, 19]). In [20], a new method for describing the timevarying transition probability in the statistic sense is proposed. This approach covers the cases where the transition probabilities are known either exactly or partially as special cases.
On the other hand, saturation failure is widely encountered in engineering applications. In the presence of saturation nonlinearity, a linear system will become a highly complex nonlinear system [21]. It is well known that nonlinear systems do not have, in general, global stability property [22]. Thus, the problem of attraction domain estimation has become a fundamentally challenging problem in nonlinear control theory [23]. For a linear system with saturation, some results related to attraction domain estimation have been obtained (see, e.g., [24, 25]). However, it appears that the estimation of the attraction domain for a saturated Markov system with nonhomogeneous transition probability has not been fully investigated. The situation will become much worse when there is disturbance to the system, as the behavior of the system will be significantly degraded by disturbance. The difficulties mentioned above are the motivation behind this paper to study the disturbance attraction domain estimation for discretetime Markov jump systems with saturation and subject to truncated Gaussian transition probability. Based on [20], the aim of this paper is to propose a novel approach to estimate the optimal domain of attraction which can restrain the states of system to be within the smallest neighborhood around the origin under the bounded disturbance.
The rest of the paper is organized as follows: in Section 2, the system is defined, Section 3 introduces the concept of stochastic stability, in Section 4, sufficient conditions for disturbance attraction domain estimation are derived, in Section 5, a numerical example is provided to illustrate the applicability of the results obtained, and Section 6 concludes the paper.
In the sequel, the notation stands for an dimensional Euclidean space; the transpose of the matrix is denoted by ; denotes the mathematical statistical expectation of the stochastic process or vector; is the boundary of a set; a positivedefinite matrix is denoted by ; is the unit matrix with appropriate dimension; and means the symmetric term in a symmetric matrix.
2. Problem Statement and Preliminaries
Let be a probability space, where , , and represent, respectively, the sample space, the algebra of events, and the probability measure defined on . Consider the following discretetime Markov jump system: where is the state, is the input, is the bounded disturbance of the system, and .
The system is driven by a random process which takes values from a finite set , where denotes the transition probability from mode at time to mode at time . Here, it is assumed that the TP, which is nonhomogeneous, is approximated by a set of random variables driven by a truncated Gaussian stochastic process . The probability density function (PDF) of is given as follows: where is the PDF of the standard normal distribution, is the cumulative density function (CDF) of , and and are, respectively, the mean and variance of the Gaussian PDF. More specifically, the TP matrix is given by where denotes the PDF of truncated Gaussian TP of , which is assumed to be known a priori.
It is noted that a larger implies a larger degree of uncertainty related to the TP. In this case, a larger should be chosen. Otherwise, a smaller should be chosen. The random variables which appeared in the TP matrix are continuous. Taking the expectation of the random variable yields Consequently, the desired TP matrix can be obtained as follows: where , , , and .
To proceed further, we need some preliminaries.
Definition 1. Discretetime Markov jump system (1) (with ) is said to be stochastically stable if
Definition 2. Consider system (1); let denote the th row of matrix . Then is a symmetric polyhedron set.
Lemma 3 (see [24]). Given matrices and for system (1), if , then , where , , , and are diagonal matrices whose diagonal elements are either 1 or 0, and .
Lemma 4 (see [24]). Given matrices for system (1), if , that is , then .
Definition 5. For given symmetric matrices , let us define a modedependent ellipsoid invariant set given below:
3. Estimation of the Attraction Domain
We first derive the sufficient condition for the estimation of the attraction domain for the case without disturbance. For simplicity, we assume that the mode at time instant is and the mode at time instant is .
Theorem 6. Consider system (1) with nonhomogeneous TP matrix (5) under the condition . Suppose that there exist a set of symmetric positive definite matrices and , , , such that
Then the set is the domain of attraction of the closedloop system (1).
Proof. Construct a potential Lyapunov function as
For system (1), it follows from Lemmas 3 and 4 that
Clearly, condition (9) implies
Denote , for all , where is the minimal eigenvalue of .
Hence,
Taking the sum on both sides from 0 to gives
which implies
This completes the proof. Clearly Theorem 6 implies stochastic stability (see Definition 1).
4. Estimation of Disturbance Attraction Domain
In this section, we will derive sufficient condition for the estimation of the attraction domain under bounded disturbance. This sufficient condition will ensure that the influence of disturbance is minimized. To move forward, we assume that the bounded disturbance satisfies .
Theorem 7. Consider system (1) with nonhomogeneous TP matrix (5); suppose that there exist symmetric positive definite matrices , and , , for all , such that where is a reference set, is an initial state, and is a scalar; then the subset is the disturbance attraction domain for system (1) which satisfies an optimal disturbance attenuation performance index .
Proof. Consider a candidate Lyapunov function . It is required to show that Noting that and , it follows that To guarantee the attraction domain property for , it suffices to show that there exists an , for all such that Noting that on , (23) is guaranteed by (19). By (18), the sufficient condition for the optimal disturbance attenuation performance index is implied. This completes the proof.
Next, we show how to solve the problem by using LMIs.
Theorem 8. Consider system (1) with nonhomogeneous TP matrix (5) and let be a scalar; suppose that there exist symmetric positive definite matrices and , , , and , for all , such that where is a reference set and is an initial state; then the subset is the disturbance attraction domain for system (1) which satisfies an optimal disturbance attenuation performance index .
Proof. Denote . Choose an ellipsoid as a reference set. Then condition (26) can be formulated as , which is implied by (25). By applying Schur complement, it is clear that (18) and (19) follow from (25) and (26), respectively. Equation (27) implies the existence of . Equation (20) is equivalent to (28). This completes the proof.
Remark 9. If we choose a polyhedron ( is a point) as a reference set in Theorem 8, then condition (22) is converted into
5. Illustrative Example
Consider a nonhomogeneous discretetime jump system with four modes: Assume that the PDF matrix to describe the TP matrix in Table 1 is given by Table 1 shows the obtained TP matrix with .

By Theorem 8, the feedback gains are calculated as Figure 1 shows a state trajectory on the boundary of the disturbance attraction domain under the bounded disturbance . Though the bounded disturbance exists, the state trajectory is regulated to a small neighbourhood around the origin. When the disturbance disappears, the state is driven to the origin as expected (see Figure 2), implying the stochastic stability. Figure 3 shows a trajectory of mode evolution. Table 2 shows the optimal disturbance attenuation index.

6. Conclusions
This paper investigated the design of the disturbance attraction domain estimation for a class of nonhomogeneous discretetime Markov jump systems with saturation and bounded disturbance. Furthermore, the optimal disturbance attenuation index is satisfied. The numerical example shows the applicability of the results obtained as expected. The results obtained may be extended to the systems with time delay.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
This work was partially supported by National Natural Science Foundation of China (61273087), Program for Excellent Innovative Team of Jiangsu Higher Education Institutions, Jiangsu Higher Education Institutions Innovation Funds (CXZZ12_0743), the Fundamental Research Funds for the Central Universities (JUDCF12029), 111 Project (B12018), and a Discovery research grant form Australian Research Council.
References
 L. Wu, X. Su, and P. Shi, “Output feedback control of Markovian jump repeated scalar nonlinear systems,” IEEE Transactions on Automatic Control, vol. 59, no. 1, pp. 199–204, 2014. View at: Publisher Site  Google Scholar
 X. Su, P. Shi, L. Wu, and Y. Song, “A novel control design on discretetime TakagiSugeno fuzzy systems with timevarying delays,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 6, pp. 655–671, 2013. View at: Google Scholar
 X. Su, P. Shi, L. Wu, and M. V. Basin, “Reliable filtering with strict dissipativity for TS fuzzy timedelay systems,” IEEE Transactions on Cybernetics. View at: Publisher Site  Google Scholar
 F. Li, X. Wang, and P. Shi, “Robust quantized ${H}_{\infty}$ control for networked control systems with Markovian jumps and time delays,” International Journal of Innovative Computing, Information and Control, vol. 9, no. 12, pp. 4889–4902, 2013. View at: Google Scholar
 P. Shi and M. Liu, “On the filtering problem for continuoustime Markov jump linear systems with no observation of the Markov Chain,” European Journal of Control, vol. 17, no. 4, pp. 355–356, 2011. View at: Google Scholar  MathSciNet
 X. Su, P. Shi, L. Wu, and S. Nguang, “Induced l_{2} filtering of fuzzy stochastic systems with timevarying delays,” IEEE Transactions on Cybernetics, vol. 43, no. 4, pp. 1251–1264, 2013. View at: Publisher Site  Google Scholar
 Z. Wu, H. Su, and J. Chu, “Hinfinity filtering for singular Markovian jump systems with time delay,” International Journal of Robust and Nonlinear Control, vol. 20, no. 8, pp. 939–957, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 L. Wu, P. Shi, H. Gao, and C. Wang, “${H}_{\infty}$ filtering for 2D Markovian jump systems,” Automatica, vol. 44, no. 7, pp. 1849–1858, 2008. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 L. Wu, P. Shi, and H. Gao, “State estimation and slidingmode control of Markovian jump singular systems,” IEEE Transactions on Automatic Control, vol. 55, no. 5, pp. 1213–1219, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 J. Xiong, J. Lam, H. Gao, and D. W. C. Ho, “On robust stabilization of Markovian jump systems with uncertain switching probabilities,” Automatica, vol. 41, no. 5, pp. 897–903, 2005. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 P. Shi, Y. Xia, G. P. Liu, and D. Rees, “On designing of slidingmode control for stochastic jump systems,” IEEE Transactions on Automatic Control, vol. 51, no. 1, pp. 97–103, 2006. View at: Publisher Site  Google Scholar  MathSciNet
 L. Zhang and E.K. Boukas, “Modedependent ${H}_{\infty}$ filtering for discretetime Markovian jump linear systems with partly unknown transition probabilities,” Automatica, vol. 45, no. 6, pp. 1462–1467, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 L. Zhang and E.K. Boukas, “${H}_{\infty}$ control for discretetime Markovian jump linear systems with partly unknown transition probabilities,” International Journal of Robust and Nonlinear Control, vol. 19, no. 8, pp. 868–883, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 Y. Yin, P. Shi, and F. Liu, “Gainscheduled robust fault detection on timedelay stochastic nonlinear systems,” IEEE Transactions on Industrial Electronics, vol. 58, no. 10, pp. 4908–4916, 2011. View at: Publisher Site  Google Scholar
 “Internet traffic report,” 2008, http://www.internettracreport.com. View at: Google Scholar
 A. BilbaoGuillerna, M. de la Sen, S. AlonsoQuesada, and A. Ibeas, “A multimodel scheme control for a tunneldiode trigger circuit,” in Proceedings of the IEEE Mediterranean Electrotechnical Conference, pp. 19–22, Málaga, Spain, May 2006. View at: Google Scholar
 P. C. G. Vassiliou, “Asymptotic behavior of Markov systems,” Journal of Applied Probability, vol. 19, no. 4, pp. 851–857, 1982. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 Y. Yin, P. Shi, F. Liu, and K. L. Teo, “Observerbased ${H}_{\infty}$ on nonhomogeneous Markov jump systems with nonlinear input,” International Journal of Robust and Nonlinear Control, 2013. View at: Publisher Site  Google Scholar
 Y. Yin, P. Shi, F. Liu, and K. L. Teo, “Fuzzy modelbased robust ${H}_{\infty}$ filtering for a class of nonlinear nonhomogeneous Markov jump systems,” Signal Processing, vol. 93, no. 9, pp. 2381–2391, 2013. View at: Publisher Site  Google Scholar
 X. Luan, S. Zhao, and F. Liu, “${H}_{\infty}$ control for discretetime Markov jump systems with uncertain transition probabilities,” IEEE Transactions on Automatic Control, vol. 58, no. 6, pp. 1566–1572, 2013. View at: Publisher Site  Google Scholar  MathSciNet
 H. J. Sussmann, E. D. Sontag, and Y. Yang, “General result on the stabilization of linear systems using bounded controls,” IEEE Transactions on Automatic Control, vol. 39, no. 12, pp. 2411–2425, 1994. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 H.D. Chiang and J. S. Thorp, “Stability regions of nonlinear dynamical systems: a constructive methodology,” IEEE Transactions on Automatic Control, vol. 34, no. 12, pp. 1229–1241, 1989. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 R. Genesio, M. Tartaglia, and A. Vicino, “On the estimation of asymptotic stability regions: state of the art and new proposals,” IEEE Transactions on Automatic Control, vol. 30, no. 8, pp. 747–755, 1985. View at: Google Scholar  Zentralblatt MATH  MathSciNet
 T. Hu, Z. Lin, and B. M. Chen, “An analysis and design method for linear systems subject to actuator saturation and disturbance,” Automatica, vol. 38, no. 2, pp. 351–359, 2002. View at: Publisher Site  Google Scholar
 T. Hu, Z. Lin, and B. M. Chen, “Analysis and design for discretetime linear systems subject to actuator saturation,” Systems and Control Letters, vol. 45, no. 2, pp. 97–112, 2002. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
Copyright
Copyright © 2014 Yanqing Liu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.