Abstract:Digital filters, a subclass of linear time-invariant systems, are widely used in signal processing and control systems. A digital filter performs mathematical operations on a sampled, discrete-time signal to reduce or enhance certain aspects of that signal. Such a system is implemented by a loop that iterates over an infinite time horizon. At each iteration, a random value is generated as input, and a linear expression is evaluated as output. In control theory, bounded-input, bounded-output (BIBO) stability is a fundamental criterion, which requires that any bounded input to a digital filter yields a bounded output. Correspondingly, at the implementation level, we aim to determine if a specified interval bounds the output of a given filter. However, due to the complexity of digital filters, it is hard for state-of-the-art approaches to make a sound over-approximation of all the possible output values of a filter. In this work, considering the strong connection between poles of digital filters and BIBO stability, we propose a poles-based invariant to over-approximate the output ranges of filters. Initially, we design a decomposition of the iteration of a subclass of filters, based on which we derive a set of inequalities to provide bounds on the output. Subsequently, we generalize this approach to over-approximate the output ranges of general digital filters. Moreover, we split the output value at each iteration into two parts. One is computed precisely by bounded analysis. The other is a new filter that can be analyzed using our invariant. This optimization improves the precision of our approach. Leveraging this approach, we develop a prototype tool for verifying programs related to digital filters and compare it with the state-of-the-art. The results demonstrate that our approach delivers more precise over-approximations in less time for verifying BIBO stability.

Application of Poles Identification in the Digital Spectroscopy and the System Simulation

Application of Transient Slope of Zero and Pole in Bode Diagram in Automatic Identification of Filter Parameters

New closed-loop identification approach based on output over-sampling scheme

Analysis and Application of Digital Spectrum of Ultrasonic Testing System

Subspace based direct closed-loop identification via output over-sampling scheme

System Simulation of Digital Pulse Spectrometer

On Anti-Aliasing Filtering and Over-Sampling Scheme in System Identification

A Frequency Domain Subspace Identification Method Based on Phase Response Data

Pole Deviation Analysis for Digital Systems Based on Second Order Perturbation Theory [digital Filter Example].

A novel method for removal of DC component in non-sinusoidal signals of power systems

Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters

Linear prediction analysis of speech based on a pole-zero representation

Design Method of Multisine Signal for Broadband Impedance Measurement

A polarimeter based on electric-optical material

Topological Approach to Symbolic Pole–Zero Extraction Incorporating Design Knowledge

An Online Identification Method for Power System Low-frequency Oscillation Based on Fuzzy Filtering and Prony Algorithm

A Nonlinear Spectral Analyzing Method for Engineering Application

A New Type of Polarimeter

Pole Placement for Single Input Linear Time-invariant Discrete Systems by Acceleration Feedback

Impulse Response Function Identification Of Linear Mechanical Systems Based On Kautz Basis Expansion With Multiple Poles

Common pole estimation in multi-channel exponential data modeling