I have a second order IIR filter with DC-notch-like characteristics:
$H(z) = \frac{1-2z^{-1} + z^{-2}}{1+a_1z^{-1}+a_2z^{-2}}$
where $a_1= -1.99396970948671$ and $a_2=0.994002716421032$.
The filter is to be implemented in Transposed Direct Form II using single precision floating point math. While the poles of the filter (under single precision floating point quantization of the coefficients) are still within the unit circle, more generally, how do I determine the stability of this filter implementation? I can simulate the filter with typical inputs to see if there's a problem, but, beyond that, I'm wondering if there is any kind of formal procedure for identifying stability issues.