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.

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

Compensator Design for Digital Controlled Switched-Mode Power Supplies.

Technical Report: PID Design of Second‐order Non‐linear Uncertain Systems with Fractional Order Operations

SISO Impedance-Based Stability Analysis Method for PLL-Based Power Converters in Weak AC Grids

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

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

Pole Assignment for a Class of the Second Order Singular Distributed Parameter Control Systems

A Symplectic Algorithm For The Stability Analysis Of Nonlinear Parametric Excited Systems

Error Analysis of Digital Controller Using δ Operators

Generalized Pole-Residue Method for Dynamic Analysis of Nonlinear Systems based on Volterra Series

Closed Form Fractional Integration and Differentiation via Real Exponentially Spaced Pole-Zero Pairs

Robust H2 filtering with pole constraint in μ-stability regions

Residues in Partial Fraction Decomposition Applied to Pole Sensitivity Analysis and Root Locus Construction

Article type: Original Article

On the Pole Assignment Concerning the Second Order Generalized System

Asymptotic Waveform Evaluation with Higher Order Poles.

Loop-Delay Estimation for Digital Predistortion System

Semi-global stabilization of a type of input systems with pole assurance

Robust L2-Lx filtering with pole constraint in a disk via parameter-dependent Lyapunov functions

Computing A Fwl Stability Measure for Second Order Digital Systems

Local and global analysis of a discrete model describing the second-order digital filter with nonlinear signal processors