Induced l∞ stability of fixed-point digital filters without overflow oscillations and instability due to finite word length effects
© Ahn and Lee; licensee Springer. 2012
Received: 1 March 2012
Accepted: 23 April 2012
Published: 23 April 2012
This article studies a new criterion for the induced l∞ stability of fixed-point state-space digital filters without overflow oscillations and instability due to finite word length effects. The criterion not only guarantees exponential stability but also reduces the effect of external interference to an induced l∞ norm constraint. We present a numerical example, which demonstrates the effectiveness of the proposed criterion.
When designing a linear time-invariant digital filter using a fixed-point arithmetic, one encounters quantization and overflow nonlinearities. The presence of these nonlinearities may result in the instability of designed filters. The zero-input limit cycles, which are undesirable, may possibly occur due to these nonlinearities. The quantization and overflow nonlinear-ities may interact with each other. However, if the number of quantization steps is large, quantization effects may be decoupled when investigating the effects of overflow. Several researchers have studies stability criteria for digital filters employing saturation overflow arithmetic [1–8].
In the hardware implementation of high-order digital filters, they are usually split into some biquad filters before hardware implementation. Then, there may exist interferences between these biquad filters. These interferences lead to malfunction as well as destruction in the last [9, 10]. However, most existing stability criteria for digital filters are only available under specific conditions without external interference, while in unfavorable environments with external interference, unfortunately, we cannot use these existing stability criteria any more. Therefore, it is important to study an alternative criterion that can overcome the shortcomings of existing stability criteria for digital filters.
There always exist model uncertainties and external disturbances in real physical systems. In recent years, this had led to an interest in the induced l∞ approach [11, 12]. The induced l∞ approach is an effective tool to treat several dynamic systems because we can obtain general stability results using only inputs and outputs measurements. Now, the following question arises: is there an induced l∞ stability condition for digital filters with external interference and saturation arithmetic? However, as far as we are aware, for the induced l∞ stability for digital filters with external interference and saturation arithmetic, there are no results published in the literature so far.
This article studies a new stability criterion for fixed-point state-space digital filters with external interference and saturation arithmetic via the induced l∞ stability approach. This criterion is a new contribution in fields of digital filters. Under the proposed criterion, the digital filter is exponentially stable and the induced l∞ norm from the external interference to the state vector is reduced to an interference attenuation level. For a fixed scalar variable, we represent this criterion in terms of linear matrix inequalities (LMIs), which can be solved efficiently via existing numerical algorithms such as interior point algorithms [13, 14].
This article is organized as follows. In Section 2, a new criterion for the induced l∞ stability of fixed-point state-space digital filters is proposed. In Section 3, a numerical example is given, and finally, conclusions are presented in Section 4.
2 New induced l∞stability criterion
under zero-initial conditions for all nonzero w(r). The parameter γ is called the induced l∞ norm bound or the interference attenuation level. In this case, the digital filter (1)-(3) is said to be exponentially stable with induced l∞ performance γ.
In the following theorem, we present a new induced l∞ stability criterion for digital filters.
then the digital filter (1)-(3) is exponentially stable with induced l∞performance γ.
Taking the supremum over r ≥ 0 leads to (6).
from (12). According to Theorem 3.1 of , (19) and (20) guarantee the exponential stability of the digital filter (1)-(3). This completes the proof.
Thus, we obtain the relation (21). This completes the proof.
Remark 1. Recently, an(or energy-to-energy) stability criterion for fixed-point state-space digital filters with saturation arithmetic and external interference was proposed in. In contrast to this study, the induced l∞stability criterion can handle the worst-case peak value of the state vector for all bounded peak values of the disturbance signals.
Remark 2. For a fixed positive scalar λ, (7) and (8) are LMIs. We can apply various convex optimization algorithms to check whether these LMIs are feasible. In order to solve these LMIs, this article used MATLAB LMI Control Toolbox.
the relation (6) can be represented by L(∞) < γ2. In the following section, through the plot of L(r), L(∞) < γ2is verified.
3 Numerical example
This article studies a new criterion for the induced l∞ stability of fixed-point state-space digital filters with external interference and saturation overflow arithmetic. It is shown that the criterion can ensure to reduce the effect of the external interference to a prescribed attenuation level. Thus, it can overcome the disadvantages of existing stability criteria. For a fixed scalar variable, this criterion is represented in terms of LMIs and, hence, computationally tractable. Finally, a numerical example shows the usefulness of the proposed stability criterion.
This research was supported by the MKE (The Ministry of Knowledge Economy), Korea, under the CITRC (Convergence Information Technology Research Center) support program (NIPA-2011-C6150-1102-0001) supervised by the NIPA (National IT Industry Promotion Agency).
- Ebert P, Mazo J, Taylor M: Overflow oscillations in recursive digital filters. Bell Syst Tech J 1969, 48: 2999–3020.View ArticleGoogle Scholar
- Sandberg I: The zero-input response of digital filters using saturation arithmetic. IEEE Trans Circ Syst 1979, 26: 911–915. 10.1109/TCS.1979.1084587MATHMathSciNetView ArticleGoogle Scholar
- Singh V: Elimination of overflow oscillations in fixed-point state-space digital filters using saturation arithmetic. IEEE Trans Circ Syst 1990, 37: 814–818. 10.1109/31.55040View ArticleGoogle Scholar
- Kar H, Singh V: A new criterion for the overflow stability of second-order state-space digital filters using saturation arithmetic. IEEE Trans Circ Syst I 1998, 45: 311–313. 10.1109/81.662720View ArticleGoogle Scholar
- Kar H, Singh V: Stability analysis of discrete-time systems in a state-space realisation with partial state saturation nonlinearities. IEE Proc Control Theory Appl 2003, 150: 205–208. 10.1049/ip-cta:20030208View ArticleGoogle Scholar
- Kar H, Singh V: Elimination of overflow oscillations in digital filters employing saturation arithmetic. Digital Signal Process 2005, 15: 536–544. 10.1016/j.dsp.2005.02.001View ArticleGoogle Scholar
- Singh V: LMI approach to stability of direct form digital filters utilizing single saturation overflow nonlinearity. IEEE Trans Circ Syst II 2007, 54: 878–881.View ArticleGoogle Scholar
- Singh V: Stability analysis of a class of digital filters utilizing single saturation nonlin-earity. Automatica 2008, 44: 282–285. 10.1016/j.automatica.2007.04.015MATHView ArticleGoogle Scholar
- Tsividis Y: Mixed Analog-Digital V LSI Devices and Technology. World Scientific Publishing, Singapore; 2002.Google Scholar
- Monteiro J, Leuken R: Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation. Springer, New York; 2010.View ArticleGoogle Scholar
- Abedor J, Nagpal K, Poolla K: A linear matrix inequality approach to peak-to-peak gain minimization. Int J Robust Nonlinear Control 1996, 6: 899–927. 10.1002/(SICI)1099-1239(199611)6:9/10<899::AID-RNC259>3.0.CO;2-GMATHMathSciNetView ArticleGoogle Scholar
- Scherer C, Gahinet P, Chilali M: Multiobjective output-feedback control via LMI optimization. IEEE Trans Automat Control 1997, 42: 896–911. 10.1109/9.599969MATHMathSciNetView ArticleGoogle Scholar
- Boyd S, Ghaoui LE, Feron E, Balakrishinan V: Linear Matrix Inequalities in Systems and Control Theory. SIAM, Philadelphia, PA; 1994.View ArticleGoogle Scholar
- Gahinet P, Nemirovski A, Laub AJ, Chilali M: LMI Control Toolbox. The Mathworks Inc., Natick, MA; 1995.Google Scholar
- Strang G: Introduction to Applied Mathematics. Wellesley Cambridge Press, Cambridge; 1986.MATHGoogle Scholar
- Lee J: Constructive and discrete versions of the Lyapunov's stability theorem and the LaSalle's invariance theorem. Commun Korean Math Soc 2002, 17: 155–163.MATHMathSciNetView ArticleGoogle Scholar
- Ahn C: Criterion for the overflow stability of fixed-point digital filters with saturation arithmetic and external interference. Int J Electron Commun 2011, 65(9):750–752. 10.1016/j.aeue.2010.12.001View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.