Abstract

This paper investigates the problem of filtering for class discrete-time Lipschitz nonlinear singular systems with measurement quantization. Assume that the system measurement output is quantized by a static, memoryless, and logarithmic quantizer before it is transmitted to the filter, while the quantizer errors can be treated as sector-bound uncertainties. The attention of this paper is focused on the design of a nonlinear quantized filter to mitigate quantization effects and ensure that the filtering error system is admissible (asymptotically stable, regular, and causal), while having a unique solution with a prescribed noise attenuation level. By introducing some slack variables and using the Lyapunov stability theory, some sufficient conditions for the existence of the nonlinear quantized filter are expressed in terms of linear matrix inequalities (LMIs). Finally, a numerical example is presented to demonstrate the effectiveness of the proposed quantized filter design method.

1. Introduction

The study on singular systems (also known as descriptor systems, generalized state-space systems, differential algebraic systems, or implicit systems) has attracted a recurring interest in the past several decades as the singular systems can provide a better description of many physical systems than regular ones such as circuit systems, economic systems, power systems, chemical processes, robotic systems, and networked systems. The problem of stability analysis and controller design for singular systems has achieved many valuable results (see, e.g., [17] and references therein). The related problem of robust static output-feedback control for singularly perturbed systems has been addressed in [1]; also the stability, robust stabilization, and control of singular systems with impulsive behavior have been studied in [2]; the problem of observer-based resilient control for singular systems with time-delay has been investigated in [3]; the work in [4] considered the problem of designing stabilizing controllers for singularly perturbed fuzzy systems; by using a new type generalized Lyapunov equation, some new stability conditions for discrete singular systems have been derived in [5]; and [6] investigated the problem state feedback control for uncertain singular systems with time-delay. Due to the fact that the state variables of system are not always available, the problem of state estimation for singular systems has also received considerable attention (see, e.g., [717] and references therein). filtering problem for continuous-time linear singular systems has been considered in [8]; in [9], the problem of energy-to-peak filtering for discrete-time linear singular systems has been addressed; unbiased filtering problem for linear descriptor systems has been studied in [10]; the problem of filtering for continuous- and discrete-time singular systems with communication constraints has been investigated in [11] and [12], respectively; the study in [13] considered the problem of robust nonlinear filtering for Lipschitz nonlinear descriptor systems with parametric uncertainties; the problem of robust filter design of uncertain descriptor systems with distributed delays has been studied in [14]; the paper [15] concerned the problem of generalized nonlinear filtering for discrete-time Markov jump descriptor systems with Lipschitz nonlinearity; the generalized nonlinear filter design problem for discrete-time Lipschitz nonlinear descriptor systems has been considered in [16]; and [17] studied the observer design problem for discrete-time linear descriptor systems which is also applicable to nonlinear descriptor systems with Lipschitz constraints. approach-based fault detection filter design for a continuous-time networked control system and unmanned surface vehicles in network environments has been investigated in [18] and [19], respectively, and some novel filter design criteria have been presented.

On the other hand, due to inherent network-limited bandwidth, quantization effects are unavoidable in practical systems, especially in networked control systems (NCSs); see [2022] for results in NCSs. As early as 1956, Kalman investigated the effect of quantization in a sampled data control system and pointed out that if a stabilizing controller was quantized using a finite-alphabet quantizer, the feedback system would exhibit limit cycles and chaotic behavior [23]. Over the past several years, significant efforts have been devoted to the study of analysis and synthesis for linear system with quantized feedback [2429]. The problem of quantized filter design for different systems has been investigated in [3034]. In [30], the quantized state estimation problem for discrete-time linear systems has been addressed; the work in [31] considered the filtering problem for a class continuous-time polytopic uncertain systems subject to measurement quantization, signal transmission delay, and data packet dropout; the problem of filtering for discrete-time T-S fuzzy systems with measurement quantization and packet dropouts has been studied in [32]; and [33] investigated the problem of filtering for discrete-time polytopic uncertain systems with measurement quantization; in [34], the quantized filtering problem for a class of discrete-time polytopic uncertain systems with packet dropout has been considered. To the best of our knowledge, few attempts have been made on an filter design for singular systems with quantized measurement, especially for the singular systems with Lipschitz nonlinearity, which motivates us for this study.

