Clase 12
Transcripción
Clase 12
Introducción Estabilidad Entrada-Salida de Sistemas LIT Introducción Estabilidad Entrada-Salida de Sistemas LIT Introducción Tema 5: Estabilidad Parte I Virginia Mazzone La estabilidad de un sistema puede pensarse como una continuidad en su comportamiento dinámico. Si se presenta un cambio pequeño en las entradas o condiciones iniciales, un sistema estable presentará modificaciones pequeñas en su respuesta perturbada. En un sistema inestable, cualquier perturbación, por pequeña que sea, llevará estados y/o salidas a crecer sin límite o hasta que el sistema se queme, se desintegre o sature. Contenidos Introducción Estabilidad Entrada-Salida de Sistemas LIT La estabilidad es un requerimiento básico de los sistemas dinámicos destinados a realizar operaciones o procesar señales, y es lo primero que debe garantizarse en el diseño. Virginia Mazzone: Tema 5: Estabilidad Parte I Virginia Mazzone: Tema 5: Estabilidad Parte I Introducción Estabilidad Entrada-Salida de Sistemas LIT Introducción Estabilidad Entrada-Salida de Sistemas LIT Estabilidad Entrada-Salida de Sistemas Estacionarios Hemos visto que la respuesta de los sistemas dinámicos que estudiamos se descompone en respuesta con condiciones iniciales nulas y respuesta con entrada nula. Estudiamos la estabilidad de estas respuestas por separado comenzando por la estabilidad entrada-salida. Representación externa. Sea un sistema lineal, causal y estacionario SISO descripto por Z t Z t y (t) = g(t − τ )u(τ )dτ = g(τ )u(t − τ )dτ, (1) 0 0 para el cual asumimos condiciones iniciales nulas. Una señal u(t) se dice acotada si existe una constante Mu tal que |u(t)| ≤ Mu para todo t ≥ 0. Virginia Mazzone: Tema 5: Estabilidad Parte I Definición Un sistema es estable BIBO (entrada-acotada/ salida-acotada) si toda entrada acotada produce una salida acotada. Teorema (Estabilidad BIBO de sistemas SISO) Un sistema SISO es estable BIBO si y sólo si su respuesta al impulso g(t) es absolutamente integrable en el intervalo [0, ∞), es decir, existe una constante M ≥ 0 tal que Z ∞ |g(τ )|dτ =≤ M < ∞. 0 Virginia Mazzone: Tema 5: Estabilidad Parte I Introducción Estabilidad Entrada-Salida de Sistemas LIT Demostración. Supongamos que g(t) es absolutamente integrable. Sea u(t) una entrada arbitraria acotada, es decir, |u(t)| ≤ Mu para todo t ≥ 0. Entonces Z t Z t g(τ )u(t − τ )dτ ≤ |g(τ )||u(t − τ )|dτ |y (t)| = 0 0 Z ∞ ≤ Mu |g(τ )|dτ ≤ Mu M, ⇒ el sistema es BIBO. Introducción Estabilidad Entrada-Salida de Sistemas LIT Consideremos la entrada acotada ( 1 si g(τ ) ≥ 0 u(t1 − τ ) = −1 si g(τ ) < 0. La salida del sistema para esta entrada y t = t1 es Z t1 g(τ )u(t − τ )dτ y (t1 ) = 0 0 Supongamos ahora que g(t) no es absolutamente integrable, es decir que existe algún t1 tal que Z t1 |g(τ )|dτ = ∞. Z t1 |g(τ )|dτ = ∞, = 0 que es no acotada. Así el sistema no es BIBO estable. 0 Virginia Mazzone: Tema 5: Estabilidad Parte I Virginia Mazzone: Tema 5: Estabilidad Parte I Introducción Estabilidad Entrada-Salida de Sistemas LIT Una función absolutamente integrable no necesariamente es acotada y puede no tender a cero cuando t → ∞. Un ejemplo de una función que es absolutamente integrable y no va a cero cuando t → ∞ es f (t − n) = ( n + (t − n)n4 n − (t − n)n4 para n ∈ N, n ≥ 2. Virginia Mazzone: Tema 5: Estabilidad Parte I para n − 1/n3 < t ≤ n para n < t ≤ n + 1/n3 . El área de los triángulos es 1/n2 . Así la integral absoluta de la funP 2 ) < ∞. Por lo ción es ∞ (1/n n=2 que es absolutamente integrable pero no acotada y no tiende a cero cuando t → ∞. Introducción Estabilidad Entrada-Salida de Sistemas LIT Teorema (2.) Si un sistema con respuesta al impulso g(t) es estable BIBO, entonces cuando t → ∞ 1. La salida correspondiente a una entrada constante u(t) = a, para t ≥ 0, tiende a la constante ĝ(0)a. 2. La salida correspondiente a una entrada sinusoidal u(t) = sen(ω0 t), para t ≥ 0, tiende a la sinusoide |ĝ(jω0 )| sen(ω0 t + ^ĝ(jω0 )). Demostración. 1. Si u(t) = aZpara todo t ≥ 0, entonces Z t t g(τ )u(t − τ )dτ = a g(τ )dτ 0Z Z ∞ 0 ∞ −sτ lı́m y (t) = a g(τ )dτ = a g(τ )e dτ y (t) = t→∞ 0 Virginia Mazzone: Tema 5: Estabilidad Parte I 0 s=0 y así = aĝ(0), Introducción Estabilidad Entrada-Salida de Sistemas LIT 2. Si u(t) = sen(ω0 t), para t ≥ 0, entonces Z t y (t) = g(τ ) sen[ω0 (t − τ )]dτ 0 Z t = g(τ ) [sen(ω0 t) cos(ω0 τ ) − sen(ω0 τ ) cos(ω0 t)] dτ 0 Z t Z t = sen(ω0 t) g(τ ) cos(ω0 τ )dτ − cos(ω0 t) g(τ ) sen(ω0 τ )dτ. 0 Introducción Estabilidad Entrada-Salida de Sistemas LIT Finalmente de (2), cuando t → ∞ Z ∞ Z y (t) → sen(ω0 t) g(τ ) cos(ω0 τ )dτ − cos(ω0 t) 0 ∞ g(τ ) sen(ω0 τ )dτ 0 = sen(ω0 t)ĝ(jω0 ) + cos(ω0 t)ĝ(jω0 ) = |ĝ(jω0 )| [sen(ω0 t) cos(^ĝ(jω0 )) + cos(ω0 t) sen(^ĝ(jω0 ))] = |ĝ(jω0 )| sen[ω0 t + ^ĝ(jω0 )]. 0 (2) Si g(t) es absolutamente integrable, entonces podemos evaluar Z ĝ(jω) = ∞ g(τ )e −jωτ Z dτ = 0 = |ĝ(jω)|e |0 −j^ĝ(jω) ∞ Z g(τ ) cos(ωτ )dτ −j {z } |0 ĝ(jω) ∞ g(τ ) sen(ωτ )dτ {z } −ĝ(jω) = |ĝ(jω)| cos(^ĝ(jω)) − j|ĝ(jω)| sen(^ĝ(jω)). Virginia Mazzone: Tema 5: Estabilidad Parte I Introducción El teorema anterior es básico; especifica la respuesta de un sistema BIBO a señales constantes y sinusoidales una vez que los transitorios se extinguen. Esta es la base del filtrado de señales. El resultado siguiente establece la estabilidad BIBO en términos de funciones transferencia racionales y propias. Virginia Mazzone: Tema 5: Estabilidad Parte I Estabilidad Entrada-Salida de Sistemas LIT Introducción Estabilidad Entrada-Salida de Sistemas LIT Teorema (3.) Un sistema SISO con una función transferencia racional y propia ĝ(s) es BIBO estable si y sólo si todos los polos de ĝ(s) tienen parte real negativa. Si ĝ(s) tiene un polo en p con multiplicidad m, su expansión en fracciones simples incluirá los términos 1 1 1 ,..., , s − p (s − p)2 (s − p)m La transformada de Laplace inversa de ĝ(s) incluirá combinaciones lineales de las exponenciales e pt , te pt , t 2 e pt , . . . , t m−1 e pt . Ejemplo Sea el sistema en realimentación positiva de la figura que incluye un retardo unitario, T = 1, y una ganancia estática de valor a. El sistema es de dimensión infinita, puesto que incluye un retardo, y no tiene función transferencia racional. Cuando la entrada es un impulso, u(t) = δ(t), la salida está dada por ∞ X 2 3 g(t) = aδ(t − 1) + a δ(t − 2) + a δ(t − 3) + · · · = ai δ(t − i ). i=1 Estos términos serán absolutamente integrables si y sólo si p pertenece al semiplano (abierto, sin incluir al eje jω) izquierdo del plano complejo. Virginia Mazzone: Tema 5: Estabilidad Parte I Virginia Mazzone: Tema 5: Estabilidad Parte I Introducción Estabilidad Entrada-Salida de Sistemas LIT Introducción Estabilidad Entrada-Salida de Sistemas LIT Representación interna. Cuando el sistema está representado en EE, PodemosPconsiderar los impulsos como positivos, con lo que i |g(t)| = ∞ i=1 |a| δ(t − i ), y así ( Z ∞ ∞ X ∞ si |a| ≥ 1 |g(t)|dt = |a|i = |a| 0 1−|a| < ∞ si |a| < 1. i=1 ẋ = Ax(t) + Bu(t) y (t) = Cx(t) + Du(t), la estabilidad BIBO dependerá de los autovalores de la matriz A, ya que todo polo de Ĝ(s) es un autovalor de A, Concluimos que el sistema es BIBO estable si y sólo si |a| < 1. Caso MIMO. Los resultados de estabilidad BIBO para sistemas MIMO siguen de los de sistemas SISO, ya que una matriz transferencia sera BIBO estable si y sólo si cada una de sus entradas son BIBO estables. y así si todos los autovalores de A tienen parte real negativa, todos los polos de Ĝ(s) tendrán parte real negativa, y el sistema será BIBO. No obstante, no todo autovalor de A es un polo de Ĝ(s), ya que puede haber cancelaciones entre ceros y polos al computar Virginia Mazzone: Tema 5: Estabilidad Parte I Virginia Mazzone: Tema 5: Estabilidad Parte I Introducción Ĝ(s) = C(sI − A)−1 B + D 1 C adj(sI − A)B + D, = det(sI − A) Estabilidad Entrada-Salida de Sistemas LIT Ĝ(s). Así un sistema puede ser BIBO estable aunque algunos autovalores de A no tengan parte real negativa. Ejemplo Introducción Estabilidad Entrada-Salida de Sistemas LIT Caso discreto. El caso discreto es análogo al caso continuo, mutatis mutandis,∞con el sistema descripto por ∞ X X y [k] = g[k − m]u[m] = g[m]u[k − m], m=0 El sistema −1 10 −2 x(t) + u(t) 0 1 0 y (t) = −2 3 x(t) − 2u(t), ẋ(t) a pesar de tener un autovalor con parte real positiva en λ = 1, es BIBO estable porque su función transferencia ĝ(s) = C(sI − A)−1 B + D = 2(1 − s) , (s + 1) donde g[k] es la secuencia respuesta a un impulso discreto aplicado en el instante k = 0. Resumimos los resultados principales en los siguientes teoremas. Teorema (4.) Un sistema discreto MIMO con matriz respuesta al impulso G[k] = gij [k] es estable BIBO si y sólo si cada gij [k] es absolutamente sumable, es decir, ∞ X |g[k]| ≤ M < ∞. tiene su único polo en s = −1. Virginia Mazzone: Tema 5: Estabilidad Parte I m=0 k=0 Virginia Mazzone: Tema 5: Estabilidad Parte I Introducción Estabilidad Entrada-Salida de Sistemas LIT Si un sistema discreto con respuesta al impulso g[k] es estable BIBO, entonces, cuando k → ∞, 1. La salida excitada por u[k] = a, para k ≥ 0, tiende a ĝ(1)a. 2. La salida excitada por u[k] = sen ωo k, para k ≥ 0, tiende a |ĝ(e jω0 )| sen(ω0 k + ^ĝ(e jω0 )), donde ĝ(z) es la transformada Z de g[k], ĝ(z) = ∞ X g[m]z −m . m=0 Estabilidad Entrada-Salida de Sistemas LIT Ejemplo Sea un sistema discreto estacionario con respuesta al impulso g[k] = 1/k, para k ≥ 1, y g[0] = 0. Analizamos si g[k] es absolutamente sumable, k=0 1 1 1 + + + ··· 2 3 4 1 1 1 1 1 1 1 =1+ + + + + ··· + + + ··· + + ··· 2 3 4 5 8 9 16 1 1 1 > 1 + + + + · · · = ∞. 2 2 2 |g[k]| = 1 + La secuencia de la respuesta al impulso es acotada pero no sumable, por lo tanto el sistema no es BIBO. Virginia Mazzone: Tema 5: Estabilidad Parte I Un sistema discreto MIMO con matriz transferencia racional y propia Ĝ(z) = [ĝij (z)] es BIBO estable si y sólo si todo polo de ĝij (z) tiene magnitud menor que 1. Notar: que en el caso de tiempo continuo las funciones absolutamente integrables pueden no ser acotadas, o no tender a 0 cuando t → ∞. En el caso de tiempo discreto, si g[k] es absolutamente sumable entonces debe necesariamente ser acotada y aproximarse a 0 cuando k → ∞. Virginia Mazzone: Tema 5: Estabilidad Parte I Virginia Mazzone: Tema 5: Estabilidad Parte I ∞ X Estabilidad Entrada-Salida de Sistemas LIT Teorema (6.) Teorema (5.) Introducción Introducción