Documentos de Académico
Documentos de Profesional
Documentos de Cultura
D
DEEPPA
ARRT
TAAM
MEEN
NTTO
ODDE
ECCO
ONNT
TRRO
OLL
CCaappííttuulloo 44
C
Coonnttrrooll M
Mooddeerrnnoo
2 x1(t)
S+2
u(t)
2 x2(t)
S+2
En este caso, desde un determinado estado inicial sólo podrían ser alcanzados determinados
puntos del espacio de estado, porque los valores de las dos variables de estado están
ligadas, al estar sometidas ambas a la misma dinámica; este hecho queda patente por el
estudio de los bloques con cuyas salidas le corresponden dichas variables. Entonces se dice
Capítulo 4 Control Moderno
2. Si un sistema no es controlable, la siguiente cuestión que surge es determinar los puntos del
espacio de estado que pueden ser alcanzados partiendo de un estado inicial dado.
El lugar geométrico de los puntos que pueden ser alcanzados por las variables de estado
dadas para el sistema de la Fig. 4.1 partiendo de condiciones iniciales nulas, es el
representado en la Fig. 4.2. Como puede verse, la restricción de que la dinámica de ambas
variables de estado es la misma en todos los casos se traduce en que, partiendo de
condiciones iniciales nulas como se ha dicho, en cualquier instante el valor de la variable x2
es dos veces el valor de la variable x1.
Puntos alcansables desde (0,0)
5
3
x1(t)
-1
-2 0 2 4 6 8 10
x2(t)
Fig. 4.2 Puntos alcanzables desde (0,0) para el sistema de la Figura 4.1
Ejemplo 4.1 La Figura 4.3 representa un circuito eléctrico formado por dos ramas RC en
paralelo, alimentadas por una única fuente de voltaje común a ambas ramas.
R1 R2
Vi I1 I2
C1 C2
Si las constantes de tiempo de ambas ramas son distintas R1C1 R2 C 2 cada condensador se
carga a distinta velocidad, de manera que los voltajes incrementales en ambos condensadores serán
diferentes entre sí, dependiendo la evolución de cada uno de ellos del la ley de variación de la entrada
u(t) utilizada. En este caso cabe preguntarse si existe o no un u(t) que consiga que cada una de las
tenciones tome un valor predeterminado en un tiempo también predeterminado.
En el caso de que las constantes de tiempo de carga de ambos condensadores sean idénticas
R1C1 R2 C 2 , ambos condensadores se cargan con el mismo voltaje incremental (a partir de cualquier
situación inicial de equilibrio), sea cual sea la ley de variación del voltaje de entrada u(t) utilizada. Si la
situación inicial no fuera de equilibrio, las tensiones de ambos condensadores tenderían a igualarse,
dependiendo su valor final y su evolución temporal de la ley de variación del voltaje de entrada u(t).
Por lo tanto queda claro que en este caso no son controlables todas las combinaciones de voltajes en
ambos condensadores (es decir puntos del espacio de estado). En este caso cabe preguntarse, pues,
cuáles son estos puntos controlables en un tiempo determinado, que dependen de los voltajes iniciales
de ambos condensadores.
En ambos casos planteados y una vez resuelta la pregunta de cuáles son las combinaciones de
los voltajes en ambos condensadores que son controlables en un determinado tiempo y desde unos
valores determinados iniciales de aquellos, cabe preguntarse como es posible encontrar una entrada o
conjunto de entradas que consigan controlar dichos puntos. Igualmente es importante conocer las
implicaciones que tiene la utilización de una ley de variación de la entrada concreta sobre la variación
temporal de los voltajes de los condensadores, así como las propiedades de dicha entrada utilizada.
4.2. DEFINICIONES
Al contrario, un punto puede ser controlable partiendo desde cualquier instante inicial t0,
pero no en un intervalo predeterminado [t0, t1].
Obsérvese que la controlabilidad de un punto no implica que este sea un estado de equilibrio,
sino que es posible encontrar una entrada tal que el estado describa una trayectoria que incluya al punto
controlable; dicho de otra manera, la controlabilidad de un punto implica que la trayectoria en el
espacio de estado pasa por él, pero no que se detenga en él, como ocurriría en uno de equilibrio.
El concepto de controlabilidad de un punto del espacio de estado de un sistema se amplía al
concepto de controlabilidad de un sistema, definido como:
Un sistema se dice controlable si todos los puntos de un espacio de estado son controlables.
Obsérvese que, en la definición de controlabilidad de un sistema, la referencia a posibles
restricciones en el estado inicial y en el intervalo se obtienen cuando se invoca a la contolabilidad de
los puntos de un espacio de estado; de esta forma, un sistema es controlable bajo las mismas
restricciones que lo son dichos puntos. Dicho de otra manera, se pueden extender las cuatro
definiciones de controlabilidad de un punto a la controlabilidad de un sistema cuando todo el espacio
de estado cumpla con las condiciones formuladas en cada una.
Las ideas expuestas en esta sección se generalizan a la controlabilidad de la salida en lugar del
estado, aspecto que se considerará más adelante.
si en esta expresión se fija x(t1) y x(t0), ¿existe una entrada u() que soluciona esta ecuación? El estudio
de controlabilidad determina si existe una entrada u(t) que haga que se cumpla la igualdad. Estudiar si
existe esta entrada equivale a plantear si existe una entrada capaz de llevar el sistema desde el estado
inicial cero hasta el estado:
^
x t1 xt1 t1 , t 0 x t 0 (4.2)
^
x t1 t1 B u d
t1
(4.3)
t0
x t At x t Bt u t (4.4)
es controlable en [t0, t1] sí y sólo sí su Gramiano de Controlabilidad, W(t1, t0)definido como:
M.C. Manuel Amarante Rodríguez 77
3 de Julio del 2009
Capítulo 4 Control Moderno
es no singular.
Demostración
Condición Suficiente
Se intenta comprobar que existe una entrada que lleva el estado desde cualquier x(t0) = x0 hasta
cualquier x(t1) = x1 o, lo que es lo mismo, según la Ec. (4.3), desde el estado inicial nulo hasta
^
el estado x1 . Para ello se considera como entrada:
^
u B T T t1 , W 1 t1 , t 0 x1 (4.6)
substituyendo
^ ^
xt1 t1 , B BT T t1 , W 1 t1 , t0 x1 d
t1
(4.7)
t0
^
W-1(t1, t0) puede salir fuera de la integral, y lo mismo sucede con x1 , quedando:
^ ^ ^
x1 W t1 , t0 W 1 t1 , t0 x1 x1 (4.8)
Si W(t1, t0)es no singular, se puede encontrar al menos una entrada que transfiere el estado
^
desde el origen hasta cualquier estado x1 , siendo esta entrada la expresada por la Ec. (4.6)
Condición Necesaria
Si se supone W(t1, t0) singular, se demuestra que existen puntos del espacio de estado que no
son controlables.
Se parte de que W(t1, t0) es singular, por lo que:
W t1 , t0 0 (4.9)
El determinante coincide con el producto de los valores propios de la matriz, por lo que W(t1, t0)
tiene al menos un valor propio cero.
Sí se considera el vector propio, v, correspondiente a ese valor propio nulo se verificara que:
W t1 , t 0 v 0 (4.10)
Esto supone que si se multiplica por la izquierda por vT:
vT W t1 , t0 v 0 (4.11)
v t , B
B t , v d 0
t1
T T T
1 1 (4.12)
t0
d 0
t1 t1 2
T
d (4.13)
t0 t0
integral de una función siempre positiva que tiene que ser igual acero. Para que esto se verifique
se tiene que cumplir que ε() = 0, t0 ≤ ≤ t1:
B T T t1 , v 0
0 T , t 0 t1 (4.14)
v t1 , B 0
t0
(4.15)
^
v xt1 0
T
^
siendo xt1 el estado del sistema en el instante t1, partiendo del origen y ante la entrada
genérica u().
La Ec. (4.15) significa que, desde el estado inicial nulo, cualquiera que sea la señal de entrada
con la que se excite al sistema, se va tener un estado que al ser multiplicado por el vector vT va a
resultar cero, por lo que es un vector de estado ortogonal a éste. Por lo tanto, no se puede
alcanzar cualquier punto del espacio de estado, sino sólo aquellos que se encuentren sobre un
vector ortogonal al vector propio vT. Solo se alcanzarán puntos que verifiquen la condición
vTx(t1) = 0. Por consiguiente, el sistema no es controlable en [t1,t0].
1 3 1
xt x (4.16)
0 3 1
e t
t ,0
3
2 e t
e 3t (4.17)
0 e 3t
Una vez que se dispone de la matriz de transición Φ(t, 0), se puede abordar el cálculo del
gramiano de controlabilidad aplicando la fórmula:
Para poder afirmar que un sistema es controlable según su gramiano, es necesario comprobar
que éste es invertible, es decir, que su determinante es distinto de cero. Por lo tanto, se puede estudiar
la controlabilidad del sistema verificando los valores de t para los que el determinante de W(t, 0) es
distinto de cero. Para ello se calcula primero dicho determinante:
Es fácil deducir que se ha de anular para t = 0, puesto que en ese caso los limites de la integral
que define W(t, 0) coinciden. Para sucesivos instantes de tiempo, se comprueba que el valor total del
determinante va aumentando, hasta que, transcurrido un tiempo suficiente, todos los sumandos
exponenciales tienen un valor despreciable, permaneciendo solamente el primero. A partir de este
instante, el valor del determinante permanece prácticamente constante.
Por lo tanto, se puede afirmar que el sistema propuesto es controlable en cualquier intervalo de
tiempo que comience en t = 0, salvo cuando éste sea también el final de dicho intervalo.
>> syms s
>> A=[-1 3;0 -3]
A=
-1 3
0 -3
>> I=eye(2)
I=
1 0
0 1
>> FI=inv(s*I-A)
FI =
[ 1/(s+1), 3/(s+1)/(s+3)]
[ 0, 1/(s+3) ]
>> pretty(FI)
[ 1 3 ]
[----- --------------- ]
[s + 1 (s + 1) (s + 3)]
[ ]
[ 1 ]
[ 0 ----- ]
[ s+3 ]
>> num12=[0 0 3]
num12 =
0 0 3
>> den12=[1 4 3]
den12 =
1 4 3
>> [r p k]=residue(num12,den12)
r=
-1.5000
1.5000
p=
-3
-1
k=
[]
FI =
[ 1/(s+1), 3/2/(s+1)-3/2/(s+3)]
[ 0, 1/(s+3) ]
>> pretty(FI)
[ 1 1 1 ]
[----- 3/2 ----- - 3/2 -----]
[s + 1 s+1 s + 3]
[ ]
[ 1 ]
[ 0 ----- ]
[ s+3 ]
M.C. Manuel Amarante Rodríguez 81
3 de Julio del 2009
Capítulo 4 Control Moderno
>> FI=ilaplace(FI)
FI =
[ exp(-t), 3/2*exp(-t)-3/2*exp(-3*t)]
[ 0, exp(-3*t) ]
FIttau =
[ exp(-t+tau), 3/2*exp(-t+tau)-3/2*exp(-3*t+3*tau)]
[ 0, exp(-3*t+3*tau) ]
FIttauT =
[ exp(-t+tau), 0 ]
[ 3/2*exp(-t+tau)-3/2*exp(-3*t+3*tau), exp(-3*t+3*tau)]
>> B=[1;-1]
B=
1
-1
>> w=FIttau*B
w=
-1/2*exp(-t+tau)+3/2*exp(-3*t+3*tau)
-exp(-3*t+3*tau)
>> w=w*B'
w=
[ -1/2*exp(-t+tau)+3/2*exp(-3*t+3*tau), 1/2*exp(-t+tau)-3/2*exp(-3*t+3*tau)]
[ -exp(-3*t+3*tau), exp(-3*t+3*tau) ]
>> w=w*FIttauT
w=
[(-1/2*exp(-t+tau)+3/2*exp(-3*t+3*tau))*exp(-t+tau)+(1/2*exp(-t+tau)-3/2*exp(-
3*t+3*tau))*(3/2*exp(-t+tau)-3/2*exp(-3*t+3*tau)), (1/2*exp(-t+tau)-3/2*exp(-3*t+3*tau))*exp(-
3*t+3*tau)]
[-exp(-3*t+3*tau)*exp(-t+tau)+exp(-3*t+3*tau)*(3/2*exp(-t+tau)-3/2*exp(-3*t+3*tau)), exp(-
3*t+3*tau)^2]
>> W=int(w,tau,0,t)
W=
[ 1/8*(exp(t)^6-exp(t)^4+3*exp(t)^2-3)/exp(t)^6, -1/8*(exp(t)^6+exp(t)^2-2)/exp(t)^6]
[ -1/8*(exp(t)^6+exp(t)^2-2)/exp(t)^6, 1/6-1/6*exp(-3*t)^2 ]
>> pretty(W)
[ 6 4 2 6 2 ]
[ exp(t) - exp(t) + 3 exp(t) - 3 exp(t) + exp(t) - 2]
[1/8 --------------------------------- , - 1/8 --------------------- ]
[ 6 6 ]
[ exp(t) exp(t) ]
[ ]
[ 6 2 ]
[ exp(t) + exp(t) - 2 2 ]
[- 1/8 --------------------- , 1/6 - 1/6 exp(-3 t) ]
[ 6 ]
[ exp(t) ]
>> det(W)
ans =
-1/192*(-exp(t)^12+4*exp(t)^12*exp(-3*t)^2+4*exp(t)^10-4*exp(t)^10*exp(-3*t)^2-
6*exp(t)^8+12*exp(t)^8*exp(-3*t)^2-12*exp(t)^6*exp(-3*t)^2+3*exp(t)^4-12*exp(t)^2+12)/exp(t)^12
>> DETW=ans
DETW =
-1/192*(-exp(t)^12+4*exp(t)^12*exp(-3*t)^2+4*exp(t)^10-4*exp(t)^10*exp(-3*t)^2-
6*exp(t)^8+12*exp(t)^8*exp(-3*t)^2-12*exp(t)^6*exp(-3*t)^2+3*exp(t)^4-12*exp(t)^2+12)/exp(t)^12
>> pretty(DETW)
12 12 2 10
- 1/192 (-exp(t) + 4 exp(t) exp(-3 t) + 4 exp(t)
10 2 8 8 2
- 4 exp(t) exp(-3 t) - 6 exp(t) + 12 exp(t) exp(-3 t)
6 2 4 2 / 12
- 12 exp(t) exp(-3 t) + 3 exp(t) - 12 exp(t) + 12) / exp(t)
/
En la Ec. (4.6) se describe un procedimiento mediante el que se puede calcular una entrada que
lleve al sistema desde el estado inicial x0 en t0 al estado final objetivo x1 en t1.
M.C. Manuel Amarante Rodríguez 83
3 de Julio del 2009
Capítulo 4 Control Moderno
^
u B T T t1 , W 1 t1 , t 0 x1 (4.20)
siendo
^
xt1 xt1 t1 , t0 xt 0 (4.21)
La particularidad especifica esta entrada porque es la señal de mínima energía que consigue
llevar el estado desde el valor inicial hasta el final en el tiempo dado, entendiendo energía como:
Eu t u T u d
t
(4.22)
t0
Además, de forma inmediata se puede deducir que la entrada obtenida por este método no es
sino una de las infinitas entradas posibles que consiguen realizar esta transición en el valor del vector
de estado: basta con elegir cualquier estado xa y fijarse como objetivo alcanzarlo en cualquier instante
ta intermedio entre t0 y t1; a continuación, se calcula una entrada que lleve al sistema desde este estado
intermedio xa en ta al estado final en x1 en t1. Yuxtaponiendo ambas entradas en el tiempo se obtiene
una nueva entrada que lleva al sistema desde x0 en t0 a x1 en t1 pasando por un punto arbitrario xa en el
instante intermedio ta. Como tanto xa como ta pueden tomar valores cualesquiera arbitrariamente
elegidos, se concluye que existe una variedad infinita de entradas para llevar al sistema desde x0 en t0 a
x1 en t1.
Caso1: Transición directa
^
x0 , t0 u
t
x1 , t1, u1 t BT t T t1 , t W 1 t1 , t 0 x1 (4.23)
donde:
^
x1 x1 t1 t 0 x0 (4.24)
u2 t (4.25)
xa , ta u
t
2
x1 , t1
^
BT t T t1 , t W 1 t1 , t a x1 , ta t t1
donde:
^
x a xa t a , t0 x0
^ (4.26)
x1 x1 t1 , t a xa
x2
u2, t < ta
xa
u2, t > ta
u1
x1
x0
x1
Fig. 4.4 Transición del estado entre dos puntos, de forma directa (línea continua) y con un punto
de paso intermedio (línea discontinua)
1 0 1
x x u (4.27)
1 2 0
1 1
x0 , t0 0 x1 , t1 0.5 (4.28)
1 1
Dado que el enunciado ya formula que el sistema es controlable, no es necesario realizar la
correspondiente comprobación. Por lo tanto es posible pasar directamente al cálculo de la evolución
libre del sistema, puesto que para calcular la entrada que realiza la transición propuesta hay que tener
en cuenta cuál es el efecto de dicha evolución. Como paso previo es necesario calcular el valor de la
matriz de transición del sistema por cualquiera de los métodos vistos resultando:
De las infinitas entradas posibles, se calcula la de mínima energía, que se obtiene de la Ec. (4.6),
por lo que es necesario calcular el gramiano para el intervalo propuesto:
M.C. Manuel Amarante Rodríguez 85
3 de Julio del 2009
Capítulo 4 Control Moderno
0.3160 0.0571
W 0.5,0 0.5, B BT T 0.5, d
0.5
(4.31)
0
0.0571 0.0143
Por lo que aplicando la Ec. (4.6) la entrada que consigue realizar la transición propuesta para el
estado con el mínimo costo energético es:
^
u B T T 0.5, W 1 0.5,0 x1 e 116.372 86.7069e (4.32)
Eu t u 2 d 222.481
0.5
(4.33)
0
A=
-1 0
-1 -2
>> B=[1;0]
B=
1
0
>> x0=[1;1]
x0 =
1
1
>> x1=[1;1]
x1 =
1
1
>> I=eye(2)
I=
1 0
0 1
>> FI=s*I-A
FI =
[ s+1, 0]
[ 1, s+2]
>> FI=inv(FI)
FI =
[ 1/(s+1), 0 ]
[ -1/(s+1)/(s+2), 1/(s+2)]
num21 =
0 0 -1
>> den21=[1 3 2]
den21 =
1 3 2
>> [R P K]=residue(num21,den21)
R=
1
-1
P=
-2
-1
K=
[]
FI =
[ 1/(s+1), 0 ]
[ 1/(s+2)-1/(s+1), 1/(s+2)]
>> pretty(FI)
[ 1 ]
[ ----- 0 ]
[ s+1 ]
[ ]
[ 1 1 1 ]
M.C. Manuel Amarante Rodríguez 87
3 de Julio del 2009
Capítulo 4 Control Moderno
>> FI=ilaplace(FI)
FI =
[ exp(-t), 0 ]
[ exp(-2*t)-exp(-t), exp(-2*t)]
FI05 =
0.6065 0
-0.2387 0.3679
>> x05=FI05*x0
x05 =
0.6065
0.1292
>> x1G=x1-x05
x1G =
0.3935
0.8708
FI05tau =
[ exp(-1/2+tau), 0 ]
[ exp(-1+2*tau)-exp(-1/2+tau), exp(-1+2*tau)]
FI05tau =
[ 2731571253070597/4503599627370496*exp(tau), 0]
[828390857088487/2251799813685248*exp(2*tau)-
2731571253070597/4503599627370496*exp(tau),
828390857088487/2251799813685248*exp(tau)]
>> pretty(FI05tau)
[2731571253070597 ]
[------------------------ exp(tau) , 0 ]
[4503599627370496 ]
[ ]
M.C. Manuel Amarante Rodríguez 88
3 de Julio del 2009
Capítulo 4 Control Moderno
>> 2731571253070597/4503599627370496
ans =
0.6065
>> 828390857088487/2251799813685248
ans =
0.3679
>> 2731571253070597
ans =
2.7316e+015
>> 2731571253070597/4503599627370496
ans =
0.6065
FI05tau =
[ 1213/2000*exp(tau), 0 ]
[ 3679/10000*exp(2*tau)-1213/2000*exp(tau), 3679/10000*exp(tau)]
FI05tauT =
[ 1213/2000*exp(tau), 3679/10000*exp(2*tau)-1213/2000*exp(tau)]
[ 0 , 3679/10000*exp(tau) ]
>> w=FI05tau*B*B'*FI05tauT
w=
[ 1471369/4000000*exp(tau)^2, 1213/2000*exp(tau)*(3679/10000*exp(2*tau)-1213/2000*exp(tau))]
[ 1213/2000*exp(tau)*(3679/10000*exp(2*tau)-1213/2000*exp(tau)), (3679/10000*exp(2*tau)-
1213/2000*exp(tau))^2]
>> W=int(w,tau,0,0.5)
W=
[ 1471369/8000000*exp(1/2)^2-1471369/8000000,
4462627/60000000*exp(1/2)^3-1471369/8000000*exp(1/2)^2+13145281/120000000]
[ 4462627/60000000*exp(1/2)^3-
1471369/8000000*exp(1/2)^2+13145281/120000000, 13535041/400000000*exp(1/2)^4-
4462627/30000000*exp(1/2)^3+1471369/8000000*exp(1/2)^2-82805393/1200000000]
>> 1471369/8000000*exp(1/2)^2
ans =
0.4999
>> 1471369/8000000*exp(1/2)^2-1471369/8000000
ans =
0.3160
>> 4462627/60000000*exp(1/2)^3-1471369/8000000*exp(1/2)^2+13145281/120000000
ans =
-0.0571
>> 4462627/60000000*exp(1/2)^3-1471369/8000000*exp(1/2)^2+13145281/120000000
ans =
-0.0571
>> 13535041/400000000*exp(1/2)^4-4462627/30000000*exp(1/2)^3+1471369/8000000*exp(1/2)^2-
82805393/1200000000
ans =
0.0143
W=
0.3160 -0.0571
-0.0571 0.0143
>> WI=inv(W)
WI =
11.3637 45.3754
45.3754 251.1145
>> utau=B'*FI05tauT*WI*x1G
utau =
-
7401310079662976642015524619172899/63382530011411470074835160268800*exp(tau)+5515212
31616830610516774270443588139/6338253001141147007483516026880000*exp(2*tau)
M.C. Manuel Amarante Rodríguez 90
3 de Julio del 2009
Capítulo 4 Control Moderno
>> -7401310079662976642015524619172899/63382530011411470074835160268800
ans =
-116.7721
>> 551521231616830610516774270443588139/6338253001141147007483516026880000
ans =
87.0147
utau =
[ -4108553015994299/35184372088832*exp(tau), 1530778790999045/17592186044416*exp(2*tau)]
utau2 =
16880207885235850534511600501401/1237940039285380274899124224*exp(tau)^2+23432837069
72497893509190912025/309485009821345068724781056*exp(2*tau)^2
>> 16880207885235850534511600501401/1237940039285380274899124224
ans =
1.3636e+004
>> 2343283706972497893509190912025/309485009821345068724781056
ans =
7.5716e+003
>> Eu=int(utau2,tau,0,0.5)
Eu =
16880207885235850534511600501401/2475880078570760549798248448*exp(1/2)^2+23432837069
72497893509190912025/1237940039285380274899124224*exp(1)^2-
21566775299180846321529982325451/2475880078570760549798248448
>> 16880207885235850534511600501401/2475880078570760549798248448*exp(1/2)^2
ans =
1.8533e+004
>> 2343283706972497893509190912025/1237940039285380274899124224*exp(1)^2
ans =
1.3987e+004
>> 21566775299180846321529982325451/2475880078570760549798248448
ans =
8.7108e+003
>> 1.8533e+004+1.3987e+004-8.7108e+003
ans =
2.3809e+004
Otro método para el cálculo de una entrada que transfiera el estado entre dos valores prefijados
es la composición de escalones. De forma resumida, consiste en:
Fijar el numero de escalones que se utilizaran: en general, para ajustar el valor de n variables de
estado será necesario la utilización de una secuencia de n escalones cuyas alturas deberán ser
calculadas para cumplir con el objetivo.
Fijar el intervalo en el que se aplicara cada uno de esos escalones: esta longitud se fija
arbitrariamente, utilizándose como método general la división del tiempo disponible para
realizar en n subintervalos de igual longitud.
Nótese que una secuencia de n escalones como la descrita genera un sistema con 2n-1 grados de
libertad, n alturas y n-1 longitudes de subintervalo, supuesta fija la longitud del intervalo total. Una
posibilidad de ajuste consiste en prefijar la longitud de estos subintervalos para conseguir reducir el
problema a otro con n grados de libertad, resultando, por lo tanto, un sistema determinado en el que se
utilizan n parámetros (alturas de los n escalones) para el ajuste de n variables (las n componentes del
vector de estado). También se puede ajustar la secuencia de escalones prefijando una combinación de
n-1 parámetros (alturas y/o subintervalos), procediendo luego al ajuste de la entrada con los n grados
de libertad restantes.
En conclusión, existen infinitas entradas capaces de transferir el estado entre dos valores
cualesquiera para un sistema controlable, como ya se ha referido anteriormente. La forma elegida
dependerá, por lo general, de algún criterio de minimización de una función de costo, problema que en
su resolución implicaría la utilización de técnicas de Control Optimo.
Energía de la señal de entrada
~
xt P T xt (4.34)
De forma que:
~
A T 1 AT
~
B T 1 B (4.35)
~
t , t0 T 1t , t 0 T
~
W t1 , t0 T 1t1 , TT 1B BT T T T T t1 , t T T T 1W t1 , t0 T T
t1 T
(4.36)
t0
es decir, que aunque los autovalores de la matriz A son invariantes ante transformación lineal,
los autovalores del gramiano de controlabilidad no lo son, por lo que el gramiano no ofrece una
información concluyente sobre la factibilidad de controlar el estado para un sistema concreto.
Sin embargo, como ya se ha comentado, la entrada sí que invariante ante transformación lineal,
y en concreto también de mínima energía, por lo que dicha energía mínima puede tomarse como
indicador de controlabilidad, mediante la comparación del desplazamiento inducido en el valor del
estado y la energía en la entrada para conseguirlo.
Se pueden formular unos indicadores generales que van a ocasionar un incremento en dicha
energía para un mismo desplazamiento en el estado, como pueden ser:
A menor longitud de intervalo [t0, t1] mayor es la energía necesaria, como puede
deducirse fácilmente.
Cuanto más rápida es la dinámica del sistema, se tiende a necesitar más energía.
Dependiendo de la dirección de avance del estado, en general se modifica la energía
necesaria para una misma distancia desplazada. Un indicador de la diferencia de costo
según la dirección es el número de condición del gramiano.
1 0 103
xt x t 3 u t (4.37)
0 2 10
Calculando el gramiano y sus valores singulares para t=1 se obtiene un numero de condición de
3.23*1013, lo que en principio indica muy diferente controlabilidad según la dirección de
desplazamiento elegida para el estado. Sin embargo mediante una sencilla operación de escalado:
~ ~
x1 t 103 x1 t , x 2 t 10 3 x2 t (4.38)
el problema se transforma en:
1 0~
t u t
~ 1
x t 0
2 x 1
(4.39)
Al repetir el mismo cálculo se obtiene un número de condición de 77.44, lo que indica un mejor
equilibrio entre las direcciones de desplazamiento del estado.
En este segundo caso se comprueba además cómo evoluciona la anisotropía del espacio de
estado, a medida que el tiempo se hace mayor. En la gráfica de la Fig. 4.5 se puede observar el
conjunto de estados alcanzables consumiendo una unidad de energía cuando t=0.5, t=1 y t=2, que
tienen como numero de condición de W(t1, 0), respectivamente, 222.27, 77.44 y 43.29. En dicha figura
llaman la atención dos características:
El lugar geométrico de los puntos que se pueden alcanzar consumiendo una cantidad fija
de energía es una elipse (una elipsoide en el caso general con n variables de estado).
A medida que el numero de condición baja, la elipse de estados alcanzables va siendo
más redondeada, lo que implica un mejor equilibrio entre las posibles direcciones de
evolución del estado.
Fig. 4.5 Gráfica de los estados alcanzables consumiendo una unidad de energía cuando t=0.5, t=1 y t=2
que tienen como numero de condición respectivamente 222.27, 77.44 y 43.29
multiplicación de la matriz A y sus potencias con la columna i-ésima de la matriz B. El rango de cada
una de estas matrices Qi define si es controlable solo usando la entrada i-ésima.
Demostración
Condición necesaria
Si el sistema es controlable, es necesario que existan n columnas de la matriz Q linealmente
independientes. La solución de la ecuación de estado, si se parte de un estado inicial nulo, es:
^
xt1 t1 , Bu d e At1 Bu d
t1 t1
(4.42)
t0 t0
1 2
e At1 I At1 A t1 h0 I h1 A hn1 An1
2
(4.43)
2!
^
xt1 B h0 u d AB h1 u d An1 B hn1 u d
t1 t1 t1
(4.44)
t0 t0 t0
^
El estado xt1 que se puede alcanzar desde el origen es combinación lineal de las columnas
^
de Q. Por lo tanto, para que xt1 pueda ser cualquier punto del espacio de estado, es necesario
que de todas las columnas que aparecen haya n linealmente independientes.
Condición suficiente
Se supone que el sistema no es controlable y se vera que no existen n columnas de la matriz Q
linealmente independientes.
Si el sistema no es controlable, la matriz W es singular, por lo tanto su determinante es nulo y
tiene un valor propio nulo, cuyo vector propio correspondiente verifica la Ec. (4.11):
V T e At B 0 (4.46)
V T e At AB 0
V T e At A2 B 0
V e Q 0
T At
(4.47)
V e A B 0
T At n1
Hay un vector que aparece en todos los términos y que es ortogonal a los productos AB.
Cuando existe un vector ortogonal a todas las columnas de la matriz Q, es que no abarcan la
totalidad del espacio de estado, es decir que el resto de los vectores no son base de un espacio
de n dimensiones, son linealmente independientes.
2 0 0 1 0
xt 0 1 3 xt 0 2u t
(4.48)
4 0 3 0 5
1 0 2 0 4 0
Q 0 2 0 17 12 62 (4.49)
0 5 4 15 20 45
El rango es tres, con las primeras columnas, luego es controlable. Siempre se encontraran las
entradas para llevar el sistema desde cero a cualquier valor.
Con estas dos entradas se puede llevar el estado entre dos valores cualesquiera del espacio de
estado, lo que no se sabe es qué ocurrirá si se usara una sola entrada. Sería equivalente a decir que la
matriz B tiene una sola columna.
Entonces se puede comprobar si sería controlable:
1 2 4
Q1 0 0 12 rango(Q1)=3→Es Controlable (4.50)
0 4 20
Utilizando sólo la primera entrada, se puede hacer que el sistema ocupe cualquier punto del
espacio de estado, igual que con las dos. En caso de utilizar la segunda:
0 0 0
Q2 2 17 62 rango(Q2)=2→No es Controlable (4.51)
5 15 45
No se puede hacer que el estado evolucione del origen hasta cualquier punto del espacio de
estado.
A=
2 0 0
0 1 3
4 0 3
B=
1 0
0 2
0 5
>> Cc=ctrb(A,B)
Cc =
1 0 2 0 4 0
0 2 0 17 12 62
0 5 4 15 20 45
>> rank(Cc)
ans =
3
>> B1=[1;0;0]
B1 =
1
0
0
>> Cc1=ctrb(A,B1)
Cc1 =
1 2 4
0 0 12
0 4 20
>> rank(Cc1)
ans =
3
>> B2=[0;2;5]
B2 =
0
2
5
>> Cc2=ctrb(A,B2)
Cc2 =
0 0 0
2 17 62
5 15 45
>> rank(Cc2)
ans =
2
xt Axt Bu t
~
(4.52)
xt T x
~ ~
x T 1 AT xt T 1 Bu t (4.53)
~
Q T 1 B T 1 AB T 1 A2 B T 1 An1 B T 1Q (4.54)
~
Puesto que la matriz T es no singular, el rango de Q coincidirá con el de Q, por lo tanto, si el
~
sistema es controlable con Q también lo será con Q .
se puede entender el término F(t-τ) = Φ(t-τ)B como una aplicación F : nm . Así, F(t) representa
la aplicación de un conjunto de m señales vectoriales influyendo sobre n variables de estado, con lo que
cada columna supondría el efecto de cada entrada sobre el conjunto de variables.
Por propia definición, el Gramiano de Controlabilidad es una matriz semidefinida positiva, con
un conjunto de valores propios reales 12 22 n2 0 y el correspondiente conjunto de
autovectores ortonormales V1, V2,∙∙∙, Vn.
El Gramiano de Controlabilidad se puede interpretar en términos de energía transmitida desde la
F
t1 2
entrada a las variables de estado en la siguiente forma. La integral 2
d representa la energía
t0
total del conjunto de señales en el intervalo [t0, t1], reflejando los autovalores y sus correspondientes
autovectores la distribución espacial de esta energía.
Considérese el conjunto de posibles entradas al sistema u t m , y sea Ώ la clase de todas las
funciones de entrada continuas a trozos en el intervalo [t0, t1], que satisfacen la restricción en su norma:
1
t1 u 2 d 1
2
t0
(4.56)
2
La Imagen de la convolución:
t0
1
m
0 1 (4.57)
S x n : x F t u d , t t1 , u
t
t0
(4.58)
aporta información sobre la estructura de dicho subespacio. Se puede demostrar que S es una región en
n cuya superficie es una elipsoide definida por los autovalores y autovectores de F(t) en [t0,t1], como
ya se adelanto en el Ejemplo 4.4.
Sean σi y Vi, i=1,…..,n las raíces cuadradas de los autovalores del Gramiano de Controlabilidad
y los vectores propios asociados en [t0,t1], y sean , V n n :
1 0 0
0 0
2
(4.59)
0 0 n
V v1 v2 vn (4.60)
Sea el conjunto:
^
S x n : x Vp, p 1 (4.61)
es decir, un elipsoide con semiejes σiVi, i=1,2,∙∙∙∙, n. Entonces se demuestra que el conjunto S se puede
caracterizar como:
^ ^ ^
S x n : x x con x S y 0 1 (4.62)
^
Es decir, que S es la superficie de S.
El conjunto S de estados que resultan de la convolución de F(t-τ) = Φ(t-τ)B con una norma
de entrada unitaria coincide con la superficie de un elipsoide cuyos semiejes son σiVi, i = 1, 2,∙∙∙∙, n,
siendo σi las raíces cuadradas de los valores propios del Gramiano de Controlabilidad y Vi los
vectores propios asociados.
Este resultado indica que al aplicar una entrada con una cierta energía, los estados que se
pueden alcanzar se encuentran sobre una elipsoide cuyas proporciones son las indicadas por los
autovalores y autovectores del Gramiano de Controlabilidad, como aparece en la Fig. 4.5.
Demostración
^ ^
Suponiendo σn > 0 (sistema controlable), para todo x S existe un vector p, p 1 que
^
satisface que x Vp . Por su propia definición se sabe que:
W t1 , t 0 F F T d V 2V T
t1
(4.63)
t0
lo que significa que, si se define q = VΣ-1p, que cumple que; lo que supone que la entrada u(t) =
^
F(t1-t)q conduce al estado x t al valor x en el instante t1 . A partir de esta definición de entrada se
obtiene que:
p T V TV 2V T V 1 p 1
T
^
lo que significa que u t y que x S .
Este resultado facilita la interpretación de la información que suministra el Gramiano de
Controlabilidad para un sistema lineal e invariante:
El Gramiano y la matriz Q establecen la controlabilidad teórica de un sistema, en términos de
que si es matemáticamente posible encontrar una entrada que produzca una determinada
transición del estado desde un valor inicial a un valor final dado.
La estructura de los valores de los vectores propios del Gramiano de Controlabilidad determina
la factibilidad relativa con la que se puede recorrer el espacio de estado según la dirección
elegida, siendo mayor el costo menor sea el valor propio asociado a la dirección elegida.
Dado que dicho Gramiano no es invariante, este estudio es concluyente en tanto y en cuanto se
utilice una representación del estado en la que sus variables tengan un significado físico claro.
En la circunstancia de utilizar una representación con correspondencia física, la estructura del
Gramiano de Controlabilidad revela las posibilidades prácticas de realizar transiciones en el
espacio de estado, así como un costo energético relativo dependiendo de la dirección elegida
para la transición.
Según se ha detallado en los anteriores apartados, en un sistema lineal e invariante que sea
controlable se va a poder alcanzar un estado determinado, partiendo desde cualquier estado inicial,
eligiendo la entrada adecuada. Sin embargo, si no es controlable, no se va a poder alcanzar cualquier
estado. No obstante parece interesante, en estos casos, caracterizar aquellos puntos que van a ser
controlables, es decir, que se van a poder alcanzar.
La descripción se va a realizar en dos etapas: primero se detallan los puntos que se pueden
alcanzar a partir de un estado inicial nulo, para posteriormente generalizarlo para cualquier estado
inicial.
Dado un sistema lineal invariante:
x t Axt Bu t (4.65)
el conjunto de puntos del espacio de estado alcanzables partiendo del estado inicial nulo
forman un subespacio vectorial, al que se denomina subespacio controlable, Xc , generado
por los vectores columna de Q.
Estos puntos forman un espacio vectorial, pues el origen pertenece a él y además cumplen la
condición de linealidad: si partiendo de un estado inicial nulo, ante una entrada u1, se alcanza el estado
x1 y, ante una entrada u2, se alcanza el estado x2; entonces para cualquier combinación lineal:
u1 u2 , , se alcanzara el estado x1 x2 .
Se puede plantear la definición del subespacio controcable, Xc, en función de la respuesta de las
variables de estado del sistema, partiendo del estado inicial nulo, a un conjunto de señales de prueba
presentadas en su entrada.
El subespacio controlable, Xc , es el subespacio de menor dimensión que contiene a la imagen
de la transformación definida por Xt(t), para todo t t0 ,t1 , siendo
X t t xt1 t xt2 t xtm t (4.66)
donde xti t representa la evolución del estado ante la entrada de prueba u i t , definida
como:
0
u i t u i t (4.67)
0
Demostración
0
u i t t (4.68)
0
es decir, la respuesta impulsorial del sistema. Dado que se trata de un sistema lineal, las
regiones del espacio de estado para los que dicha respuesta es cero tendrán respuesta nula para
cualquier otra entrada, con lo que la imagen del mapa dado por Ec. (4.69) se corresponde con el
subespacio controlable.
Para el cálculo de una base del subespacio controlable basta observar que si en la matriz
Q B AB A2 B An1 B (4.70)
entonces Ai+kbj , con k > 0, también será linealmente dependiente de sus dos anteriores
columnas, ya que multiplicando la Ec. (4.154) por la izquierda por Ak se obtiene que:
^
La relación de los estados controlables, a partir de un estado inicial nulo xt con los estados
alcanzables desde cualquier estado inicial xt , viene dada por la Ec. (4.85) de donde:
^
x t x t t , t0 xt 0 (4.73)
De esta forma, los puntos alcanzables en el espacio de estado están definidos por una variedad
lineal tal que:
Sobre ambas curvas se ha resaltado los valores del estado para los instantes t0, t1 y t2. Como puede
verse, el estado para cada uno de estos instantes se obtiene mediante la superposición de ambos valores,
como describe la Ec. 4.72.
Dado el sistema lineal invariante con dimensión del subespacio controlable, dim(Xc)=rQ < n:
x t Axt Bu t (4.74)
existe una matriz de transformación T, tal que sí se efectúa dicho cambio de base:
~
xt T xt (4.75)
M.C. Manuel Amarante Rodríguez 104
3 de Julio del 2009
Capítulo 4 Control Moderno
~
~
xa t Aaa Aab xa t B a u t
~ ~ ~
~ ~ ~ (4.76)
x t 0 Abb xb t 0
b
~
verificándose que el sistema formado por las variables xa , cuya dinámica viene representada por las
~ ~
matrices Aaa , B a , conociéndose como el subespacio controlable, siendo su dimensión rQ; por lo tanto
~
la dimensión del subsistema formado por las variables xb es n-rQ. Adicionalmente, se deduce de la Ec.
~
(4.76), este subsistema está caracterizado por las matrices Abb ,0 , y tiene un comportamiento
independiente de la entrada.
T Ta Tb (4.78)
donde Ta se forma con una base cualquiera del subespacio controlable, y Tb esta formado por n-rQ
vectores cualesquiera que sean linealmente independientes entre sí y con los de la matriz Ta.
El sistema original se descompone en dos subsistemas según el gráfico de la Figura 4.7, donde
S1 es un subsistema controlable (en Rojo) y S2 (en Verde) esta totalmente separado de u, evoluciona de
forma independiente a la señal de entrada, por lo que no es controlable. Se consigue, pues, dividir el
sistema en dos: uno controlable y otro que presenta un comportamiento independiente de la entrada.
Si el subespacio controlable fuese plano, la dimensión de S1 (en Rojo) sería dos, por lo que se
podrían separar dos variales de estado que se podrían llevar a cualquier valor.
•
~ ~
u(t) ~ Xa Xa ~ y(t)
Ba ∫ Ca
~
Aaa
S1
~
Aab S2
•
~ ~
Xb Xb ~
∫ Cb
~
Abb
1 0 4 3
xt 0 1 4 xt 1u t
(4.79)
0 0 2 1
3 7 15
2
Q B AB A B 1 5 13 Rango(Q) = 2 < 3→Sistema no controlable (4.80)
1 2 4
3 1 0 4 3 7 1 0 12 3 15
B 1 AB 0 1 4 1 5 A B 0 1 12 1 13
2
(4.81)
1 0 0 2 1 2 0 0 4 1 4
3 7 3 7 1
T1 1 5 T 1 5 0
(4.82)
1 2 1 2 0
0 0.666 1.666 1 0 4 3 7 1 0 2 0
A T AT 0 0.333 0.333 0 1 4 1 5 0 1 3 0
~
1
(4.83)
1 0.333 2.666 0 0 2 1 2 0 0 0 1
1 0 2
~ ~ ~ ~2 ~
Q B A B A B 0 1 3
~ _
Rango(Q) 2 (4.85)
0 0 0
con lo que se comprueba la existencia de un subsistema de dimensión dos que es controlable.
~ ~
El subsistema controlable está formado por x1 y x 2 , que, expresados en la base inicial, son:
~
x~1 x1
x T x
1
(4.86)
~2 2
x3 x3
Realización del ejemplo 4.6 con ayuda del Matlab
A=
1 0 4
0 1 -4
0 0 2
>> B=[3;-1;1]
B=
3
-1
1
>> Q=ctrb(A,B)
Q=
3 7 15
-1 -5 -13
1 2 4
>> rank(Q)
ans =
2
T=
3 7 1
-1 -5 0
1 2 0
>> rank(T)
ans =
3
>> TI=inv(T)
TI =
0.0000 0.6667 1.6667
0 -0.3333 -0.3333
1.0000 0.3333 -2.6667
>> AT=TI*A*T
AT =
0.0000 -2.0000 0.0000
1.0000 3.0000 0
0.0000 0.0000 1.0000
>> BT=TI*B
BT =
1
0
0
>> QT=ctrb(AT,BT)
QT =
M.C. Manuel Amarante Rodríguez 108
3 de Julio del 2009
Capítulo 4 Control Moderno
>> rank(QT)
ans =
2
Se dice que un punto del espacio de salida de un sistema, y1, es controlable en [t0, t1] si existe
una entrada u definida en el intervalo [t0, t1], tal que para todo punto de origen en t0 consiga que la
salida valga y1 en t1.
Se dice que un punto del espacio de salida de un sistema y1 es controlable si para todo punto
de origen y para todo instante inicial t0, existe una entrada u en el intervalo [t0, t1] con t1 finito, que
lleve la salida al valor y1 en t1.
Los teoremas de controlabilidad del estado se pueden generalizar de forma sencilla a los
siguientes teoremas de controlabilidad de la salida. Así, para determinar la controlabilidad de la salida
de un sistema lineal se utiliza el siguiente teorema:
Dado el sistema:
xt At xt Bt u t (4.87)
yt C t xt
es no singular.
Se comprueba además que, de forma similar a lo visto al estudiar la controlabilidad del estado, a
partir de la definición del Gramiano de Controlabilidad de la Salida, se puede calcular la entrada de
mínima energía que desplaza el valor de la salida a un punto dado, y1, en un intervalo [t0, t1]:
_
u t BT t T t1 , t C T t WC1 t1 , t0 y1 (4.89)
donde
_
y1 y1 C t1 t0 , t1 x0 (4.90)
Además, como también ocurre en el caso de controlabilidad del estado, el rango del Gramiano
de Controlabilidad de la Salida indica la dimensión del subespacio de salida controlable.
xt Axt Bu t (4.91)
yt Cxt
Ejemplo 4.7: determinar la controlabilidad de las salidas del sistema definido por las
ecuaciones:
4 8 7 6
x 3 3 x 4u
1
8 10 11 9 (4.93)
1 1 1
y x
1 3 2
El problema se puede resolver por dos vías, bien utilizando el Gramiano de Controlabilidad de
la Salida o bien utilizando la Matriz de Controlabilidad de la Salida. A continuación se plantean ambas
soluciones.
4 8 7 6
1 1 1
A 3 1 3 B 4 C
8 10 11 9 1 3 2
1 1
BT 6 4 9 C T 1 3
1 2
WC t ,0 2
1
1 e 2 t
0
(4.95)
0 0
matriz que, como puede comprobarse fácilmente, es de rango uno, por lo que se concluye que la
dimensión del espacio de salida controlable es uno.
QC CB CAB CA 2 B
8 7 2 6
1 1 1 6 4 8 7 6 4
1 1 1 1 1 1
4 1 3 2 3 1 3 4 1 3 2 3 1 3 4
1 3 2
9 8 10 11 9 8 10 11 9
1 1 1
0 0 0
(4.96)
de donde se concluye inmediatamente que el rango de esta matriz es uno y, por lo tanto, que el
subespacio de salida controlable es de dimensión uno, y que la base de dicho espacio es:
1
0
A=
4 -8 -7
-3 1 3
8 -10 -11
>> B=[6;-4;9]
B=
6
-4
9
C=
1 -1 -1
-1 3 2
>> BT=B'
BT =
6 -4 9
>> CT=C'
M.C. Manuel Amarante Rodríguez 112
3 de Julio del 2009
Capítulo 4 Control Moderno
CT =
1 -1
-1 3
-1 2
>> I=eye(3)
I=
1 0 0
0 1 0
0 0 1
FI =
[ s-4, 8, 7]
[ 3, s-1, -3]
[ -8, 10, s+11]
>> FI=inv(FI)
FI =
[ (s^2+10*s+19)/(s^3+6*s^2+11*s+6), -2*(4*s+9)/(s^3+6*s^2+11*s+6), -
(17+7*s)/(s^3+6*s^2+11*s+6)]
[ -3/(s^2+3*s+2), (s+4)/(s^2+3*s+2), 3/(s^2+3*s+2)]
[ 2*(4*s+11)/(s^3+6*s^2+11*s+6), -2*(5*s+12)/(s^3+6*s^2+11*s+6), (s^2-5*s-
20)/(s^3+6*s^2+11*s+6)]
>> pretty(FI)
[2 ]
[s + 10 s + 19 4s+9 17 + 7 s ]
[----------------- -2 --------- - ---------- ]
[ %1 %1 %1 ]
[ ]
[ 3 s+4 3 ]
[- ------------ ------------ ------------ ]
[ 2 2 2 ]
[ s +3s+2 s +3s+2 s +3s+2]
[ ]
[ 2 ]
[ 4 s + 11 5 s + 12 s - 5 s – 20 ]
[ 2 -------- -2 -------- ----------------]
[ %1 %1 %1 ]
3 2
M.C. Manuel Amarante Rodríguez 113
3 de Julio del 2009
Capítulo 4 Control Moderno
%1 := s + 6 s + 11 s + 6
num11 =
0 1 10 19
>> den11=[1 6 11 6]
den11 =
1 6 11 6
>> [R,P,K]=residue(num11,den11)
R=
-1.0000
-3.0000
5.0000
P=
-3.0000
-2.0000
-1.0000
K=
[]
num12 =
0 0 -8 -18
>> den12=den11
den12 =
1 6 11 6
>> [R,P,K]=residue(num12,den12)
R=
3.0000
2.0000
-5.0000
P=
-3.0000
-2.0000
-1.0000
M.C. Manuel Amarante Rodríguez 114
3 de Julio del 2009
Capítulo 4 Control Moderno
K=
[]
num13 =
0 -7 -17
>> den13=den11
den13 =
1 6 11 6
>> [R,P,K]=residue(num13,den13)
R=
2.0000
3.0000
-5.0000
P=
-3.0000
-2.0000
-1.0000
K=
[]
num21 =
0 0 -3
>> den21=[1 3 2]
den21 =
1 3 2
>> [R,P,K]=residue(num21,den21)
R=
3
-3
P=
-2
-1
M.C. Manuel Amarante Rodríguez 115
3 de Julio del 2009
Capítulo 4 Control Moderno
K=
[]
>> num22=[0 1 4]
num22 =
0 1 4
>> den22=den21
den22 =
1 3 2
>> [R,P,K]=residue(num22,den22)
R=
-2
3
P=
-2
-1
K=
[]
>> num23=[0 0 3]
num23 =
0 0 3
>> den23=den21
den23 =
1 3 2
>> [R,P,K]=residue(num23,den23)
R=
-3
3
P=
-2
-1
K=
M.C. Manuel Amarante Rodríguez 116
3 de Julio del 2009
Capítulo 4 Control Moderno
[]
num31 =
0 0 8 22
>> den31=den11
den31 =
1 6 11 6
>> [R,P,K]=residue(num31,den31)
R=
-1.0000
-6.0000
7.0000
P=
-3.0000
-2.0000
-1.0000
K=
[]
num32 =
0 0 -10 -24
>> den32=den31
den32 =
1 6 11 6
>> [R,P,K]=residue(num32,den32)
R=
3.0000
4.0000
-7.0000
P=
-3.0000
-2.0000
-1.0000
M.C. Manuel Amarante Rodríguez 117
3 de Julio del 2009
Capítulo 4 Control Moderno
K=
[]
num33 =
0 1 -5 -20
>> den33=den31
den33 =
1 6 11 6
>> [R,P,K]=residue(num33,den33)
R=
2.0000
6.0000
-7.0000
P=
-3.0000
-2.0000
-1.0000
K=
[]
FI =
>> pretty(FI)
[ 5 3 1 5 2 3 5 3 2 ]
[------ - ------ - ------ , ------ + ------ + ------ , ------ + ------ + ------ ]
[s + 1 s + 2 s + 3 s + 1 s + 2 s + 3 s + 1 s + 2 s + 3 ]
[ ]
[ 3 3 3 2 3 3 ]
[ - ------ + ------ , ------ - ------ , ------ - ------ ]
[ s+1 s+2 s+1 s+2 s+1 s+2 ]
M.C. Manuel Amarante Rodríguez 118
3 de Julio del 2009
Capítulo 4 Control Moderno
[ ]
[ 7 6 1 7 4 3 7 6 2 ]
[------ - ------ - ------ , - ------ + ------ + ------ , - ----- + ----- + -----]
[s + 1 s + 2 s + 3 s + 1 s + 2 s + 3 s + 1 s + 2 s + 3]
>> FI=ilaplace(FI)
FI =
[5*exp(-t)-3*exp(-2*t)-exp(-3*t), 5*exp(-t)+2*exp(-2*t)+3*exp(-3*t), 5*exp(-t)+3*exp(-
2*t)+2*exp(-3*t)]
[ -3*exp(-t)+3*exp(-2*t) , 3*exp(-t)-2*exp(-2*t) , 3*exp(-t)-3*exp(-2*t) ]
[7*exp(-t)-6*exp(-2*t)-exp(-3*t) , -7*exp(-t)+4*exp(-2*t)+3*exp(-3*t), -7*exp(-t)+6*exp(-
2*t)+2*exp(-3*t)]
>> pretty(FI)
[5 exp(-t) - 3 exp(-2 t) - exp(-3 t) , 5 exp(-t) + 2 exp(-2 t) + 3 exp(-3 t) , 5 exp(-t) + 3 exp(-2 t) + 2 exp(-3 t)]
[ -3 exp(-t) + 3 exp(-2 t) , 3 exp(-t) - 2 exp(-2 t) , 3 exp(-t) - 3 exp(-2 t) ]
[7 exp(-t) - 6 exp(-2 t) - exp(-3 t) ,-7 exp(-t) + 4 exp(-2 t) + 3 exp(-3 t) ,-7 exp(-t) + 6 exp(-2 t) + 2 exp(-3 t)]
FITTAU =
[ 5*exp(-t+tau)-3*exp(-2*t+2*tau)-exp(-3*t+3*tau), 5*exp(-t+tau)+2*exp(-2*t+2*tau)+3*exp(-3*t+3*tau),
5*exp(-t+tau)+3*exp(-2*t+2*tau)+2*exp(-3*t+3*tau)]
[ -3*exp(-t+tau)+3*exp(-2*t+2*tau), 3*exp(-t+tau)-2*exp(-2*t+2*tau),
3*exp(-t+tau)-3*exp(-2*t+2*tau)]
[ 7*exp(-t+tau)-6*exp(-2*t+2*tau)-exp(-3*t+3*tau), -7*exp(-t+tau)+4*exp(-2*t+2*tau)+3*exp(-3*t+3*tau), -
7*exp(-t+tau)+6*exp(-2*t+2*tau)+2*exp(-3*t+3*tau)]
>> pretty(FITTAU)
FITTAUT =
[ 5*exp(-t+tau)-3*exp(-2*t+2*tau)-exp(-3*t+3*tau), -3*exp(-t+tau)+3*exp(-2*t+2*tau),
-7*exp(-t+tau)+4*exp(-2*t+2*tau)+3*exp(-3*t+3*tau)]
[ -5*exp(-t+tau)+2*exp(-2*t+2*tau)+3*exp(-3*t+3*tau), 3*exp(-t+tau)-2*exp(-2*t+2*tau),
7*exp(-t+tau)-6*exp(-2*t+2*tau)-exp(-3*t+3*tau)]
[ 3*exp(-t+tau)-3*exp(-2*t+2*tau), 5*exp(-t+tau)+3*exp(-2*t+2*tau)+2*exp(-3*t+3*tau),
-7*exp(-t+tau)+6*exp(-2*t+2*tau)+2*exp(-3*t+3*tau)]
>> pretty(FITTAUT)
>> wc=C*FITTAU
wc =
[ exp(-t+tau) , 9*exp(-t+tau), 9*exp(-t+tau) ]
[ -exp(-3*t+3*tau) , -10*exp(-t+tau)+3*exp(-3*t+3*tau), -10*exp(-t+tau)+2*exp(-3*t+3*tau)]
>> wc=wc*B
wc =
51*exp(-t+tau)
-50*exp(-t+tau)
>> wc=wc*BT
wc =
[ 306*exp(-t+tau), -204*exp(-t+tau), 459*exp(-t+tau)]
[ -300*exp(-t+tau), 200*exp(-t+tau), -450*exp(-t+tau)]
>> wc=wc*FITTAUT
wc =
[306*exp(-t+tau)*(5*exp(-t+tau)-3*exp(-2*t+2*tau)-exp(-3*t+3*tau))-204*exp(-t+tau)*(-5*exp(-
t+tau)+2*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))+459*exp(-t+tau)*(3*exp(-t+tau)-3*exp(-2*t+2*tau)),
306*exp(-t+tau)*(-3*exp(-t+tau)+3*exp(-2*t+2*tau))-204*exp(-t+tau)*(3*exp(-t+tau)-2*exp(-
2*t+2*tau))+459*exp(-t+tau)*(5*exp(-t+tau)+3*exp(-2*t+2*tau)+2*exp(-3*t+3*tau)), 306*exp(-t+tau)*(-
M.C. Manuel Amarante Rodríguez 120
3 de Julio del 2009
Capítulo 4 Control Moderno
7*exp(-t+tau)+4*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))-204*exp(-t+tau)*(7*exp(-t+tau)-6*exp(-2*t+2*tau)-
exp(-3*t+3*tau))+459*exp(-t+tau)*(-7*exp(-t+tau)+6*exp(-2*t+2*tau)+2*exp(-3*t+3*tau))]
[-300*exp(-t+tau)*(5*exp(-t+tau)-3*exp(-2*t+2*tau)-exp(-3*t+3*tau))+200*exp(-t+tau)*(-5*exp(-
t+tau)+2*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))-450*exp(-t+tau)*(3*exp(-t+tau)-3*exp(-2*t+2*tau)),
-300*exp(-t+tau)*(-3*exp(-t+tau)+3*exp(-2*t+2*tau))+200*exp(-t+tau)*(3*exp(-t+tau)-2*exp(-2*t+2*tau))-
450*exp(-t+tau)*(5*exp(-t+tau)+3*exp(-2*t+2*tau)+2*exp(-3*t+3*tau)), -300*exp(-t+tau)*(-7*exp(-
t+tau)+4*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))+200*exp(-t+tau)*(7*exp(-t+tau)-6*exp(-2*t+2*tau)-exp(-
3*t+3*tau))-450*exp(-t+tau)*(-7*exp(-t+tau)+6*exp(-2*t+2*tau)+2*exp(-3*t+3*tau))]
>> wc=wc*CT
wc =
[ 306*exp(-t+tau)*(5*exp(-t+tau)-3*exp(-2*t+2*tau)-exp(-3*t+3*tau))-204*exp(-t+tau)*(-5*exp(-t+tau)+2*exp(-
2*t+2*tau)+3*exp(-3*t+3*tau))+459*exp(-t+tau)*(3*exp(-t+tau)-3*exp(-2*t+2*tau))-306*exp(-t+tau)*(-3*exp(-
t+tau)+3*exp(-2*t+2*tau))+204*exp(-t+tau)*(3*exp(-t+tau)-2*exp(-2*t+2*tau))-459*exp(-t+tau)*(5*exp(-t+tau)+3*exp(-
2*t+2*tau)+2*exp(-3*t+3*tau))-306*exp(-t+tau)*(-7*exp(-t+tau)+4*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))+204*exp(-
t+tau)*(7*exp(-t+tau)-6*exp(-2*t+2*tau)-exp(-3*t+3*tau))-459*exp(-t+tau)*(-7*exp(-t+tau)+6*exp(-2*t+2*tau)+2*exp(-
3*t+3*tau)), -306*exp(-t+tau)*(5*exp(-t+tau)-3*exp(-2*t+2*tau)-exp(-3*t+3*tau))+204*exp(-t+tau)*(-5*exp(-
t+tau)+2*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))-459*exp(-t+tau)*(3*exp(-t+tau)-3*exp(-2*t+2*tau))+918*exp(-t+tau)*(-
3*exp(-t+tau)+3*exp(-2*t+2*tau))-612*exp(-t+tau)*(3*exp(-t+tau)-2*exp(-2*t+2*tau))+1377*exp(-t+tau)*(5*exp(-
t+tau)+3*exp(-2*t+2*tau)+2*exp(-3*t+3*tau))+612*exp(-t+tau)*(-7*exp(-t+tau)+4*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))-
408*exp(-t+tau)*(7*exp(-t+tau)-6*exp(-2*t+2*tau)-exp(-3*t+3*tau))+918*exp(-t+tau)*(-7*exp(-t+tau)+6*exp(-
2*t+2*tau)+2*exp(-3*t+3*tau))]
[ -300*exp(-t+tau)*(5*exp(-t+tau)-3*exp(-2*t+2*tau)-exp(-3*t+3*tau))+200*exp(-t+tau)*(-5*exp(-t+tau)+2*exp(-
2*t+2*tau)+3*exp(-3*t+3*tau))-450*exp(-t+tau)*(3*exp(-t+tau)-3*exp(-2*t+2*tau))+300*exp(-t+tau)*(-3*exp(-
t+tau)+3*exp(-2*t+2*tau))-200*exp(-t+tau)*(3*exp(-t+tau)-2*exp(-2*t+2*tau))+450*exp(-t+tau)*(5*exp(-t+tau)+3*exp(-
2*t+2*tau)+2*exp(-3*t+3*tau))+300*exp(-t+tau)*(-7*exp(-t+tau)+4*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))-200*exp(-
t+tau)*(7*exp(-t+tau)-6*exp(-2*t+2*tau)-exp(-3*t+3*tau))+450*exp(-t+tau)*(-7*exp(-t+tau)+6*exp(-2*t+2*tau)+2*exp(-
3*t+3*tau)), 300*exp(-t+tau)*(5*exp(-t+tau)-3*exp(-2*t+2*tau)-exp(-3*t+3*tau))-200*exp(-t+tau)*(-5*exp(-
t+tau)+2*exp(-2*t+2*tau)+3*exp(-3*t+3*tau))+450*exp(-t+tau)*(3*exp(-t+tau)-3*exp(-2*t+2*tau))-900*exp(-t+tau)*(-
3*exp(-t+tau)+3*exp(-2*t+2*tau))+600*exp(-t+tau)*(3*exp(-t+tau)-2*exp(-2*t+2*tau))-1350*exp(-t+tau)*(5*exp(-
t+tau)+3*exp(-2*t+2*tau)+2*exp(-3*t+3*tau))-600*exp(-t+tau)*(-7*exp(-t+tau)+4*exp(-2*t+2*tau)+3*exp(-
3*t+3*tau))+400*exp(-t+tau)*(7*exp(-t+tau)-6*exp(-2*t+2*tau)-exp(-3*t+3*tau))-900*exp(-t+tau)*(-7*exp(-
t+tau)+6*exp(-2*t+2*tau)+2*exp(-3*t+3*tau))]
>> Wc=int(wc,tau,0,t)
Wc =
[ 17/2*(55*exp(t)^4-585*exp(t)^2+416*exp(t)+114)/exp(t)^4, 17*(83*exp(t)^4+447*exp(t)^2-416*exp(t)-114)/exp(t)^4]
[ -25/3*(55*exp(t)^4-585*exp(t)^2+416*exp(t)+114)/exp(t)^4, -50/3*(83*exp(t)^4+447*exp(t)^2-416*exp(t)-
114)/exp(t)^4]
>> rank(Wc)
ans =
A=
4 -8 -7
-3 1 3
8 -10 -11
>> B=[6;-4;9]
B=
6
-4
9
C=
1 -1 -1
-1 3 2
>> A2=A*A
A2 =
-16 30 25
9 -5 -9
-26 36 35
Qc =
1 -1 1
0 0 0
>> Qc1=ctrb(A,B)
Qc1 =
6 -7 9
-4 5 -7
9 -11 15
>> Qc1=C*Qc1
Qc1 =
1 -1 1
0 0 0
>> rank(Qc)
M.C. Manuel Amarante Rodríguez 122
3 de Julio del 2009
Capítulo 4 Control Moderno
ans =
1
4.9. OBSERVABILIDAD
Como se vio al principio del curso, el modelo de espacio de estado refleja las relaciones entre
los tres factores que describen el comportamiento del sistema entrada, estado y salida. En secciones
anteriores se ha estudiado la forma en que la entrada repercute sobre la evolución del estado, así como
las posibilidades de obtener un determinado valor para éste en un instante dado, mediante la elección
adecuada de dicha entrada.
En secciones posteriores se estudia la forma en la que las variaciones en el valor del estado se
manifiestan sobre la salida, con lo que se cubre la segunda etapa de la interacción descrita por el
modelo de estado y se completa el análisis del comportamiento del sistema completo.
La idea de observabilidad se relaciona con la posibilidad de conocer el estado de un sistema, a
partir del conocimiento de la evolución de la entrada y la salida que genera. Una vez conocido el estado
en un instante inicial, se puede determinar el estado en cualquier otro instante posterior utilizando la
solución de la ecuación de estado.
u(t) y(t)
Sistema
A, B; C
x(t)
Observación
u(t) 5 y(t)
s 2s 2
2
Si se tiene un sistema con una función de transferencia como la de la Figura 4.9 se puede elegir
como variables de estado la salida y su derivada, por lo que se tendrá todos los estados
conocidos a partir de la salida y por tanto será observable.
Por el contrario, el sistema de la Figura 4.10 no es observable, puesto que tiene como variables
de estado las salidas de los bloques. Si se intenta obtener su función de transferencia será:
Y s 3 1 3 s 1 3
1 (4.97)
U s s 1 s 2 s 1 s 2 s 2
Los conceptos de controlabilidad y observabilidad son totalmente distintos y, sin embargo como
se verá en secciones posteriores, en lo que se refiere a cálculos son duales.
4.10. DEFINICIONES
Observabilidad:
Se dice que un punto x0 del espacio de estado es observable en [t0, t1] si, siendo éste el estado
inicial en el instante t0, x0 = x(t0) el conocimiento de la entrada u(t) en el intervalo [t0, t1] y de
la salida y(t) en el mismo intervalo permite determinar que el estado inicial del sistema en el
instante t0 es x0.
Se dice que un punto del espacio de estado, x0,es observable sí, siendo éste el estado inicial
para un instante inicial t0 cualquiera, existe un intervalo de tiempo finito [t0, t1], tal que el
conocimiento de la entrada u(t) en el intervalo [t0, t1] y de la salida y(t) en dicho intervalo
permite determinar que el estado inicial es x0.
Las definiciones, similares a las dadas para controlabilidad, se asocian al concepto de sistemas
observables
Observabilidad de un Sistema
Un sistema es observable en [t0, t1] cuando todos los puntos del espacio de estado son
observables en [t0, t1].
Un sistema es observable si todos los puntos del espacio de estado son observables.
4.11.1. Planteamiento
El objetivo es determinar bajo que condiciones se puede obtener el estado inicial x0 = x(t0),
conociendo u(τ) e y(τ) con t0 < τ < t. Si fuera conocido x(t0) y u(τ), se podría obtener x(t) con la
expresión:
Agrupando los términos que dependen de la entrada y la salida, que se suponen conocidas, se
obtiene:
yt y t C t t , B u d Dt u t C t t , t0 xt0
t
(4.101)
t0
donde y t representa la componente de la salida debida sólo a la existencia de condiciones iniciales no
nulas; es decir, la aportación a la salida dada por la evolución libre del sistema o, lo que es lo mismo, la
salida del sistema ante entrada nula.
De esta forma se observa que la posibilidad de conocer el estado a partir de la salida y la entrada
depende de C(t) y Φ(t, t0), que a su vez depende únicamente de A(t).
En el caso particular de que la matriz C(t) sea cuadrada e invertible, se puede despejar x(t0) de
la Ec. (4.184)
xt0 1 t , t 0 C 1 yt (4.102)
o lo que es lo mismo:
t , t0 xt0 xt C 1 y t (4.103)
M.C. Manuel Amarante Rodríguez 125
3 de Julio del 2009
Capítulo 4 Control Moderno
Obsérvese que en este caso la salida representa un cambio de base de las variables de estado
mediante la matriz C y, por lo tanto, basta conocer la salida en un solo instante para conocer el estado
del sistema.
4.11.2. Teorema
xt At xt Bt u t (4.104)
yt C t xt Dt u t
es observable en [t0, t1] si y sólo si la matriz V(t1, t0), conocida como Gramiano de
observabilidad y definido como:
V t1 , t0 T , t0 C T C , t0 d
t1
(4.105)
t0
es no singular
La matriz V(t1, t0) tiene una forma dual a la W(t1, t0) empleada para el estudio de la
controlabilidad.
Demostración
Condición Suficiente
Si V(t1, t0) no es singular, existe un algoritmo que nos permite despejar x0 de la expresión:
T , t 0 C T y d T , t0 C T C , t0 x0 d V t1 , t0 x0
t1 t1
t0 t0
(4.106)
y despejando
x0 V 1 t1 , t0 T , t 0 C T y d
t1
(4.107)
t0
Por lo tanto, se puede obtener el estado del sistema en función de la salida ante una entrada
nula.
Condición Necesaria
El razonamiento es similar al realizado en la demostración del teorema dual de
controlabilidad. Si V es singular (det(V(t1, t0)) = 0), existe algún valor propio nulo, y se
fuerza a que el un vector propio asociado, que por otro lado debe ser distinto del vector nulo.
Se cumplirá entonces que:
x0T V t1 , t0 x0 0 (4.108
d 0
t1 t1 2
T
d (4.110)
t0 t0
(4.112)
0 0 3 1
y 1 2 3x
determinar el estado inicial desde el que comenzó a evolucionar en t0 = 0, sabiendo que la entrada
escalón unitario produce una salida:
yt 4e 3t 3e 2t 2e t 1 (4.113)
e 0 1
0 e 0 0 e 2 2e 3 3e 3
t t
V t ,0 0 e 2 21 2 3 0 e 2 d 0 2e
3
0 0 4e 4 6e 5 d
0
0
0 e 3 3 0
0 e 3 3e 4
6e 5 9e 6
(4.115)
12 1 e 2t 3 1 e
2
3t
4 1 e
3 4 t
23 1 e 3t 1 e
4 t
5 1 e
6 5 t
34 1 e 4t 6
5 1 e
5t 3
2 1 e
6 t
Se puede comprobar fácilmente que el determinante no se anula salvo para t = 0, por lo que se puede
afirmar que el sistema es observable para cualquier valor de t final del intervalo y, en concreto para t =
2.
Dada la observabilidad del sistema, es posible calcular el estado inicial desde el que evoluciona,
aplicando la Ec. 4.107. Para ello el paso previo es calcular yt , tal como se especifica en la Ec. 4.101
e 0 0 1
y t yt Ct , B u d 4e 3t 3e 2t 2e t 1 1 2 3 0 0 1 d
t t
e 2
0 0
0
0 e 3 1
3e 3t 2e 2t 3e t
(4.117)
De hecho, como este resultado se ha de repetir sea cual sea la duración del intervalo, puesto que el
sistema es observable para todo valor de t, se cumple que:
x0 V 1 t ,0 T ,0C T y d
t
12 1 e 2t 1 e 1 e 1 e
2
3
3t 3
4
4 t
0 0 1 3
x0 23 1 e 3t 1 e 1 e 0
4t 6
5
5t
t
e 2
0 2 3e 2e 3e d 1
3 2
1 e 1 e 0
0
34 1 e 4t
6
5
5t 3
2
6 t
0 e 3 3 1
(4.118)
resultando que, como se puede observar, es independiente del tiempo, como cabía esperar.
A=
-1 0 0
0 -2 0
0 0 -3
M.C. Manuel Amarante Rodríguez 128
3 de Julio del 2009
Capítulo 4 Control Moderno
>> B=[1;-1;1]
B=
1
-1
1
>> C=[1 2 3]
C=
1 2 3
I=
1 0 0
0 1 0
0 0 1
>>FI=ilaplace(inv(s*I-A))
FI =
[ exp(-t), 0, 0]
[ 0, exp(-2*t), 0]
[ 0, 0, exp(-3*t)]
>> CT=C'
CT =
1
2
3
>> t0=0
t0 =
0
FIT0TAU =
[ exp(-tau), 0, 0]
[ 0, exp(-2*tau), 0]
[ 0, 0, exp(-3*tau)]
>> FIT0TAUT=FIT0TAU
FIT0TAUT =
[ exp(-tau), 0, 0]
[ 0, exp(-2*tau), 0]
[ 0, 0, exp(-3*tau)]
>> CT=C'
CT =
1
2
3
>> V=FIT0TAUT*CT*C*FIT0TAU
V=
[ exp(-tau)^2, 2*exp(-tau)*exp(-2*tau), 3*exp(-tau)*exp(-3*tau)]
[ 2*exp(-tau)*exp(-2*tau), 4*exp(-2*tau)^2, 6*exp(-2*tau)*exp(-3*tau)]
[ 3*exp(-tau)*exp(-3*tau), 6*exp(-2*tau)*exp(-3*tau), 9*exp(-3*tau)^2]
>> V=int(V,tau,0,t)
V=
[ -1/2*exp(-t)^2+1/2, 2/3*(-1+exp(t)^3)/exp(t)^3, 3/4*(-1+exp(t)^4)/exp(t)^4]
[ 2/3*(-1+exp(t)^3)/exp(t)^3, -exp(-2*t)^2+1, 6/5*(-1+exp(t)^5)/exp(t)^5]
[ 3/4*(-1+exp(t)^4)/exp(t)^4, 6/5*(-1+exp(t)^5)/exp(t)^5, -3/2*exp(-3*t)^2+3/2]
>> DV=det(V)
DV =
-1/1200*(-900*exp(t)^12*exp(-2*t)^2*exp(-3*t)^2+864*exp(t)^2-exp(t)^12
+1440+90*exp(t)^8+800*exp(t)^6-160*exp(t)^9-900*exp(t)^12*exp(-t)^2*exp(-2*t)^2-
900*exp(t)^12*exp(-t)^2*exp(-3*t)^2-765*exp(t)^4-1440*exp(t)^5+900*exp(t)^12*exp(-t)^2*exp(-
2*t)^2*exp(-3*t)^2-288*exp(t)^7+100*exp(t)^12*exp(-3*t)^2+225*exp(t)^12*exp(-2*t)^2
+36*exp(t)^12*exp(-t)^2+1728*exp(t)^7*exp(-t)^2-864*exp(t)^2*exp(-t)^2+1600*exp(t)^9*exp(-
3*t)^2-800*exp(t)^6*exp(-3*t)^2-675*exp(t)^4*exp(-2*t)^2+1350*exp(t)^8*exp(-2*t)^2-
1440*exp(t)^3)/exp(t)^12
>> y1=C*FIT0TAU*B
y1 =
exp(-tau)-2*exp(-2*tau)+3*exp(-3*tau)
>> y1=int(y1,tau,0,t)
y1 =
-exp(-t)+exp(-2*t)-exp(-3*t)+1
M.C. Manuel Amarante Rodríguez 130
3 de Julio del 2009
Capítulo 4 Control Moderno
>> yr=y-y1
yr =
-3*exp(-3*t)+2*exp(-2*t)+3*exp(-t)
>> yrTAU=-3*exp(-3*tau)+2*exp(-2*tau)+3*exp(-tau)
yrTAU =
-3*exp(-3*tau)+2*exp(-2*tau)+3*exp(-tau)
>> V=FIT0TAUT*CT*C*FIT0TAU
V=
[ exp(-tau)^2, 2*exp(-tau)*exp(-2*tau), 3*exp(-tau)*exp(-3*tau)]
[ 2*exp(-tau)*exp(-2*tau), 4*exp(-2*tau)^2, 6*exp(-2*tau)*exp(-3*tau)]
[ 3*exp(-tau)*exp(-3*tau), 6*exp(-2*tau)*exp(-3*tau), 9*exp(-3*tau)^2]
>> V=int(V,tau,0,2)
V=
[ -1/2*exp(-2)^2+1/2, -2/3*exp(-6)+2/3, -3/4*exp(-8)+3/4]
[ -2/3*exp(-6)+2/3, -exp(-4)^2+1, -6/5*exp(-10)+6/5]
[ -3/4*exp(-8)+3/4, -6/5*exp(-10)+6/5, -3/2*exp(-6)^2+3/2]
>> VI=inv(V)
VI =
[ -72*(25*exp(-4)^2*exp(-6)^2-25*exp(-4)^2-25*exp(-6)^2+1-24*exp(-10)^2+48*exp(-10))/(-
900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-
10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-
10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-
800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1),
120*(10*exp(-6)^3-10*exp(-6)-10*exp(-6)^2+1-9*exp(-8)*exp(-10)+9*exp(-8)+9*exp(-10))/(-
900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-
10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-
10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-
800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1),
-60*(16*exp(-6)*exp(-10)-16*exp(-6)-16*exp(-10)+1-15*exp(-8)*exp(-4)^2+15*exp(-8)+15*exp(-
4)^2)/(-900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-
288*exp(-10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-
8)*exp(-10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-
6)^3-800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)]
[ 120*(10*exp(-6)^3-10*exp(-6)-10*exp(-6)^2+1-9*exp(-8)*exp(-10)+9*exp(-8)+9*exp(-
10))/(-900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-
288*exp(-10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-
8)*exp(-10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-
6)^3-800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1),
-225*(4*exp(-2)^2*exp(-6)^2-4*exp(-2)^2-4*exp(-6)^2+1-3*exp(-8)^2+6*exp(-8))/(-900*exp(-
4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-
8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-
8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-
900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-
2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1), 120*(6*exp(-
2)^2*exp(-10)-6*exp(-2)^2-6*exp(-10)+1-5*exp(-6)*exp(-8)+5*exp(-6)+5*exp(-8))/(-900*exp(-
4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-
8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-
8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-
900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-
2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)]
[ -60*(16*exp(-6)*exp(-10)-16*exp(-6)-16*exp(-10)+1-15*exp(-8)*exp(-4)^2+15*exp(-8)+15*exp(-
4)^2)/(-900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-
288*exp(-10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-
8)*exp(-10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-
6)^3-800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1),
120*(6*exp(-2)^2*exp(-10)-6*exp(-2)^2-6*exp(-10)+1-5*exp(-6)*exp(-8)+5*exp(-6)+5*exp(-8))/(-
900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-
10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-
10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-
800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1),
-200/3*(9*exp(-2)^2*exp(-4)^2-9*exp(-2)^2-9*exp(-4)^2+1-8*exp(-6)^2+16*exp(-6))/(-900*exp(-
4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-
8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-
8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-
900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-
2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)]
>> x0=FIT0TAU*CT*yrTAU
x0 =
(-3*exp(-3*tau)+2*exp(-2*tau)+3*exp(-tau))*exp(-tau)
2*(-3*exp(-3*tau)+2*exp(-2*tau)+3*exp(-tau))*exp(-2*tau)
3*(-3*exp(-3*tau)+2*exp(-2*tau)+3*exp(-tau))*exp(-3*tau)
>> x0=int(x0,tau,0,2)
x0 =
3/4*exp(-8)-2/3*exp(-6)-3/2*exp(-4)+17/12
M.C. Manuel Amarante Rodríguez 132
3 de Julio del 2009
Capítulo 4 Control Moderno
6/5*exp(-10)-exp(-8)-2*exp(-6)+9/5
3/2*exp(-12)-6/5*exp(-10)-9/4*exp(-8)+39/20
>> x0=VI*x0
x0 =
-72*(25*exp(-4)^2*exp(-6)^2-25*exp(-4)^2-25*exp(-6)^2+1-24*exp(-10)^2+48*exp(-10))/(-
900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-
10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-
10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-
800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-
1)*(3/4*exp(-8)-2/3*exp(-6)-3/2*exp(-4)+17/12)+120*(10*exp(-6)^3-10*exp(-6)-10*exp(-6)^2+1-
9*exp(-8)*exp(-10)+9*exp(-8)+9*exp(-10))/(-900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-
10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-
4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-
10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-
2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-
675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)*(6/5*exp(-10)-exp(-8)-2*exp(-6)+9/5)-60*(16*exp(-
6)*exp(-10)-16*exp(-6)-16*exp(-10)+1-15*exp(-8)*exp(-4)^2+15*exp(-8)+15*exp(-4)^2)/(-900*exp(-
4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-
8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-
8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-
900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-
2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)*(3/2*exp(-12)-
6/5*exp(-10)-9/4*exp(-8)+39/20)
120*(10*exp(-6)^3-10*exp(-6)-10*exp(-6)^2+1-9*exp(-8)*exp(-10)+9*exp(-8)+9*exp(-
10))/(-900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-
288*exp(-10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-
8)*exp(-10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-
6)^3-800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-
1)*(3/4*exp(-8)-2/3*exp(-6)-3/2*exp(-4)+17/12)-225*(4*exp(-2)^2*exp(-6)^2-4*exp(-2)^2-4*exp(-
6)^2+1-3*exp(-8)^2+6*exp(-8))/(-900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-
160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-
4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-
10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-
2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-
675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)*(6/5*exp(-10)-exp(-8)-2*exp(-6)+9/5)+120*(6*exp(-
2)^2*exp(-10)-6*exp(-2)^2-6*exp(-10)+1-5*exp(-6)*exp(-8)+5*exp(-6)+5*exp(-8))/(-900*exp(-
4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-
8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-
8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-
900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-
2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)*(3/2*exp(-12)-
6/5*exp(-10)-9/4*exp(-8)+39/20)
-60*(16*exp(-6)*exp(-10)-16*exp(-6)-16*exp(-10)+1-15*exp(-8)*exp(-4)^2+15*exp(-8)+15*exp(-
4)^2)/(-900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-
M.C. Manuel Amarante Rodríguez 133
3 de Julio del 2009
Capítulo 4 Control Moderno
288*exp(-10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-
8)*exp(-10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-
6)^3-800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-
10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-
1)*(3/4*exp(-8)-2/3*exp(-6)-3/2*exp(-4)+17/12)+120*(6*exp(-2)^2*exp(-10)-6*exp(-2)^2-6*exp(-
10)+1-5*exp(-6)*exp(-8)+5*exp(-6)+5*exp(-8))/(-900*exp(-4)^2*exp(-6)^2+36*exp(-2)^2+864*exp(-
10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-8)+900*exp(-6)^2+900*exp(-2)^2*exp(-
4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-8)*exp(-10)-1440*exp(-6)*exp(-
10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-900*exp(-2)^2*exp(-4)^2-900*exp(-
2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-2)^2*exp(-10)-1440*exp(-6)*exp(-8)-
675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)*(6/5*exp(-10)-exp(-8)-2*exp(-6)+9/5)-200/3*(9*exp(-
2)^2*exp(-4)^2-9*exp(-2)^2-9*exp(-4)^2+1-8*exp(-6)^2+16*exp(-6))/(-900*exp(-4)^2*exp(-
6)^2+36*exp(-2)^2+864*exp(-10)^2-160*exp(-6)+225*exp(-4)^2-288*exp(-10)+90*exp(-
8)+900*exp(-6)^2+900*exp(-2)^2*exp(-4)^2*exp(-6)^2+1440*exp(-6)*exp(-8)*exp(-10)-1440*exp(-
8)*exp(-10)-1440*exp(-6)*exp(-10)+1350*exp(-8)*exp(-4)^2+1600*exp(-6)^3-800*exp(-6)^4-
900*exp(-2)^2*exp(-4)^2-900*exp(-2)^2*exp(-6)^2-864*exp(-2)^2*exp(-10)^2+1728*exp(-
2)^2*exp(-10)-1440*exp(-6)*exp(-8)-675*exp(-8)^2*exp(-4)^2+675*exp(-8)^2-1)*(3/2*exp(-12)-
6/5*exp(-10)-9/4*exp(-8)+39/20)
>> D=0
D=
a=
x1 x2 x3
x1 -1 0 0
x2 0 -2 0
x3 0 0 -3
b=
u1
x1 1
x2 -1
x3 1
c=
x1 x2 x3
y1 1 2 3
d=
u1
y1 0
M.C. Manuel Amarante Rodríguez 134
3 de Julio del 2009
Capítulo 4 Control Moderno
Continuous-time model.
>> Wo=gram(SYS,'o')
Wo =
0.5000 0.6667 0.7500
0.6667 1.0000 1.2000
0.7500 1.2000 1.5000
>> DWo=det(Wo)
DWo =
8.3333e-004
>> 1/1200
ans =
8.3333e-004
xt At xt Bt u t
yt C t xt Dt u t
t0
t0
WC e BB e d
0
A T AT
e C Ce d
AT T A
WO
0
de dicho estado inicial es posible establecer cuál ha sido la evolución posterior del vector de estado
hasta llegar al conocimiento de cuál es su valor actual.
En la Ec. 4.190 se describe la forma en la que se puede calcular el estado inicial en un sistema
observable conocido el valor del Gramiano de Observabilidad. Además, este resultado, en principio, no
se ve influido por el valor concreto del gramiano, por lo que no cabría la discusión sobre la mejor o la
peor observabilidad de un sistema como sucedía con la controlabilidad.
El estudio de la observabilidad podría entonces realizarse sin tener en cuenta el
condicionamiento del gramiano correspondiente. Sin embargo, esta afirmación sólo es cierta en caso de
que se disponga de un conocimiento perfecto del modelo, sin errores en la determinación de sus
parámetros ni en la medida de la salida, situación posible en teoría pero muy poco realista en la
práctica, por lo que hay que contar con esta incertidumbre. Y es en presencia de de estos errores en la
medida cuando el condicionamiento del gramiano toma importancia, pudiendo manifestarse entonces
esta baja observabilidad en forma de error al determinar el estado inicial como se pone de manifiesto en
el Ejemplo ---, error que, dependiendo del condicionamiento del problema, repercutirá en mayor o
menor medida a la hora de estimar el estado actual.
Para estudiar el condicionamiento del problema de observabilidad, hay que tener en cuenta,
como ocurría con el estudio de la controlabilidad, que el valor del gramiano no es invariante ante
transformación lineal. Si se considera una transformación del estado mediante la matriz invertible T:
~
x t T x t (4.119)
entonces
~
A T 1 AT
~
C CT (4.120)
~
t , t0 T 1t , t 0 T
~
V t1 , t0 T T , t0 T T T T C T CTT 1 , t0 Td T T V t1 , t0 T
t1 T
(4.121)
t0
por lo que el valor del Gramiano de Observabilidad sólo da información efectiva respecto a la
dificultad de determinación del valor del estado inicial cuando existen errores en la medida de los
parámetros del modelo y de la salida y cuando se trabaja expresando el sistema en una base con
significado físico.
Como en el caso del Gramiano de Controlabilidad, entre los motivos por los que el problema de
observabilidad puede encontrarse mal condicionado se encuentran:
No todos los estados iniciales son igualmente observables desde la salida, como ya se
explico también en el caso de controlabilidad. Un indicador de estas diferencias la da el
numero de condición de la matriz V(t1, t0), en la Sección 4.13.
1 0 103
xt x t 3 u t
0 2 10 (4.122)
yt 10 3
10 xt
3
~ ~
x1 t 103 x1 ; x 2 t 10 3 x2 (4.123)
~ 1 0 ~ 1
xt xt u t
0 2 1 (4.124)
~
yt 1 1 xt
A1 =
-1 0
0 -2
>> B1=[1000;0.001]
B1 =
1.0e+003 *
1.0000
0.0000
M.C. Manuel Amarante Rodríguez 137
3 de Julio del 2009
Capítulo 4 Control Moderno
C1 =
1.0e+003 *
0.0000 1.0000
>> D1=0
D1 =
0
Calculando el Gramiano de Observabilidad y su Número de Condición del sistema sin escalar por la
fórmula tradicional:
I=
1 0
0 1
>> t0=0
t0 =
0
>> FI1=ilaplace(inv(s*I-A1))
FI1 =
[ exp(-t), 0]
[ 0, exp(-2*t)]
>> FI1T=FI1
FI1T =
[ exp(-t), 0]
[ 0, exp(-2*t)]
>> C1T=C1'
C1T =
1.0e+003 *
0.0000
1.0000
FI1t0tau =
[ exp(-tau), 0]
[ 0, exp(-2*tau)]
>> FI1Tt0tau=FI1t0tau
FI1Tt0tau =
[ exp(-tau), 0]
[ 0, exp(-2*tau)]
>> V01=FI1Tt0tau*C1T*C1*FI1t0tau
V01 =
[ 1/1000000*exp(-tau)^2, exp(-tau)*exp(-2*tau)]
[ exp(-tau)*exp(-2*tau), 1000000*exp(-2*tau)^2]
>> V01=int(V01,tau,0,1)
V01 =
[ -1/2000000*exp(-1)^2+1/2000000, -1/3*exp(-3)+1/3]
[ -1/3*exp(-3)+1/3, -250000*exp(-2)^2+250000]
>> -1/2000000*exp(-1)^2+1/2000000,
ans =
4.3233e-007
>> -1/3*exp(-3)+1/3
ans =
0.3167
>> -250000*exp(-2)^2+250000
ans =
2.4542e+005
V01 =
1.0e+005 *
0.0000 0.0000
0.0000 2.4542
>> cond(V01)
ans =
M.C. Manuel Amarante Rodríguez 139
3 de Julio del 2009
Capítulo 4 Control Moderno
1.0378e+013
>> SYS1=ss(A1,B1,C1,D1)
a=
x1 x2
x1 -1 0
x2 0 -2
b=
u1
x1 1000
x2 0.001
c=
x1 x2
y1 0.001 1000
d=
u1
y1 0
Continuous-time model.
>> Wo1=gram(SYS1,'o')
Wo1 =
1.0e+005 *
0.0000 0.0000
0.0000 2.5000
>> cond(Wo1)
ans =
4.5000e+012
A2 =
-1 0
0 -2
M.C. Manuel Amarante Rodríguez 140
3 de Julio del 2009
Capítulo 4 Control Moderno
>> B2=[1;1]
B2 =
1
1
>> C2=[1 1]
C2 =
1 1
>> D2=0
D2 =
0
>> t0=0
t0 =
0
>> FI2=ilaplace(inv(s*I-A2))
FI2 =
[ exp(-t), 0]
[ 0, exp(-2*t)]
>> FI2T=FI2
FI2T =
[ exp(-t), 0]
[ 0, exp(-2*t)]
>> C2T=C2'
C2T =
1
1
M.C. Manuel Amarante Rodríguez 141
3 de Julio del 2009
Capítulo 4 Control Moderno
FI2t0tau =
[ exp(-tau), 0]
[ 0, exp(-2*tau)]
>> FI2Tt0tau=FI2t0tau
FI2Tt0tau =
[ exp(-tau), 0]
[ 0, exp(-2*tau)]
>> V02=FI2Tt0tau*C2T*C2*FI2t0tau
V02 =
[ exp(-tau)^2, exp(-tau)*exp(-2*tau)]
[ exp(-tau)*exp(-2*tau), exp(-2*tau)^2]
>> V02=int(V02,tau,0,1)
V02 =
[ -1/2*exp(-1)^2+1/2, -1/3*exp(-3)+1/3]
[ -1/3*exp(-3)+1/3, -1/4*exp(-2)^2+1/4]
>> -1/2*exp(-1)^2+1/2
ans =
0.4323
>> -1/3*exp(-3)+1/3
ans =
0.3167
>> -1/3*exp(-3)+1/3
ans =
0.3167
>> -1/4*exp(-2)^2+1/4
ans =
0.2454
V02 =
0.4323 0.3167
0.3167 0.2454
>> cond(V02)
ans =
77.3434
>> SYS2=ss(A2,B2,C2,D2)
a=
x1 x2
x1 -1 0
x2 0 -2
b=
u1
x1 1
x2 1
c=
x1 x2
y1 1 1
d=
u1
y1 0
Continuous-time model.
>> Wo2=gram(SYS2,'o')
Wo2 =
0.5000 0.3333
0.3333 0.2500
>> cond(Wo2)
ans =
38.4740
hace que el sistema no sea observable, como se demuestra fácilmente; si se tiene otro estado inicial x1,
tal que:
por lo observado la salida del sistema no se puede determinar si el estado inicial es x1 ó x0 + x1. Se
concluye que desde la salida no se puede distinguir cuándo el sistema evoluciona desde un punto como
x1, o desde la suma de éste con un punto como x0.
Puntos como x0, que, ante entrada nula, generan salida idénticamente nula cuando se toman
como estado inicial, que se denominan no-observable.
Puntos como x1, que, ante entrada nula, no dan salida nula al ser tomados como estado
inicial, peo que no son observables, puesto que la misma salida se puede haber generado
por la superposición con un punto no observable.
Ejemplo 4.11: estudiar la observabilidad del sistema definido por las matrices:
3 0 2
A 0 1 0 C 0 1 2 (4.128)
0 2 3
Como se ha visto en apartados anteriores, para estudiar la observabilidad de este sistema se
recurre al Gramiano de Observabilidad., que en este caso vale:
1 4 2
s 3
s 0 0 3 0 2 1
s 3 s 1
2
s 32
1
t , t0 1 sI A
1
1 0 s 0 0 1 0 0
1
0
0 0 s 0 2 3 s 1
0 1 1
s 1s 3 s 3
e 3t 2t 1e3t et 2t e3t
0 et 0
0 e 3t e t e3t
(4.129)
e 3t 0 0
T t , t 0 2t 1e3t et e t
e e
3t t
(4.130)
2t e3t 0 e3t
0
C 1
T
(4.131)
2
V t , t0 T , t 0 C T C , t0 d
t
t0
t
0
t0
e t0 0 10 1 2
0 2
e 3 t 0
e t 0
e 3 t 0
e3 t0 0 0 (4.132)
t0
2 t0 1e
3 t0 t0 t0 3 t0
e e e e d
2 t0 e 0 3 t
0 3
e 0 t
0 0 0
1 6 t t0
0 1 4e 6e 4t t0 3e 2t t0 1 4e 6 t t0
3e 4 t t0
6
0 1 4e 6t t0 3e 4t t0
4 1 e 6t t0
matriz cuyo rango es dos, inferior al máximo, por lo que no es invertible, se concluye que el sistema no
es observable.
A=
3 0 2
0 1 0
0 2 3
>> C=[0 1 2]
C=
0 1 2
>> I=eye(3)
I=
1 0 0
0 1 0
0 0 1
>> FI=inv(s*I-A)
FI =
[ 1/(s-3), 4/(s-3)^2/(s-1), 2/(s-3)^2]
[ 0, 1/(s-1), 0]
[ 0, 2/(s-1)/(s-3), 1/(s-3)]
>> b=[0 0 2]
b=
0 0 2
>> a=[1 -4 3]
a=
1 -4 3
>> [R,P,K]=residue(b,a)
R=
1
-1
P=
3
1
K=
[]
FI =
[ 1/(s-3), 4/(s-3)^2/(s-1), 2/(s-3)^2]
[ 0, 1/(s-1), 0]
[ 0, 1/(s-3)-1/(s-1), 1/(s-3)]
FI =
[ exp(3*t), (-1+2*t)*exp(3*t)+exp(t), 2*t*exp(3*t)]
[ 0, exp(t), 0]
[ 0, exp(3*t)-exp(t), exp(3*t)]
FIt0tau =
[ exp(3*tau-3*t0), (-1+2*tau-2*t0)*exp(3*tau-3*t0)+exp(tau-t0), (2*tau-2*t0)*exp(3*tau-3*t0)]
[ 0, exp(tau-t0), 0]
[ 0, exp(3*tau-3*t0)-exp(tau-t0), exp(3*tau-3*t0)]
FITt0tau =
[ exp(3*tau-3*t0), 0, 0]
[ (-1+2*tau-2*t0)*exp(3*tau-3*t0)+exp(tau-t0), exp(tau-t0), exp(3*tau-3*t0)-exp(tau-t0)]
[ (2*tau-2*t0)*exp(3*tau-3*t0), 0, exp(3*tau-3*t0)]
>> CT=C'
CT =
0
1
2
>> V=FITt0tau*CT*C*FIt0tau
V=
[ 0,
………………..0, 0]
[ 0, (-exp(tau-t0)+2*exp(3*tau-3*t0))*exp(tau-t0)+(-2*exp(tau-t0)+4*exp(3*tau-3*t0))*(exp(3*tau-
3*t0)-exp(tau-t0)), (-2*exp(tau-t0)+4*exp(3*tau-3*t0))*exp(3*tau-3*t0)]
[ 0, 2*exp(3*tau-3*t0)*exp(tau-t0)+4*exp(3*tau-3*t0)*(exp(3*tau-
3*t0)-exp(tau-t0)), 4*exp(3*tau-3*t0)^2]
>> V=int(V,tau,t0,t)
V=
[ 0, 0,
………………………………………………………...0]
[ 0, 1/6*(3*exp(t)^2*exp(t0)^4-6*exp(t)^4*exp(t0)^2+4*exp(t)^6-exp(t0)^6)/exp(t0)^6, 1/6*(-
3*exp(t)^4*exp(t0)^2+4*exp(t)^6-exp(t0)^6)/exp(t0)^6]
[ 0, 1/6*(-3*exp(t)^4*exp(t0)^2+4*exp(t)^6-exp(t0)^6)/exp(t0)^6,
………………………………..2/3*exp(3*t-3*t0)^2-2/3]
>> DV=det(V)
DV =
0
>> rank(V)
ans =
2
>> rank(A)
ans =
3
x1 0 y t Ct , t0 x1 0 (4.133)
0
0
x2 y t Ct , t0 x2 et 2e3t 2e3t (4.134)
x3 yt Ct , t0 x3 et 2e3t 2e3t (4.135)
Las salidas en los casos 2 y 3 son idénticas, por lo que resulta imposible distinguir cuál es el
estado inicial a partir del cual el sistema evoluciona. Por lo tanto, los estados iniciales de la forma x1
son no-observables, mientras que los puntos con la forma x3 (caso que incluye a x2) no pueden ser
observados.
xt Axt Bu t (4.136)
yt Cxt Du t
C
CA
P CA2 (4.137)
CAn1
Condición necesaria
A partir de de la expresión de la salida del sistema ante una entrada nula evolucionando desde
un estado inicial genérico, x0, y por aplicación del método de Cayley-Hamilton:
A2
y t Ce At t0 x0 C I At t0 t t0 2 x0
2! (4.138)
0 t C 1 t CA n1CA x0
n1
Si en la matriz P no existen n filas que sean linealmente independientes, sino que sólo hay rp
< n, esto significa que dentro del espacio de dimensión n existe algún vector que es ortogonal
a todas las filas de la matriz P. Si este vector se llama x0 se verifica que:
y t 0 t C 1 t CA n1 t CA n1 x0 0 (4.139)
es decir, que el sistema evoluciona con salida nula a partir del estado x0.
Condición suficiente
Se supone que existe un vector x0 que, considerado como estado inicial, es tal que la salida
del sistema ante entrada nula es cero:
yt Ce At t0 x0 0, t (4.140)
Ce At t0 x0 0
CAe At t0 x0 0
At t
CA2 e At t0 x0 0 Pe 0 x0 0 (4.141)
CAn1e At t0 x0 0
Esto significa que e At t0 x0 es ortogonal a todas las filas de la matriz P, lo que significa que
no cubre todo el espacio, por lo que el rango de la matriz P será menor que n.
Ejemplo 4.12: estudiar la observabilidad del sistema cuyas matrices A y C son las siguientes:
3 0 2
A 0 1 0
0 2 3 (4.142)
2 0 0
C
0 1 2
2 0 0
0 1 2
6 0 4
P (4.143)
0 5 6
18 8 24
0 17 18
El rango de P es tres, por lo que el sistema es observable utilizando las dos salidas
disponibles. Podría comprobarse también si lo es utilizando una única salida. Se empieza
probando con la primera:
2 0 0
C1 2 0 0 P1 6 0 4 (4.144)
18 8 24
El rango es tres, por lo que utilizando la primera salida el sistema también es observable. Se
comprueba ahora si también es observable utilizando la segunda salida:
0 1 2
C2 0 1 2 P2 0 5 6 (4.145)
0 17 18
A=
3 0 2
0 1 0
0 2 3
>> C=[2 0 0;0 1 2]
C=
2 0 0
0 1 2
>> C1=[2 0 0]
C1 =
2 0 0
>> C2=[0 1 2]
C2 =
0 1 2
>> P=[C;C*A;C*A^2]
P=
2 0 0
0 1 2
6 0 4
0 5 6
18 8 24
0 17 18
>> Ob=obsv(A,C)
Ob =
2 0 0
0 1 2
6 0 4
0 5 6
18 8 24
0 17 18
>> rank(P)
ans =
3
>> rank(A)
ans =
3
>> P1=[C1;C1*A;C1*A^2]
P1 =
2 0 0
6 0 4
18 8 24
>> Ob1=obsv(A,C1)
Ob1 =
2 0 0
6 0 4
18 8 24
>> rank(P1)
ans =
3
>> P2=[C2;C2*A;C2*A^2]
P2 =
M.C. Manuel Amarante Rodríguez 152
3 de Julio del 2009
Capítulo 4 Control Moderno
0 1 2
0 5 6
0 17 18
>> Ob2=obsv(A,C2)
Ob2 =
0 1 2
0 5 6
0 17 18
>> rank(P2)
ans =
2
xt Axt Bu t
yt Cxt Du t (4.146)
_
x t T xt
_ _
xt T 1 AT xt T 1 Bu t (4.147)
_
yt CT xt Du t
CT
CAT
_
P CA2T PT (4.148)
CAn1T
xt Axt Bu t d t (4.149)
y t Cx t
Este vector d(t) se añade para el estudio de observabilidad y no está relacionado con la posible
realidad física del sistema.
d(t)
u(t)
B x t x(t) C
y(t)
∫
Supuesto el estado inicial nulo, anulando la entrada del sistema, y manteniendo el vector d(t)
como entrada al sistema, se tiene que la salida del sistema es:
Con lo que se puede definir F T t Ct como una aplicación F T : pn . Esta
aplicación representa la aplicación de un conjunto de n variables de estado que influyen en p salidas,
representando cada columna el efecto de una variable de estado sobre el conjunto de salidas.
A partir de esta definición, se sigue una demostración similar a la que aparece en la sección 4.5,
para llegar a la conclusión de que el Gramiano de Observabilidad describe la forma en que se trasmite
energía desde el estado hacia la salida. Dicha transmisión se realiza una vez más según un patrón
elipsoidal, en el que la longitud de cada semieje indica la proporción del acoplamiento estado-salida en
esa dirección. Así, un semieje de longitud cero (valor propio nulo en el Gramiano de Observabilidad)
indicaría la presencia de una dirección dentro del espacio de estado desde la que no se trasmite energía
a la salida.
xt Axt Bu t (4.151)
yt Cxt Du t
el conjunto de puntos del espacio de estado tales que tomados como estado inicial ante
entrada nula, la salida del sistema es permanentemente nula y denominados no-observables,
forman un subespacio vectorial que se denomina subespacio no observable.
Estos puntos forman un espacio vectorial puesto que, ante entrada nula:
Al igual que al abordar el estudio del subespacio controlable, se puede analizar el subespacio
no-observable, X0, mediante el conjunto de señales de prueba representado en la Figura 4.11.
El subespacio no-observable, X0, es el subespacio de mayor dimensión que está contenido dentro del
núcleo de la transformación definida por Yt t , para todo t t 0 ,t1 , siendo
Yt t yt1 t yt2 t ytn t (4.152)
donde y t representa la evolución de la salida ante la entrada de prueba d , definida como:
i
t
i
0
d i t d i t , i 1,, n (4.153)
0
Particularizando esta ecuación para t = t0, que resulta 0 = Px0, ecuación más sencilla.
Esta ecuación establece una aplicación entre el espacio de estado y el espacio de salida, y el
subespacio no-observable constituye el núcleo de dicha aplicación.
Si rango(P) = rp y la dimensión del espacio de estado es n, la dimensión del núcleo de esta
aplicación es n-rp. Para determinar una base de ese subespacio no-observable lo que se debe determinar
son n-rp vectores linealmente independientes que sean ortogonales a las filas de la matriz P. La base se
constituye encontrando n-rp vectores que verifiquen esta ecuación y sean linealmente independientes.
Para obtener estos vectores, se puede utilizar un método semejante al estudiado en
controlabilidad. Basta observar que si en la matriz P la fila cjAi es linealmente dependiente de sus
anteriores filas, entonces cjAi+k, con k > 0, también será linealmente dependiente de sus anteriores filas.
El método consiste entonces en ir seleccionando filas de arriba abajo y, cuando cjAi sea linealmente
dependiente de las anteriores, entonces se descartan ésta y todas las cjAi+k posteriores.
Este proceso termina cuando todas las columnas de un grupo CAi sean linealmente dependientes
ya que a partir de entonces los restantes grupos CAi+k también lo serán. Una vez obtenida esta matriz
Pr, se pueden obtener los n-rp vectores de la base mediante la resolución directa de:
Pr x 0 (4.155)
Ejemplo 4.13: calcular una base del subespacio no-observable para el sistema determinado por
las siguientes matrices:
3 0 2
A 0 1 0
(4.156)
0 2 3
C 0 1 2
0 1 2
P 0 5 6 rangoP 2 3 No es observable (4.157)
0 17 18
Para el cálculo de la base del subespacio no-observable se sabe que su dimensión es 3-2 = 1. Se
necesita un vector que verifique que Prx0 = 0 para conocer la base. En primer lugar se eligen dos filas
linealmente independientes, por ejemplo las dos primeras:
v1
0 0 1 2 v2 v3 0
0 0 5 6 v 2 v1 cualquier valor
(4.158)
v
3
1
x0 0 (4.159)
0
A=
3 0 2
0 1 0
0 2 3
>> C=[0 1 2]
C=
0 1 2
>> Ob=obsv(A,C)
Ob =
0 1 2
0 5 6
0 17 18
>> rank(Ob)
ans =
2
>> syms v1 v2 v3
>> v=[v1;v2;v3]
v=
v1
v2
v3
>> V=Pr*v
V=
v2+2*v3
5*v2+6*v3
M.C. Manuel Amarante Rodríguez 157
3 de Julio del 2009
Capítulo 4 Control Moderno
A=
1 2
5 6
>> B=[0;0]
B=
0
0
>> X=A\B
X=
0
0
A1 =
1 2 0
5 6 0
>> rref(A1)
ans =
1 0 0
0 1 0
xt Axt Bu t (4.160)
yt Cxt Du t
con un subespacio no-observable de dimensión n-rp, siendo rango(P) = rp < n, existe una matriz de
cambio de base T no singular con la que se puede hacer la transformación del vector de estado según la
ecuación:
_
xt T xt (4.161)
_
_ _
xa Aaa
_
0 xa Ba u t
_ _ _ _
_ Aba Abb xb Bb
xb (4.162)
_
_ x
y t C a 0 _a
x
b
Verificándose que:
_
_ _
El subsistema formado por las variables x a , caracterizado por las matrices Aaa , c a , es
observable y de dimensión rp.
_
Adicionalmente el subsistema formado por las variables xb , caracterizado por las matrices
_
Abb ,0 , presenta una evolución del estado desacoplado de la salida del sistema, según se
puede deducir de la Ec. 4.162.
_ _ _ _
x a Aaa x a B a u t (4.163)
_ _
yt C a x a
describe el comportamiento del subsistema observable y genera la misma función de transferencia que
la ecuación de estado en su estado original y la expresada en la Ec. 4.162 representan otra realización
del mismo sistema, es decir, que ante la misma entrada ambos generan la misma salida.
La matriz de cambio de base que consigue esta separación en los subsistemas mencionados se
construye como:
T Ta Tb (4.164)
donde Tb está formada por una base del subespacio no-observable y Ta está formada por rp vectores
cualesquiera que sean linealmente independientes entre sí y con los de la matriz Tb. Igualmente se
puede construir otra matriz T a partir de:
V
T 1 a (4.165)
Vb
estando Va formado por rp filas linealmente independientes de P y Vb por n - rp filas linealmente
independientes entre sí y con las de Vb.
Gráficamente el sistema original se descompone en dos subsistemas, S1 subsistema Observale
(en Rojo) y S2 subsistena No-oservable (en Verde) según la Figura 4.12. Lo que se consigue es
_
desconectar la salida y(t) de las variables de estado contenidas en x b .
D
~ ~
u(t) xa xa y(t)
~ ~
Ba Ca
~
Aaa S1
~
Aba S2
~ ~
~
xb xb
Bb
~
Abb
Se han separado, dentro de la imposibilidad de observar el estado del sistema, las variables de
estado en dos grupos, unas observables y otras que no lo son. La dimensión de S2 es n – rp y la de S1 es
rp .
Con este cambio de base lo que se consigue es cambiar el sistema de referencia con respecto al
cual se definen los vectores, desplazándolo para que tantos de ellos como sea necesario coincidan con
la base del subespacio no-observable.
1 0 0
A 0 1 0 C 4 2 2 (4.166)
3 3 5
4 2 2
P 10 8 10 rango(P) = 2 (4.167)
40 38 50
Dado que el sistema no es observable, como demuestra el hecho de que el rango de la matriz P
sea menor a tres, se puede proceder a la separación del sistema en sus partes observable y no-
observable. Para ello se construye la matriz de cambio de base eligiendo filas linealmente
independientes de la matriz P:
4 2 2 23 16 13
T 1 10 8 10 T 56 13 53 (4.168)
0 0 1 0 0 1
0 1 0
~
1
A T AT 5 6 0
0.5 0.5 1 (4.169)
~
C CT 1 0 0
C=
4 -2 2
>> Ob=obsv(A,C)
Ob =
4 -2 2
10 -8 10
40 -38 50
>> P=[C;C*A;C*A^2]
P=
4 -2 2
10 -8 10
M.C. Manuel Amarante Rodríguez 161
3 de Julio del 2009
Capítulo 4 Control Moderno
40 -38 50
>> rank(Ob)
ans =
2
TI =
4 -2 2
10 -8 10
0 0 1
>> T=inv(TI1)
T=
0.6667 -0.1667 0.3333
0.8333 -0.3333 1.6667
0 0 1.0000
>> Abar=TI*A*T
Abar =
0 1 0
-5.0000 6.0000 0
-0.5000 0.5000 1
>> Cbar=C*T
Cbar =
1 0 0
4.16. SEPARACIÓN DE LOS SUBSITEMAS CONTROLABLE Y OBSERVABLE
xt Axt Bu t (4.170)
yt Cxt Du t
~
Existe una matriz T no singular con la que se puede hacer uncambio de base xt T xt , de modo que
~
el sistema referido a las nuevas variables de estado xt queda definido por las matrices:
~ ~
A aa 0 Aac 0
~ ~ ~ ~
~ Abd
A T 1 AT Aba Abb Abc
~ (4.171)
0 0 Acc 0
0 0
~
Adc Add
~
~
B~ a
~
B T 1 B B b (4.172)
0
0
~
~ ~
C CT C a 0 Cc 0 (4.173)
~
1. El sistema formado por las variables x aa y caracterizado por las matrices:
~ ~ ~
Aaa , B a , C a (4.174)
~ ~
2. El subsistema formado por las variables x a , x b y caracterizado por las matrices:
~ ~
A aa 0 , B a , C~
0 (4.175)
~
Aba
~ ~ a
Abb B b
~ ~
es un sistema controlable, formando el resto de las variables x c , x d un subsistema con
comportamiento desacoplado de las entradas.
~ ~
3. El subsistema formado por las variables x a , x c y caracterizado por las matrices:
~ ~
Aac , B a , C~
~
Aaa
~
~ a C c (4.176)
0 Acc 0
~ ~
es un sistema observable, formando el resto de las variables x b , x d un subsistema con
comportamiento desacoplado de las salidas.
Sb Sc
Controlable Sd Observable
Controlable y ~
Cc
Aaa
Observable
~
Acc
~
Aac
~
Aba
~ ~
Abc Adc
~
Bb
Controlable
~
Abb ~
Add
~
Abd
Con esta transformación se consigue algo parecido a lo que se hacia al realizar las separaciones
entre controlable y no controlable, y entre observable y no-observable, unos cambios de ejes para que
coincidan con la base del subespacio controlable y observable.
Se trata de obtener la matriz de cambio de base que realiza la separación en los subsistemas
descritos en la sección anterior. Dicha matriz de cambio de base está formada por cuatro submatrices:
T Ta Tb Tc Td (4.177)
Ta, Tb separan el subespacio controlable, así que en conjunto los vectores columna de Ta
y de Tb serán una base del subespacio controlable, según la Sección 4.7.
Ta Tb BC (4.178)
Ta, Tc separan el subespacio obsevable, así que, la Scción 4.14, los vectores columna de
Tb, Td deben ser la base del subespacio no-observable.
Ta Tb B Tb Td BÖ (4.179)
ö
Por lo tanto, según las ecuaciones 4.178 y 4.179, Tb es una base de la intersección del
subespacio controlable y del subespacio no-observable.
Tb BC BÖ (4.180)
Desde el punto de vista práctico, las distintas submatrices que componen la matriz T se calculan
en el siguiente orden:
Por lo que resulta evidente que la dimensión del subsistema controlable y observable coincide
con el número de vectores columna de Ta , la dimensión del sistema controlable, rQ, concide con el
numero de vectores columna de Ta junto con Tb, y la dimensión del sub sistema observable , rP,
coincide con el numero de vectores columna de Ta junto con Tc.
Ejemplo 4.15: Separar en sus partes controlable y observable el sistema dado por las matrices:
2 3 4 0 1 0
3 2 4 0 3 3
A 3 0 2 0 3 B 2 C 3 3 2 0 5 (4.181)
3 3 4 1 1 2
3 3 4 0 2 2
0 3 3 9 15
3 4 6 10 18
Q B AB A2 B A3 B
A4 B 2 2 2 2 2 (4.182)
2 5 5 11 17
2 5 5 11 17
El rango de la matriz Q es 3, por lo que ésa es la dimensión del subespacio controlable del
sistema. Para obtener la base, se extraen tres vectores columnas linealmente independientes de dicha
matriz, en este caso los tres primeros:
0 3 3
6
3 4
BC 2 , 2 , 2 (4.183)
2
5 5
2 5 5
C 3 3 2 0 5
CA 6 0 8 0 8
P CA2 12 6 8 0 14 (4.184)
3
CA 24 6 32 0 26
CA4 48 18 32 0 50
Siendo el rango de la matriz P tambien 3, por lo que la dimensión del subespacio no-observable
es 2. Para calcular la base de dicho subespacio se recurre a obtener el núcleo de la transformación lineal
definida por la matriz de observabilidad.
v11 v12
0 3 3 9 15 v21 v22 0 0
3 4 6 10 18 v v32 0 0 (4.185)
31
2 2 2 2 2 v41 v42 0 0
v51 v52
0v11 3v21 3v31 9v41 15v51 0 0v12 3v22 3v32 9v42 15v52 0
3v11 4v21 6v31 10v41 18v51 0 3v12 4v22 6v32 10v42 18v52 0 .
2v11 2v21 2v31 2v41 2v51 0 2v12 2v22 2v32 2v42 2v52 0
0 0
0
1
BÖ 1 , 0 (4.186)
0
1
1 0
0 3 3 0 0
3 4 6 1 0
rango 2 2 2 1 0 4 (4.187)
2 5 5 0 1
2 5 5 1 0
0 3 3 0 0
3 4 6 1 0
2 2 2 1 0 (4.188)
2 5 5 0 1
2 5 5 1 0
Que dcesprjando resulta α = ½, β = -¼, γ = -¼, μ = -1, por lo que la base del espacio
intersección entre la parte controlable y la parte no-observable es:
0
1
BC BÖ 1 (4.189)
1
1
Con toda esta información ya se puede identificar las distintas submatrices que componen la
matriz de transformación que realiza la separación:
0
1
Intersección del subespacio cntrolable y no-observable: Tb 1
1
1
0 3
3 4
Junto a Tb base del subespacio controlable: Ta 2 2
2 5
2 5
0
1
Junto a Tb base del sbespacio no-observable: Td 1
0
1
1
0
Resto de la base del espacio de estado: Tc 0
0
0
0 3 0 1 0 0 1 13 0 23
3 4 1 0 1 0 0 1
0 13
3
T 2 2 1 0 1 T 1 0 2 73 1 13 (4.190)
2 5 1 0 0 1 0 1 0 1
2 5 1 0 1 0 0 0 1 1
0 2 0 0 0
1 1 0 0 0
~
A T 1 AT 0 4 1 3 0 (4.191)
0 0 0 2 0
0 0 0 0 1
1
0
~
B T 1 B 0 (4.192)
0
0
~
C CT 3 0 0 3 0 (4.193)
A la vista de este resultado es posible comprobar tambien cómo la realización mínima del
sistema y la realización original (incluyendo las partes no controlable y no-observable) generan la
misma función de transferencia. Tomando:
3s 1
GCO s Ca sI Aaa Ba
1
(4.194)
s 2s 1
Mientras que si se toma la realización completa original:
A=
2 3 -4 0 -1
-3 -2 4 0 3
-3 0 2 0 3
-3 -3 4 -1 1
3 3 -4 0 -2
>> B=[0;3;2;2;-2]
B=
0
3
2
2
-2
>> C=[-3 3 2 0 5]
C=
-3 3 2 0 5
>> D=[0]
D
0
Q=
0 3 -3 9 -15
3 -4 6 -10 18
2 -2 2 -2 2
2 -5 5 -11 17
-2 5 -5 11 -17
>> Co=ctrb(A,B)
Co =
0 3 -3 9 -15
3 -4 6 -10 18
2 -2 2 -2 2
2 -5 5 -11 17
-2 5 -5 11 -17
>> rank(A)
ans =
5
>> rank(Q)
ans =
3
Se extraen los tres vectores columna de Q que son linealmente independientes para forma
la base del subespacio controlable BC:
Bc =
0 3 -3
3 -4 6
2 -2 2
2 -5 5
-2 5 -5
M.C. Manuel Amarante Rodríguez 171
3 de Julio del 2009
Capítulo 4 Control Moderno
>> rank(Bc)
ans =
3
Estudio de la observabilidad:
>> P=[C;C*A;C*A^2;C*A^3;C*A^4]
P=
-3 3 2 0 5
-6 0 8 0 8
-12 6 8 0 14
-24 -6 32 0 26
-48 18 32 0 50
>> Ob=obsv(A,C)
Ob =
-3 3 2 0 5
-6 0 8 0 8
-12 6 8 0 14
-24 -6 32 0 26
-48 18 32 0 50
>> rank(P)
ans =
3
>> syms v11 v12 v21 v22 v31 v32 v41 v42 v51 v52
>> V=[v11 v12;v21 v22;v31 v32;v41 v42;v51 v52]
V=
[ v11, v12]
[ v21, v22]
[ v31, v32]
[ v41, v42]
[ v51, v52]
Q1 =
0 3 -3 9 -15
3 -4 6 -10 18
2 -2 2 -2 2
>> Q1V=Q1*V
Q1V =
[ 3*v21-3*v31+9*v41-15*v51, 3*v22-3*v32+9*v42-15*v52]
[ 3*v11-4*v21+6*v31-10*v41+18*v51, 3*v12-4*v22+6*v32-10*v42+18*v52]
[ 2*v11-2*v21+2*v31-2*v41+2*v51, 2*v12-2*v22+2*v32-2*v42+2*v52]