bilinear transform

The bilinear transform (also known as Tustin's method, after Arnold Tustin) is used in digital signal processing and discrete-time control theory to transform continuous-time system representations to discrete-time and vice versa.

The bilinear transform is a special case of a conformal mapping (namely, a Möbius transformation), often used to convert a transfer function $H_a(s)$ of a linear, time-invariant ( LTI) filter in the continuous-time domain (often called an analog filter) to a transfer function $H_d(z)$ of a linear, shift-invariant filter in the discrete-time domain (often called a digital filter although there are analog filters constructed with switched capacitors that are discrete-time filters). It maps positions on the $j \omega$ axis, \mathrm 0 , in the s-plane to the unit circle, $, z, = 1$, in the z-plane. Other bilinear transforms can be used to warp the frequency response of any discrete-time linear system (for example to approximate the non-linear frequency resolution of the human auditory system) and are implementable in the discrete domain by replacing a system's unit delays $\left( z^ \right)$ with first order all-pass filters.

The transform preserves stability and maps every point of the frequency response of the continuous-time filter, $H_a(j \omega_a)$ to a corresponding point in the frequency response of the discrete-time filter, $H_d(e^)$ although to a somewhat different frequency, as shown in the Frequency warping section below. This means that for every feature that one sees in the frequency response of the analog filter, there is a corresponding feature, with identical gain and phase shift, in the frequency response of the digital filter but, perhaps, at a somewhat different frequency. This is barely noticeable at low frequencies but is quite evident at frequencies close to the Nyquist frequency.

Discrete-time approximation

The bilinear transform is a first-order Padé approximant of the natural logarithm function that is an exact mapping of the ''z''-plane to the ''s''-plane. When the Laplace transform is performed on a discrete-time signal (with each element of the discrete-time sequence attached to a correspondingly delayed unit impulse), the result is precisely the Z transform of the discrete-time sequence with the substitution of

:$\begin z &= e^ \\ &= \frac \\ &\approx \frac \end$

where $T$ is the numerical integration step size of the trapezoidal rule used in the bilinear transform derivation; or, in other words, the sampling period. The above bilinear approximation can be solved for $s$ or a similar approximation for $s = (1/T) \ln(z)$ can be performed.

The inverse of this mapping (and its first-order bilinear approximation) is

:
\begin
s &= \frac \ln(z) \\
&= \frac \left frac + \frac \left( \frac \right)^3 + \frac \left( \frac \right)^5 + \frac \left( \frac \right)^7 + \cdots \right\\
&\approx \frac \frac \\
&= \frac \frac
\end

The bilinear transform essentially uses this first order approximation and substitutes into the continuous-time transfer function, $H_a(s)$

:$s \leftarrow \frac \frac.$

That is

:$H_d(z) = H_a(s) \bigg, _= H_a \left( \frac \frac \right). \$

Stability and minimum-phase property preserved

A continuous-time causal filter is stable if the poles of its transfer function fall in the left half of the complex s-plane. A discrete-time causal filter is stable if the poles of its transfer function fall inside the unit circle in the complex z-plane. The bilinear transform maps the left half of the complex s-plane to the interior of the unit circle in the z-plane. Thus, filters designed in the continuous-time domain that are stable are converted to filters in the discrete-time domain that preserve that stability.

Likewise, a continuous-time filter is minimum-phase if the zeros of its transfer function fall in the left half of the complex s-plane. A discrete-time filter is minimum-phase if the zeros of its transfer function fall inside the unit circle in the complex z-plane. Then the same mapping property assures that continuous-time filters that are minimum-phase are converted to discrete-time filters that preserve that property of being minimum-phase.

Transformation of a General LTI System

A general LTI system has the transfer function
$H_a(s) = \frac$
The order of the transfer function is the greater of and (in practice this is most likely as the transfer function must be proper for the system to be stable). Applying the bilinear transform
$s = K\frac$
where is defined as either or otherwise if using frequency warping, gives
$H_d(z) = \frac$
Multiplying the numerator and denominator by the largest power of present, , gives
$H_d(z) = \frac$
It can be seen here that after the transformation, the degree of the numerator and denominator are both .

Consider then the pole-zero form of the continuous-time transfer function
$H_a(s) = \frac$
The roots of the numerator and denominator polynomials, and , are the zeros and poles of the system. The bilinear transform is a one-to-one mapping, hence these can be transformed to the z-domain using
$z = \frac$
yielding some of the discretized transfer function's zeros and poles and
$\begin \xi'_i &= \frac \quad 1 \leq i \leq Q \\ p'_i &= \frac \quad 1 \leq i \leq P \end$
As described above, the degree of the numerator and denominator are now both , in other words there is now an equal number of zeros and poles. The multiplication by means the additional zeros or poles are

$\begin \xi'_i &= -1 \quad Q < i \leq N \\ p'_i &= -1 \quad P < i \leq N \end$
Given the full set of zeros and poles, the z-domain transfer function is then
$H_d(z) = \frac$

Example

As an example take a simple low-pass RC filter. This continuous-time filter has a transfer function

:$\begin H_a(s) &= \frac \\ &= \frac. \end$

If we wish to implement this filter as a digital filter, we can apply the bilinear transform by substituting for $s$ the formula above; after some reworking, we get the following filter representation:

:

The coefficients of the denominator are the 'feed-backward' coefficients and the coefficients of the numerator are the 'feed-forward' coefficients used to implement a real-time digital filter.

Transformation for a general first-order continuous-time filter

It is possible to relate the coefficients of a continuous-time, analog filter with those of a similar discrete-time digital filter created through the bilinear transform process. Transforming a general, first-order continuous-time filter with the given transfer function

:$H_a(s) = \frac = \frac$

using the bilinear transform (without prewarping any frequency specification) requires the substitution of

:$s \leftarrow K \frac$

where

:$K \triangleq \frac$.

However, if the frequency warping compensation as described below is used in the bilinear transform, so that both analog and digital filter gain and phase agree at frequency $\omega_0$, then

:$K \triangleq \frac$.

This results in a discrete-time digital filter with coefficients expressed in terms of the coefficients of the original continuous time filter:
:$H_d(z)=\frac$

Normally the constant term in the denominator must be normalized to 1 before deriving the corresponding difference equation. This results in

:$H_d(z)=\frac.$

The difference equation (using the Direct form I) is

:
y = \frac \cdot x + \frac \cdot x -1- \frac \cdot y -1\ .

General second-order biquad transformation

A similar process can be used for a general second-order filter with the given transfer function

:$H_a(s) = \frac = \frac \ .$

This results in a discrete-time digital biquad filter with coefficients expressed in terms of the coefficients of the original continuous time filter:
:$H_d(z)=\frac$

Again, the constant term in the denominator is generally normalized to 1 before deriving the corresponding difference equation. This results in

:$H_d(z)=\frac.$

The difference equation (using the Direct form I) is

:
y = \frac \cdot x + \frac \cdot x -1+ \frac \cdot x -2- \frac \cdot y -1- \frac \cdot y -2\ .

Frequency warping

To determine the frequency response of a continuous-time filter, the transfer function $H_a(s)$ is evaluated at $s = j \omega_a$ which is on the $j \omega$ axis. Likewise, to determine the frequency response of a discrete-time filter, the transfer function $H_d(z)$ is evaluated at $z = e^$ which is on the unit circle, $, z, = 1$. The bilinear transform maps the $j \omega$ axis of the ''s''-plane (of which is the domain of $H_a(s)$) to the unit circle of the ''z''-plane, $, z, = 1$ (which is the domain of $H_d(z)$), but it is not the same mapping $z = e^$ which also maps the $j \omega$ axis to the unit circle. When the actual frequency of $\omega_d$ is input to the discrete-time filter designed by use of the bilinear transform, then it is desired to know at what frequency, $\omega_a$, for the continuous-time filter that this $\omega_d$ is mapped to.

:$H_d(z) = H_a \left( \frac \frac\right)$

:

This shows that every point on the unit circle in the discrete-time filter z-plane, $z = e^$ is mapped to a point on the $j \omega$ axis on the continuous-time filter s-plane, $s = j \omega_a$. That is, the discrete-time to continuous-time frequency mapping of the bilinear transform is

:$\omega_a = \frac \tan \left( \omega_d \frac \right)$

and the inverse mapping is

:$\omega_d = \frac \arctan \left( \omega_a \frac \right).$

The discrete-time filter behaves at frequency $\omega_d$ the same way that the continuous-time filter behaves at frequency $(2/T) \tan(\omega_d T/2)$. Specifically, the gain and phase shift that the discrete-time filter has at frequency $\omega_d$ is the same gain and phase shift that the continuous-time filter has at frequency $(2/T) \tan(\omega_d T/2)$. This means that every feature, every "bump" that is visible in the frequency response of the continuous-time filter is also visible in the discrete-time filter, but at a different frequency. For low frequencies (that is, when $\omega_d \ll 2/T$ or $\omega_a \ll 2/T$), then the features are mapped to a ''slightly'' different frequency; $\omega_d \approx \omega_a$.

One can see that the entire continuous frequency range

: $-\infty < \omega_a < +\infty$

is mapped onto the fundamental frequency interval

: $-\frac < \omega_d < +\frac.$

The continuous-time filter frequency $\omega_a = 0$ corresponds to the discrete-time filter frequency $\omega_d = 0$ and the continuous-time filter frequency $\omega_a = \pm \infty$ correspond to the discrete-time filter frequency $\omega_d = \pm \pi / T.$

One can also see that there is a nonlinear relationship between $\omega_a$ and $\omega_d.$ This effect of the bilinear transform is called frequency warping. The continuous-time filter can be designed to compensate for this frequency warping by setting $\omega_a = \frac \tan \left( \omega_d \frac \right)$ for every frequency specification that the designer has control over (such as corner frequency or center frequency). This is called pre-warping the filter design.

It is possible, however, to compensate for the frequency warping by pre-warping a frequency specification $\omega_0$ (usually a resonant frequency or the frequency of the most significant feature of the frequency response) of the continuous-time system. These pre-warped specifications may then be used in the bilinear transform to obtain the desired discrete-time system. When designing a digital filter as an approximation of a continuous time filter, the frequency response (both amplitude and phase) of the digital filter can be made to match the frequency response of the continuous filter at a specified frequency $\omega_0$, as well as matching at DC, if the following transform is substituted into the continuous filter transfer function. This is a modified version of Tustin's transform shown above.

:$s \leftarrow \frac \frac.$

However, note that this transform becomes the original transform

:$s \leftarrow \frac \frac$

as $\omega_0 \to 0$.

The main advantage of the warping phenomenon is the absence of aliasing distortion of the frequency response characteristic, such as observed with Impulse invariance.

See also

* Impulse invariance
* Matched Z-transform method

References

External links

MIT OpenCourseWare Signal Processing: Continuous to Discrete Filter Design

Lecture Notes on Discrete Equivalents

The Art of VA Filter Design

{{DEFAULTSORT:Bilinear Transform
Digital signal processing
Transforms
Control theory