Time-invariant system explained

In control theory, a time-invariant (TI) system has a time-dependent system function that is not a direct function of time. Such systems are regarded as a class of systems in the field of system analysis. The time-dependent system function is a function of the time-dependent input function. If this function depends only indirectly on the time-domain (via the input function, for example), then that is a system that would be considered time-invariant. Conversely, any direct dependence on the time-domain of the system function could be considered as a "time-varying system".

Mathematically speaking, "time-invariance" of a system is the following property:[1]

Given a system with a time-dependent output function, and a time-dependent input function, the system will be considered time-invariant if a time-delay on the input directly equates to a time-delay of the output function. For example, if time is "elapsed time", then "time-invariance" implies that the relationship between the input function and the output function is constant with respect to time

y(t)=f(x(t),t)=f(x(t)).

In the language of signal processing, this property can be satisfied if the transfer function of the system is not a direct function of time except as expressed by the input and output.

In the context of a system schematic, this property can also be stated as follows, as shown in the figure to the right:

If a system is time-invariant then the system block commutes with an arbitrary delay.

If a time-invariant system is also linear, it is the subject of linear time-invariant theory (linear time-invariant) with direct applications in NMR spectroscopy, seismology, circuits, signal processing, control theory, and other technical areas. Nonlinear time-invariant systems lack a comprehensive, governing theory. Discrete time-invariant systems are known as shift-invariant systems. Systems which lack the time-invariant property are studied as time-variant systems.

Simple example

To demonstrate how to determine if a system is time-invariant, consider the two systems:

y(t)=tx(t)

y(t)=10x(t)

Since the System Function

y(t)

for system A explicitly depends on t outside of

x(t)

, it is not time-invariant because the time-dependence is not explicitly a function of the input function.

In contrast, system B's time-dependence is only a function of the time-varying input

x(t)

. This makes system B time-invariant.

The Formal Example below shows in more detail that while System B is a Shift-Invariant System as a function of time, t, System A is not.

Formal example

A more formal proof of why systems A and B above differ is now presented. To perform this proof, the second definition will be used.

System A: Start with a delay of the input

xd(t)=x(t+\delta)

y(t)=tx(t)

y1(t)=txd(t)=tx(t+\delta)

Now delay the output by

\delta

y(t)=tx(t)

y2(t)=y(t+\delta)=(t+\delta)x(t+\delta)

Clearly

y1(t)\ney2(t)

, therefore the system is not time-invariant.

System B: Start with a delay of the input

xd(t)=x(t+\delta)

y(t)=10x(t)

y1(t)=10xd(t)=10x(t+\delta)

Now delay the output by

\delta

y(t)=10x(t)

y2(t)=y(t+\delta)=10x(t+\delta)

Clearly

y1(t)=y2(t)

, therefore the system is time-invariant.

More generally, the relationship between the input and output is

y(t)=f(x(t),t),

and its variation with time is

dy
dt

=

\partialf
\partialt

+

\partialf
\partialx
dx
dt

.

For time-invariant systems, the system properties remain constant with time,

\partialf
\partialt

=0.

Applied to Systems A and B above:

fA=tx(t)    \implies   

\partialfA
\partialt

=x(t)0

in general, so it is not time-invariant,

fB=10x(t)    \implies   

\partialfB
\partialt

=0

so it is time-invariant.

Abstract example

We can denote the shift operator by

Tr

where

r

is the amount by which a vector's index set should be shifted. For example, the "advance-by-1" system

x(t+1)=\delta(t+1)*x(t)

can be represented in this abstract notation by

\tilde{x}1=T1\tilde{x}

where

\tilde{x}

is a function given by

\tilde{x}=x(t)\forallt\in\R

with the system yielding the shifted output

\tilde{x}1=x(t+1)\forallt\in\R

So

T1

is an operator that advances the input vector by 1.

H

. This system is time-invariant if it commutes with the shift operator, i.e.,

TrH=HTr\forallr

If our system equation is given by

\tilde{y}=H\tilde{x}

then it is time-invariant if we can apply the system operator

H

on

\tilde{x}

followed by the shift operator

Tr

, or we can apply the shift operator

Tr

followed by the system operator

H

, with the two computations yielding equivalent results.

Applying the system operator first gives

TrH\tilde{x}=Tr\tilde{y}=\tilde{y}r

Applying the shift operator first gives

HTr\tilde{x}=H\tilde{x}r

If the system is time-invariant, then

H\tilde{x}r=\tilde{y}r

See also

Notes and References

  1. Book: Alan . Oppenheim . Alan . Willsky . Signals and Systems. Prentice Hall . 1997. second .