Research Article | Open Access
Stochastic Control for Discrete-Time Singular Systems with State and Disturbance Dependent Noise
This paper is concerned with the stochastic state feedback control problem for a class of discrete-time singular systems with state and disturbance dependent noise. Two stochastic bounded real lemmas (SBRLs) are proposed via strict linear matrix inequalities (LMIs). Based on the obtained SBRLs, a state feedback controller is presented, which not only guarantees the resulting closed-loop system to be mean square admissible but also satisfies a prescribed performance level. A numerical example is finally given to illustrate the effectiveness of the proposed theoretical results.
Because of extensive applications in economy, mechanical systems, systems with human operators, and so on, a great deal of attention has been paid to a class of stochastic linear systems governed by Itô’s stochastic differential equations over the past years [1–4]. In particular, there is an increasing interest in the control and mixed control [5–10].
On the other hand, singular systems, as it is well known, are ideal mathematical models in practical modeling such as in electric circuits, economics, and aircraft modeling [11–13]. It is noted that the study on the control of deterministic or Markov jump singular systems has made fruitful achievement on stability [14, 15], stabilization [16, 17], control [18–25], and control , as well as sliding mode control [27, 28]. However, it can be seen that, owing to the presence of the diffusion term, few works have been done on stochastic singular systems with state-dependent noise so far. Different from deterministic singular systems or Markov jump singular systems without multiplicative noise, regularity, as a necessary and sufficient condition for the existence of the solution to singular systems, is not applicable to stochastic singular systems. For this reason, some researchers regarded the existence of impulse-free solutions as a precondition [29, 30]; others provided suitable conditions to guarantee the existence of an impulse-free solution [31–34]. Under the assumption that , and , the filtering problem was firstly investigated in [31, 32]. Then,  removed the assumption condition and discussed the observer-based controller design by means of a sequential design technique. Based on the assumption proposed by , the problem of robust finite-time control for a class of singular stochastic systems with parametric uncertainties was further discussed in , and the state feedback controller ensuring that the closed-loop system was robust stochastically bounded with a prescribed performance level was designed by means of the linear matrix inequalities (LMIs). Recently, the assumption condition was reduced to in [36–38], and sufficient conditions for the mean square admissibility of stochastic singular systems were proposed in terms of strict LMIs. Furthermore, the state feedback control for continuous-time singular stochastic systems was investigated in . To the best of our knowledge, all the results which appeared in [29–35, 38, 39] were given in continuous-time setting except for [36, 37]. In particular, the state feedback control problem for discrete-time singular systems with state and disturbance dependent noise has never been tackled. In fact, there are some differences in studying the control problem between discrete-time stochastic singular systems and continuous-time stochastic singular systems. For instance, how to deal with the difficulties arising from the nonlinear terms when employing the state feedback controller to the system? How to provide conditions to guarantee the irrelevance of the state and the sequence of the random variables ? So, it is very meaningful to discuss the issue of the control for discrete-time stochastic singular systems.
In this paper, motivated by , we investigate stochastic state feedback control problem for discrete-time singular systems with state and disturbance dependent noise. Compared to our earlier work [36, 37] and other available works in the literature, the main contributions of this paper lie in the following aspects. (i) By introducing the slack variables approach proposed in [22, 23], the new stochastic admissibility conditions for singular stochastic system are firstly provided, which are different from those in [36, 37] and are more helpful to derive the SBRLS. (ii) The suitable LMI conditions are presented, which not only meet the requirement of the mean square admissibility for the singular stochastic system but also ensure the irrelevance of the state and the sequence of the random variables , while the above irrelevance is crucial to discuss the control problem of discrete-time stochastic systems. (iii) Two LMI-based SBRLs are derived for discrete-time stochastic singular systems with state and disturbance dependent noise, which can be regarded as extensions of corresponding results on deterministic singular systems [21, 22] and normal stochastic systems [5, 8, 9]. Based on the obtained SBRLS, the state feedback controller is designed.
The remainder of this paper is organized as follows: Section 2 contains some fundamental notions and preliminary results. In Section 3, two SBRLS are obtained in terms of strict LMIs. In Section 4, the state feedback controller for singular stochastic systems is designed by using the augmented system. Section 5 gives a simulation example to illustrate the effectiveness of the proposed theoretical results. Conclusions are presented in Section 6.
Notations. is the set of all symmetric matrices; (resp., ): is a real symmetric positive definite (resp., negative definite) matrix; is the transpose of ; is the Euclidean norm of a vector; is the expectation operator; is the identity matrix; ; . For a matrix with , let be any matrix with full row rank satisfying and .
Consider the following discrete-time stochastic singular system:where (or for clear) , and are, respectively, the system state, the disturbance signal, the controlled input, and the controlled output. , and are constant matrices of appropriate dimensions. The matrix may be singular and we assume that . is the initial condition which is deterministic. Suppose and are uncorrelated, and is a sequence of real independent random variables defined on a complete probability space with and a Kronecker function. We denote by the -algebra generated by ; that is, . Let represent the space of -valued random vectors with . denote the set of nonanticipative square summable stochastic processes , such that is measurable, where we define ; that is, is a constant. The -norm of is defined by
Definition 2. System (1) with and is said to be(i)asymptotically stable in the mean square if, for any initial condition , ;(ii)mean square admissible if it has a unique and causal solution and asymptotically stable in the mean square.
Definition 3. The perturbed operator of system (1) with is defined by , with its norm
Definition 4. System (1) with is said to be mean square admissible and if it is mean square admissible for and for .
Assumption 5. In system (1), there exist nonsingular matrices such that the triplet satisfies the following condition:where , .
Lemma 6. If there exists a matrix such that the following LMIs hold,then one can obtain the following:(i)System (1) with and is mean square admissible.(ii)For system (1) with , the state is uncorrelated with the sequence of real independent random variables .
Proof. See the Appendix.
Theorem 7. System (1) with and is mean square admissible if one of the following equivalent statements holds. (i)There exist matrices , such that the following LMI holds:(ii)There exist matrices , , and such that the following LMI holds:
Proof. It is easy to see that conditions (7) and (8) are satisfied by setting in (9). Therefore, the mean square admissibility of system (1) with and is obviously obtained by Lemma 6-(i). Similar to the proof of Theorem 4 in , we can verify that condition (9) is equivalent to condition (10).
Remark 8. Item (i) of Lemma 6 contains an equality constraint condition that is not easy to be checked numerically. To solve this problem, strict LMI conditions in Theorem 7 are introduced. Moreover, it is worth mentioning that conditions (9) and (10) are completely different from those in Theorem of , which not only generalize the conditions of Theorem  and Theorem  to the stochastic case but also pave the way for developing SBRL. While item (ii) of Lemma 6 is crucial to discuss the control problem of discrete-time stochastic systems, see, for example, [5, 8, 9].
3. Stochastic Bounded Real Lemmas
In this section, we aim to develop two SBRLs for system (1) in terms of LMIs. It is well known that SBRL plays an important role in the study of stochastic control and estimation.
Lemma 9. In system (1) with , , and , one haswhere
Lemma 10. In system (1) with , suppose is given and . Then, for any , , one haswhere
Proof. From Lemma 9, it follows that
Proof. If there exists a matrix such that , it is easy to see that . This condition together with in (19) can deduce that system (1) is mean square admissible. Below, we set about to prove for given . To this end, we choose sufficiently small such that . Furthermore, for in (18), we obtain, for any ,Using (20), we derive
Theorem 12 (SBRL). System (1) with is mean square admissible and for given if one of the following statements holds:(i)There are matrices and such thatwhere (ii)There are matrices and such thatwhere
Proof. (i) Let in (22); then it is easy to test that the conditions of Theorem 11 are satisfied. So system (1) with is mean square admissible and for given .
(ii) It can be found that condition (22) can be rewritten asNote that (26) is just the same asFinally, we derive that (27) is equivalent to (24) by Theorem 7.
Remark 13. When , both Theorems 11 and 12 degenerate to SBRLs for state-space systems with state and disturbance dependent noise . When , system (1) reduces to a deterministic singular system. In this case, Theorems 12 and 14 are, respectively, consistent with the corresponding results of [21, 22] on deterministic singular systems. In addition, the additional condition in item (ii) needs to be satisfied, since only in this way can the expression hold. In contrast to item (i), item (ii) is somewhat complicated due to the introduction of the auxiliary matrices, but which provides an effective approach to investigate the controller design.
4. State Feedback Controller Design
In this section, we present a sufficient condition in the form of a strict LMI to design state feedback controller for system (1).
The discrete-time stochastic singular system with the state feedback control law is given aswhere is a state feedback gain to be determined.
Theorem 14. The closed-loop system (28) is mean square admissible and for given if there exist matrices , , and such that the following LMI holds:where
Proof. Let ; then (28) can be written as an augmented systemwhereIt is noted that if there exist matrices such that (6) holds, then we havewith That is to say, the assumption condition for system (31) still holds. Therefore, from Theorem 12-(ii), the closed-loop system (28) is mean square admissible and for given if the condition (29) holds.
Remark 15. To solve the LMI condition (29), particular structures of matrices and were given as that in :with , , , , , , , , , , and a nonsingular matrix . Set ; then the state feedback gain matrix is given as .
Remark 16. It should be pointed out that what we have obtained such as Theorems 12 and 14 are corresponding extensions from deterministic singular systems to stochastic singular systems. Although a strict LMI-based bounded real lemma was presented in  for discrete-time and deterministic singular systems, it is difficult to be generalized to controller synthesis. While by introducing the auxiliary matrices, the state feedback control for stochastic singular systems is successfully solved in Theorem 14. Moreover, in contrast with the state feedback control, the output feedback control has much broader and practical applications such as . Therefore, it is very meaningful to extend the results of this paper to the output feedback control, which merits further research.
5. Numerical Examples
In this section, we give a numerical example to show the effectiveness of the proposed results. The discrete-time stochastic singular system with the state feedback control in the form of (28) takes the following data: From Theorem 14, the solutions of LMI (29) are given as follows:Then the controller gain is given as .
In what follows, it can be seen from Figures 1 and 2 that the curves are convergent which demonstrates the closed system (28) without external disturbance is stabilizable in the mean square via the controller . Figure 3 shows that the maximal possible energy gain from the external disturbance to the output for system (28) is less than the prescribed performance level ; that is, the requirement of the performance of system (28) is satisfied.
In this paper, we have discussed the stochastic state feedback control problem for a class of discrete-time singular systems with state and disturbance dependent noise. New conditions for discrete-time stochastic singular systems to be mean square admissible have been derived in strict LMIs. It is proved that the state is uncorrelated with the stochastic variable sequence . Based on this result, two strict LMI-based SBRLs are then presented. By introducing the auxiliary matrix technique, the state feedback control problem has been addressed. What we have obtained can be used further to study other control problems of discrete-time singular stochastic systems, such as the output feedback control and control.
Proof of Lemma 6. The proof of item (i) sees Theorem of . Next, we set about to verify item (ii).
Based on Assumption 5, there exist nonsingular matrices such thatLetand substituting (A.1) and (A.3) into (7) and (8), respectively, we derivewhereEquation (A.5) implies . Furthermore, since , we haveTherefore, in , it is easy to see thatFrom (A.8), it follows that is invertible. Lettingwe deriveLetwhere , . By (A.2), (A.10), and (A.11), system (1) with is equivalent towithSince is a sequence of real independent random variables, considering (A.12), we have that that is measurable is uncorrelated with , so does .
This paper was not presented at any IFAC meeting.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
This research was supported by NSF of China under Grant no. 61573227, State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources (Grant no. LAPS16011), and the SDUST Research Fund no. 2015TDJH105.
- X. Mao, Stochastic Differential Equations and Their Applications, Horwood Publishing Limited, Chichester, UK, 1997.
- B. Øksendal, Stochastic Differential Equations: An Introduction with Applications, Springer, New York, NY, USA, 1998.
- V. Dragan, T. Morozan, and A. M. Stoica, Mathematical Methods in Robust Control of Linear Stochastic Systems, Springer, New York, NY, USA, 2006.
- V. Dragan, T. Morozan, and A.-M. Stoica, Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems, Springer, New York, NY, USA, 2010.
- A. El Bouhtouri, D. Hinrichsen, and A. J. Pritchard, “-type control for discrete-time stochastic systems,” International Journal of Robust and Nonlinear Control, vol. 9, no. 13, pp. 923–948, 1999.
- D. Hinrichsen and A. J. Pritchard, “Stochastic ,” SIAM Journal on Control and Optimization, vol. 36, no. 5, pp. 1504–1538, 1998.
- B. Chen and W. Zhang, “Stochastic H2/H∞ control with state-dependent noise,” IEEE Transactions on Automatic Control, vol. 49, no. 1, pp. 45–57, 2004.
- W. Zhang, Y. Huang, and H. Zhang, “Stochastic H2/H∞ control for discrete-time systems with state and disturbance dependent noise,” Automatica, vol. 43, no. 3, pp. 513–521, 2007.
- W. Zhang, Y. Huang, and L. Xie, “Infinite horizon stochastic H2/H∞ control for discrete-time systems with state and disturbance dependent noise,” Automatica, vol. 44, no. 9, pp. 2306–2316, 2008.
- W. Zhang, X. Lin, and B. Chen, “LaSalle-type theorem and its applications to infinite horizon optimal control of discrete-time nonlinear stochastic systems,” IEEE Transactions on Automatic Control, vol. 62, no. 1, pp. 250–261, 2017.
- D. G. Luenberger and A. Arbel, “Singular dynamic leontief systems,” Econometrica, vol. 45, no. 4, pp. 991–995, 1977.
- F. L. Lewis, “A survey of linear singular systems,” Circuits, Systems and Signal Processing, vol. 5, no. 1, pp. 3–36, 1986.
- L. Dai, Singular Control Systems, vol. 118 of Lecture Notes in Control and Information Sciences, Springer, New York, NY, USA, 1989.
- L. Zhang, J. Lam, and Q. Zhang, “Lyapunov and Riccati equations of discrete-time descriptor systems,” IEEE Transactions on Automatic Control, vol. 44, no. 11, pp. 2134–2139, 1999.
- S. Xu and J. Lam, Robust Control and Filtering of Singular Systems, Springer, Berlin, Germany, 2006.
- Y. Xia, J. Zhang, and E.-K. Boukas, “Control for discrete singular hybrid systems,” Automatica, vol. 44, no. 10, pp. 2635–2641, 2008.
- Y. Xia, E.-K. Boukas, P. Shi, and J. Zhang, “Stability and stabilization of continuous-time singular hybrid systems,” Automatica, vol. 45, no. 6, pp. 1504–1509, 2009.
- I. Masubuchi, Y. Kamitane, A. Ohara, and N. Suda, “ control for descriptor systems: a matrix inequalities approach,” Automatica, vol. 33, no. 4, pp. 669–673, 1997.
- S. Xu and C. Yang, “H∞ state feedback control for discrete-time singular systems,” IEEE Xplore: IEEE Transactions on Automatic Control, vol. 45, no. 7, pp. 1405–1409, 2000.
- X. Ji, H. Su, and J. Chu, “Robust state feedback H∞ control for uncertain linear discrete singular systems,” IET Control Theory and Applications, vol. 1, no. 1, pp. 195–200, 2007.
- G. Zhang, Y. Xia, and P. Shi, “New bounded real lemma for discrete-time singular systems,” Automatica, vol. 44, no. 3, pp. 886–890, 2008.
- M. Chadli and M. Darouach, “Novel bounded real lemma for discrete-time descriptor systems: application to H∞ control design,” Automatica, vol. 48, no. 2, pp. 449–453, 2012.
- M. Chadli and M. Darouach, “Further enhancement on robust control design for discrete-time singular systems,” IEEE Transactions on Automatic Control, vol. 59, no. 2, pp. 494–499, 2014.
- M. Chadli, H. R. Karimi, and P. Shi, “On stability and stabilization of singular uncertain Takagi-Sugeno fuzzy systems,” Journal of the Franklin Institute, vol. 351, no. 3, pp. 1453–1463, 2014.
- M. Chadli and M. Darouach, “Robust admissibility of uncertain switched singular systems,” International Journal of Control, vol. 84, no. 10, pp. 1587–1600, 2011.
- L. Zhang, B. Huang, and J. Lam, “LMI synthesis of and mixed / controllers for singular systems,” IEEE Transactions on Circuits and Systems II, vol. 50, no. 9, pp. 615–626, 2003.
- L. Wu, P. Shi, and H. Gao, “State estimation and sliding-mode control of Markovian jump singular systems,” IEEE Transactions on Automatic Control, vol. 55, no. 5, pp. 1213–1219, 2010.
- L. Wu, X. Su, and P. Shi, “Sliding mode control with bounded gain performance of Markovian jump singular time-delay systems,” Automatica, vol. 48, no. 8, pp. 1929–1933, 2012.
- E. K. Boukas, “Stabilization of stochastic singular nonlinear hybrid systems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 64, no. 2, pp. 217–228, 2006.
- L. Wu and D. W. C. Ho, “Sliding mode control of singular stochastic hybrid systems,” Automatica, vol. 46, no. 4, pp. 779–783, 2010.
- D. W. C. Ho, X. Shi, Z. Wang, and Z. Gao, “Filtering for a class of stochastic descriptor systems,” in Proceedings of the 4th International Conference on Dynamics of Continuous, Discrete and Impulsive Systems, no. 2, pp. 848–853, Ontario, Canada, 2005.
- J. Xia, Robust control and filter for continuous stochastic time-delay systems [Ph.D. thesis], Nanjing University of Science and Technology, Nanjing, China, 2007.
- L. Huang and X. Mao, “Stability of singular stochastic systems with Markovian switching,” IEEE Transactions on Automatic Control, vol. 56, no. 2, pp. 424–429, 2011.
- Z. Gao and X. Shi, “Observer-based controller design for stochastic descriptor systems with Brownian motions,” Automatica, vol. 49, no. 7, pp. 2229–2235, 2013.
- S. Xing, Q. Zhang, S. Yuan, J. Wang, and S. Qian, “Robust finite-time H∞ control for uncertain stochastic singular systems,” in Proceedings of the 33th Chinese Control Conference, Nanjing, China, July 2014.
- W. Zhang, Y. Zhao, and L. Sheng, “Some remarks on stability of stochastic singular systems with state-dependent noise,” Automatica, vol. 51, pp. 273–277, 2015.
- Y. Zhao and W. Zhang, “New results on stability of singular stochastic Markov jump systems with state-dependent noise,” International Journal of Robust and Nonlinear Control, vol. 26, no. 10, pp. 2169–2186, 2016.
- Y. Zhao and W. Zhang, “Observer-based controller design for singular stochastic Markov jump systems with state dependent noise,” Journal of Systems Science & Complexity, vol. 29, no. 4, pp. 946–958, 2016.
- Y. Zhao and W. Zhang, “Stochastic state feedback control for singular systems with multiplicative noise,” in Proceedings of the 35th Chinese Control Conference, Chengdu, China, July 2016.
Copyright © 2017 Yong Zhao 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.