Matrix exponential, ZIR+ZSR, transfer function, hidden modes, - - PowerPoint PPT Presentation

matrix exponential zir zsr transfer function hidden modes
SMART_READER_LITE
LIVE PREVIEW

Matrix exponential, ZIR+ZSR, transfer function, hidden modes, - - PowerPoint PPT Presentation

Matrix exponential, ZIR+ZSR, transfer function, hidden modes, reaching target states 6.011, Spring 2018 Lec 8 1 Modal solution of driven DT system q [ n + 1] = V V 1 q [ n ] + b x [ n ] , T y [ n ] = c q [ n ] + d x [ n ] | {z } r [ n ]


slide-1
SLIDE 1

Matrix exponential, ZIR+ZSR, transfer function, hidden modes, reaching target states

6.011, Spring 2018 Lec 8

1

slide-2
SLIDE 2

β

λ β

Modal solution of driven DT system

T

q[n + 1] = VΛ V−1 q[n] +bx[n] , y[n] = c q[n] + dx[n] | {z }

r[n]

↓ r[n + 1] = Λr[n] + V−1b x[n] , y[n] = c

T V r[n] + dx[n]

| {z } |{z}

ξT

Because Λ is diagonal, we get the decoupled scalar equations ⇣ L ri[n + 1] =λiri[n] + β ix[n] , y[n] = X ξiri[n] ⌘ + d[n]

1

β

2

slide-3
SLIDE 3

Underlying structure of LTI DT state- space system with L distinct modes

x[n] y[n] d b1 z - n1 bL z - nL + ξ1 ξL

3

slide-4
SLIDE 4

λ β β

Reachability and Observability

⇣ L y[n] = X ξiri[n] ⌘ + d[n]

1

for i = 1, 2, . . . , L ↓ i.e., the jth mode is unreachable ξk = 0 , the kth mode cannot be seen in the output i.e., the kth mode is unobservable ri[n + 1] = λiri[n] + βix[n] , βj = 0 , the jth mode cannot be excited from the input

4

slide-5
SLIDE 5

β λ β

Hidden modes

H(z) = ⇣ L X

i=1

βiξi z − λi ⌘ + d Any modes that are unreachable (βi = 0)

  • r/and unobservable (ξi = 0)

are “hidden” from the input-output transfer function.

5

slide-6
SLIDE 6

λ − β − λ λ β − ≥

ZIR + ZSR

i=1

ri[n] = λiri[n − 1] + βix[n − 1]

n

ri[n] = | (λi ) {z ri[0] }

ZIR

+ X

n k=1

λi

k−1βi x[n − k]

| {z }

ZSR

↓ , n ≥ 1 ↓ q[n] =

L

X vi ri[n]

6

slide-7
SLIDE 7

− − − ≥

More directly …

n

q[n] = (An) q[0] + X Ak−1b x[n k] , n 1 | {z }

k=1 ZIR

| {z }

ZSR

(linear jointly in initial state and input sequence) q[n] = Aq[n − 1] + bx[n − 1]

7

slide-8
SLIDE 8

λ β

λ λ

β − ≥

Similarly for CT systems

ZSR

↓ q(t) =

L

X

i=1

vi ri(t) r ˙i(t) = λiri(t) + βix(t) ri(t) = ( |eλit) {z ri(0) }

ZIR

+ Z t eλiτβi x(t − τ) dτ | {z } ↓ , t ≥ 0

8

slide-9
SLIDE 9

Decoupled structure of CT LTI system in modal coordinates

x(t) y(t) d b1l1 s - n1 bLlL s - nL +

9

slide-10
SLIDE 10

− ≥

More generally

t

Z q(t) = (e

At) q(0) +

e

Aτ b x(t

τ ) dτ , t | {z } | {z }

ZIR ZSR

where

2 3 At

+ A

2 t + A 3 t

e = I + At + · · · 2! 3!

Λt V−1

= V e

10

slide-11
SLIDE 11

Key properties of matrix exponential

A.0

e = I d At

At AtA

e = Ae = e dt

At1 At2 A(t1+t2)

e e = e

A1 A2 A1+A2

but e 6 e = e unless the two matrices commute

11

slide-12
SLIDE 12

− − −

In the transform domain …

The matrix extension of e

at ↔

1 s a is e

At ↔ (sI

A)−1 Input-output transfer function: H(s) = c

T (sI

A)−1b + d

12

slide-13
SLIDE 13

β β γ γ

  • λ

λ

  • β

β

  • γ

γ

  • λ − λ

λ −λ − γ β γ β

  • Reaching a target state from the
  • rigin (e.g., in a 2nd-order system)

q[n + 1] = Aq[n] + bx[n] , q[0] = 0 b = v1β1 + v2β2 Reaching a target state in 2 steps: q[2] = v1γ1 + v2γ2 ⇓  x[1] x[0]

  • =

 1 λ1 1 λ2 −1  β1 β2 −1  γ1 γ2

  • =

1  λ2 −λ1 1 1  γ1/β1 γ2/β2

  • .

13

slide-14
SLIDE 14

MIT OpenCourseWare https://ocw.mit.edu

6.011 Signals, Systems and Inference

Spring 2018 For information about citing these materials or our Terms of Use, visit: https://ocw.mit.edu/terms.

14