Abstract

The problem of network-based robust filtering for stochastic systems with sensor nonlinearity is investigated in this paper. In the network environment, the effects of the sensor saturation, output quantization, and network-induced delay are taken into simultaneous consideration, and the output measurements received in the filter side are incomplete. The random delays are modeled as a linear function of the stochastic variable described by a Bernoulli random binary distribution. The derived criteria for performance analysis of the filtering-error system and filter design are proposed which can be solved by using convex optimization method. Numerical examples show the effectiveness of the design method.

1. Introduction

In recent years, networked control systems (NCSs) have been extensively investigated due to thier broad applications in industrial engineering [1]. NCSs hold a few excellent advantages such as reduction of costs of cables and power, simplification of the installation and maintenance of the whole system, and increase of the reliability [2]. However, the insertion of the communication channels also arises some unexpected phenomenon in NCSs such as signals quantization [1], intermittent data packet losses, and the signal-transmission delay [3, 4]. These phenomena emerging in NCSs are known to be the main causes for the performance deterioration or even the instability of the controlled networked system. Over the past few years, intensive research interest has been reported in a wealth of the literature focusing on the control and filtering problems of NCSs involved with networked-induced time delay, packet losses, and signal quantization (see, e.g., [1] and the references therein).

Stochastic phenomenon frequently exhibits in many branches of science and engineering applications [510]. In the past few years, increasing research interests have recently been paid to the study of control and filtering problems for various continuous-time or discrete-time stochastic systems [5]. For instance, the nonlinear filtering problem has been investigated for discrete-time stochastic systems subject to signal quantization in [2]. The design problem of state estimation and stabilization for a nonlinear networked control systems has been addressed in [11], while the output feedback control problem has been considered in [12].

In practical physical systems, sensors and actuators cannot always provide unlimited amplitude signal mainly due to the physical or safety constraints [13]. The phenomenon of sensor and/or actuator saturation can yield significant limitations on various aspects of sensor and/or actuator performance, for example, the range limitations that results in the nonlinear characteristic of sensors and/or actuator [13, 14]. For actuator saturation, a great deal of attention has been focused on the control and filtering problems for various types of systems [15]. In particular, the control problem has been investigated for continuous-time linear delay systems subject to quantization and saturation in [16], where both quantized state and quantized input are taken into consideration.

It should be pointed out that, if we consider the filtering problem for stochastic systems in a realistic networked environment, the effects of sensor saturation, sensor quantization, and random communication delay always exhibit simultaneously. However, in networked environments, the sensor saturation may occur to be involved with state-dependent disturbance, and it may result from random sensor failures leading to intermittent saturation, sensor aging resulting in changeable saturation level, repairs of partial components, changes in the interconnections of subsystems, and so forth. Therefore, when investigating the filtering problems of NCSs with a stochastic plant, the model under consideration should be more comprehensive to reflect the realities such as the the state-dependent stochastic disturbances, the coupling effects of sensor saturation, output quantization, and networked-induced transmission delay. Unfortunately, however, to the best of the authors’ knowledge, the filtering problem on stochastic systems subject to sensor saturation, quantization, and random communication delay has not been investigated and remains to be important and challenging. This motivates our current work.

In this paper, we are concerned with the filter design problem for discrete-time networked stochastic systems subject to output saturation, quantization, and random communication delay. The networked-induced communication delay phenomena are modeled by a Bernoulli random binary distributed white sequence with a known conditional probability. In this network setting, the effects of sensor saturation, output quantization, and communication delay in the digital communication channel exhibit simultaneously, and the signal received in the filter side is imperfect. The objective is to analyze and design a robust filter such that the asymptotic estimates of system states are obtained by employing the incomplete output measurements. Moreover, sufficient conditions will be proposed such that the derived filtering error system is robustly stochastically stable with a prescribed disturbance attenuation level. Finally, a numerical example is provided to illustrate the effectiveness of the proposed filtering design approach.

