This paper is devoted to tackling the control problem for a class of discrete-time stochastic systems with randomly occurring sensor saturations. The considered sensor saturation phenomenon is assumed to occur in a random way
based on the time-varying Bernoulli distribution with measurable probability in real time. The aim of the paper is to design a nonfragile gain-scheduled controller with probability-dependent gains which can be achieved by solving a convex optimization problem via semidefinite programming method. Subsequently, a new kind of probability-dependent Lyapunov functional is proposed in order to derive the controller with less conservatism. Finally, an illustrative example will demonstrate the effectiveness of our designed procedures.
1. Introduction
In reality, virtually almost all dynamic systems are subject to stochastic perturbation, and stochastic model has been successfully established to describe many practical systems, such as economic systems, process control systems, networked control systems (NCSs), and sensor network. For several decades, the study of stabilization, control, and filtering problem has drawn many researchers’ attention; some results can be found in [1–16]. On the other hand, time delays also serve as one of the main sources for poor performance and instability. Consequently, the stochastic control issue for time-delay systems has also been intensively investigated; see, for example, [2, 4, 7, 8, 10, 11, 13, 15].
The randomly occurring phenomenon is a newly emerged research topic which has drawn many researchers' attention; see, for example, [1–3, 5, 6, 8, 9, 12–16]. It refers to these phenomena appearing in a random way based on a certain kind of probabilistic law including randomly occurring nonlinearities (RONs), missing measurements, randomly occurring actuator faults, randomly varying sensor delays (RVSDs), and randomly occurring sensor saturations (ROSSs), and so on. For more details about randomly occurring phenomena, the reader is referred to [9]. If not handled appropriately, these phenomena could cause a reduction of performance and/or launch a threat to the safety and reliability of the plant. Therefore, it is not surprising that various filtering and control techniques have been developed to deal with such randomly occurring phenomena, in addition to H∞ control [16]/filtering [12] and H∞ state estimation [1] methods. In [2], a robust sliding mode control has been designed for system with mixed time-delays, randomly occurring uncertainties, and RONs; while gain-constrained recursive filter approach has been used in [5] for system with probabilistic sensor delays, the extended Kalman filtering and quantized recursive filtering problem for system with missing measurements have been studied in [3, 6], respectively. Therefore, in this paper, the ROSS (one of the important randomly occurring phenomena) is studied by exploiting gain-scheduling method, which is another motivation of this paper.
Sensor saturation phenomenon is very common in practical engineering. It means that sensors cannot provide signals of unlimited amplitude due mainly to the physical or technological constraints. In another aspect, because of random occurrences of networked induced phenomena in networked control systems (NCSs), such as random sensor failures leading to intermittent saturation and sensor aging resulting in changeable saturation level, sensor saturation may occur in a random way. We consider this phenomenon as randomly occurring sensor saturation, which has received increasing attention, for instance, [1, 12]. Reference [1] discussed the H∞ state estimation problem for discrete-time complex networks with ROSSs and RVSDs, while [12] turned to design an H∞ filter for system with ROSSs and missing measurements. However, to the best of authors' knowledge, rare published literature has dealt with ROSSs; therefore, this paper tries to flourish the research on this phenomenon by designing a nonfragile gain-scheduled controller.
Over the past decades, gain-scheduling method is one of the most popular methods of controller designing and has been extensively studied from theoretical and practical viewpoints; see, for example, [8, 14, 15, 17–19]. The gain-scheduling method is to design controller gains as functions of the scheduling parameters, which can update the controller with a set of tuning parameters in order to optimize the closed-loop performance when outside environment changes (e.g., the occurrences of a variety of randomly occurring phenomena). It should be noted that the designed gain-scheduling controller has not only the constant part but also time-varying part which can be scheduled online according to the corresponding time-varying parameters; see [8, 14, 15]. Therefore, it will naturally lead to less conservatism than the conventional ones with fixed gains only.
On the other hand, it is well known that in order to get better performance of the system, an accuracy controller is needed to resist the impact by the uncertainties occurring in the course of the implementation of a designed controller. Such uncertainties can be due to the existence of parameter drift, round-off errors in numerical computation during controller implementation, and the safe-tuning margins provided for engineering application. In these cases, the nonfragile controller is a good choice, as it can tolerate some level of controller parameter variations; see [7, 20–22]. However, the controller with uncertainties and outside environment changes often occur simultaneously; unfortunately, few papers have tackled this phenomenon, and therefore, we proposed a nonfragile gain-scheduled controller in this paper to fill the gap by making a few first attempts to deal with this problem.
The main contributions of this paper are summarized as follows: (1) a new nonfragile gain-scheduled control problem is addressed for a class of discrete-time nonlinear stochastic systems with randomly occurring phenomenon; (2) a sequence of stochastic variables satisfying Bernoulli distribution is introduced to describe the time-varying features of the ROSSs; (3) a time-varying Lyapunov functional dependent on the saturation probability is proposed and applied to improve the performance of system; (4) the parameters of the nonfragile gain-scheduled controller can be adjusted online according to the saturating probability estimated through statistical tests.
Notation.
In this paper, ℝn, ℝn×m, and 𝕀+ denote, respectively, the n-dimensional Euclidean space, the set of all n×m real matrices, and the set of all positive integers. |·| refers to the Euclidean norm in ℝn. I denotes the identity matrix of compatible dimension. The notation X≥Y (resp., X>Y), where X and Y are symmetric matrices, means that X-Y is positive semidefinite (resp., positive definite). For a matrix M, MT and M-1 represent its transpose and inverse, respectively. The shorthand diag{M1,M2,…,Mn} denotes a block diagonal matrix with diagonal blocks being the matrices M1,M2,…,Mn. In symmetric block matrices, the symbol * is used as an ellipsis for terms induced by symmetry. Matrices, if they are not explicitly stated, are assumed to have compatible dimensions. In addition, 𝔼{x} and Prob{y} will, respectively, mean expectation of x and probability of y.
2. Problem Formulation
Consider the following discrete-time nonlinear stochastic systems:
(1)x(k+1)=Ax(k)+Dx(k-d)+Bu(k)+Nf(z(k))+Ex(k)ω(k),(2)x(k)=ρ(k),k=-d,-d+1,…,0,
where x(k)∈ℝn is the state, d is a constant delay and z(k):=Gx(k)+Gdx(k-d), ω(k) is a one-dimensional Gaussian white noise sequence satisfying 𝔼{ω(k)}=0 and 𝔼{ω2(k)}=σ2, and ρ(k) is the initial state of the system. A, B, D, E, N, G, and Gd are constant real matrices of appropriate dimensions and B is of full column. The nonlinear function f(·) with (f(0)=0) is assumed as nonlinear disturbance and satisfies the following sector-bounded condition:
(3)[f(z(k))-F1z(k)]T[f(z(k))-F2z(k)]≤0,
where f(·) belongs to the sector [F1,F2], F1 and F2 are given constant real matrices.
For the technique convenience, the nonlinear function f(z(k)) can be decomposed into a linear part and a nonlinear part as
(4)f(z(k))=fs(z(k))+F1z(k);
then, from (3), we have
(5)fsT(z(k))(fs(z(k))-Fz(k))≤0,
where F=F2-F1>0.
The measurement output with sensor saturation is described as
(6)y(k)=ξ(k)ϱ(Cx(k))+(1-ξ(k))Cx(k),
where C is a constant real matrix of appropriate dimensions and ϱ(x)=sign(x)min{1,|x|}. Here, the notation of “sign” means the signum function, and we use the notation ϱ to denote saturation functions. Note that, without loss of generality, the saturation level is taken as unity.
According to the definition of the saturation function, we can get that the nonlinear function ϱ satisfies [ϱ(x)-ax][ϱ(x)-x]≤0 and |x|≤a-1, where a is a positive scalar satisfying 0<a<1, so the nonlinear function ϱ(Cx(k)) satisfies [ϱ(Cx(k))-aCx(k)]T[ϱ(Cx(k))-Cx(k)]≤0, while |aCx(k)|≤1 and a satisfies 0<a<1.
The variable ξ(k)∈ℝ is a random white sequence characterizing the probabilistic sensor saturation, which obeys the following time-varying Bernoulli distribution:
(7)Prob{ξ(k)=1}=𝔼{ξ(k)}=p(k),Prob{ξ(k)=0}=1-𝔼{ξ(k)}=1-p(k),
where p(k) is a time-varying positive scalar sequence and belongs to [p1p2]⊆[01] with p1 and p2 being the lower and upper bounds of p(k), respectively. Throughout the paper, for simplicity, we assume that ξ(k), ω(k) and ρ(k) are uncorrelated.
Remark 1.
In many practical systems, especially in NCSs, the measurement output is often subject to ROSSs, and the Bernoulli distribution model has been proven to be a very flexible and effective way to model randomly occurring phenomenon; see, for example, [1–3, 5, 6, 8, 13–15]. Furthermore, in practical engineering, the occurring probability of sensor saturation phenomenon usually changes with time. Therefore, in this paper, the occurrence of sensor saturation is described by a random variable sequence ξ(k) satisfying a time-varying instead of time-invariant Bernoulli distribution model, which will reduce the conservatism when used to deal with the systems with time-varying ROSSs.
In this paper, we are interested in designing the following nonfragile gain-scheduled static output feedback controller:
(8)u(k)=[K(p(k))+ΔK]y(k),
where K(p(k)) is the controller gain sequence to be designed and assumed as the following structure:
(9)K(p(k))=K0+p(k)Ku;
for every time step k, p(k) is the time-varying parameter of the controller gain, and K0 and Ku are the constant parameters of the controller gain to be designed, while ΔK is an unknown matrix of appropriate dimensions and represents the uncertainty in the controller, which is assumed to be of the form
(10)ΔK=LH(k)M,
where L and M are known constant matrices with the structured information of the uncertainty, and H(k) is an unknown, real, and time-varying matrix with Lebesgue-measurable elements satisfying
(11)HT(k)H(k)≤I,∀k.
Remark 2.
Instead of using the information of system states, static output feedback control directly makes use of system outputs to design controllers, which has proven to be much simpler and easier to implement and has been extensively used in various kinds of engineering fields; for more details, we recommend some papers such as [23–27].
Remark 3.
Owing to the pervasive existence of the uncertainties during controller implementation, an accuracy controller is needed to resist such an impact by the uncertainties, and the nonfragile controller has been proven to be an effective one; see, for example, [7, 20–22]. In another aspect, ROSSs are ubiquitous during the process of measurement, especially in NCSs, and gain-scheduling method has been successfully utilized to tackle with randomly occurring phenomenon in [8, 14, 15]. Therefore, in this paper, we design a nonfragile gain-scheduled static output feedback controller for nonlinear stochastic systems to deal with uncertainties and ROSSs simultaneously.
From the aforementioned, the closed-loop system with the nonfragile gain-scheduled controller is
(12)x(k+1)=Ax(k)+Dx(k-d)+BK(p(k))×[ξ(k)ϱ(Cx(k))+(1-ξ(k))Cx(k)]+Nf(z(k))+Ex(k)ω(k).
Before formulating the problem to be investigated, we first introduce the following stability concepts.
Definition 4.
The closed-loop system (12) is said to be exponentially mean-square stable if, with ω(k)=0, there exist constant α>0 and τ∈(0,1) such that
(13)𝔼{∥xk∥2}≤ατksup-d≤i≤0𝔼{∥xi∥2},k∈𝕀+.
In this paper, our purpose is to design a probability-dependent nonfragile gain-scheduled controller of the form (8) for the system (1) by exploiting a probability-dependent Lyapunov functional and LMI method such that, for all admissible sensor saturations and exogenous stochastic noise, the closed-loop system (12) is exponentially mean-square stable.
3. Main Results
The following lemmas will be used in the proofs of our main results in this paper.
Lemma 5 ((Schur complement) [28]).
Given constant matrices Σ1, Σ2, Σ3, where Σ1=Σ1T and 0<Σ2=Σ2T, then Σ1+Σ3TΣ2-1Σ3≥0 if and only if
(14)[Σ1Σ3TΣ3-Σ2]≥0or[-Σ2Σ3Σ3TΣ1]≥0.
Lemma 6 (see [13]).
Let the matrix B∈Rn×m be of full-column rank. There always exist two orthogonal matrices U∈Rn×n and V∈Rn×n such that B=U[Σ0]VT and Σ=diag{σ1,σ2,…,σm}. If matrix S has the following structure: S=U[S11S120S22]UT, where S11,S12∈Rn×(n-m) and S22∈R(n-m)×(n-m), then there exists a nonsingular matrix R∈Rm×m such that SB=BR.
Lemma 7 ((S-procedure) [28]).
For given matrices Q=QT, H, and E with appropriate dimensions,
(15)Q+HF(k)E+ETFT(k)HT<0
holds for all F(k) satisfying FT(k)F(k)≤I if and only if there exists ε>0 such that
(16)Q+ε-1HHT+εETE<0.
For convenience of presentation, we first consider the desired controller without uncertainty (i.e., ΔK=0), and the result will be shown in Theorem 8. Then, we design the nonfragile gain-scheduled controller in Theorem 10 based on the conclusion in Theorem 8.
Theorem 8.
Consider the discrete-time nonlinear stochastic systems with ROSSs (12). If there exist positive-definite matrices Q(p(k)) and Qτ, slack matrix S, and nonsingular matrices Y(p(k)) and R, such that the following LMIs hold: (17)Υ:=[Qτ-Q(p(k))-2aCTC******0-Qτ*****(a+1)C0-2I****FGFGd0-2I***STA-+(1-p(k))BY(p(k))CSTD-p(k)BY(p(k))STN-Λ-**σ2STE0000-σ2Λ-*Δp(k)BY(p(k))C0Δp(k)BY(p(k))000-Δp(k)Λ-]<0,where
(18)Λ-=-Q(p(k+1))+S+ST,Δp(k)=p(k)(1-p(k)),A-=A+NF1G,D-=D+NF1Gd,STB=BR,RK(p(k))=Y(p(k)),K(p(k))=R-1Y(p(k)),Y(p(k))=Y0+p(k)Yu,
in this case, the constant gains of the desired controller can be obtained as follows:
(19)K0=R-1Y0,Ku=R-1Yu,
and the closed-system (12) is then exponentially mean-square stable for all p(k)∈[p1p2].
Proof.
Define the Lyapunov functional
(20)V(k):=xT(k)Q(p(k))x(k)+∑s=k-dk-1xT(s)Qτx(s);
noting that 𝔼{ξ(k)-p(k)}=0, 𝔼{ω(k)}=0, and 𝔼{[ξ(k)-p(k)]2}=p(k)(1-p(k))≜Δp(k), we can get
(21)𝔼{ΔV(k)}=𝔼{xT(k+1)Q(p(k+1))x(k+1)𝔼--xT(k)(Q(p(k))-Qτ)x(k)𝔼--xT(k-d)Qτx(k-d)xT(k+1)Q(p(k+1))x(k+1)}=𝔼{xT(k-d)Qτx(k-d)[Ax(k)+p(k)BK(p(k))𝔼-×[ϱ(Cx(k))-Cx(k)]-+(ξ(k)-p(k))BK(p(k))𝔼-×[ϱ(Cx(k))-Cx(k)]-+BK(p(k))Cx(k)+Nf(z(k))𝔼+-+Dx(k-d)+Ex(k)ω(k)Ax(k)+p(k)BK(p(k))]TQ(p(k+1))××[Ax(k)+p(k)BK(p(k))-×[ϱ(Cx(k))-Cx(k)]-+(ξ(k)-p(k))BK(p(k))-×[ϱ(Cx(k))-Cx(k)]-+BK(p(k))Cx(k)+Dx(k-d)-+Nf(z(k))+Ex(k)ω(k)Ax(k)+p(k)BK(p(k))]-xT(k)Q(p(k))x(k)+xT(k)Qτx(k)-xT(k-d)Qτx(k-d)}≤𝔼{[(A-+(1-p(k))BK(p(k))C)x(k)+p(k)BK(p(k))ϱ(Cx(k))+D-x(k-d)+Nfs(z(k))(A-+(1-p(k))BK(p(k))C)]TQ(p(k+1))×[(A-+(1-p(k))BK(p(k))C)x(k)+p(k)BK(p(k))ϱ(Cx(k))+D-x(k-d)+Nfs(z(k))(A-+(1-p(k))BK(p(k))C)]+p(k)(1-p(k))××[BK(p(k))(ϱ(Cx(k))-Cx(k))]T××Q(p(k+1))BK(p(k))××[ϱ(Cx(k))-Cx(k)]×+σ2xT(k)ETQ(p(k+1))Ex(k)×-xT(k)Q(p(k))x(k)×-xT(k-d)Qτx(k-d)×+xT(k)Qτx(k)+2fsT(z(k))FGx(k)×+2fsT(z(k))FGdx(k-d)×-2fsT(z(k))fs(z(k))×-2ϱT(Cx(k))ϱ(Cx(k))×+(2+2a)ϱT(Cx(k))Cx(k)×-2a(Cx(k))TCx(k)[(A-+(1-p(k))BK(p(k))C)x(k)}.
Denote the following matrix variables:
(22)η(k)=[xT(k)xT(k-d)ϱT(Cx(k))fsT(z(k))]T;
then, it is obvious that
(23)𝔼{ΔV(k)}≤𝔼{ηT(k)Ωη(k)},
where
(24)Ω=[Ω1***Ω2Ω3**Ω4Ω5Ω6*Ω7Ω8Ω9Ω10],Ω1=[A-+(1-p(k))BK(p(k))C]T×Q(p(k+1))[A-+(1-p(k))BK(p(k))C]+σ2ETQ(p(k+1))E+Δp(k)(BK(p(k))C)TQ(p(k+1))×BK(p(k))C+Qτ-Q(p(k))-2aCTC,Ω2=D-TQ(p(k+1))[A-+(1-p(k))BK(p(k))C],Ω3=D-TQ(p(k+1))D--Qτ,Ω4=p(k)(BK(p(k)))TQ(p(k+1))×[A-+(1-p(k))BK(p(k))C]+Δp(k)(BK(p(k)))TQ(p(k+1))×BK(p(k))C+(a+1)C,Ω5=p(k)(BK(p(k)))TQ(p(k+1))D-,Ω6=p2(k)[BK(p(k))]TQ(p(k+1))×BK(p(k))+Δp(k)[BK(p(k))]T×Q(p(k+1))BK(p(k))-2I,Ω7=NTQ(p(k+1))×[A-+(1-p(k))BK(p(k))C]+FG,Ω8=NTQ(p(k+1))D-+FGd,Ω9=p(k)NTQ(p(k+1))BK(p(k)),Ω10=NTQ(p(k+1))N-2I.
If Ω≤0, we can conclude the following matrix by Schur complement: (25)[Qτ-Q(p(k))-2aCTC******0-Qτ*****(a+1)C0-2I****FGFGd0-2I***A-+(1-p(k))BK(p(k))CD-p(k)BK(p(k))N-Λ**E0000-σ-2Λ*BK(p(k))C0BK(p(k))000-Δp-1(k)Λ]<0,where
(26)Λ=Q-1(p(k+1));
by preforming the congruence transformation diag{I,I,I,I,S,σ2S,Δp(k)S} to (25), we have(27)[Qτ-Q(p(k))-2aCTC******0-Qτ*****(a+1)C0-2I****FGFGd0-2I***STA-+(1-p(k))STBK(p(k))CSTD-p(k)STBK(p(k))STN-Λ^**σ2STE0000-σ2Λ^*Δp(k)STBK(p(k))C0Δp(k)STBK(p(k))000-Δp(k)Λ^]<0,where
(28)Λ^=STQ-1(p(k+1))S.
From inequality
(29)STQ-1(p(k+1))S≥ST+S-Q(p(k+1))≜Λ-,
we can get (30)[Qτ-Q(p(k))-2aCTC******0-Qτ*****(a+1)C0-2I****FGFGd0-2I***STA-+(1-p(k))STBK(p(k))CSTD-p(k)STBK(p(k))STN-Λ-**σ2STE0000-σ2Λ-*Δp(k)STBK(p(k))C0Δp(k)STBK(p(k))000-Δp(k)Λ-]<0.By using Lemma 6, we have STB=BR, and denoting that RK(p(k))=Y(p(k)), then (30) can be written as (17); furthermore, we can know from Lemma 5 that Ω<0 and, subsequently,
(31)𝔼{ΔV(k)}<-λmin(-Ω)𝔼|η(k)|2,
where λmin(-Ω) is the minimum eigenvalue of (-Ω). Finally, we can confirm from Lemma 1 in [13] that the closed-loop system is exponentially mean-square stable; then the proof of this theorem is complete.
Remark 9.
The ROSSs have been studied in [1, 12] by constructing a concise and effective time-invariant Bernoulli distribution model; however, in many practical systems, ROSSs sometimes appear with time-varying probability. Therefore, in this case, we considered ROSSs satisfying time-varying Bernoulli distribution which is more reasonable in reality. On the other hand, unlike other time-varying parameters discussed in gain-scheduling technique or parameter-dependent Lyapunov functional; see, for example, [17–19], the parameter p(k) considered in this paper is the time-varying occurrence probability of ROSSs, based on which a new kind of controller is designed and a novel probability-dependent Lyapunov functional is proposed to reduce the potential conservatism.
Next, we are in a position to consider the nonfragile gain-scheduled controller design for system (12) based on what we got in Theorem 8.
Theorem 10.
Consider the discrete-time nonlinear stochastic systems with ROSSs (12) and the nonfragile gain-scheduled controller (8). If there exist positive-definite matrices Q(p(k)) and Qτ, slack matrix S, and nonsingular matrices Y(p(k)) and R, scalars ε1>0, ε2>0, LMIs (17), equations (18), and the following LMIs hold:
(32)[Υ****ε1Π2T-ε1I***Π30-ε1I**ε2Π4T00-ε2I*Π5000-ε2I]<0,
where
(33)Π2=[0000[(1-p(k))STBL]T0[Δp(k)STBL]T]T,Π3=[MC0M0000],Π4=[0000[(2p(k)-1)STBL]T00]T,Π5=[00M0000];
in this case, the constant gains of the desired controller can be obtained as follows:
(34)K0=R-1Y0,Ku=R-1Yu,
and the closed-system (12) is then exponentially mean-square stable for all p(k)∈[p1p2].
Proof.
In order to get the nonfragile gain-scheduled controller, we replace the K(p(k)) with K(p(k))+ΔK; then, RK(p(k))=Y(p(k)) can be written as R[K(p(k))+ΔK]=Y(p(k))+ΔY, ΔY=RΔK=RLH(k)M. Noting that STB=BR, we can rewrite (17) as
(35)Υ+Π2H(k)Π3+Π3THT(k)Π2T+Π4H(k)Π5+Π5THT(k)Π4T<0.
From Lemma 7, we know that a necessary and sufficient condition guaranteeing (35) is that there exist scalars ε1>0, ε2>0 such that
(36)Υ+ε1Π2Π2T+ε1-1Π3TΠ3+ε2Π4Π4T+ε2-1Π5TΠ5<0;
by using the knowledge of Schur complement, we can find that (36) is equivalent to (32). Now, the proof is complete.
Remark 11.
In Theorem 10, a nonfragile gain-scheduled controller has been designed based on a set of LMIs. However, the LMIs are actually infinite owing to the time-varying parameter p(k)∈[p1p2]. In this case, the desired controller cannot be obtained directly due to the infinite number of LMIs. To handle such a problem, in the next theorem, we have to convert this problem to a computationally accessible one by assigning a specific form to p(k). First of all, let us set Q(p(k))=Q0+p(k)Qu.
Theorem 12.
Consider the discrete-time nonlinear stochastic system with ROSSs (12). If there exist positive-definite matrices Q0, Qu and Qτ, slack matrix S and nonsingular matrices Y(p(k)) and R, such that the following LMIs hold: (37)𝕄ijlm:=[Υijlm****ε1Π2ijT-ε1I***Π30-ε1I**ε2Π4iT00-ε2I*Π5000-ε2I]<0,Υijlm:=[Qτ-Qi(p(k))-2aCTC******0-Qτ*****(a+1)C0-2I****FGFGd0-2I***STA-+(1-pi)BYm(p(k))CSTD-piBYm(p(k))STN-Λ-l**σ2STE0000-σ2Λ-l*ΔijBYm(p(k))C0ΔijBYm(p(k))000-ΔijΛ-l],where
(38)Λ-=-Q0-plQu+S+ST,Δij=pi(1-pj),A-=A+NF1G,D-=D+NF1Gd,STB=BR,RK(p(k))=Y(p(k)),K(p(k))=R-1Y(p(k)),Ym(p(k))=Y0+pmYu,Qi(p(k))=Q0+piQu,Π2ij=[0000[(1-pi)STBL]T0[ΔijSTBL]T]T,Π3=[MC0M0000],Π4i=[0000[(2pi-1)STBL]T00]T,Π5=[00M0000],
in this case, the constant gains of the desired controller can be obtained as follows:
(39)K0=R-1Y0,Ku=R-1Yu,
and the closed-system (12) is then exponentially mean-square stable for all p(k)∈[p1p2].
Proof.
Firstly, set
(40)α1(k)=p2-p(k)p2-p1,α2(k)=p(k)-p1p2-p1;
therefore, we have
(41)p(k)=α1(k)p1+α2(k)p2,
with αi(k)≥0(i=1,2) and α1(k)+α2(k)=1. Similarly, let
(42)β1(k)=p2-p(k+1)p2-p1,β2(k)=p(k+1)-p1p2-p1,
and we have
(43)p(k+1)=β1(k)p1+β2(k)p2,
with βi(k)≥0(i=1,2), β1(k)+β2(k)=1. From the pervious transformation, we can easily get
(44)Q(p(k))=∑i=12αi(k)Qi(p(k)),Λ-=∑l=12βl(k)Λ-l,Y(p(k))=∑m=12αm(k)Ym(p(k)).
On the other hand, it is easy to find that
(45)∑i,j,l,m=12αi(k)αj(k)αm(k)βl(k)𝕄ijlm<0.
From (40)–(45), we can have that (32) in Theorem 10 is true; then the proof is now complete.
Remark 13.
By using the methods proposed in the proof of Theorem 10, we choose 4 variables; then, it is easy to calculate the number of LMIs as 24 depending on the upper and lower bound of p(k).
4. An Illustrative Example
In this section, the nonfragile gain-scheduled controller is designed for the discrete-time nonlinear stochastic systems with ROSSs.
The system parameters are given as follows:
(46)A=[0.44000.81],N=[0.130.20.280.33],B=[0.0109.22.8],C=[00.190.62.20],D=[0.020.140.150.18],F1=[0.06000.01],F2=[0.1000.01],G=[0.080.120.080.02],Gd=[0.010.090.180.09],E=[0.30.190.10.02],L=[0.01000.02],M=[0.1000.02],H(k)=I,p1=0.49,p2=0.51,σ2=1,a=0.411,ε1=0.21,ε2=0.2.
Set the time-varying Bernoulli distribution sequences as p(k)=p1+(p2-p1)|sin(k)|, and the sector nonlinear function f(u) is taken by
(47)f(u)=F1+F22u+F2-F12sin(u),
which satisfies (3). Also, select the initial state ρ=[2-2]T.
According to Theorem 12, the constant controller parameters K0, Ku can be obtained as follows:
(48)K0=[10.2565-12.4544-33.730640.8091],Ku=[0.1041-0.0090-0.34210.0296].
Then, according to the measured time-varying probability parameters p(k), the gain-scheduled controller gain K(p(k)) and parameter-dependent Lyapunov matrix Q(p(k)) can be calculated at every time step k as in Table 1.
Computing results.
k
p(k)
Q(p(k))
K(p(k))
0
0.5068
[1.72440.74500.74503.9564]
[10.3093-12.4590-33.904040.8241]
1
0.5082
[1.72610.74430.74433.9568]
[10.3094-12.4590-33.904540.8242]
2
0.4928
[1.70700.75130.75133.9522]
[10.3078-12.4588-33.899240.8237]
⋮
⋮
⋮
⋮
Figure 1 gives the response curves of state x(k) of uncontrolled systems. Figure 2 depicts the simulation results of state x(k) of the controlled systems. The simulation results have illustrated our theoretical analysis.
State evolution x(k) of uncontrolled systems.
State evolution x(k) of controlled systems.
5. Conclusions
In this paper, the nonfragile gain-scheduled control problem for a class of discrete stochastic systems with ROSSs is tackled, and the sensor saturation phenomenon is assumed to occur in a random way based on the time-varying Bernoulli distribution with measurable probability in real time. By employing probability-dependent Lyapunov functional, we design a nonfragile gain-scheduled controller with the gain including both constant and time-varying parameters such that, for all admissible sensor saturations, time-delays and noise disturbances, the closed-loop system is still exponentially mean-square stable. Furthermore, we can extend the main results to more complex and realistic systems, for instance, complex networks and systems with several kinds of randomly occurring phenomena simultaneously. Meanwhile, we can also consider corresponding control/filtering problems for time-varying systems with time-varying ROSSs, such as robust sliding mode control, quantized recursive filtering, or extended Kalman filtering. The related references can be found; see, for example, [2, 3, 6].
Acknowledgments
This work was supported in part by the National Natural Science Foundation of China under Grant 61074016, the Program for Professor of Special Appointment (Eastern Scholar) at Shanghai Institutions of Higher Learning, the Program for New Century Excellent Talents in University under Grant NCET-11-1051, the Leverhulme Trust of the UK, the Alexander von Humboldt Foundation of Germany, and the Innovation Fund Project for Graduate Student of Shanghai under Grant JWCXSL1202.
DingD.WangZ.ShenB.ShuH.H∞ state estimation for discrete-time complex networks with randomly occurring sensor saturations and randomly varying sensor delays2012235725736HuJ.WangZ.GaoH.StergioulasL. K.Robust sliding mode control for discrete stochastic systems with mixed time delays, randomly occurring uncertainties and randomly occurring nonlinearities201259730083015HuJ.WangZ.GaoH.StergioulasL. K.Extended Kalman filtering with stochastic nonlinearities and multiple missing measurements20124892007201510.1016/j.automatica.2012.03.027MR2956877ZBL1257.93099HuJ.WangZ.NiuY.StergioulasL. K.H∞ sliding mode observer design for a class of nonlinear discrete time-delay systems: a delay-fractioning approach201222161806182610.1002/rnc.1785MR2983311HuJ.WangZ.ShenB.GaoH.Gain-constrained recursive filtering with stochastic nonlinearities and probabilistic
sensor delays201361512301238HuJ.WangZ.ShenB.GaoH.Quantized recursive filtering for a class of nonlinear systems with multiplicative noises and missing measurements2013864650663LiL.JiaY.Non-fragile dynamic output feedback control for linear systems with time-varying delay200938995100510.1049/iet-cta.2008.0008MR2561153LiW.WeiG.WangL.Probability-dependent static output feedback control for discrete-time nonlinear stochastic systems with missing measurements201220121510.1155/2012/696742696742MR2971190ShenB.WangZ.LiangJ.LiuY.Recent advances on filtering and control for nonlinear stochastic complex systems with incomplete information: a survey201220121653075910.1155/2012/530759MR2861870ShuH.WeiG.H∞ analysis of nonlinear stochastic time-delay systems200526263764710.1016/j.chaos.2005.01.025MR2143974ZBL1153.93355ShuH.WangZ.LüZ.Global asymptotic stability of uncertain stochastic bi-directional associative memory networks with discrete and distributed delays200980349050510.1016/j.matcom.2008.07.007MR2576440ZBL1195.34125WangZ.ShenB.LiuX.H∞ filtering with randomly occurring sensor saturations and missing measurements201248355656210.1016/j.automatica.2012.01.008MR2889455ZBL1244.93162WangZ.YangF.HoD. W. C.LiuX.Robust H∞ filtering for stochastic time-delay systems with missing measurements200654725792587WeiG.WangZ.ShenB.Probability-dependent gain-scheduled filtering for stochastic systems with missing measurements20115811753757WeiG.WangZ.ShenB.Probability-dependent gain-scheduled control for discrete stochastic delayed systems with randomly occurring nonlinearities2013237815826YangF.WangZ.HungY. S.GaniM.H∞ control for networked systems with random communication delays200651351151810.1109/TAC.2005.864207MR2205692ApkarianP.AdamsR. J.Advanced gain-scheduling techniques for uncertain systems1998612132CaoY.-Y.LinZ.ShamashY.Set invariance analysis and gain-scheduling control for LPV systems subject to actuator saturation200246213715110.1016/S0167-6911(02)00128-7MR2010066ZBL0994.93014RughW. J.ShammaJ. S.Research on gain scheduling200036101401142510.1016/S0005-1098(00)00058-3MR1829765ZBL0976.93002ParkJ. H.Robust non-fragile control for uncertain discrete-delay large-scale systems with a class of controller gain variations2004149114716410.1016/S0096-3003(02)00962-1MR2030988ZBL1035.93021PeterD.Non-fragile controller design: an overview5Proceedings of the American Control Conference199828292831YangG.-H.CheW.-W.Non-fragile H∞ filter design for linear continuous-time systems200844112849285610.1016/j.automatica.2008.03.018MR2527206ZBL1152.93365CaoY.LamJ.SunY.Static output feedback stabiliztion: an LMI approach1998341216411645GeromelJ. C.de SouzaC. C.SkeltonR. E.Static output feedback controllers: stability and convexity199843112012510.1109/9.654912MR1604277ZBL0952.93106KarI. N.Design of static output feedback controller for uncertain systems199935116917510.1016/S0005-1098(98)00170-8MR1827801ZBL0945.93603QiuJ.FengG.GaoH.Fuzzy-model-based piecewise H∞ static-output-feedback controller design for networked non-linear systems2010185919934SyrmosV. L.AbdallahC. T.DoratoP.GrigoriadisK.Static output feedback—a survey199733212513710.1016/S0005-1098(96)00141-0MR1436056ZBL0872.93036BoydS.El GhaouiL.FeronE.BalakrishnanV.1994Philadelphia, Pa, USASociety for Industrial and Applied Mathematics (SIAM)10.1137/1.9781611970777MR1284712ZBL1153.91783