Abstract
When two-dimensional (2D) digital filters are implemented on finite wordlength processors such as field-programmable gate arrays, microcontrollers and digital signal processing kits, and so on, nonlinearities owing to overflow and quantization are frequently generated. Nonlinearities of this type can lead to instability in the realized 2D digital filters. In practice, the digital filters may also have inherent system nonlinearities. The global asymptotic stability (GAS) problem for a fixed-point 2D Lipschitz nonlinear digital filter (LNDF) represented by the Roesser model with two’s complement overflow (TCO) arithmetic is addressed in this paper. A new computationally tractable GAS criterion for such LNDFs is proposed, based on Lyapunov theory, the Lipschitz condition and a TCO arithmetic property. In addition, an improved criterion for the GAS of a 2D digital filter (in the absence of intrinsic system nonlinearities) with TCO arithmetic is presented. The criteria can be used for overflow oscillation-free realization of digital filters with TCO arithmetic. Several examples and simulation results are provided to highlight the potential of stated criteria.
Similar content being viewed by others
References
Agarwal, N., & Kar, H. (2014). An improved criterion for the global asymptotic stability of 2-D state-space digital filters with finite wordlength nonlinearities. Signal Processing, 105(12), 198–206. https://doi.org/10.1016/j.sigpro.2014.05.029
Agarwal, N., & Kar, H. (2016). New results on saturation overflow stability of 2-D state-space digital filters. Journal of the Franklin Institute, 353(12), 2743–2760. https://doi.org/10.1016/j.jfranklin.2016.05.011
Amjad, M. U., Rehan, M., Tufail, M., Ahn, C. K., & Rashid, H. U. (2017). Stability analysis of nonlinear digital systems under hardware overflow constraint for dealing with finite word-length effects of digital technologies. Signal Processing, 140(11), 139–148. https://doi.org/10.1016/j.sigpro.2017.05.004.
Anderson, B. D. O., Agathoklis, P., Jury, E. I., & Mansour, M. (1986). Stability and the matrix Lyapunov equation for discrete 2-dimensional systems. IEEE Transactions on Circuits and Systems, 33(3), 261–267. https://doi.org/10.1109/tcs.1986.1085912
Bors, D., & Walczak, S. (2012). Application of 2D systems to investigation of a process of gas filtration. Multidimensional Systems and Signal Processing, 23(1–2), 119–130. https://doi.org/10.1007/s11045-010-0110-7
Bracewell, R. N. (1995). Two-dimensional imaging. Prentice Hall.
Butterweck, H. J., Ritzerfeld, J. H. F., & Werter, M. J. (1988). Finite wordlength effects in digital filters: A review. EUT report 88-E-205, Eindhoven University of Technology, Eindhoven, The Netherlands.
Chu, Y.-C., & Glover, K. (1999). Bounds of the induced norm and model reduction errors for systems with repeated scalar nonlinearities. IEEE Transactions on Automatic Control, 44(3), 471–483. https://doi.org/10.1109/9.751342
Claasen, T. A. C. M., Mecklenbräuker, W. F. G., & Peek, J. B. H. (1976). Effects of quantization and overflow in recursive digital filters. IEEE Transactions on Acoustics, Speech, and Signal Processing, 24(6), 517–529. https://doi.org/10.1109/tassp.1976.1162863
de Souza, C. E. (2019). Robust H∞ filtering for a class of discrete-time Lipschitz nonlinear systems. Automatica, 103(5), 69–80. https://doi.org/10.1016/j.automatica.2019.01.024
Dewasurendra, D. A., & Bauer, P. H. (2008). A novel approach to grid sensor networks. In Proceedings of the 15th IEEE Conference on Electronics, Circuits and Systems, (pp. 1191–1194). https://doi.org/10.1109/icecs.2008.4675072.
Duan, Z., & Xiang, Z. (2017). Finite frequency H∞ control of 2-D continuous systems in Roesser model. Multidimensional Systems and Signal Processing, 28(4), 1481–1497. https://doi.org/10.1007/s11045-016-0430-3
El-Agizi, N. G., & Fahmy, M. M. (1979). Two-dimensional digital filters with no overflow oscillations. IEEE Transactions on Acoustics, Speech, and Signal Processing, 27(5), 465–469. https://doi.org/10.1109/tassp.1979.1163285
El-Agizi, N. G., & Fahmy, M. M. (1980). Correction to “Two-dimensional digital filters with no overflow oscillations.” IEEE Transactions on Acoustics, Speech, and Signal Processing, 28(1), 117. https://doi.org/10.1109/tassp.1980.1163350
Fornasini, E., & Marchesini, G. (1976). State-space realization theory of two-dimensional filters. IEEE Transactions on Automatic Control, 21(4), 484–492. https://doi.org/10.1109/tac.1976.1101305
Fornasini, E., & Marchesini, G. (1978). Doubly-indexed dynamical systems: State-space models and structural properties. Mathematical Systems Theory, 12(1), 59–72. https://doi.org/10.1007/bf01776566
Gahinet, P., Nemirovski, A., Laub, A. J., & Chilali, M. (1995). LMI control toolbox– for use with Matlab. The MATH Works Inc.
Ghous, I., Xiang, Z., & Karimi, H. R. (2017). H∞ control of 2-D continuous Markovian jump delayed systems with partially unknown transition probabilities. Information Sciences, 382–383, 274–291. https://doi.org/10.1016/j.ins.2016.12.018
Hao, S., Liu, T., & Gao, F. (2019). PI based indirect-type iterative learning control for batch processes with time-varying uncertainties: A 2D FM model based approach. Journal of Process Control, 78(6), 57–67. https://doi.org/10.1016/j.jprocont.2019.04.003
Kaczorek, T. (1985). Two-dimensional linear systems. Springer-Verlag. https://doi.org/10.1007/BFb0005617
Kandanvli, V. K. R., & Kar, H. (2020). Global asymptotic stability of 2-D digital filters with a saturation operator on the state-space. IEEE Transactions on Circuits and Systems II: Express Briefs, 67(11), 2742–2746. https://doi.org/10.1109/tcsii.2020.2980238
Kapeller, H., Dvorak, D., & Šimić, D. (2021). Improvement and investigation of the requirements for electric vehicles by the use of HVAC modeling. HighTech and Innovation Journal, 2(1), 67–76. https://doi.org/10.28991/hij-2021-02-01-07.
Kar, H. (2012). A new criterion for the global asymptotic stability of 2-D state-space digital filters with two’s complement overflow arithmetic. Signal Processing, 92(9), 2322–2326. https://doi.org/10.1016/j.sigpro.2012.02.001
Kar, H. (2013). A note on the improved LMI-based criterion for global asymptotic stability of 2-D state-space digital filters described by Roesser model using two’s complement overflow arithmetic. Digital Signal Processing, 23(5), 1767–1772. https://doi.org/10.1016/j.dsp.2013.06.006
Kar, H., & Singh, V. (2000). Stability analysis of 2-D state-space digital filters with overflow nonlinearities. IEEE Transactions on Circuits and Systems–I: Fundamental Theory and Applications, 47(4), 598–601. https://doi.org/10.1109/81.841865.
Kar, H., & Singh, V. (2001). Stability analysis of 1-D and 2-D fixed-point state-space digital filters using any combination of overflow and quantization nonlinearities. IEEE Transactions on Signal Processing, 49(5), 1097–1105. https://doi.org/10.1109/78.917812
Kumar, M. K., Kokil, P., & Kar, H. (2017). A new realizability condition for fixed-point state-space interfered digital filters using any combination of overflow and quantization nonlinearities. Circuits, Systems, and Signal Processing, 36(8), 3289–3302. https://doi.org/10.1007/s00034-016-0455-8
Lindlau, J. D., & Knospe, C. R. (2002). Feedback linearization of an active magnetic bearing with voltage control. IEEE Transactions on Control Systems Technology, 10(1), 21–31. https://doi.org/10.1109/87.974335
Liu, D., & Michel, A. N. (1994). Stability analysis of state-space realizations for two-dimensional filters with overflow nonlinearities. IEEE Transactions on Circuits and Systems–I: Fundamental Theory and Applications, 41(2), 127–137. https://doi.org/10.1109/81.269049.
Liu, X., Gao, H., & Shi, P. (2009). Robust H∞ filtering for 2-D systems with intermittent measurements. Circuits, Systems, and Signal Processing, 28(2), 283–303. https://doi.org/10.1007/s00034-008-9081-4
Lodge, J. H., & Fahmy, M. M. (1981). Stability and overflow oscillations in 2-D state-space digital filters. IEEE Transactions on Acoustics, Speech, and Signal Processing, 29(6), 1161–1171. https://doi.org/10.1109/tassp.1981.1163712
Lu, W.-S., & Antoniou, A. (1992). Two-dimensional digital filters. Marcel Dekker. https://doi.org/10.1201/9781003066637
Luo, W., & Wang, L. (2019). 2D fuzzy constrained fault-tolerant predictive control of nonlinear batch processes. IEEE Access, 7, 119259–119271. https://doi.org/10.1109/access.2019.2936214
Nacer, M. L., Kherfane, H., Moreau, S., & Saad, S. (2021). Robust observer design for uncertain Lipschitz nonlinear systems based on differential mean value theorem: Application to induction motors. Journal of Control, Automation and Electrical Systems, 32(1), 132–144. https://doi.org/10.1007/s40313-020-00658-w
Ooba, T. (2013). Asymptotic stability of two-dimensional discrete systems with saturation nonlinearities. IEEE Transactions on Circuits and Systems–I: Regular Papers, 60(1), 178–188. https://doi.org/10.1109/tcsi.2012.2215739.
Phanomchoeng, G., & Rajamani, R. (2014). Real-time estimation of rollover index for tripped rollovers with a novel unknown input nonlinear observer. IEEE/ASME Transactions on Mechatronics, 19(2), 743–754. https://doi.org/10.1109/tmech.2013.2254495
Rani, P., Kokil, P., & Kar, H. (2019a). New criterion for l2−l∞stability of interfered fixed-point state-space digital filters with quantization/overflow nonlinearities. Circuits, Systems, and Signal Processing, 38(1), 407–424. https://doi.org/10.1007/s00034-018-0866-9
Rani, P., Kumar, M. K., & Kar, H. (2019b). Hankel norm performance of interfered fixed-point state-space digital filters with quantization/overflow nonlinearities. Circuits, Systems, and Signal Processing, 38(8), 3762–3777. https://doi.org/10.1007/s00034-019-01027-y
Razavi, S., & Tolson, B. A. (2011). A new formulation for feedforward neural networks. IEEE Transactions on Neural Networks, 22(10), 1588–1598. https://doi.org/10.1109/tnn.2011.2163169
Roesser, R. P. (1975). A discrete state-space model for linear image processing. IEEE Transactions on Automatic Control, 20(1), 1–10. https://doi.org/10.1109/tac.1975.1100844
Rout, J., & Kar, H. (2021). New ISS result for Lipschitz nonlinear interfered digital filters under various concatenations of quantization and overflow. Circuits, Systems, and Signal Processing, 40(4), 1852–1867. https://doi.org/10.1007/s00034-020-01561-0
Sandberg, I. W. (1979). The zero-input response of digital filters using saturation arithmetic. IEEE Transactions on Circuits and Systems, 26(11), 911–915. https://doi.org/10.1109/tcs.1979.1084587
Shams, A., Rehan, M., Tufail, M., Ahn, C. K., & Ahmed, W. (2018). Local stability analysis and H∞ performance for Lipschitz digital filters with saturation nonlinearity and external interferences. Signal Processing, 153(12), 101–108. https://doi.org/10.1016/j.sigpro.2018.06.026
Shen, T., Yuan, Z., & Wang, X. (2012). An improved stability criterion for fixed-point state-space digital filters using two’s complement arithmetic. Automatica, 48(1), 243–245. https://doi.org/10.1016/j.automatica.2011.09.054
Shim, Y.-G. (2020). An efficient decoding algorithm for block codes based on the communication channel reliability information. Emerging Science Journal, 4(5), 336–344. https://doi.org/10.28991/esj-2020-01235
Singh, V. (2012). Improved LMI-based criterion for global asymptotic stability of 2-D state-space digital filters described by Roesser model using two’s complement arithmetic. Digital Signal Processing, 22(3), 471–475. https://doi.org/10.1016/j.dsp.2012.01.001
Singh, V. (2013). 2-D digital filter realization without overflow oscillations. Nonlinear Analysis: Real World Applications, 14(3), 1503–1510. https://doi.org/10.1016/j.nonrwa.2012.10.014
Tahiri, F. E., Chikh, K., & Khafallah, M. (2021). Optimal management energy system and control strategies for isolated hybrid solar-wind-battery-diesel power system. Emerging Science Journal, 5(2), 111–124. https://doi.org/10.28991/esj-2021-01262.
Uddin, M. N., & Nam, S. W. (2009). Development and implementation of a nonlinear-controller-based IM drive incorporating iron loss with parameter uncertainties. IEEE Transactions on Industrial Electronics, 56(4), 1263–1272. https://doi.org/10.1109/tie.2008.2007551
Valcher, M. E. (1997). On the internal stability and asymptotic behavior of 2-D positive systems. IEEE Transactions on Circuits and Systems—I: Fundamental Theory and Applications, 44(7), 602–613. https://doi.org/10.1109/81.596941.
Wei, M.-Y., & Liu, T.-H. (2013). Design and implementation of an online tuning adaptive controller for synchronous reluctance motor drives. IEEE Transactions on Industrial Electronics, 60(9), 3644–3657. https://doi.org/10.1109/tie.2012.2206341
Wu, L., Shi, P., Gao, H., & Wang, C. (2008). H∞ filtering for 2D Markovian jump systems. Automatica, 44(7), 1849–1858. https://doi.org/10.1016/j.automatica.2007.10.027
Yang, R., & Ding, S. (2020). Two-dimensional event-triggered sliding mode control for Roesser model with time delays. ISA Transactions. https://doi.org/10.1016/j.isatra.2020.10.049
Yeganefar, N., Yeganefar, N., Ghamgui, M., & Moulay, E. (2013). Lyapunov theory for 2-D nonlinear Roesser models: Application to asymptotic and exponential stability. IEEE Transactions on Automatic Control, 58(5), 1299–1304. https://doi.org/10.1109/tac.2012.2220012
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Singh, S., Kar, H. Realization of Two’s Complement Overflow Oscillation-Free 2D Lipschitz Nonlinear Digital Filters. J Control Autom Electr Syst 32, 1540–1552 (2021). https://doi.org/10.1007/s40313-021-00768-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40313-021-00768-z