Throughout the paper, is the mathematical expectation. denotes the Euclidean norm of a vector. Given a symmetric matrix , the notation (<0) denotes a positive definite matrix (negative definite, resp.). denotes an identity matrix with dimension .

2. Problem Description

We consider the following discrete-time stochastic system with state-dependent disturbance: where is the state; is the output; the saturation function is defined as in (3); is the quantized output, and is the logarithmic quantizer defined in (6)-(7); is the state combination to be estimated; , , , , , and are known constant matrices.

In plant (1), is a standard one-dimensional random process on a probability space , where is the sample space, is the -algebra of subsets of the sample space, and is the probability measure on . The sequence of is generated by where denotes the set of natural numbers, and it satisfies that , , for .

Besides, it is assumed that the exogenous disturbance belongs to , where denotes the space of -dimensional nonanticipatory square-integrable process on with respect to , and satisfies

Remark 1. As seen in plant (1), the phenomena of sensor quantization and saturation are taken into consideration simultaneously, which is one of the main contributions of this paper. Although there have been much of the literature devoted to quantized filtering, few of which has considered the effect of sensor saturation.

The structure of the quantized filtering system is illustrated in Figure 1.

We denote as for simplicity in the following discussion. It is assumed that the saturation function in (1) belongs to for some given diagonal matrices , with , and , and satisfies the following sector condition: In the light of (3), the nonlinear function can be decomposed into a linear and a nonlinear part as follows: and the nonlinearity satisfies , where the set is defined as and .

In this paper, we employ the logarithmic quantizer for system (1) which is described as follows: and is defined as follows: where are the quantizer parameters.

In fact, the logarithmic quantizer (7) can be characterized by the following form: where

In this filtering problem, the measured output received in the filter side is involved with the effects of quantization and communication delay, and it is described by with , and the stochastic variable is a Bernoulli distributed white sequence with the probability distribution as follows: where is a known positive constant to denote the probability that the packet will be transmitted successfully from sensor to filter, and denotes the variance of .

For simplicity, we denote , , , , in the following discussion. In the light of (4), (10) can be written as The main objective of this paper is to address the filtering problem for stochastic system (1) by employing the incomplete measurements . To this end, we consider the following filter of full order : where is the state of the filter, and is the estimated signal; and are filter gains to be designed.

We define the following error variables: Subtracting (13) from (1) and considering the imperfect output measurements (12), we obtain the filtering error dynamics as follows: We define the following error variables: Combining the error dynamics (15) with the plant (1), we obtain the following augmented filtering error dynamics: where For simplicity, we denote in the following discussion.

System (17) contains sector-bounded uncertainty and stochastic parameters , and thus it is an uncertain stochastic parameter system where the uncertainties resulted from the quantization error. Due to this fact, it is required to introduce the notion of stochastic stability before proceeding with the subsequent analysis.

Before formulating the problem to be investigated, we introduce the following definition and lemma.

Definition 2 (see [17]). The stochastic system (17) under is said to be stochastically stable if there exists a scalar such that

Lemma 3 (see [18]). For any real vectors , and matrix of compatible dimensions, the following inequality holds:

In the sequel, the main objective of this paper is as follows.

  Filtering Problem. Given a disturbance attenuation level , the parameters and of filter (13) are designed such that (i) the resulting filtering error system is stochastically stable for , and (ii) for any function , holds under zero initial conditions for all .

3. Filtering Performance Analysis

In this section, we shall focus on the performance, that is, presenting sufficient conditions under which the performance index is achieved for a given filter.

Theorem 4. If there exist positive and definite matrices , such that the following matrix inequality constraint holds: then the filtering error system (17) is stochastically stable.

