Professional Documents
Culture Documents
Apostila Introdução
Apostila Introdução
Departamento de Telemática
Faculdade de Engenharia Elétrica e de Computação
Universidade Estadual de Campinas
Motivação
Linearidade
intro 2/4
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Aplicações
Tópicos Principais
• Controle e Estimação
intro 3/4
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
ẋ = Ax + Bu
y = Cx + Du
intro 4/4
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Matrizes e vetores
a11 a12 · · · a1n x1
a21 a22 · · · a2n x2
Am×n =
.. .. ..
; x=
..
am1 am2 · · · amn xn
• Transposição:
a11 a21 · · · am1
0
a12 a22 · · · am2 0
£ ¤ 0 0 0 0 0 0
A =
.. .. .. ; x = x1 x2 · · · xn ; (A+B) = A +B ; (AB) = B A
matrizlinear 1/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
n
An×n =⇒ Tr (A) = ∑ aii ; Tr(AB) = Tr(BA) ; Tr(αA+B) = αTr(A)+Tr(B)
i=1
matrizlinear 2/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Matrizes
• Anti-hermitiana: A∗ = −A
1 1
A = X + jY ; X = (A + A∗) ; Y = (A − A∗) ; X,Y hermitianas
2 2j
matrizlinear 3/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Determinantes
matrizlinear 4/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
£ ¤
A = a11 =⇒ det(A) = a11
· ¸
a11 a12
A= =⇒ det(A) = a11a22 − a12a21
a21 a22
a11 a12 a13
A = a21 a22 a23 =⇒ det(A) = a11a22a33 + a12a23a31 + a13a21a32
a31 a32 a33 −a13a22a31 − a12a21a33 − a11a32a23
matrizlinear 5/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
matrizlinear 6/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Matrizes
matrizlinear 7/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
· ¸−1 · ¸
a b 1 d −b
=
c d ad − bc −c a
matrizlinear 8/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
· ¸ · ¸· ¸· ¸
A11 A12 I 0 A11 0 I A−1
11 A12
=
A21 A22 A21A−1
11 I 0 ∆ 0 I
· ¸ · ¸· ¸· ¸
A11 A12 I A12A−1
22 ∆ˆ 0 I 0
=
A21 A22 0 I 0 A22 A−1
22 A21 I
matrizlinear 9/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
• Se A é não singular
· ¸−1 · ¸
11 + A11 A12 ∆ A21 A11
A−1 11 A12 ∆
−1 −1
A11 A12 −1
−A−1 −1
=
A21 A22 −∆−1A21A−1 11 ∆
−1
· ¸−1 · ¸
A11 A12 ∆ˆ −1 −∆ˆ −1A12A−1
22
=
A21 A22 −A22 A21∆ˆ
−1 −1
A22 + A22 A21∆ˆ A12A−1
−1 −1 −1
22
(A11 − A12A−1
22 A21 )
−1
= A−1 −1 −1 −1 −1
11 + A11 A12 (A22 − A21 A11 A12 ) A21 A11
(A22 − A21A−1
11 A 12 ) −1
= A −1
22 + A −1
22 A 21 (A 11 − A 12 A −1
22 A 21 ) −1
A 12 A −1
22
matrizlinear 10/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
• Para A bloco-triangular
· ¸−1 · ¸
A11 0 A−1
11 0
=
A21 A22 −A22 A21A−1
−1
11 A−1
22
· ¸−1 · ¸
A11 A12 A−1
11 −A−1
11 A 12 A −1
22
= −1
0 A22 0 A22
matrizlinear 11/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
; Forma matricial: y = Ax
y1 a11 a12 · · · a1n x1
y2 a21 a22 · · · a2n x2
y=
.. ;
A=
.. . . . .. ;
x=
..
ym am1 am2 · · · amn xn
matrizlinear 12/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Equação Característica
• Considere a equação linear λx = Ax, com λ escalar, que pode ser escrita:
(λI − A)x = 0
; Uma solução x 6= 0 existe se e somente se det(λI − A) = 0
λixi = Axi ; i = 1, . . . , n
Polinômios Coprimos
; São polinômios que não possuem fator comum. Dados dois polinômios p 0 e
p1, com o grau de p1 menor ou igual ao grau de p0, pode-se usar o algoritmo
euclidiano para determinar se p0 e p1 possuem ou não um fator comum.
matrizlinear 14/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
p0 = (s − 1) p1 + (2s − 2)
| {z } | {z }
q1 p2
p1 = (0.5s − 2) p2 + |{z}
0
| {z }
q2 p3
Exemplo: p0 = s3 + 4s2 − 2s + 1 e p1 = s2 + 2s − 1.
p0 = (s + 2)p1 + (−5s + 3)
p1 = (−0.2s − 0.52)p2 + 0.56
=⇒ não possuem fator comum
matrizlinear 15/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Polinômios Coprimos
matrizlinear 16/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
matrizlinear 17/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Função Linear
x+y
Uma função f : Rn → Rm é linear y
se
• f (x + y) = f (x) + f (y), ∀ x, y ∈
Rn
• f (αx) = α f (x), ∀ x ∈ Rn, ∀ α ∈ x
PSfrag replacements
R
Isto é, vale o princípio da super- f (y)
posição
f (x)
f (x + y)
matrizlinear 18/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
k replacements
PSfrag
PSfrag replacements
x x
y = f (x)
PSfrag replacements
x
matrizlinear 19/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Interpretação
n
y = Ax ⇒ yi = ∑ ai j x j ; i = 1···m
j=1
matrizlinear 20/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
1/R1 1/R2 1 y1 0
1 −1 0 y2 = x1
0 1 −R3 y3 x2
y1 R1(R2 + R3) R 1 R2 · ¸
y2 = 1 −R2R3 x1
R1 R2
R1 R2 + R 1 R3 + R 2 R3 x2
y3 −R2 −(R1 + R2)
matrizlinear 21/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Linearização
¯
∂ fi ¯¯
Matriz jacobiano: D f (x0)i j =
∂x j ¯ x0
δy ≈ D f (x0)δx
ẋ = Ax + Bu ; y = Cx + Du
cida 10
2
1
8
y
6
−1
4
−2
y
2
−3
0
PSfrag replacements
−4
−2 −5
0 1 2 3 4 5 6 7 8 9 10
−6
0 1 2 3 4 5 6 7 8 9 10
tempo
matrizlinear 23/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
3 3
2 2
1 1
y1
y2
0 0
−1 −1
−2 −2
−3
PSfrag replacements −3
PSfrag replacements
−4 −4
0 20 40 60 80 100 120 140 160 180 200 0 20 40 60 80 100 120 140 160 180 200
tempo tempo
3
1
y2
−1
−2
PSfrag replacements
−3
−4 −3 −2 −1 0 1 2 3 4
y1
matrizlinear 24/24
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Equações Diferenciais
• Sistemas lineares invariantes no tempo podem ser descritos por equações
diferenciais ordinárias a coeficientes constantes. Em geral, a ordem da equação
está associada ao número de armazenadores de energia.
Sistema Autônomo
• Equação de Primeira Ordem: x + τẋ = 0, τ é a constante de tempo
1
Modo próprio: x(t) = K exp(λt); Equação caracterı́stica: λ + = 0
τ
t
Solução: x(t) = K exp(− )
τ
• Equação de Segunda Ordem: ẍ + 2αẋ + ω20x = 0
α: coeficiente de amortecimento; ω0: freqüência natural de oscilação
Dois modos próprios do tipo: x(t) = K exp(λt)
Equação caracterı́stica: λ2 + 2αλ + ω20 = 0
Solução: (λ1 6= λ2): x(t) = K1 exp(λ1t) + K2 exp(λ2t);
(λ1 = λ2 = λ): x(t) = K1 exp(λt) + K2t exp(λt)
dif 1/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
n m
x(t) = ∑ ci pi(t) + ∑ b j f j(t)
i=1 j=0
⇑ ⇑
transitória forçada
dif 2/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
• Sistematização
dif 3/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
5λ + 1 = 0 =⇒ λ = −0.2
x f = k1t + k =⇒ k1t + k + 5k1 = t + 10; k1 = 1; k = 5 =⇒ x f = t + 5
x(t) = k0 exp(−0.2t) + t + 5; x(0) = −10 =⇒ k0 = −15
20
15
10
t +5
0 x(t)
PSfrag replacements
−5
−10
0 2 4 6 8 10 12 14 16 18 20
t
dif 4/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
λ2 + 3λ + 2 = 0 =⇒ λ1 = −1 , λ2 = −2
x f = k3t 3 +k2t 2 +k1t +k =⇒ k3 = 0.5 , k2 = −2.25 , k1 = 5.25 , k = −5.625
x(t) = a1 exp(−t) + a2 exp(−2t) + 0.5t 3 − 2.25t 2 + 5.25t − 5.625
x(0) = 5 , ẋ(0) = −2 =⇒ a1 = 14 ; a2 = −3.375
30
25
20
15
10
5 x(t)
PSfrag replacements
−5
x f (t)
−10
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5
t
dif 5/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
• Definição: uε(t)
uε (t)
0 , t <0
1
PSfrag replacements
uε(t) , (1/ε)t , 0 < t < ε
t >ε
ε t 1 ,
u(t)
PSfrag replacements 1
u(t) , lim uε(t)
ε→0+
t
dif 6/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
• Definição: δε(t)
δε (t)
0 , t <0
PSfrag replacements 1/ε
d
δε(t) , uε(t) = 1/ε , 0 < t < ε
dt
0 , t >ε
ε t
δ(t)
1 d
PSfrag replacements
δ(t) , lim δε(t) δ(t) = u(t)
ε→0+ dt
t
dif 7/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Z +∞
• Propriedade: f (t)δ(t)dt = f (0) , ∀ f (t) contı́nua em t = 0
−∞
Prova:
Z +∞ Z +∞ Z ε1
I= f (t)δ(t)dt = lim f (t)δε(t)dt = lim f (t)dt
−∞ ε→0+ −∞ ε→0+ 0 ε
Z b
Teorema do Valor Médio: f (t)dt = f (c)(b − a) , c ∈ (a, b)
a
PSfrag replacements 1
=⇒ I = lim f (y)(ε − 0) , y ∈ (0, ε)
ε→0+ ε
a c b
y ∈ (0, ε)
dif 8/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Z +∞ Z +∞
• Resumo: f (t)δ(t)dt = f (0) , f (t)δ(t − a)dt = f (a)
−∞ −∞
Z +∞
• Corolário: para f (t) = 1: δ(t)dt = 1 =⇒ Área Unitária
−∞
Z +∞
f (t)δ(−t)dt = f (0)
−∞
fazendo ζ = −t,
Z −∞ Z +∞
= − f (−ζ)δ(ζ)dζ = f (−ζ)δ(ζ)dζ =
+∞ −∞
Z +∞
= f (−t)δ(t)dt = f (−0) = f (0)
−∞
pois f (·) é contı́nua. =⇒ δ(−t) = δ(t)
dif 9/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
• Entrada em Degrau
PSfrag replacements
R i
+ +
e C v
− −
e(t)
E , t >0 E
e(t) = Eu(t) = PSfrag replacements
0 , t <0
t
Como a função degrau vale zero no intervalo (−∞, 0), e o circuito é dissipativo,
a tensão no capacitor em t = 0 é nula.
dif 10/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
v f (t) = AE , t >0
v f + τv̇ f = e =⇒ AE = E =⇒ A=1
t
v(t) = K exp(− ) + E
τ
v(0) = 0, =⇒ K = −E,
h t i
v(t) = E 1 − exp(− ) , t > 0 e v(t) = 0 , t < 0
τ
h t i
v(t) = E 1 − exp(− ) u(t)
τ
v(t)
PSfrag replacements E
τ t
dif 11/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
v(t)
PSfrag replacements E
τ t
dv E t h t i
= exp(− )u(t) + E 1 − exp(− ) δ(t)
dt τ τ τ
Dado o caráter amostrador do impulso, só interessa o valor da função que o
multiplica em t = 0.
Z +∞
f (t)δ(t)dt = f (0)
−∞
h t i dv E t
Como E 1 − exp(− ) = 0 para t = 0: = exp(− )u(t)
τ dt τ τ
dv E
Em t = 0+, (0+) =
dt τ
dif 12/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
d d
δ(t) , u(t) ; h(t) = [ resposta ao degrau ]
dt dt
Pois
=⇒ h(t) = v̇(t)
v(t) + τv̇(t) = u(t)
d nh ³ t ´i o
=⇒ h(t) = 1 − exp − u(t)
dt τ
1 ³ t´ h ³ t ´i
h(t) = exp − u(t) + 1 − exp − δ(t)
τ τ τ
h ³ t ´i 1 ³ t´
Em t = 0, 1 − exp − = 0; h(t) = exp − u(t)
τ τ τ
dif 13/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Transformada de Laplace
• f (t) função no tempo, nula para t < 0
Z ∞
F(s) , f (t) exp(−st)dt
0
dif 14/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
2 5(s + 2) −2
(s +2s+2)X(s) = (s+2)x(0)+ ẋ(0) =⇒ X(s) = 2 +
s + 2s + 2 s2 + 2s + 2
2.5 − j2.5 2.5 + j2.5 j −j
Frações Parciais: X(s) = + + +
s+1− j s+1+ j s+1− j s+1+ j
x(t) = (2.5 − j1.5) exp[(−1 + j)t] + (2.5 + j1.5) exp[(−1 − j)t]
5
x(t)
2
x(t) = L −1[X(s)];
1
0
PSfrag replacements
−1
0 1 2 3 4 5 6
t
dif 15/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
1
2
(s + 2s + 2)X(s) = 1 ; X(s) = 2 ; x(t) = L −1[X(s)]
s + 2s + 2
− j0.5 j0.5
Frações Parciais: X(s) = +
s+1− j s+1+ j
x(t) = − j0.5 exp[(−1 + j)t] + j0.5 exp[(−1 − j)t]
0.35
0.3
0.25
x(t)
0.2
0.15
0.1
0.05
PSfrag replacements 0
−0.05
0 1 2 3 4 5 6
t
dif 16/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
s+1 s+1 A B C
= = + +
s3 + s2 − 6s s(s − 2)(s + 3) s s − 2 s + 3
¯
N(s) ¯¯ 1
A=s =−
D(s) ¯s = 0 6
¯
N(s) ¯¯ 3
B = (s − 2) =
D(s) ¯s = 2 10
¯
N(s) ¯¯ 2
C = (s + 3) =−
D(s) s = −3
¯ 15
• Alternativamente, é possı́vel usar identidade polinomial para o cálculo das
constantes a determinar.
dif 17/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
s+1 A B C D
= + + +
s(s − 2)3 s (s − 2) (s − 2)2 (s − 2)3
¯ ¯
N(s) ¯¯ 1 3 N(s) ¯
¯ 3
A=s = − ; D = (s − 2) =
D(s) ¯s = 0 8 D(s) ¯s = 2 2
· ¸¯ · ¸¯ ¯
d 3 N(s) ¯
¯ d s+1 ¯ ¯ −1 ¯¯ −1
C= (s − 2) = = 2¯ =
ds D(s) ¯s = 2 ds s ¯s = 2 s s=2 4
3
· ¸¯
d A(s − 2) 2
¯
pois + B(s − 2) +C(s − 2) + D ¯¯ =C
ds s s=2
2
· ¸¯ ¯
d 3 N(s) ¯ 2 ¯¯ 1
¯
2B = 2 (s − 2) = =
ds D(s) ¯s = 2 s3 ¯s = 2 4
2 3
· ¸¯
d A(s − 2) 2
¯
pois 2 + B(s − 2) +C(s − 2) + D ¯¯ = 2B
ds s s=2
dif 18/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
s3 + s 2 s2 + 5s + 7
5s2 + 12s + 8
5s2 + 5s
7s + 8
7s + 7
+1
(s + 2)3 1
= s2 + 5s + 7 +
s+1 s+1
dif 19/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
δ(t) 1
δ(n)(t) sn
tn 1
u(t) ; u(t) 1/s ;
n! sn+1
tn 1 1
exp(−at)u(t) ; exp(−at)u(t) ;
n! s+a (s + a)n+1
s ω
cos(ωt)u(t) ; sin(ωt)u(t) ;
s2 + ω 2 s2 + ω 2
s+a ω
exp(−at) cos(ωt)u(t) ; exp(−at) sin(ωt)u(t) ;
(s + a)2 + ω2 (s + a)2 + ω2
Obs. A multiplicação de uma função f (t) por u(t) (degrau unitário) indica que
f (t) = 0 para t < 0.
dif 20/21
IA536A - Teoria de Sistemas Lineares - FEEC/UNICAMP Profs. Pedro/Ivanil
Equação a Diferenças
• Primeira ordem: x(k + 1) = ρx(k) , x(0) = 1
x(0) = 1 =⇒ x(k) = ρk
• Segunda ordem: x(k + 2) + 3x(k + 1) + 2x(k) = 0 ; x(0) = 1 , x(1) = 2
• Coeficientes a determinar
• Transformada Z
dif 21/21