Abstract
The paper is concerned with the observer-based \(H_\infty \) sliding mode controller design for a class of uncertain stochastic singular time-delay systems subjected to input nonlinearity. Using the sliding mode control, a robust law is established to guarantee the reachability of the sliding surface in a finite time interval, and the sufficient condition for asymptotic stability of the error system and sliding mode dynamics with disturbance attenuation level is presented in terms of linear matrix inequalities. Finally, an example illustrates the proposed method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Singular systems, also referred to as descriptor systems, generalized state-space systems, differential-algebraic systems or semi-state systems, are popular in describing the behaviors of some practical systems, such as economic systems, chemical process, circuit systems, electric systems, power systems, robotic systems, networked control systems, space navigation systems and biological systems [1, 4, 27, 30]. Wu et al. considered stochastic stability analysis for discrete-time singular Markov jump systems with time-varying delay and piecewise-constant transition probabilities [28]. Liu [13] solved the exponential robust stability and stabilization problems for uncertain time-varying delay singular systems. Kao et al. [8] have recently considered stabilization of singular Markovian jump systems with generally uncertain transition rates. Sliding mode control (SMC), due to its attractive features such as fast response and good transient response, insensitivity to variations in system parameters and external disturbances, has become an effective robust control approach for a wide variety of practical engineering systems such as robot manipulators, aircraft, underwater vehicles, spacecraft, flexible space structures, electrical motors, power systems and automotive engines [3, 20, 32]. Many results have been reported on sliding mode control for different kinds of control systems, including stochastic systems [2, 16–18], uncertain systems [10, 21, 23, 26, 29], time-delay systems [15, 17, 23, 25, 26, 31], Markovian jump systems [2, 9, 11, 16, 17, 24, 25] and singular systems [5–7, 12, 14, 22–25, 31]. Wu and Ho D.W.C [22] studied SMC of singular stochastic hybrid systems. Wu et al. [25] probed SMC with bounded \(H_2\) gain performance of Markovian jump singular time-delay systems. Liu et al. [14] investigated dynamic soft variable structure control of singular systems.
As is known, input nonlinearity is often found in practice systems and can cause a serious degradation of the system performance. Then the effects of input nonlinearity must be taken into account when analyzing and implementing a SMC scheme [5, 10, 26, 31]. Yang et al. [31] considered SMC for Markovian switching singular systems with time-varying delays and nonlinear perturbations. Ding et al. [5] dealt with exponential stabilization using SMC for singular systems with time-varying delays and nonlinear perturbations. In practice, the state of the system is expensive to measure or even not available due to the factors of cost, technique, etc. State observation is an important problem for control systems. Moreover, time delays usually happen due to inevitable effects of control equipment, signal transmission and so on, which can degrade the performance of control systems designed and even destabilize the systems without considering the delays.
To the authors’ knowledge, the observer-based sliding mode control problem has attracted more and more attention (see [9, 10, 17, 19, 24, 26] and references therein). But there are few investigations on the observer-based \(H_{\infty }\) sliding mode control for stochastic singular systems, especially with uncertainties and time delays. Wu et al. [26] investigated the observer-based sliding mode control problem for uncertain nonlinear neutral delay systems. The \(H_{\infty }\) non-fragile observer-based sliding mode control for uncertain time-delay systems and It \(\hat{o}\) stochastic systems with Markovian switching were considered in [9] and [10], respectively. But the above approaches proposed in the above papers are not workable for singular systems. On the other hand, the sliding mode control problem for singular time-delay systems were considered to guarantee the robust exponential stability and generalized quadratical stability in [5] and [23], respectively. Wu et al. [24] presented some good results about state estimation and sliding mode control of Markovian jump singular systems. And the sliding mode controllers were designed for Markovian jumping singular systems [31]. However, to the best of our knowledge, there is no report on observer-based \(H_\infty \) sliding mode controller design for uncertain stochastic singular time-delay systems subjected to input nonlinearity, which is still challenging and of importance.
Motivated by the aforementioned reasons, the purpose of this paper lies in the development of observer-based \(H_\infty \) sliding mode controller for uncertain stochastic singular time-delay systems with input nonlinearity. Our work is not a simple extension of [9] and [21]; the main difficulties come from the establishment of a novel switching function, which has a nonlinear differentiable sub-function and takes the singular matrix \(E\) into account. And the control input is designed to guarantee that the estimated state can be driven to the sliding surface when the input nonlinearity is presented. Hence, we propose a more simple and convenient method to design the observer and controller gain matrix compared with the methods in [9, 10, 17, 26]. In Sect. 2, system description and definitions are presented. In Sect. 3, based on an \(H_\infty \) non-fragile observer, a sliding mode control law is established to guarantee the reachability of the sliding surface in a finite time interval. The sufficient condition for the asymptotic stability of the overall closed-loop system with a disturbance attenuation level is derived via LMI. In Sect. 4, an example is provided to illustrate the validity of the proposed method. Section 5 is conclusion.
Notation In this paper, \(L_{\mathbb {F}_{0}}^{P}([-\tau , 0];{\mathbf {R}}^{n})\) is the family of all \(\mathbb {F}_{0}\)-measurable \(C([-\tau , 0];{\mathbf {R}}^{n})\)-valued random variables \(\xi =\{\xi (\theta ):-\tau \le \theta \le 0\}\) such that \(\sup _{-\tau \le \theta \le 0}{\mathbb {E}}\{\Vert \xi (\theta )\Vert _{2}^{2}\}<\infty \), where \({\mathbb {E}}\{\cdot \}\) stands for the mathematical expectation operator with respect to the given probability measure \(\mathbb {P}. {\mathbf {R}}^{n}\) and \({\mathbf {R}}^{n\times m}\) denote \(n-\)dimensional Euclidean space and the set of all \(n\times m\) real matrices, respectively; \(A^{T}\) denotes the transpose of matrix \(A;I\) and \(0\) represent the identity matrix and a zero matrix in appropriate dimension, respectively. \(P>0 (P\ge 0)\) means that the matrix \(P\) is a real symmetric and positive definite (semi-positive definite) matrix. \(\Vert \cdot \Vert \) denotes the standard Euclidean norm of a vector or the induced norm of a matrix. Matrices, if their dimensions are not explicitly stated, are assumed to be compatible for algebraic operations.
2 System Description and Definitions
Consider a class of uncertain time-delay systems subjected to input nonlinearity described by:
where \(x(t)\in {\mathbf {R}}^{n}\) is the state vector; \(\phi (u)\in {\mathbf {R}}^{m}\) is the control input; \(f(x)\) is the nonlinear disturbance input, \(v(t)\) is the exogenous noise; \(g(x(t), t)\) is the stochastic perturbations. \(\beta (t)\) is the one-dimensional Brownian motion satisfying \({\mathbb {E}}\{{\mathrm {d}}\beta (t)\}=0\) and \({\mathbb {E}}\{{\mathrm {d}}\beta ^{2}(t)\}={\mathrm {d}}t. \phi (t)\in L_{\mathbb {F}_{0}}^{P}([-\tau ,0];~{\mathbf {R}}^{n})\) is a compatible vector-valued continuous function. \(\tau \) denotes the time delay. Here, \(E, A, A_{1}, B, G, C\) and \(D\) are real constant matrices of appropriate dimensions. The \({\mathrm {rank}}E=r<n, \varDelta A(t)\) and \(\varDelta A_{1}(t)\) are the uncertainties which are assumed to be the form of
where \(M, S\) and \(S_{1}\) are the real constant matrices and \(F(t): {\mathbf {R}}\longmapsto {\mathbf {R}}^{k\times l}\) is the unknown time-varying matrix function satisfying
The following assumptions and lemmas are necessary for the sake of convenience. We will assume the followings to be valid.
Assumption 1
The nonlinear input \(\phi (u)\) applied to the system satisfies the following property:
where \(\alpha \) is a nonzero positive constant, and \(\phi (0)=0\).
Assumption 2
For \(\forall x_{1}, x_{2}, f(x)\) satisfies
where \(\rho \) is a positive constant.
Assumption 3
For \(g(x(t), t)\) there is a constant matrix \(H\) such that
for all \(t\ge 0\).
Assumption 4
The singular system (1) is regular and impulse-free.
Lemma 1
Let \(Q=Q^{T}, S, R=R^{T}\) be matrices of appropriate dimensions, then \(R<0, Q-SR^{-1}S^{T}<0\) is equivalent to
Lemma 2
Let \(D, E\) and \(F(t)\) be real matrices of appropriate dimensions with \(F(t)\) satisfying \(F^{T}(t)F(t)\le I\) and scalar \(\varepsilon >0\), the following inequality
is always satisfied.
3 Sliding Mode Control
3.1 \(H_\infty \) Non-Fragile Observer Design
First, the following non-fragile state observer is utilized to estimate the state of uncertain time-delay systems (1)
where \(L\in {\mathbf {R}}^{n\times q}\) is the observer gain to be designed later and \(\varDelta L(t)\) is a nonlinear function matrix satisfying \(\parallel \varDelta L(t)\parallel \le \delta \), where \(\delta \) is a positive constant.
Define the error \(e(t)=x(t)-\hat{x}(t)\), then it follows from systems (1) and (12) that
Then, we introduce \(H_{\infty }\) performance measure as follows:
Therefore, the problem is to determine the error \(e(t)\) within the upper bound, i.e.,
3.2 Switching Surface and Control Scheme Design
A novel switching function is chosen as
with
where the matrix \(K\) is to be chosen later, obviously, \(B^{T}B\) is non-singularity.
Remark 1
Notice that the switching surface function is designed with the singular matrix \(E\), and the matrix \(A_{1}\) and the nonlinear disturbance \(f(x)\) are taken into account, which enable to avoid some difficulties caused by time delays and disturbances when deriving the following sliding mode dynamics.
Control input \(\phi (u)\) in system (1) should be appropriately designed such that the estimated state in system (10) can be driven onto the sliding surface even when the input nonlinearity presented. The SMC law is derived as follows:
where \(\varPsi (\hat{x})=\beta +\Vert K\hat{x}(t)\Vert +\Vert (B^{T}B)^{-1}B^{T}A\hat{x}(t)\Vert +\Vert (B^{T}B)^{-1}B^{T}L(y-C\hat{x}(t))\Vert +\delta \Vert (B^{T}B)^{-1}B^{T}\Vert \cdot \Vert y-C\hat{x}(t)\Vert >0\), and \(\beta \) is an arbitrarily positive scalar.
3.3 Reachability Analysis
This proposed control scheme above will drive the estimate state to approach the sliding mode surface \(s(t)=0\) in a finite time interval, and it is stated in the following theorem.
Theorem 1
If the control input \(u(t)\) is designed as (12), then the trajectories of the observer system (9) converges to the sliding surface \(s(t)=0\) in a finite time interval.
Proof
From system (9) and Eq. (11), we have
Let \(V_{1}(t)=\frac{1}{2}s^{T}(t)(B^{T}B)^{-1}s(t)\), It follow from Eq. (13) that
Using Eq. (12) and Assumption 1, we have \(u^{T}\phi (u)=-\frac{\varPsi (\hat{x})}{\alpha \Vert s(t)\Vert }s^{T}(t)\phi (u)\ge \alpha u^{T}u\), then
Substituting (15) into (14) yields
From (16), we prove the trajectory of the observer system (9) can converge to the surface \(s(t)=0\) in a finite time interval. The proof is completed. \(\square \)
From \(\dot{s}(t)=0\), the following equivalent control law can be obtained as
Substituting (17) into the observer system (9) and noting \(\bar{B}=\,I-B(B^{T}B)^{-1}B^{T}\), the sliding mode dynamics in the state estimation space can be obtained as follows
Hence, the stability of the overall closed-loop system with (1) and (4) will be analyzed through the error system (10) and the sliding mode dynamics (18).
3.4 Analysis of Asymptotic Stability
In the following theorem, the sufficient condition for the asymptotic stability of the overall closed-loop system with a disturbance attenuation level is given via LMI.
Theorem 2
Consider that the systems (1) with (10) and (18). Given a scalar \(\gamma >0\), the switching function is chosen as (11), and the SMC law is chosen as (12). If there exist matrices \(L, K\), invertible matrices \(P_{0}, Q_{0}\), symmetric positive definite matrices \(Q_{1}>0, Q_{2}>0\), and scalars \(\alpha >0, \beta >0, \varepsilon _{i}>0~(i=1,2), \delta >0\), such that the following conditions hold
where
the overall closed-loop system with (9) and (12) is asymptotically stable with disturbance attenuation level \(\gamma \).
Proof
It is easy to know that there must exist two invertible matrices \(P_{0}\) and \(Q_{0}\) such that
Assume that \(P=P_{0}Q_{0}\) satisfying \(PE=P_{0}{\mathrm {diag}}[I_{r}, 0]P_{0}^{-1}\ge 0\). Thus, we could choose the following Lyapunov function candidate:
First, we consider the overall closed-loop system with \(v(t)=0\), we have
Using Assumption 2 and Lemmas 2–3, we have
In light of Assumption 3, it holds
Now substituting (22)–(32) into (21), we result in
where \(\omega ^{T}(t)=[e^{T}(t), e^{T}(t-\tau ),\hat{x}^{T}(t),\hat{x}^{T}(t-\tau )]\), and
with
It can be shown that if LMI (19) is satisfied, \(\varXi <0\) holds by Lemma 1. Thus
which shows that the closed-loop system is asymptotically stable.
Then consider the following performance index
where \(q^{T}(t)=[e^{T}(t), e^{T}(t-\tau ), \hat{x}^{T}(t), \hat{x}^{T}(t-\tau ), v(t)]\), and
By utilizing Lemma 1, it is obvious that \(\Pi <0\) is equivalent to (19). This means that \(J(t)<0~(\mathrm {for} ~\omega (t)\ne 0)\). And then it results in
So the overall closed-loop system (18) is asymptotically stable with disturbance attenuation \(\gamma \). Then the proof is obtained. \(\square \)
Remark 2
Our results can be applied to the uncertain stochastic systems with time delays, when all the matrix \(E\) in Theorem 1 and Theorem 2 are assumed to be the identity matrix \(I\).
Remark 3
According to the above proposed approach, we derive that \(P=P_{0}Q_{0}\) such that \(Q_{0}EP_{0}={\mathrm {diag}}\{I_{r},0\}\), and then \(\varGamma <0\) in (19) is a linear matrix inequality with the matrix variables \(L, K, Q_{1}>0\) and \(Q_{2}>0\), which could be solved by MATLAB Toolbox. Therefore, when solving the LMI (19), we could also give the design of the observer gain matrix \(L\) and the controller gain matrix \(K\), which is more simple and convenient than the methods in [9, 10, 17, 26]. From Theorem 1, we conclude that our proposed method is more convenient and less conservative.
4 Numerical Examples
In this section, a numerical example demonstrates the effectiveness of the method mentioned above. Consider the system in the form of (1) with parameters as follows:
Let the initial value be \(x(t)=\phi (t)=[-1.5,1,0.5]^{T}\) for any \(t\in [-0.8,0]\) and the exogenous noise be \(v(t)=1/(e^{t}+50)\). Assume the uncertain parameter matrix function \(F(t)=0.5\, e^{-t}\) and the constant matrices:
And \(f(x)=0.75\, \mathrm {sin}(x(t)), ~\rho =0.75\) in Assumption 2 and \(H=\begin{bmatrix}1.5&\quad 0&\quad 1.2\\ -3&\quad 1.6&\quad -1.8\end{bmatrix}\) in Assumption 3.
Firstly, we know there exist two invertible matrices \(Q_{0}=\begin{bmatrix}\frac{25}{9}&\quad -\frac{25}{3}&\quad 0 \\ 0&\quad -\frac{50}{3}&\quad 0 \\ \frac{1}{2}&\quad 0&\quad 1\end{bmatrix}\) and \(P_{0}=\begin{bmatrix}0&\quad 1&\quad \frac{10}{3} \\ 1&\quad 0&\quad 0 \\ 0&\quad 0&\quad 1\end{bmatrix}\) such that \(Q_{0}EP_{0}=\begin{bmatrix}1&\quad 0&\quad 0 \\ 0&\quad 1&\quad 0 \\ 0&\quad 0&\quad 0\end{bmatrix}\). So we can take
Then, we set the scalars \(\alpha =2, \beta =5, \gamma =0.24, \varepsilon _{1}=0.15, \varepsilon _{2}=0.2, \delta =0.36\) and \(\varDelta L(t)=\begin{bmatrix}0.6&\quad 0 \\ 0&\quad 0.6 \\ 0&\quad 0\end{bmatrix}\). Now we can obtain the matrices by LMI (19) in the Theorem 2 and MATLAB as follows:
Therefore, we can design the non-fragile state observer as (9) and the overall closed-loop system with (9) and (12) is asymptotically stable with disturbance attenuation level \(\gamma =0.24\), where the switching function as (11) is
and the SMC law as (12) is \(u(t)=-\frac{\varPsi (\hat{x})}{2\Vert s(t)\Vert }s(t)\) and
Figures 1, 2, 3 and 4 illustrate the simulation results. Figure 1 shows the trajectories of the system states \(x_{1}, x_{2}, x_{3}\) and the estimated states \(\hat{x}_{1}, \hat{x}_{2}, \hat{x}_{3}\). The responses of the error states \(e_{1}, e_{2}, e_{3}\) are shown if Fig. 2. And the sliding mode switching function \(s(t)\) is shown in Fig. 3 with the nonlinear control input \(\phi (u)\) shown in Fig. 4.
5 Conclusions
The problem of non-fragile observer-based \(H_\infty \) sliding mode control for singular system with time-varying delay and nonlinear perturbations has been addressed. Based on the sliding mode control strategy and LMI technique, some criteria on asymptotic stability of the error system and sliding mode dynamics with disturbance attenuation level are derived in terms of LMIs. Finally, a numerical example demonstrates the effectiveness of the method mentioned above. Moreover, we will consider the relate topics, such as stochastic singular time-varying delay systems, network-based framework, in the current and future work to achieve more industrial oriented results. Motivated by [3, 32], we also will utilize our simple and convenient approach to the practical models.
References
E. Boukas, Control of Singular Systems with Random Abrupt Changes (Springer, Berlin, 2008)
B. Chen, Y. Niu, Y. Zou, Adaptive sliding mode control for stochastic Markovian jumping systems with actuator degradation. Automatica 49(6), 1748–1754 (2013)
F. Chen, R. Hou, B. Jiang, G. Tao, Study on fast terminal sliding mode control for a helicopter via quantum information technique and nonlinear fault observer. Int. J. Innov. Comput. I. 9(8), 3437–3447 (2013)
L. Dai, Singular Control Systems (Springer, Berlin, 1989)
Y. Ding, H. Zhu, S. Zhong, Exponential stabilization using sliding mode control for singular systems with time-varying delays and nonlinear perturbations. Commun. Nonlinear Sci. Numer. Simulat. 16(10), 4099–4107 (2011)
J. Guo, H. Shi, Y. Kao, Variable structure control of time-variant linear time-delay singular system, in Proceedings of Chinese Control Conference, China, 2703–2706 (August 2009)
R.M. Hirschorn, Singular sliding-mode control. IEEE Trans. Automat. Control 46(2), 276–285 (2001)
Y. Kao, J. Xie, C. Wang, Stabilisation of singular Markovian jump systems with generally uncertain transition rates. IEEE Trans. Automat. Control 59(9), 2604–2610 (2014)
Y. Kao, W. Li, C. Wang, Non-fragile observer based \(H_\infty \) sliding mode control for It\(\hat{o}\) stochastic systems with Markovian switching. Int. J. Robust. Nonlinear Control 24(15), 2035–2047 (2014)
L. Liu, Z. Han, W. Li, \(H_\infty \) non-fragile observer-based sliding mode control for uncertain time-delay systems. J. Franklin Inst. 347, 567–576 (2010)
M. Liu, P. Shi, L. Zhang, Fault-tolerant control for nonlinear Markovian jump systems via proportional and derivative sliding mode observer technique. IEEE Trans. Circuits Syst. I 58(11), 2755–2764 (2011)
P. Liu, Further results on the exponential stability criteria for time delay singular systems with delay-dependence. Int. J. Innov. Comput. I. 8(6), 4015–4024 (2012)
P. Liu, Improved delay-dependent robust exponential stabilization criteria for uncertain time-varying delay singular systems. Int. J. Innov. Comput. I. 9(1), 165–178 (2013)
Y. Liu, C. Zhang, C. Gao, Dynamic soft variable structure control of singular systems. Commun. Nonlinear Sci. Numer. Simulat. 17(8), 3345–3352 (2012)
Y. Niu, T. Jia, J. Huang, J. Liu, Design of sliding mode control for neutral-type systems with time-delay with perturbation in control channels. Optim. Control Appl. Meth. 33(3), 363–374 (2012)
Y. Niu, D.W.C. Ho, X. Wang, Sliding mode control for It\(\hat{o}\) stochastic systems with Markovian switching. Automatica 43(10), 1784–1790 (2007)
Y. Niu, D.W.C. Ho, Robust observer design for It\(\hat{o}\) stochastic time-delay systems via sliding mode control. Sys. Control Lett. 55, 781–793 (2006)
P. Shi, Y. Xia, G.P. Liu, D. Rees, On designing of sliding-mode control for stochastic jump systems. IEEE Trans. Automat. Control 51(1), 97–103 (2006)
S. Spurgeon, Sliding mode observers: a survey. Int. J. Syst. Sci. 39(8), 751–764 (2008)
V. Utkin, Sliding Modes in Control Optimization (Springer, Berlin, 1992)
L. Wu, C. Wang, H. Gao, L. Zhang, Sliding mode \(H_\infty \) control for a class of uncertain nonlinear state-delayed systems. J. Sys. Eng. Electron. 17, 576–585 (2006)
L. Wu, D.W.C. Ho, Sliding mode control of singular stochastic hybrid systems. Automatica 46(4), 779–783 (2010)
L. Wu, W. Zheng, Passivity-based sliding mode control of uncertain singular time-delay systems. Automatica 45(9), 2120–2127 (2009)
L. Wu, P. Shi, H. Gao, State estimation and sliding mode control of Markovian jump singular systems. IEEE Trans. Automat. Control 55(5), 1213–1219 (2010)
L. Wu, X. Su, P. Shi, Sliding mode control with bounded \(L_2\) gain performance of Markovian jump singular time-delay systems. Automatica 48(8), 1929–1933 (2012)
L. Wu, C. Wang, Q. Zeng, Observer-based sliding mode control of a class of uncertain nonlinear neutral delay systems. J. Franklin Inst. 345(3), 233–253 (2008)
Z. Wu, P. Shi, H. Su, \(H_2-H_\infty \) filter design for discrete-time singular Markovian jump systems with time-varying delays. Infor. Sci. 181(24), 5534–5547 (2011)
Z. Wu, J.H. Park, H. Su, J. Chu, Stochastic stability analysis for discrete-time singular Markov jump systems with time-varying delay and piecewise-constant transition probabilities. J. Franklin Inst. 349(9), 2889–2902 (2012)
Y. Xia, G. Liu, P. Shi, J. Chen, D. Rees, J. Liang, Sliding mode control of uncertain linear discrete time systems with input delay. IET Control Theory Appl. 1(4), 1169–1175 (2007)
S. Xu, J. Lam, Robust Control and Filtering of Singular Systems (Springer, Berlin, 2006)
G. Yang, Y. Kao, W. Li, Sliding mode control for Markovian switching singular systems with time-varying delays and nonlinear perturbations. Discrete Dyn. Nat. Soc. 2013(2013), 1–9 (2013)
J. Zhao, B. Jiang, P. Shi, Z. He, Fault tolerant control for damaged aircraft based on sliding mode control scheme. Int. J. Innov. Comput. I. 10(1), 293–302 (2014)
Acknowledgments
The authors are thankful to the editors and the referees for their valuable comments. This research is supported by the National Natural Science Foundations of China (61473097).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kao, Y., Xie, J., Wang, C. et al. Observer-Based \(H_\infty \) Sliding Mode Controller Design for Uncertain Stochastic Singular Time-Delay Systems. Circuits Syst Signal Process 35, 63–77 (2016). https://doi.org/10.1007/s00034-015-0049-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00034-015-0049-x