Model-Based Testing for Embedded Systems

606 Model-Based Testing for Embedded Systems

Taking the Laplace Transform of this differential equation shows that it has the frequency

response

H(ω)=

b

0

+ b

1

e

2πiω

+ ...+ b

m

e

2πmiω

a

0

+ a

1

e

2πiω

+ ...+ a

n

e

2πniω

. (21.3)

This equation provides the usual general form of a parametric model for a LTI SISO system

in the frequency domain. The complex zeros of the polynomial b(w)=



m

i=0

b

i

w

i

are called

the zeros of the LTI system (21.2). The complex zeros of the polynomial a(w)=



n

i=0

a

i

w

i

are called the system’s poles. The system is called stable if the real parts of its poles are all

negative. In order that there not be an infinite set of models identical except for the ...