Robust and Computationally Efficient Digital IIR Filter Synthesis and Stability Analysis Under Finite Precision Implementations

In this paper, an analytical synthesis method for obtaining an optimal infinite impulse response (IIR) state-space realization, say minimal pole-zero and pole-<inline-formula><tex-math notation="LaTeX">$L_2$</tex-math></inline-formula> sensitivity realizations, based on minimizing zero/<inline-formula><tex-math notation="LaTeX">$L_2$</tex-math></inline-formula> sensitivity measures subject to sparse normal-form state transition matrix is proposed. The proposed <inline-formula><tex-math notation="LaTeX">$n$</tex-math></inline-formula>th order realization possesses strong robustness and at most only <inline-formula><tex-math notation="LaTeX">$4n+1$</tex-math></inline-formula> multiplications per output sample to prevent instability and output distortion, as well as to keep computational efficiency under finite word-length (FWL) effects. This is important for the IIR filter implemented in fixed-point and portable digital devices. In this paper, the proposed pole-<inline-formula><tex-math notation="LaTeX">$L_2$</tex-math></inline-formula> sensitivity minimization method, an alternative approach of pole-zero sensitivity minimization, may solve the issue of zero multiplicity. A normal-form realization has been proven that it can achieve a global minimum of un-weighted pole sensitivity measure as well as zero-input limit-cycle free property. The sparse normal-form realization can be synthesized from an arbitrary initial realization with distinct poles by using an analytical similarity transformation. Based on the derived fixed-point arithmetic model in state-space realizations, the Bellman-Gronwall Lemma, and normal-form transformation, a new word-length estimation to guarantee stability is derived. Finally, numerical simulations are performed to verify the correctness and the effectiveness of the theoretical results.

[1]  Gang Li,et al.  On pole and zero sensitivity of linear systems , 1997 .

[2]  B. Chen,et al.  Stability analysis of digital filters under finite word-length effects , 1989 .

[3]  Takao Hinamoto,et al.  Minimization of Frequency-Weighted $l_{2}$ -Sensitivity Subject to $l_{2}$ -Scaling Constraints for Two-Dimensional State-Space Digital Filters , 2008, IEEE Transactions on Signal Processing.

[4]  Gang Li,et al.  On the structure of digital controllers with finite word length consideration , 1998, IEEE Trans. Autom. Control..

[5]  Hsien-Ju Ko Stability Analysis of Digital Filters under Finite Word Length Effects via Normal-Form Transformation , 2006 .

[6]  Thibault Hilaire Low-Parametric-Sensitivity Realizations With Relaxed $L_{2}$-Dynamic-Range-Scaling Constraints , 2009, IEEE Transactions on Circuits and Systems II: Express Briefs.

[7]  Choon Ki Ahn,et al.  Some new results on the stability of direct-form digital filters with finite wordlength nonlinearities , 2015, Signal Process..

[8]  W. Yu,et al.  Improved eigenvalue sensitivity for finite-precision digital controller realisations via orthogonal Hermitian transform , 2003 .

[9]  C. K. Yuen,et al.  Digital Filters , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[10]  Takao Hinamoto,et al.  Minimization of Weighted Pole and Zero Sensitivity for State-Space Digital Filters , 2016, IEEE Transactions on Circuits and Systems I: Regular Papers.

[11]  Woon-Seng Gan,et al.  Digital Signal Processors: Architectures, Implementations, and Applications , 2004 .

[12]  M. Gevers,et al.  Parametrizations in Control, Estimation and Filtering Problems: Accuracy Aspects , 1993 .

[14]  Peng Shi,et al.  Two-Dimensional Dissipative Control and Filtering for Roesser Model , 2015, IEEE Transactions on Automatic Control.

[15]  W. Martin Snelgrove,et al.  Orthonormal ladder filters , 1989 .

[16]  Darrell Williamson,et al.  Roundoff noise minimization and pole-zero sensitivity in fixed-point digital filters using residue feedback , 1986, IEEE Trans. Acoust. Speech Signal Process..

[17]  Peng Shi,et al.  Generalized Dissipativity Analysis of Digital Filters With Finite-Wordlength Arithmetic , 2016, IEEE Transactions on Circuits and Systems II: Express Briefs.

[18]  Gang Li,et al.  A Generalized Lattice Filter for Finite Wordlength Implementation With Reduced Number of Multipliers , 2014, IEEE Transactions on Signal Processing.

[19]  S. Hwang Minimum uncorrelated unit noise in state-space digital filtering , 1977 .

[20]  Jian Chu,et al.  Constructing sparse realizations of finite-precision digital controllers based on a closed-loop stability related measure , 2003 .