Proof. Consider the filtering error system (17) with , select the stochastic Lyapunov functional candidate as with , . It follows from (17) that Notice that , and thus we have In fact, for the saturation function , from (5) we have that which implies that with .
In the light of (26), (27), and (24), one can obtain The following proof is divided into the following two parts: (i) a proof that the filtering error system (17) is stochastically stable with , and (ii) a proof that .
(i) Firstly, we establish the stochastic stability of the filtering error system (17) under the condition (22). It follows from (28) with that where
It is obvious that if , one can obtain that . Therefore, it follows from Kolmanovskii and Myshkis [19] that the filtering error system (17) with is stochastically stable. On the other hand, by means of Schur’s complement, is equivalent to the following matrix condition: Notice that the condition (22) can imply (31). This means that if there exist positive and definite matrices , such that matrix condition (22) holds, then system (17) is stochastically stable.
(ii) Next, the objective should be devoted to prove that the filtering error system (17) satisfies for all nonzero .
In fact, under zero initial conditions, it is shown that We define the following performance index function: for any integer .
It follows from (34) that where From (35), it can be shown that if holds, then , which implies that (32) holds for any nonzero . Furthermore, it is easy to see that is equivalent to the condition (22). This means that the condition (22) in Theorem 4 can imply . This completes the proof.

4. Filter Design

In this section, the attention should be paid on coping with the addressed filter design problem for the discrete-time stochastic system (1) based on Theorem 4.

Lemma 5 (see [18]). Let , , and be real matrices of appropriate dimensions with satisfying . Then, for any scalar ,

The following theorem provides the sufficient LMI condition for the existence of the proposed robust filter (13).

Theorem 6. Consider the discrete-time stochastic system (1), for a given disturbance level , if there exist positive and definite matrices , , and matrices and , and positive scalars , , and such that the following LMI holds: with
then the filtering problem is solved by the filter (13). Furthermore, the filter gains are given by

Proof. The matrix condition (22) in Theorem 4 can be rewritten as where In the light of Lemma 5, it is shown that the condition (41) holds if the following condition holds: Multiply and its transpose on the left side and the right side of (43), respectively, and let , , one can obtain the condition (38). This means that if there exist scalars , , such that the LMI condition (38) holds, then the error system (17) is stochastically stable, and the performance (32) is guaranteed. This completes the proof.

Remark 7. The LMI condition (38) of Theorem 6 is not conservative, since the system matrix has been supposed to be stable.

5. Simulation

We consider the system (1) with the following data: , , and , . For the logarithmic quantizer (7), the quantizer densities are chosen as and . The initial quantizer points are chosen as and . It can be calculated that and . The random communication delay parameters are selected as , and . The saturation parameter matrices are selected as follows: and .

Besides, the model parameters are given as follows: Without loss of generality, we assume that the noises in system (1) have the following form: and it can be checked that satisfies the constraint (2). Solving the LMI condition (38), one can obtain the following solutions: The filter gain are then calculated as follows: The initial condition is selected as , , and the quantizer parameter is selected as . The trajectories of plant states and its estimates are shown in Figures 2, 3, and 4; the comparisons of the unquantized saturated outputs and quantized saturated outputs are shown in Figures 5 and 6; the trajectory of the error estimation signal is illustrated in Figures 7 and 8. It can be seen that the obtained state estimation is desirable.

6. Conclusion

In this paper, the filtering problem has been investigated for stochastic systems subject to sensor saturation over limited capacity channel. The plant under consideration is a class of stochastic systems with random noise depending on state and external disturbance. In this setting, the effects of sensor quantization, output logarithmic quantization, and networked-induced communication delay are taken into account simultaneously. The phenomenon of random communication delay is described by a Bernoulli type stochastic variable. Subsequently, the filter is designed for the considered plant by employing the quantized output measurements, and sufficient conditions are established for the existence of the proposed filter.

Acknowledgments

This work is supported by the National High Technology Research and Development Program of China (no. 2012AA120601), National Natural Science Foundation of China (no. 11202044 and no. 11072044) and the Fundamental Research Funds for the Central Universities.