This paper focuses on the design of filter for a class of discrete-time Lipschitz nonlinear singular systems with measurement quantization. Via introducing auxiliary relaxed variables by Fisher lemma and using the Lyapunov stability theory, some sufficient conditions for the existence of the nonlinear quantized filter are obtained in terms of linear matrix inequalities (LMIs), which can not only ensure that the filtering error system is admissible and has a unique solution but also achieve a prescribed performance. Finally, we will illustrate the effectiveness of our main results by a numerical example.

Notations. The notations that are used throughout this paper are standard. The notation is used to indicate the terms that can be induced by symmetry. Generally, for a square matrix , denotes its transpose and denotes .

2. Problem Formulation

Consider the following nonlinear discrete-time singular systems described bywhere is the state variable; is the measurement output; is the signal to be estimated; is the noise signal that is assumed to be the arbitrary signal in ; the matrix may be singular, and we shall assume that ; the matrices , , , , and are known matrices with appropriate dimensions.

The nonlinear term we consider here is locally Lipschitz with respect to in a region containing the origin; that is,where denotes the Lipschitz real matrix of with appropriate dimension.

For the unforced discrete-time singular system , we have the following definition.

Definition 1 (see [9]). The pair is said to be regular if there exists a scalar such that , the pair is said to be causal if = , and the pair is said to be stable if all the roots of lie in the interior of unit disk. We call the pair admissible if it is regular, causal, and stable, simultaneously. The unforced discrete-time singular system is said to be regular, causal, and stable (asymptotically stable) if the pair is admissible.

The designed full-order nonlinear quantized filter is in the form ofwhere is the state of the filter and is the output of the filter; the matrices , , , and are filter matrices with appropriate dimensions to be designed and is the quantized measurement.

Remark 2. Note that the filter we consider here has a standard form, which is convenient for both theoretical analysis and implementation in practical engineering compared to the singular form.

The quantizer we consider is logarithmic static and time-invariant quantizer given in [30]. The set of quantized levels is described by and the quantizer is defined as follows:

Then, by using the sector-bound method described in [30], we can obtain that, for any , , where

Combining (1) and (3) and defining and , one can obtain the filtering error system as follows:where

To this end, we aim to design a quantized filter such that the filtering error system (6) satisfies the following requirements.

(R1) The filtering error system (6) is admissible and of a uniquely discrete solution with .

(R2) The filtering error system (6) has a prescribed level of noise attenuation; that is, is satisfied for any nonzero with the zero initial condition.

To solve the quantized filtering analysis problem of the considered nonlinear singular system, we need the following preliminary results to prove our main results.

Lemma 3 (see [35]). Let , and with and such that Then, the following conditions are equivalent:(1).(2).(3).(4)

Lemma 4 (see [16]). System (6) is regular, causal, and of a unique discrete solution, if there exists a matrix such that the following inequality holds:

Lemma 5 (see [36]). For real matrices , , , and with appropriate dimensions and . Then, for any scalar , the following inequality holds:

3. Main Results

In this section, the quantized filtering problem for nonlinear singular systems will be considered. First, we will give a new performance analysis criterion based on Fisher lemma given in Lemma 3 such that the filtering error system (6) is admissible and of a unique solution with a prescribed performance .

Theorem 6. Let us consider the nonlinear singular system (1) and the quantized filter (3). Then the quantized filtering error system (6) is admissible and of a unique solution with a prescribed performance , if there exist matrix , matrices and , and scalar such that the following matrix inequality holds:where .

