H ∞ Filtering for Discrete-Time Nonlinear Singular Systems with Quantization

This paper investigates the problem ofH∞ 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 quantizedH∞ 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 H∞ noise attenuation level. By introducing some slack variables and using the Lyapunov stability theory, some sufficient conditions for the existence of the nonlinear quantized H∞ 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.


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., [1][2][3][4][5][6][7] and references therein).The related problem of robust H ∞ static output-feedback control for singularly perturbed systems has been addressed in [1]; also the stability, robust stabilization, and H ∞ control of singular systems with impulsive behavior have been studied in [2]; the problem of observer-based resilient  2 - ∞ 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 timedelay.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., [7][8][9][10][11][12][13][14][15][16][17] and references therein).H ∞ 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; H ∞ unbiased filtering problem for linear descriptor systems has been studied in [10]; the problem of H ∞ 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 H ∞ filtering for Lipschitz nonlinear descriptor systems with parametric uncertainties; the problem of robust H ∞ filter design of uncertain descriptor systems with distributed delays has been studied in [14]; the Mathematical Problems in Engineering paper [15] concerned the problem of generalized nonlinear  2 - ∞ filtering for discrete-time Markov jump descriptor systems with Lipschitz nonlinearity; the generalized nonlinear H ∞ 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.H ∞ approachbased 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 [20][21][22] 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 [24][25][26][27][28][29].The problem of quantized H ∞ filter design for different systems has been investigated in [30][31][32][33][34].In [30], the quantized state estimation problem for discrete-time linear systems has been addressed; the work in [31] considered the H ∞ filtering problem for a class continuous-time polytopic uncertain systems subject to measurement quantization, signal transmission delay, and data packet dropout; the problem of H ∞ 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 H ∞ filtering for discretetime polytopic uncertain systems with measurement quantization; in [34], the quantized H ∞ 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 H ∞ 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 H ∞ 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 H ∞ 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 H ∞ 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 A, A  denotes its transpose and He{A} denotes (A + A  ).

Problem Formulation
Consider the following nonlinear discrete-time singular systems described by  ( + 1) = A () + Ψ (,  ()) + B () , where () ∈ R  is the state variable; () ∈ R  is the measurement output; () ∈ R  is the signal to be estimated; () ∈ R  is the noise signal that is assumed to be the arbitrary signal in  2 [0, ∞); the matrix  may be singular, and we shall assume that rank() =  < ; the matrices A, B, C, D, and L are known matrices with appropriate dimensions.
The nonlinear term we consider here is locally Lipschitz with respect to () in a region D containing the origin; that is, where F denotes the Lipschitz real matrix of Ψ(, ()) with appropriate dimension.For the unforced discrete-time singular system (+1) = A() + Ψ(, ()), we have the following definition.
Definition 1 (see [9]).The pair (, A) is said to be regular if there exists a scalar  ∈ C such that det(, A) ̸ = 0, the pair (, A) is said to be causal if deg(det(, A)) = rank(), and the pair (, A) is said to be stable if all the roots of det(, A) lie in the interior of unit disk.We call the pair (, A) 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 (, A) is admissible.
The designed full-order nonlinear quantized H ∞ filter is in the form of where   () ∈ R  is the state of the filter and   () ∈ R  is the output of the filter; the matrices A  , B  , C  , and D  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 timeinvariant quantizer given in [30].The set of quantized levels is described by 0 > 0 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 x() = [  (),    ()]  and () = () −   (), one can obtain the filtering error system as follows: where To this end, we aim to design a quantized H ∞ 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 () = 0.
To solve the quantized H ∞ filtering analysis problem of the considered nonlinear singular system, we need the following preliminary results to prove our main results.

Main Results
In this section, the quantized H ∞ filtering problem for nonlinear singular systems will be considered.First, we will give a new H ∞ 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 H ∞ 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 H ∞ performance  > 0, if there exist matrix P = P  = [ ] , P 1 > 0, matrices G and N, and scalar  1 such that the following matrix inequality holds: where F = diag{F  F, F  F}.
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 ( x()) = 3 x () Ẽ P Ẽ x(), P = P  = [ Form the filtering error system (6), we have and, by using conditions (1) and (4) of Lemma 3 with , we can obtain Γ < 0 if and only if ( 10) is true.Therefore, we have Δ( x()) < 0 for any nonzero (), and one can infer that the filtering error system ( 6) is asymptotically stable with () = 0.
Next, we will prove that the filtering system ( 6) is of unique solution.The difference of the Lyapunov function can be rewritten as follows: Δ ( x ()) =  ( x ( + 1)) −  ( x ())

Theorem 7.
Let us consider the nonlinear singular system (1) and the quantized filter (3).For given quantization density  > 0, the quantized filtering error system ( 6) is admissible and of a unique solution with a prescribed H ∞ performance  > 0, if there exist matrices P 1 = P  1 > 0, G 1 , G 2 , N 1 , and nonsingular matrix K and some scalars  1 ,  1 ,  2 ,  3 , and  > 0 such that the following matrix inequality holds: where The H ∞ filter gain matrices in (3) can be obtained from (23) as Proof.The condition of (10) can be rewritten as follows: where and and H 2 = [C 0] .Then, by Lemma 5, we have that there exists a constant scalar  > 0 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 A  = KA  , B  = KB  , C  = C  , D  = D  , Theorem 7 can be obtained from (27).
Remark 8.For given  1 ,  2 ,  3 , 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  1 ,  2 , and  3 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].

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 F = [ 0.1 0 0 0.1 ] from (2).Table 1 shows the minimum H ∞ attention level obtained by using Theorem 7 with  1 = −1.20, 2 = 0.11,  3 = 3.50, and  1 = 1, under different quantization density.As expected, we can obtain that  min increases as the quantization density  decreases from this table.Moreover, when  min = 0.1820, the corresponding filter parameters of Theorem 7 can be calculated as follows: We assume the external disturbance () = sin() −2 , 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 H ∞ filter is effective.

Conclusion
The quantized H ∞ filtering problem for a class of discretetime 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 H ∞ 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 H ∞ 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 H ∞ filtering problem; see [40] for more details.

Table 1 :
The minimum H ∞ filtering performances  min under different quantization density .