control2libro.pdf

Embed Size (px)

Citation preview

  • 7/22/2019 control2libro.pdf

    1/17

    Controlabilidad y Observabilidad

    Anbal Zanini

    [email protected]

    23 de mayo de 2000

    ndice General

    1 Controlabilidad 1

    1.1 Significado del Gramiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51.2 Controlabilidad y Realimentacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61.3 ndices de Controlabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61.4 Controlabilidad en Sistemas Discretos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71.5 Controlabilidad al Orgen y Alcanzabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71.6 Controlabilidad de Sistemas Muestreados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

    2 Observabilidad 82.1 ndices de Observabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

    3 Descomposicin Cannica 10

    4 Controlabilidad y Observabilidad en la Forma de Jordan 13

    5 Sistemas Variantes en el Tiempo 145.1 Observabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

    1 Controlabilidad

    Se dice que un sistema es controlable cuando se puede llevar, mediante sus acciones de control a cualquierpunto del espacio de estados.

    Dado el sistema

    (1)

    se puede demostrar el siguiente teorema:

    Teorema 1.1 (Controlabilidad).Se puede decir que las siguientes aseveraciones son equivalentes:

    (i) El sistema con n estados caracterizado por el par A, B es controlable

    (ii) La matriz

    (2)

    es no singular

    Universidad Nacional de Quilmes

    1

  • 7/22/2019 control2libro.pdf

    2/17

    (iii) La matriz de dimensin

    (3)

    es de rango n.

    (iv) La matriz de dimensin

    ,

    (4)

    tiene rango completo en cada autovalor, , de

    (v) Si adems, todos los autovalor, , de tienen parte real negativa, la nica solucin de

    (5)

    es definida positiva. La solucin se llama Gramiano de Controlabilidad y se puede expresar como:

    (6)

    Demostracin. Se ver la equivalencia entre las dos formas de (2) definiendo

    resultando,

    (7)

    Dada la forma de la integral, es siempre semidefinida positiva. Pa que sea no singular debe ser definidapositiva.

    Se ver ahora por qu, si

    es no singular el sistema es controlable. La respuesta de (1) en untiempo

    es

    (8)

    Si se utiliza una entrada de la forma

    (9)

    y se reemplaza en (8)

    (10)

    esto muestra que con esta entrada se puede llevar el sistema de a

    por lo tanto que es controlable.De aqu la necesidad de que

    seadefinida positiva.Lo opuesto se puede demostrar por contradiccin: Sea

    no definida positivaen

    pero s el sistemacontrolable. Por lo tanto existe un vector no nulo tal que

    (11)

    lo que implica que

    (12)

    2

  • 7/22/2019 control2libro.pdf

    3/17

    (13)

    Pero, si el sistema es controlable, puede pasar de un estado

    a otro

    por lotanto (8) resulta

    (14)

    lo que contradice la ecuacin anteriorPrueba de (iii)Si

    es no singular no existe ningn vector no nulo tal que

    (15)

    Si

    no es de rango completo existe un vector no nulo tal que

    (16)

    y tambin se cumplir,

    (17)

    Ya que

    puede ser expresado como una combinacin lineal de

    se cumplir

    que

    que contradice la no singularidad de

    . O sea (ii) implica (iii).Se ver la implicancia opuesta.Se supone que

    es de rango completo pero

    es singular.

    Entonces existe un vector

    no nulo tal que satisface (15) y haciendo

    se obtiene que

    .Si se deriva (15) y, tomando

    se obtiene que

    .Continuando se puede llegar hasta

    y concluir que

    (18)

    que contradice la asumpcin de

    . Por lo tanto (iii) implica (ii).(iii) implica (iv).

    Si

    tiene rango completo tambien la matriz tendr rango completo en cada autovalor de . Si no es as, existir un y un vector no nulo que hagan

    (19)

    esto quiere decir que y que

    . Lo primero significa que es un autovector por izquierda de

    Multiplicando por

    (20)

    que vale para cualquier potencia, es decir, se cumple

    (21)

    es decir que

    no puede ser de rango completo.(ii) implica (v):

    Si

    es estable, la nica solucin de (5) se puede expresar como (29) (solucin de la ecuacin de Lyapu-nov)Lo contrario tambin vale ya que

    es definida positiva

    3

  • 7/22/2019 control2libro.pdf

    4/17

    Ejemplo 1.1. Pndulo Invertido

    (22)

    la matriz de controlabilidad

    es

    (23)

    Esta matriz tiene rango 4 por lo que el sistema es controlable

    En MatLab existe ctrby gram

    Ejemplo 1.2. Plataforma con ResortesSuspensin de automviles

    k2

    k1

    2u

    x2

    x1

    Figura 1: Ejemplo Dos Resortes

    La masa es cero

    Los resortes son:

    (24)

    (25)

    (26)

    las ecuaciones de fuerzas

    (27)

    condiciones iniciales:

    (28)

    4

  • 7/22/2019 control2libro.pdf

    5/17

    ecuaciones de estado:

    (29)

    Pregunta:

    Es posible llevar el sistema a [0,0] en un tiempo de 2 segundos?La respuesta no parece trivial porque la fuerza se aplica a los dos resortes.

    El determinante de la matriz de controlabilidad es

    (30)

    El sistema es controlable, por lo tanto existe una entrada que puede llevar al sistema a cualquier parte

    (31)

    la fuerza debe ser

    (32)

    0 0.5 1 1.5 2 2.540

    20

    0

    20

    40

    60

    80

    100

    120

    140

    0 0.5 1 1.5 2 2.520

    10

    0

    10

    20

    30

    40

    Figura 2: Actuacin y Variacin de los Estados

    Nota 1: la elegida segn la ecuacin (32) se llama control de mnima energaya que se puede demostrarque cualquier otra actuacin, que cumpla con el mismo objetivo, es superior a esta.

    Nota 2: En las grficas anteriores se observa que alcanzar un punto del espacio de estados no necesa-riamente significa permanecer en l.

    Ejemplo 1.3. Sistema de figura 1 Se toma ahora los coeficientes de vizcosidad iguales e iguales a

    .

    (33)

    El determinante de la matriz de controlabilidad es

    (34)

    no es controlable

    5

  • 7/22/2019 control2libro.pdf

    6/17

    Recordar caso dos motores en paralelo

    1.1 Significado del Gramiano

    Eligiendo la actuacin de la forma de la ecuacin (9) y calculando la energa consumida en el control desde

    a

    se tiene,

    (35)

    Eligiendo

    y

    resulta

    (36)

    (37)

    Es decir que la inversa del gramiano es proporcional a la energa consumida en el control. Si el gramianoes singular, significa que se necesita una energa infinita para llevar el sistema a un punto dado. Cuanto mscerca de la singularidad se est, ms energa se necesitar.

    1.2 Controlabilidad y Realimentacin

    Se investigar qu sucede con la controlabilidad de un sistema controlablecuando es realimentado su esta-do.

    La ley de control es

    (38)

    El sistema es controlable por lo tanto se cumple que es de rango . Si el sistema realimentadofueseno controlableexistira un vector no nulo tal que se cumpla (19) o sea que

    y que

    .Esto sinifica:

    (39)

    que no es posible ya que el sistema en lazo abierto es controlable.

    Por lo tanto un sistema controlable mantiene su controlabilidad si se lo realimenta desde los estados.

    1.3 ndices de Controlabilidad

    Nota: se supone que todas las columnas de la matriz son linealmente independientes.Si dos columnas son iguales, la influencia de una entrada es idntica a la otra por lo que una de las

    entradas es redundante.nmero de estados: nmero de entradas: La matriz

    tiene columnasSi el sistema es controlable, existen columnas de

    linealmente independientesLa matriz de controlabilidad es

    ...

    ... ...

    (40)

    6

  • 7/22/2019 control2libro.pdf

    7/17

    Cmo encontrar columnas?Dada la forma de

    se puede buscar de izquierda a derecha columnas relacionadas con que sean

    linealmente independientes.

    (41)

    Todo vector

    es linealmente dependiente con los anterioresSe hace lo mismo para cada columna de y se obtienen distintos . Si el sistema es controlable se

    cumplir

    (42)

    El conjunto

    se llama conjunto dendices de controlabilidady

    (43)

    es el ndice de controlabilidad del sistema

    1.4 Controlabilidad en Sistemas DiscretosAhora el sistema tiene la forma

    (44)

    Vale el mismo teorema anterior pero ahora la solucin del sistema es:y la matriz

    ,

    (45)

    la solucin del sistema es:

    (46)

    o su equivalente

    ...

    (47)

    1.5 Controlabilidad al Orgen y Alcanzabilidad

    - controlabilidad en general: capacidad de llevar el sistema de un estado genrico a otro.- controlabilidad al orgen: capacidad de llevar el sistema de un estado genrico a cero.- alcanzabilidad: capacidad de llevar el sistema desde el orgen a cualquier estado.La condicin 1 implica 2 y 3. No a la inversaEn los sistemas continuos

    es no singular, por lo tanto para llevar un sitema a cero hay que aplicarleuna determinada accin de control (por si solo no llega).

    En los sistemas discretos, dada la ecuacin de solucin del estado, si es no singular, es igual que encontinuos. Si es singular no coinciden 2 y 3

    Ejemplo:

    (48)

    no es controlable pero

    para todo

    por lo tanto

    . Por lo tanto, es controlable alorgen.

    7

  • 7/22/2019 control2libro.pdf

    8/17

    1.6 Controlabilidad de Sistemas Muestreados

    Un sistema continuo controlable, mantiene su controlabilidad luego del muestreo? Sea el sistema continuo

    (49)

    su versin discreta es

    (50)

    donde

    (51)

    Si el sistema es no controlable, el discreto tampoco es controlable.Si el sistema continuo es controlable y con polos reales, el sistema discreto es controlable.Si el sistema continuo tiene dos polos complejos con igual parte real, el sistema discreto ser controlable

    siempre que la diferencia de la parte imaginaria de ambos polos no sea proporcional a la frecuencia demuestreo.

    2 Observabilidad

    Se dice que un sistema es observable cuando, a partir de su salida se puede conocer totalmente su estado.EjemploDado el sistema

    (52)

    La respuesta a una entrada cualquiera ser:

    (53)

    Se supone conocido , pero no el estado inicial

    (54)

    Si es cero

    puede calcularse de la siguiente ecuacin:

    (55)

    Generalmente la cantidad de salidas es menor que la cantidad de estados por lo cual, la ecuacin anteriorno tiene solucin nica. Se debe usar informacin de un tiempo no nulo.

    Se puede redefinir la Observabilidad diciendo queUn sistema es observable si y solo si su estado inicialse puede calcular en forma nica a partir de la respuesta del sistema para entrada nula sobre un perodo

    finito de tiempo.Se puede demostrar el siguiente teorema:

    Teorema 2.1 (Observabilidad). Un sistema como el de la ecuacin(98)es observable si y solo si la matriz

    (56)

    es no singular

    8

  • 7/22/2019 control2libro.pdf

    9/17

    Demostracin. partiendo de (98)se puede hacer,

    (57)

    si

    es no singular

    tine solucin nica

    (58)

    Verificacin contraria.Si

    es singular o semidefinida positiva, el sistema esno observable.Si esto se cumple, existe vector de dimensin tal que,

    (59)

    lo que implica que

    (60)

    Para todo tiempo entre

    y

    .Pero si

    , se puede tener dos estados iniciales que resuelven la ecuacin (98) pues se puede tomar

    o

    . Ambos hacen que la salida sea cero. Esto implica que el sistema esno observable.

    La observabilidad solo de pende de

    y de . est asociada con la entrada, pero el sistema tiene queser simpre observable, incluso con entrada nula.

    Si

    es no singular para algn

    , es no singular para todo

    .

    Teorema 2.2. Teorema de la Dualidad. El par

    es controlable si el par

    es observableDemostracin. El par

    escontrolablesi y solo si

    (61)

    es no singular.La ecuacin (101) es igual a la (56) en donde es y

    es por lo que el teorema queda demostrado.

    Teorema 2.3. Las siguientes aseveraciones son equivalentes

    (i) El par

    es observable

    (ii) La matriz

    (62)

    es no singular

    (iii) La matriz de Observabilidad

    ...

    (63)

    tiene rango

    9

  • 7/22/2019 control2libro.pdf

    10/17

    (iv) la matriz

    (64)

    tiene rango completo en columnas para todo autovalor de

    (v) si adems, los autovalores de tienen parte real negativa, la ecuacin siguiente tiene nica solucin

    (65)

    es definida positiva, se llama Gramiano de Observabilidad y tiene la forma

    (66)

    Por Dualidad. Se puede probar rpidamente basndose en el teorema de dualidad

    2.1 ndices de Observabilidad

    (67)

    ...

    (68)

    Nota: la observabilidad es independiente de transformaciones.

    3 Descomposicin Cannica

    (69)

    Sea

    (70)

    (71)

    el sistema

    (72)

    es equivalente al de partida

    10

  • 7/22/2019 control2libro.pdf

    11/17

    Teorema 3.1. El sistema de partida tiene una matriz de controlabilidad

    (73)

    Si se forma la matriz

    (74)

    donde las primeras

    columnas son

    columnas linealmente independientes de

    y el resto cuales-quiera vectores que hagan que sea no singular.

    Entonces el sistema se puede transformar en:

    (75)

    donde

    es

    x

    y

    y el subsistema

    (76)

    es controlable y tiene las mismas funciones de transferencias que el de partida

    viendo la forma de A. ssssss

    Ejemplo 3.1. Sistema de tercer orden

    (77)

    rango de es

    (78)

    el rango de

    no puede ser superior a

    El sistema es no controlable

    elegimos

    con las dos primeras columnas de

    (79)

    ...

    ...

    ...

    (80)

    11

  • 7/22/2019 control2libro.pdf

    12/17

    (81)

    ...

    (82)

    el subsistema controlable resulta

    (83)

    El sistema de partida tiene una matriz de funcin de transferencia

    (84)

    en cambio el sistema reducido es

    (85)

    Teorema 3.2. Si un sistema tiene una matriz de observabilidad tal que su rango sea

    ...

    (86)

    formando la matriz

    ...

    (87)

    se puede dividir el sistema de la forma

    (88)

    donde el subsitema,

    (89)

    es observable y tiene la misma matriz de funcin de transferencia.

    Teorema 3.3. Todo sistema se puede descomponer de la siguiente manera

    (90)

    12

  • 7/22/2019 control2libro.pdf

    13/17

    esto se llamaDescomposicin de Kalmany se puede representar graficamente como:

    C-noO

    u

    C-O

    noC-O

    noC-noO

    y

    Figura 3: Descomposicin de Kalman

    Ejemplo 3.2. el sistema de partida es

    (91)

    quedando reducida su parte controlable a

    (92)

    4 Controlabilidad y Observabilidad en la Forma de Jordan

    (93)

    (94)

    Ejemplo 4.1.

    (95)

    13

  • 7/22/2019 control2libro.pdf

    14/17

    (96)

    Figura 4: Diagrama de Bloques

    prueba:

    (97)

    se calcula en

    (98)

    14

  • 7/22/2019 control2libro.pdf

    15/17

    se resta tercera columna por

    (99)

    (100)

    Un sistema es observable si las primeras columnas de C asociada a cada bloque de Jordan para unautovalor son li.

    5 Sistemas Variantes en el Tiempo

    (101)

    (102)

    se define tal que

    (103)

    (104)

    (105)

    (106)

    en general

    (107)

    Teorema 5.1. El sistema es controlable sii

    (108)

    15

  • 7/22/2019 control2libro.pdf

    16/17

    Ejemplo 5.1.

    (109)

    (110)

    (111)

    (112)

    (113)

    con un determinate

    Ejemplo 5.2. sistema controlable

    (114)

    (verlo por Jordan)

    (115)

    es controlable? Pareciera que si....

    (116)

    (117)

    tiene determinante nulo

    5.1 Observabilidad

    (118)

    ...

    (119)

    16

  • 7/22/2019 control2libro.pdf

    17/17

    Referencias

    [1] Chen, Chi-Tsong. Linear System Theory and Design. Oxford University Press, New York. 1999.

    17