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 Transient Slope of Zero and Pole in Bode Diagram in Automatic Identification of Filter Parameters

Design of Digital Trap by Z-transform and Pole-Zero Plot

Design and Application of Low-Pass Filter Based on Instantaneous Reactive Theory

RESEARCH ON DIGITAL FILTERING ALGORITHM USED INMEASUREMENT SYSTEM OF BALANCING MACHINES

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

Discrete-time Direct Pole Placement for Stability Enhancement of LCL-Filtered Inverters in the Synchronous-Reference Frame

A Frequency Domain Subspace Identification Method Based on Phase Response Data

Design of Dc-Bus Voltage Controller for Hybrid Active Power Filter Based on Pole-Zero Placement

Design and Simulation Analysis of Bessel Digital Low-Pass Filters

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

A General Characterizing Method for Ring Resonators Based on Low Coherence Measurement

An Algorithm Used for Quality Criterion Automatic Measurement of Band-Pass Filters and Its Device Implementation

Research on Features for Diagnostics of Filtered Analog Circuits Based on Ls-Svm

Generalization of Filtering Sensitivity Tradeoffs in Continuous- and Discrete-Time Systems: A Simplified Approach

Design of virtual instrument for identification of transfer function of SISO system based on LabVIEW

Topological Approach to Symbolic Pole–Zero Extraction Incorporating Design Knowledge

Oscillation-based diagnosis by using harmonics analysis on analog filters

The Simulation of Impedance-Frequency Characteristics for Filter-Loaded Output Circuit of Klystrons by Probe-Technique

Study of a Novel Approach to Signal Characteristic Quantity Detection and its Application in Automatic Balance

Diagnostics of Filtered Analog Circuits with Tolerance Based on LS-SVM Using Frequency Features

High-Selectivity Wideband Bandpass Filter Using Simple Coupled Lines with Multiple Transmission Poles and Zeros