Download as pdf or txt
Download as pdf or txt
You are on page 1of 18

Dynamical systems and

stochastic processes
John Lataire
Dynamical Systems
Discrete time dynamical systems
u y
G

• u(t), y(t) : ℤ → ℝ,
• t ∈ ℤ is the discrete time
• u(t): input signal
• y(t): output signal
• u, y ∈ discrete time signals

• G: → : u → y = G(u)

33
𝒮
𝒮
𝒮
System properties
u y
G
• Linearity
• A system G is linear if ∀α, β ∈ ℝ and u, w ∈ we have that
G(αu + βw) = αG(u) + βG(w)

• Time invariance
• A system G is time invariant if for any u, y ∈ and T ∈ ℤ we have that
y(t) = G(u(t)) ⇔ y(t − T ) = G(u(t − T ))
That is, the response remains the same, whether the input is applied now,
earlier, or later.

• Causality
• A system G is causal if for any t, s ∈ , y = G(u), y′ = G(u′)
u′(s) = u(s) for s ⩽ t ⇒ y′(t) = y(t)
That is, the response of the system does not depend on future input.

44


𝕋
𝒮
𝒮


LTI, impulse response

• Impulse response: completely de nes the LTI system

{0 otherwise
1 for t = 0
Impulse: δt =

• Response to impulse G(δt) = g(t)

• Response to arbitrary excitation u(t): convolution



y(t) = g(k)u(t − k) = (g * u)(t), or short: y = g * u
• k=−∞


if causal: y(t) = g(k)u(t − k)
• k=0

55
fi
Stability LTI systems

• Bounded Input Bounded Output stability:



| g(t) | < ∞
• t=0

• Strict stability


t | g(t) | < ∞
• t=0

• Class of systems g ∈ is uniformly stable if


• ∀g ∈ : | g(t) | ⩽ h(t) with h BIBO stable

66
𝔾
𝔾
Examples discrete time LTI

• Ordinary difference equations


1
A. y(t) − y(t − 1) = u(t) + 0.3u(t − 1)
2
B. y(t) − 1.8 cos(π/4)y(t − 1) + 0.92y(t − 2) = 0.9u(t − 1)

1
1
0.8
0.5
0.6
A B
y(t)

y(t)
0.4 0

0.2 -0.5

0 5 10 15 20 0 10 20 30 40 50
time time

77
Example UNSTABLE LTI system

• Ordinary difference equations


y(t) − 2.2 cos(π/4)y(t − 1) + 1.12y(t − 2) = 1.1u(t − 1)
10 4
1.5

0.5
y(t)

-0.5

-1
0 20 40 60 80 100
time

88
-transform
𝒵
transform


u(t)z −t, z ∈ ℂ

Z transform of u ∈ is: Z(u) : U(z) =
• t=−∞

• Inverse Z transform:
1
2π ∫ω∈[0,2π)
−1
Z (U) = u(t) = U(e jω)e jωtdω
𝒵
1010
𝒮
-transform: properties

• Convolution: Z(g * f ) = Z(g)Z( f )

• Symmetry. For u real: U(z) = U(z)

• Time shift:
• Z(u(t + 1)) = zZ(u(t)), Z(u(t − 1)) = z −1Z(u(t))
𝒵
11
-transform pairs
• u(t) = 0 for t < 0. For t ⩾ 0 we have:
1
<latexit sha1_base64="8IV5Yb6s4JAhM3MAfcDRprad9TU=">AAAExHicjVNdb9MwFPXaAKN8dSDxwotFRZWotEqiCXhg0gRi4oGHIdFtWt1Wruu21pI4sp2hzgp/id/Dj0HC+Zho2iJqydHVvb7nnHtiT+KASeW6v/ZqdevO3Xv79xsPHj56/KR58PRM8kQQ2ic84OJigiUNWET7iqmAXsSC4nAS0PPJ1cesfn5NhWQ8+qaWMR2GeB6xGSNYmdT4oPYzsZUD20cQjxRst9EXOlOCzRcKC8G/wza8tBMHHvXtG/OFbfQaopnARHup9mAX4puR7npp2kCocYukCii4iVWg/AW57da21y1jZ+RXwBDh0kY8pHM8drPUFonrsJmwAq3S7RSS/aJURXZgJ2/xq6MgyaIq+w5TldSrrVXqKnNnhffSNt5l5Dl7H8VC6RI01biqzZysAMFd9a38tw1/uv7WSgeP/C32ZBJWx9xZAv6HR/+nHzdbbs/NF9wMvDJogXKdjpu/0ZSTJKSRIgGWcuC5sRpqLBQjATXjJJLGmFzhOR2YMMIhlUOdv6wUvjKZKZxxYXakYJ5d7dA4lHIZTszJEKuFXK9lyW21QaJm74aaRXGiaEQKolkSQMVh9kzhlAlKVLA0ASaCGa2QLLCxTpnH3DD3gl+zKSU8DHE01dk9SQfeUKPAOG/DlgdR7r+T+eWtu7MZnPk9703v8Oth6/hD6dw+eAFeAht44C04Bp/BKegDUn9ef1//VD+xTqzAklZSHK3tlT3PQGVZP/4A0qp3Ng==</latexit>

t
u(t) = a , Z(u) = U (z) =
1 az 1
az 1
u(t) = tat , U (z) =
(1 az 1 )2
1 z 1 cos(!0 )
u(t) = cos(!0 t) , U (z) =
1 2z 1 cos(!0 ) + z 2

z 1 sin(!0 )
u(t) = sin(!0 t) , U (z) =
1 2z 1 cos(!0 ) + z 2
⇣z ⌘
Z(at u(t)) = U
a
1 az 1 cos(!0 )
u(t) = at cos(!0 t) , U (z) =
1 2az 1 cos(!0 ) + a2 z 2

az 1 sin(!0 )
u(t) = at sin(!0 t) , U (z) =
1 2az 1 cos(!0 ) + a2 z 2
𝒵
12
-transform of difference equation

• Consider the difference equation


na nb

∑ ∑
an y(t − n) = bnu(t − n)
n=0 n=0

• Taking the Z transform of both sides gives


na nb
anz −nY(z) = bnz −nU(z)
∑ ∑
n=0 n=0

or
n
Y(z) B(z) ∑n=0
b
bnz −n
= G(z) = = na
U(z) A(s) ∑n=0 anz −n

• Use the pair of Z-transform to determine the impulse response function of the rational
form
• Note that the stability of the system is guaranteed
if the poles of G(z) are inside the unit circle (gives an exponentially decaying IRF).
𝒵
1313
Poles of 2nd order LTI

−1

1 − az cos(ω0) unstable
G(z) =
1 − 2az −1 cos(ω0) + a 2z −2
a
stable ω0 ℜ
p1,2 = a cos(ω0) ± 2 2
a cos (ω0) − a 2

= a (cos(ω0) ± j sin(ω0))

1414
Parametric LTI model classes
Parametric LTI model classes
Denote time-shift operator q, s.t.
qu(t) = u(t + 1), q −1u(t) = u(t − 1)
Time domain q → -domain z.

General model structure


y(t) = G(q)u(t) + H(q)e(t)
with e white noise and
∞ ∞
g(k)q −k h(k)q −k
∑ ∑
G(q) = H(q) = 1 +
k=0 k=1

Then, G(q) and H(q) are considered as rational forms.

16
𝒵
Models with rational transfer functions

Common cases
<latexit sha1_base64="IHmPU5oSRumc8/ajP0X1WASyeNo=">AAADeHichVLbbtNAEN3YXEq4NC2PfVkRColQI7uqKC9ITQIVICGViLSR4ihabybpKvau2UuVyPIv8HG88SG88MTaCYimUTrSrs7OnDOzM5owiZjSnvez5Lh37t67v/Wg/PDR4yfblZ3dcyWMpNClIhKyFxIFEePQ1UxH0EskkDiM4CKctvP4xRVIxQT/qucJDGIy4WzMKNHWNdwpfZ/XdB2/eItbtW91k+NXGAoXDjTMdHr6sZMFQfkvLRhLQtOcnKWn+b1OI4xOjMYgpZC5uGmJt9VpGi0OOjCRoBS7Avx+JibAhVG41uz06qtpMG7b1/UMnc/NDdXW8nsbBItW20Wr7/J7Rf1Pf9tsNidqidnBJ+BTxlWGh5Wq1/AKwzeBvwRVtLSzYeVHMBLUxMA1jYhSfd9L9CAlUjMaQVYOjIKE0CmZQN9CTmJQg7RYnAzvW88Ij4W0h2tceP9XpCRWah6HlhkTfalWY7lzXaxv9PjNIGXcbgFwuig0NhHWAudbiEdMAtXR3AJCJbN/xfSS2Clpu6tlOwR/teWb4Pyw4b9uHH05qp60luPYQnvoGaohHx2jE/QBnaEuoqVfzp7z3Nl3frvYfenWF1SntNQ8RdfMPfwDt1YDtg==</latexit>

y(t) = B(q)u(t) + e(t) FIR


B(q)
y(t) = u(t) + e(t) output error
F (q)
A(q)y(t) = B(q)u(t) + e(t) Auto-Regressive Exogenous (ARX)
A(q)y(t) = C(q)e(t) ARMA
A(q)y(t) = B(q)u(t) + C(q)e(t) ARMAX
C(q)
A(q)y(t) = B(q)u(t) + e(t) ARARMAX
D(q)
B(q) C(q)
y(t) = u(t) + e(t) Box-Jenkins
F (q) D(q)

1717
Models with rational transfer functions

General form, with A, C, D, F monic ( rst coef cient = 1)


B(q) C(q) white noise
A(q)y(t) = u(t) + e(t)
F(q) D(q) e

C
AD

u B
+ y
AF

1818
fi
fi

You might also like