Professional Documents
Culture Documents
Santos
Passividade
FUNÇÕES DE TRANSFERÊNCIA REAIS POSITIVAS
ESTABILIDADE LYAPUNOV
Passividade
A passividade nos fornece uma ferramenta útil para a análise de
sistemas não lineares que se relaciona bem com a estabilidade
Lyapunov e ℒ2 .
Uma matriz de função de transferência racional adequada
pxp 𝐺 (𝑠) é chamada de real positivo se:
Funções De Transferência Reais Positivas
Uma matriz de função de transferência racional adequada pxp 𝐺(𝑠) é
chamada de real positivo se:
• 𝐺 𝑠 é 𝐻𝑢𝑟𝑤𝑖𝑡𝑧
• 𝐺(𝑗𝜔) + 𝐺 𝑇 (−𝑗𝜔) > 0, ∀ 𝜔 ∈ 𝑅
• 𝐺(∞) + 𝐺 𝑇 (∞) > 0 𝑜𝑢
lim 𝜔 2(𝑝−𝑞) det[𝐺(𝑗𝜔) + 𝐺 𝑇 (−𝑗𝜔)] > 0
𝜔→∞
onde 𝑞 = 𝑟𝑎𝑛𝑘[𝐺(∞) + 𝐺𝑇 (∞)]
Funções De Transferência Reais Positivas
Caso Escalar ( 𝑝 = 1 ): 𝐺 (𝑠) é estritamente positivo real se e
somente se:
• 𝐺 𝑠 é 𝐻𝑢𝑟𝑤𝑖𝑡𝑧
• 𝑅𝑒[𝐺(𝑗𝜔)] > 0, ∀ 𝜔 ∈ [0, ∞)
• 𝐺(∞) > 0 ou
lim 𝜔2 𝑅𝑒[𝐺(𝑗𝜔)] > 0
𝜔→∞
Funções De Transferência Reais Positivas –
Exemplo 1
1
𝐺 𝑠 =
𝑠
1
𝑅𝑒 𝐺 𝑗𝜔 = 𝑅𝑒 = 0, ∀ 𝜔 ≠ 0
𝑗𝜔
Funções De Transferência Reais Positivas –
Exemplo 1
Portanto, 𝐺 é positivo real. Não é estritamente positivo real desde
1
𝑠 − 𝜀
𝜔→∞ 𝜔→∞ 𝜔 +𝑎
Funções De Transferência Reais Positivas –
Exemplo 3
1 1 − 𝜔2
𝐺 𝑠 = 2 , 𝑅𝑒 𝐺 𝑗𝜔 =
𝑠 +𝑠+1 (1 − 𝜔 2 )2 +𝜔 2
2 2 + 𝜔2 −2𝑗𝜔
1 + 𝜔 2 4 + 𝜔2
𝐺 𝑗𝜔 + 𝐺 𝑇 −𝑗𝜔 =
2𝑗𝜔 4
4 + 𝜔2 1 + 𝜔2
Funções De Transferência Reais Positivas –
Exemplo 4
𝑇 2 0
𝐺 ∞ +𝐺 ∞ = ,𝑞 = 1
0 0
𝑃𝐴 + 𝐴𝑇 𝑃 = −𝐿𝑇 𝐿
𝑃𝐵 = 𝐶 𝑇 − 𝐿𝑇 𝑊
𝑊 𝑇 𝑊 = 𝐷 + 𝐷𝑇
Funções De Transferência Reais Positivas
Norma(Kalman–Yakubovich–Popov ):
Dado 𝐺 𝑠 = 𝐶 𝑠𝐼 − 𝐴 −1 𝐵 + 𝐷
Onde (𝐴, 𝐵) é controlável e 𝐴, 𝐶 é 𝑜𝑏𝑠𝑒𝑟𝑣á𝑣𝑒𝑙. 𝐺 𝑠 é estritamente
positive real se e somente se existir uma matriz 𝑃 = 𝑃𝑇 > 0, 𝐿, 𝑒 𝑊
e uma constante positiva 𝜀 𝑡𝑎𝑙 𝑞𝑢𝑒:
𝑃𝐴 + 𝐴𝑇 𝑃 = −𝐿𝑇 𝐿 − 𝜀𝑃
𝑃𝐵 = 𝐶 𝑇 − 𝐿𝑇 𝑊
𝑊 𝑇 𝑊 = 𝐷 + 𝐷𝑇
Funções De Transferência Reais Positivas
𝑇
𝜕𝑉
𝑢 𝑦 − 𝐴𝑥 + 𝐵𝑢
𝜕𝑥
= 𝑢𝑇 𝐶𝑥 + 𝐷𝑢 − 𝑥 𝑇 𝑃 𝐴𝑥 + 𝐵𝑢
1 𝑇
= 𝑢 𝐶𝑥 + 𝑢 (𝐷 + 𝐷 𝑇 )𝑢
𝑇
2
Funções De Transferência Reais Positivas
1 𝑇
− 𝑥 𝑃𝐴 + 𝐴𝑇 𝑃 𝑥 − 𝑥 𝑇 𝑃𝐵𝑢
2
𝑇 𝑇 𝑇
1 𝑇 𝑇 1 𝑇 𝑇 1 𝑇
= 𝑢 𝐵 𝑃 + 𝑊 𝐿 𝑥 + 𝑢 𝑊 𝑊𝑢 + 𝑥 𝐿 𝐿𝑥 + 𝜀𝑥 𝑃𝑥
2 2 2
𝑇
1 𝑇
1 𝑇 1 𝑇
− 𝑥 𝑃𝐵𝑢 = 𝐿𝑥 + 𝑊𝑢 𝐿𝑥 + 𝑊𝑢 + 𝜀𝑥 𝑃𝑥 ≥ 𝜀𝑥 𝑃𝑥
2 2 2
Prova:
𝑇
𝜕𝑉 𝜕𝑉
𝑢 𝑦 ≥ 𝑓 𝑥, 𝑢 ⇒ 𝑓 (𝑥, 0) ≤ 0
𝜕𝑥 𝜕𝑥
Lyapunov Stability
Norma: se o sistema
𝑥ሶ = 𝑓 𝑥, 𝑢 , 𝑦 = ℎ(𝑥, 𝑢)
é estritamente passivo, então a origem de 𝑥ሶ = 𝑓 (𝑥, 0) é
assintoticamente estável. Além disso, se a função de
armazenamento for radialmente ilimitada, a origem será
globalmente assintóticamente estável
Lyapunov Stability
Prova: A função de armazenamento 𝑉 (𝑥) é positiva definida
𝑇 𝜕𝑉 𝜕𝑉
𝑢 𝑦 ≥ 𝑓 𝑥, 𝑢 + 𝜓 𝑥 ⇒ 𝑓 𝑥, 0 ≤ −𝜓 𝑥
𝜕𝑥 𝜕𝑥
Sistemas Linerares
𝑥ሶ = 𝐴𝑥, 𝑦 = 𝐶𝑥
Observabilidade de 𝐴, 𝐶 é equivalente a
𝑦 𝑡 = 𝐶𝑒𝐴𝑡𝑥 (0) ≡ 0 ⇔ 𝑥(0) = 0 ⇔ 𝑥(𝑡) ≡ 0
Lyapunov Stability
Norma: se o sistema
𝑥ሶ = 𝑓 𝑥, 𝑢 , 𝑦 = ℎ(𝑥, 𝑢)
é saída estritamente passiva e estado-zero observável, então a
origem de 𝑥 ሶ = 𝑓 (𝑥, 0) é assintóticamente estável. Além disso,
se a função de armazenamento for radialmente ilimitada, a
origem será globalmente assintóticamente estável
Lyapunov Stability
Prova: A função de armazenamento V (x) é positiva definida
𝑇
𝜕𝑉 𝑇
𝜕𝑉
𝑢 𝑦 ≥ 𝑓 𝑥, 𝑢 + 𝑦 𝜌 𝑦 ⇒ 𝑓 (𝑥, 0) ≤ −𝑦 𝑇 𝜌 (𝑦)
𝜕𝑥 𝜕𝑥
ሶ
𝑉(𝑥( 𝑡)) ≡ 0 ⇒ 𝑦 (𝑡) ≡ 0 ⇒ 𝑥 (𝑡) ≡ 0
Aplicar o princípio de invariância
Lyapunov Stability
Exemplo:
𝑥1ሶ = 𝑥2 , 𝑥2ሶ = −𝑎𝑥13 − 𝑘𝑥2 + 𝑢, 𝑦 = 𝑥2 𝑎, 𝑘 > 0
1 4 1 2
𝑉 𝑥 = 𝑎𝑥1 + 𝑎𝑥2
4 2
𝑉ሶ = 𝑎𝑥13 𝑥2 + 𝑥2 (−𝑎𝑥13 − 𝑘𝑥2 + 𝑢) = −𝑘𝑥 2 + 𝑦𝑢
A saída do sistema é estritamente passiva
𝑦(𝑡) ≡ 0 ⇔ 𝑥2 (𝑡) ≡ 0 ⇒ 𝑎𝑥13 (𝑡) ≡ 0 ⇒ 𝑥2 (𝑡) ≡ 0
Lyapunov Stability
Exemplo:
O sistema é estado-zero observável. 𝑽 é radialmente ilimitado.
Assim, a origem do sistema não forçado é globalmente
assintoticamente estável
Referencias Bibliográficas
• Hassan K Khalil. Nonlinear Systems. 3ª edição.
• http://www.egr.msu.edu/~khalil/NonlinearSystems/Sample/Le
ct_15.pdf
• http://www.egr.msu.edu/~khalil/NonlinearControl/Slides-
Short/Lecture_6.pdf
• http://www.egr.msu.edu/~khalil/NonlinearControl/Slides-
Full/Lect_13.pdf