Proof. Firstly, we shall show the filtering error system is regular and causal with . Equation (10) implies Without loss of generality, we assume that and  , and then (11) can be rewritten asForm (12) we have that implies is nonsingular. By choosing nonzero scalar , we have ; that is, . Furthermore, we can obtain Then, we have that the pair is regular and causal. Based on Definition 1, we can obtain the fact that filtering error system (6) is regular and causal when condition (10) holds.
Now, by constructing a Lyapunov function as ,  ,  , we have where and Form the filtering error system (6), we have and, by using conditions and of Lemma 3 with , we can obtain if and only if (10) is true. Therefore, we have for any nonzero , and one can infer that the filtering error system (6) is asymptotically stable with .
Next, we will prove that the filtering system (6) is of unique solution. The difference of the Lyapunov function can be rewritten as follows: where and and then from (10) we can obtain ; that is, . Therefore, based on Lemma 4, we can prove that the filtering error system (6) is of unique solution.
Finally, let us consider the performance of the filtering system (6). For any nonzero and zero initial condition, we have where and Form the filtering error system (6), we haveand, by using conditions and of Lemma 3 with and Schur complement lemma, we can obtain if and only if (10) is true. Then for any we have , which implies that Consider the zero initial condition and we obtain for any nonzero

Based on the performance analysis criterion given in Theorem 6, we will present a sufficient condition for designing the quantized filter in the form of (3), that is, to determine the filter gain matrices in (3) such that the prescribed performance is guaranteed for the quantized filtering error system (6).

Theorem 7. Let us consider the nonlinear singular system (1) and the quantized filter (3). For given quantization density , the quantized filtering error system (6) is admissible and of a unique solution with a prescribed performance , if there exist matrices , , , , and nonsingular matrix and some scalars , , , , and such that the following matrix inequality holds: where

The filter gain matrices in (3) can be obtained from (23) as , and .

Proof. The condition of (10) can be rewritten as follows:where and and
Then, by Lemma 5, we have that there exists a constant scalar such that where We can design the filter if (27) is solvable. Here, assume that the matrix variables involved in (27) have the following form: With the aforementioned related matrices considered and letting , , , , Theorem 7 can be obtained from (27).

Remark 8. For given , , , and , Theorem 7 is strictly LMIs. The quantization error bound can be calculated according to the given quantization density by (5) and the optimal values of , , and can be obtained by using fminsearch function in optimization toolbox of MATLAB (see [34, 37] for more details). Then Theorem 7 can be easily solved with the help of LMI control box in MATLAB [38].

4. A Numerical Example

In this section, a numerical example will be presented to illustrate the effectiveness and applicability of the proposed method. Let us consider the following nonlinear system in form of (1) borrowed from [16]: and then we have from (2).

Table 1 shows the minimum attention level obtained by using Theorem 7 with , , , and , under different quantization density. As expected, we can obtain that increases as the quantization density decreases from this table. Moreover, when , the corresponding filter parameters of Theorem 7 can be calculated as follows:

We assume the external disturbance , and the simulation results of signals and are shown in Figure 1. Figure 2 shows the response of the filtering error . From Figures 1 and 2, we can see that the designed filter is effective.

5. Conclusion

The quantized filtering problem for a class of discrete-time Lipschitz nonlinear singular systems has been addressed in this paper, where the system measurement output is quantized by a static, memoryless, and logarithmic quantizer. By introducing some variables and applying Lyapunov stability theory, sufficient conditions for designing the quantized filter are presented in linear matrix inequalities (LMIs), which ensure the quantized filtering error systems to be admissible and has a unique solution with a prescribed performance. A numerical example is given to show the effectiveness of the proposed design method. The results proposed in this paper can be further developed by the novel LMI decoupling approach presented in [39] which has also been used to deal with the filtering problem; see [40] for more details.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was supported in part by the Education Department of Jilin Province, China, under Science and Technology Research Project (Grant no. 20150214).