[21]  Sheng Chen,et al.  Optimal finite-precision state-estimate feedback controller realizations of discrete-time systems , 2000, IEEE Trans. Autom. Control..

[22]  F. Kittaneh Spectral radius inequalities for Hilbert space operators , 2005 .

[23]  Takao Hinamoto,et al.  L/sub 2/-sensitivity minimization of one- and two-dimensional state-space digital filters subject to L/sub 2/-scaling constraints , 2006, IEEE Transactions on Signal Processing.

[24]  Philippe Chevrel,et al.  Sensitivity-Based Pole and Input-Output Errors of Linear Filters as Indicators of the Implementation Deterioration in Fixed-Point Context , 2011, EURASIP J. Adv. Signal Process..

[25]  S. Liberty,et al.  Linear Systems , 2010, Scientific Parallel Computing.

[26]  Gang Li Two-dimensional system optimal realizations with L2-sensitivity minimization , 1998, IEEE Trans. Signal Process..

[27]  Anastasia Volkova,et al.  Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study , 2019, IEEE Transactions on Computers.

[28]  M. Gevers,et al.  Performance analysis of a new structure for digital filter implementation , 2000 .

[29]  Thibault Hilaire On the Transfer Function Error of State-Space Filters in Fixed-Point Context , 2009, IEEE Transactions on Circuits and Systems II: Express Briefs.

[30]  Jun Wu,et al.  Reduction of controller fragility by pole sensitivity minimization , 2001, IEEE Trans. Autom. Control..

[31]  Richard Bellman,et al.  Introduction to Matrix Analysis , 1972 .

[32]  Uri Shaked,et al.  Small roundoff noise realization of fixed-point digital filters and controllers , 1988, IEEE Trans. Acoust. Speech Signal Process..

[33]  P. Lafrance,et al.  Digital filters , 1974, Proceedings of the IEEE.

[34]  Robert E. Skelton,et al.  MINIMAL ROOT SENSITIVITY IN LINEAR SYSTEMS , 1983 .

[35]  John B. Moore,et al.  Balanced realizations via gradient flow techniques , 1990 .

[36]  Choon Ki Ahn $l_{2} - l_{\infty}$ Elimination of Overflow Oscillations in 2-D Digital Filters Described by Roesser Model With External Interference , 2013, IEEE Transactions on Circuits and Systems II: Express Briefs.

[37]  T. Başar,et al.  A New Approach to Linear Filtering and Prediction Problems , 2001 .

[38]  Richard Bellman,et al.  Introduction to matrix analysis (2nd ed.) , 1997 .

[39]  Clifford T. Mullis,et al.  Synthesis of minimum roundoff noise fixed point digital filters , 1976 .

[40]  Gang Li,et al.  Two classes of efficient digital controller structures with stability consideration , 2006, IEEE Transactions on Automatic Control.

[41]  Jun Wu,et al.  A Matrix Factorization-Based Structure for Digital Filters , 2007, IEEE Transactions on Signal Processing.

[42]  Gang Li,et al.  Very Robust Low Complexity Lattice Filters , 2010, IEEE Transactions on Signal Processing.

[43]  C. Barnes Roundoff noise and overflow in normal digital filters , 1979 .

[44]  Jingyu Hua,et al.  A novel digital filter structure with minimum roundoff noise , 2010, Digit. Signal Process..

[45]  Hsien-Ju Ko,et al.  A novel approach to stability analysis of fixed-point digital filters under finite word length effects , 2008, 2008 SICE Annual Conference.

[46]  Xiaomei Yang Rounding Errors in Algebraic Processes , 1964, Nature.

[47]  Choon Ki Ahn $l_{2}-l_{\infty}$ Suppression of Limit Cycles in Interfered Two-Dimensional Digital Filters: A Fornasini–Marchesini Model Case , 2014, IEEE Transactions on Circuits and Systems II: Express Briefs.

[48]  Z. Zhao,et al.  On the generalized DFIIt structure and its state-space realization in digital filter implementation , 2004, IEEE Transactions on Circuits and Systems I: Regular Papers.

[49]  D.L. Elliott,et al.  Feedback systems: Input-output properties , 1976, Proceedings of the IEEE.

[50]  V. Tavsanoglu,et al.  Optimal design of state - space digital filters by simultaneous minimization of sensitivity and roundoff noise , 1984 .

[51]  Chengshan Xiao Improved L2-sensitivity for state-space digital system , 1997, IEEE Trans. Signal Process..

[52]  T. Hinamoto Minimization of L_2-sensitivity for state-space digital filters subject to L_2-dynamic-range scaling constraints , 2005 .