Documente Academic
Documente Profesional
Documente Cultură
2
Modele pentru sisteme dinamice
2.1. Introducere
n acest capitol prezentm o scurt descriere a diferitelor modele i
parametrizri ale sistemelor liniare invariante n timp (LTI-Linear Time Invariant).
Accentul se pune pe acele idei care sunt utile n studiul problemelor de identificare
a parametrilor i de control adaptiv ce vor fi prezentate n capitolele viitoare.
Pentru nceput, vom prezenta pe scurt cteva modele canonice de stare pentru
sistemele LTI, precum i caracteristicile lor. n continuare, pentru aceeai clas de
sisteme, vom studia descrierile I/O utiliznd funcia de transfer i operatorii
difereniali. Vom defini funcia de transfer ca raportul a dou polinoame i vom
prezenta cteva proprieti de baz ale polinoamelor folosite n proiectarea
controlului i modelarea sistemelor.
Aceste modele parametrice ce vor fi prezentate, precum proprietile lor sunt
eseniale n problemele de identificare a parametrilor i control adaptiv ce vor fi
prezentate n capitolele viitoare.
Scopul acestui capitol nu este acela de a da o descriere complet a tuturor
aspectelor legate de modelarea i reprezentarea sistemelor LTI, ci mai degrab de a
prezenta un rezumat al acelor idei care vor fi utilizate n capitolele urmtoare.
Pentru detalii privind modelarea i proprietile sistemelor liniare, se recomand
urmtoarele cri standard ncepnd cu cele elementare [44, 57, 121, 180] i
continund cu cele avansate [30, 42, 95, 237, 238].
x& (t ) = f ( x(t ), u (t ), t ),
x(t 0 ) = x 0
y (t ) = g ( x(t ), u (t ), t )
(2.2.1)
unde t este variabila timp, x(t) este un vector n-dimensional cu elemente reale care
reprezint starea sistemului, u(t) este un vector r-dimensional cu elemente reale
care reprezint intrarea sau comanda sistemului, y(t) este un vector l-dimensional
cu elemente reale care reprezint variabilele de ieire i care pot fi msurate, f i g
sunt funcii vectoriale de variabile vectoriale reale, n este dimensiunea strii x
denumit i ordin al sistemului, x(t0) reprezint valoarea lui x(t) la momentul iniial
t = t0 0.
Cnd f i g sunt funcii liniare de x i u, (2.2.1) ia forma:
2-1
x(t 0 ) = x 0
y = C T (t ) x + D (t )u
(2.2.2)
(2.2.4)
y (t ) = C (t ) x(t ) + D(t )u (t )
unde (t ,t0 ) este matricea de tranziie definit ca o matrice care satisface ecuaia
liniar matriceal omogen:
(t , t0 )
= A(t ) (t , t0 ), (t0 , t0 ) = I
t
Pentru sistemul LTI (2.2.3), (t ,t0 ) depinde numai de diferena t-t0, adic,
(t , t0 ) = (t t0 ) = e A(t t 0 )
iar soluia x(t), y(t) a lui (2.2.3) este dat de
t
(2.2.5)
y (t ) = C x(t ) + Du (t )
unde eAt poate fi calculat cu e At = L--1 {( sI A) 1} , unde L-1 reprezint
transformarea Laplace invers, iar s este variabila Laplace.
Uzual, matricea D din (2.2.2), (2.2.3) este zero, deoarece n majoritatea
sistemelor fizice nu exist o conexiune direct ntre intrri i ieiri.
n acest curs, ne vom concentra n principal asupra sistemelor SISO-LTI, cu D
= 0, dar vor exista i cteva paragrafe, n care se vor analiza pe scurt i sisteme de
forma (2.2.2) i (2.2.3).
2.2.2. Forme canonice n spaiul strilor
Considerm sistemul SISO-LTI:
x& = A x + Bu , x(t0 ) = x0
y = CT x
unde x n .
2-2
(2.2.6)
Pc = [ B, AB,K An 1B ]
(2.2.7)
M
0
0 L 0 a0
1
0 L 0 a1
0
1 L 0 a2 xc + 0 u
0
O
M
0
0 M 1 an 1
(2.2.8)
y = CcT x c
unde ai sunt coeficienii ecuaiei caracteristice asociat lui A, adic:
det( sI A) = s n + an 1s n 1 + L + a0 , iar CcT = C T Pc .
Dac n locul lui (2.2.7) utilizm transformarea
xc = M 1Pc1 x ,
(2.2.9)
unde
1 an 1
0 1
M = M M
0 0
0 0
a2 a1
a3 a2
M M ,
1 an 1
0 1
obinem urmtoarea form canonic a controllerului
L
L
O
L
L
an 1 an 2
1
0
x&c = 0
1
M
M
0
0
L
L
L
O
L
a1 a0
1
0
0
0
0
0 xc + 0 u
M
M
1
0
0
(2.2.10)
y = C0T xc
unde C0T = C T Pc M . Prin rearanjarea elementelor vectorului de stare xc, (2.2.10)
poate fi rescris n urmtoarea form care apare deseori n crile de teoria
sistemelor liniare
2-3
1
0
0
0
x&c = M
M
0
0
a0 a1
0
L
0
0
0
L
0 xc + 0 u
O
M
0 L
1
L an 2 an 1
1
0
1
(2.2.11)
y = C1T xc
unde C1 este definit corespunztor.
Matricea de observabilitate Po asociat sistemului (2.2.6) se definete prin:
CT
T
Po = C A
M
C T An 1
(2.2.12)
&xo = M
M
0
0
a0 a1
L
0
L
0
O
0 xo + Bo u
0 L
1
L an 2 an 1
0
1
(2.2.13)
y = [1, 0,K, 0] xo
iar forma canonic a observerului este
an1
a
n2
x&o = M
a
1
a0
1
0
M
0
0
0 L 0
1 L 0
O 0 xo + B1 u
,
0 L 1
L 0 0
(2.2.14)
y = [1, 0, K , 0] xo
unde Bo, B1 pot fi diferite.
Dac pentru sistemul (2.2.6) de ordin n, rangul matricei de controlabilitate
asociate Pc este mai mic dect n, atunci se spune c (2.2.6) este necontrolabil.
Similar, dac rangul matricei de observabilitate Po este mai mic dect n, atunci
(2.2.6) este neobservabil.
2-4
Sistemul reprezentat prin (2.2.8), (2.2.10) sau (2.2.11) este complet controlabil
dar nu necesar i observabil. Similar, sistemul reprezentat prin (2.2.13) sau (2.2.14)
este complet observabil, dar nu necesar i controlabil. Dac sistemul (2.2.6) de
ordin n este fie neobservabil, fie necontrolabil atunci proprietile sale I/O din
condiii iniiale nule, adic x0 = 0, sunt caracterizate complet printr-un sistem
complet controlabil i observabil de ordin mai mic dect n, descris prin:
x&co = Aco xco + Bco u , xco (t0 ) = 0
(2.2.15)
T
y = Cco
xco
1 1
m2 (v& + l2&&2 ) = m2 g 2
m1
m2
2
l1
u
l2
unde v este viteza cruciorului, u este o for extern, iar g este acceleraia
gravitaional. Pentru a simplifica calculele, presupunem c m1 = m2 = 1 kg, iar M =
10 m1. Dac notm x1 = 1, x2 = & 1 , x3 = 1 2 , x4 = & 1 & 2 variabilele de stare,
obinem urmtoarea reprezentare de stare a sistemului:
x& = Ax + Bu
unde
x1
0
x
1
1
.
2
x = 2 , A =
0
x3
1.2( )
x
1
2
1
0
0.11
0
0
0
0 2 0.1(1 2 )
0
0
0
, B= 1
0
1
0
1 2
CT
T
Po = CT A2
C A
T 3
C A
Efectund calculele, vom obine, det Po = 0.01 g 2 / l12 , evident nenul, ceea ce
nseamn c sistemul este observabil pentru y = 1.
Cnd l1 = l2, sistemul este necontrolabil. n acest caz, 1 = 2, 1 = 2, iar
matricea A i vectorul B devin:
0
1.21
A=
0
0
1
0
0 0.11
0
0
0 1
0
0
0
, B = 1
1
0
0
0
2-6
unde y (i ) (t ) =
(s
+ an1s n1 + L + a0 Y ( s ) = bm s m + bm1s m1 + L + b0 U ( s )
unde s este variabila Laplace. Funcia de transfer G(s) a lui (2.3.1) este definit
prin:
Y ( s)
b s m + bm 1s m 1 + L + b0
G(s) =
= mn
.
(2.3.2)
U ( s)
s + an 1s n 1 + L + a0
Funcia obinut prin aplicarea transformatei Laplace inverse lui G(s), adic
g(t) = L -1[G(s)], este cunoscut sub denumirea de rspuns la impuls al sistemului
(2.3.1). Atunci, y(t) = g(t) u(t), unde reprezint produsul de convoluie. Cnd
u(t) = (t ) , unde (t ) este funcia delta definit prin:
I(t ) I(t )
,
0
unde I (t) este funcia treapt unitate, atunci y(t) = g (t ) (t ) = g(t). De aceea,
cnd intrarea ntr-un sistem LTI este o funcie delta (denumit adesea impuls
unitate) la t = 0, ieirea sistemului este egal cu g(t), rspunsul la impuls.
Spunem c G(s) este proprie dac G( ) este finit, adic n m, este strict
proprie dac G( ) = 0 , adic n > m i improprie, dac n = m.
Gradul relativ n* a lui G(s) se definete ca n* = n - m, adic, n* = gradul
numitorului gradul numrtorului lui G(s).
Ecuaia caracteristic a sistemului (2.3.1) este definit prin ecuaia:
s n + an1s n1 + L + a0 = 0 .
(t ) = lim
ntr-o manier similar, funcia de transfer a unui sistem LTI poate fi definit
pornind i de la descrierea sistemului prin ecuaiile de stare (2.2.3). Aplicarea
transformatei Laplace fiecrui membru din (2.2.3) conduce la:
2-7
sX ( s ) x(0) = A X ( s ) + BU ( s )
Y ( s ) = C T X ( s ) + DU ( s )
sau
(2.3.3)
Y ( s ) = C T ( s I A) 1 B + D U ( s ) + C T ( s I A) 1 x(0)
Considernd condiiile iniiale nule, adic, x(0) = 0, se obine:
Y (s) = G(s)U(s)
(2.3.4)
C T {adj ( s I A)}B
+D
det( s I A)
(2.3.5)
coloanei i a matricei Q.
Din (2.3.5) este clar c polii lui G(s) sunt inclui n valorile proprii ale lui A.
Spunem c A este stabil dac toate valorile sale proprii sunt situate n Re[s] < 0,
caz n care G(s) este o funcie de transfer stabil. Rezult c det( sI A) = 0 este
ecuaia caracteristic a sistemului cu funcia de transfer dat de (2.3.5).
Dac n (2.3.3) i (2.3.4) trecerea de la reprezentarea de stare la o descriere
printr-o funcie de transfer s-a fcut ntr-o manier foarte simpl, calea invers,
adic trecerea de la o descriere printr-o funcie de transfer proprie, la o reprezentare
de stare, nu este aa de simpl. Este totui adevrat afirmaia c, pentru fiecare
funcie de transfer proprie G(s) exist matricele A, B, C i D astfel nct
G ( s ) = C T ( s I A) 1 B + D . Ca exemplu, considerm un sistem cu funcia de
transfer
b s m + bm1s m1 + L + b0 Y ( s )
=
G(s) = m n
U ( s)
s + an1s n1 + L + a0
unde n > m. Atunci, sistemul poate fi reprezentat n forma controlabil
an 1 an 2
1
0
&x = 0
1
M
M
0
0
L
L
L
O
L
a1 a0
1
0
0
0
0
0 x + 0 u
M
M
0
1
0
y = [0, 0, K, bm , bm 1 ,K, b0 ] x
sau n forma observabil
2-8
(2.3.6)
an 1
an 2
x& = M
a1
a0
1
0
M
0
0
0 L 0
0
1 L 0
M
O 0 x + bm u
M
0 L 1
0
L 0 0
(2.3.7)
y = [1, 0,K, 0] x
Dar, pentru acelai sistem se pot genera nc multe alte reprezentri de stare
care s-i descrie proprietile I/O.
Formele canonice (2.3.6) i (2.3.7), au cteva proprieti importante care vor fi
utilizate n capitolele urmtoare. De exemplu, dac notm cu (Ac, Bc, Cc) i (Ao, Bo,
Co) matricele corespunztoare din forma controlabil (2.3.6) i respectiv din forma
observabil (2.3.7), se pot stabili relaiile:
(2.3.8)
(2.3.9)
unde L este transformata Laplace i x(t) este orice funcie derivabil n raport cu
timpul. Utiliznd definiia operatorului diferenial, relaia (2.3.1) poate fi scris n
forma compact:
R(p)(y) = Z(p)(u)
n
(2.3.10)
n 1
m 1
+ L + b0 se numesc
(2.3.11)
Z (s)
u
R( s)
(2.3.12)
y ( 4 ) 1.1(1 + 2 ) y ( 2) + 1.21 2 y =1 u ( 2) 1 2 u
unde i, i, i = 1, 2, sunt cele definite n Exemplul 2.2.1, care leag intrarea u cu
ieirea msurat y. Aplicnd transformata Laplace ambilor membri ai acestei
ecuaii, n condiii iniiale nule, se obine:
2 - 10
[ s 4 1.1(1 + 2 ) s 2 + 1.21 2 ]Y ( s ) = (1 s 2 1 2 )U ( s )
De aici, se deduce c funcia de transfer a sistemului de la u la y va fi:
Y ( s)
1 s 2 1 2
= G(s)
= 4
U ( s ) s 1.1(1 + 2 ) s 2 + 1.21 2
Pentru l1 = l2, avem 1 = 2, 1 = 2, i
G(s) =
1 ( s 2 1 )
1 ( s 2 1 )
=
s 4 2.21 s 2 + 1.212 ( s 2 1 )( s 2 1.21 )
are dou simplificri poli-zerouri. Deoarece 1 > 0, una dintre cele dou
simplificri pol-zerou se face n Re[s] > 0 ceea ce arat c orice reprezentare de
stare a sistemului cu o funcie de transfer de ordinul patru nu este stabilizabil.
2.3.2. Polinoame coprime
c(s)a(s) + d(s)b(s) = 1
Pentru demonstraia Lemei 2.3.1, vezi [73, 237].
Pentru o pereche de polinoame coprime a(s) i b(s), identitatea Bezout poate
avea un numr infinit de soluii c(s) i d(s) aa cum reiese din exemplul urmtor.
Exemplul 2.3.2. Considerm polinoamele coprime a( s ) = s + 1 , b( s ) = s + 2 .
Atunci, identitatea Bezout este satisfcut pentru
c( s ) = s n + 2s n 1 1 , d ( s ) = s n s n1 + 1
i orice n 1 .
Coprimaritatea este o proprietate important i intens exploatat n teoria
controlului pentru proiectarea schemelor de conducere corespunztoare sistemelor
LTI. O teorem important, foarte utilizat n proiectarea i analiza controlului,
este urmtoarea.
Teorema 2.3.1. Dac a(s) i b(s) sunt polinoame coprime cu gradele na i
respectiv nb, cu na > nb, atunci, pentru orice polinom arbitrar a*(s) cu gradul
na* na, ecuaia polinomial
a(s)l(s) + b(s)p(s) = a*(s)
(2.3.14)
are o soluie unic polinoamele l(s) i p(s) ale cror grade nl i respectiv np,
satisfac condiiile np < na, nl max(na* - na, nb - 1).
Demonstraie. Din Lema 2.3.1, rezult c exist polinoamele c(s) i d(s) astfel
nct
a(s)c(s) + b(s)d(s) = 1.
(2.3.15)
nmulind ambii membri ai ecuaiei (2.3.15) cu polinomul a*(s), obinem:
a*(s)a(s)c(s) + a*(s)b(s)d(s) = a*(s).
(2.3.16)
(2.3.17)
unde l(s) = a (s)c(s) + r(s)b(s). Din ecuaia anterioar se deduce c gradul lui
l(s)a(s) = gradul lui (a*(s) - p(s)b(s)) max{na*, np + nb}. Deci, gradul lui l(s),
notat cu nl, satisface nl max{ na* - na, np + nb na}. Mai mult, putem stabili c
polinoamele l(s) i p(s) din (2.3.17) cu gradele nl i np satisfac urmtoarele
inegaliti: nl max{ na* - na, np + nb na} i respectiv np < na. Cum din np < na se
deduce c np na - 1, gradul nl satisface de asemenea nl max{ na* - na, nb 1}.
2 - 12
Vom demonstra unicitatea lui l(s) i p(s) procednd astfel: Presupunem c (l1(s),
p1(s)), (l2(s), p2(s)) sunt dou soluii ale lui (2.3.17) adic,
a(s)l1(s) + b(s)p1(s) = a*(s), respectiv a(s)l2(s) + b(s)p2(s) = a*(s),
care satisfac urmtoarele condiii de grad: np < na, nl max{ na* - na, nb 1}.
Scznd a doua ecuaie din prima, se obine
a(s)(l1(s) - l2(s)) + b(s)(p1(s) - p2(s)) = 0
(2.3.18)
care va determina
b( s )
l ( s ) l1 ( s )
= 2
a ( s ) p1 ( s) p2 ( s )
(2.3.19)
Deoarece np < na, rezult c n (2.3.19) polinoamele b(s), a(s) au factori comuni,
ceea ce contrazice ipoteza c a(s) sunt b(s) coprime. Astfel, l1(s) = l2(s) i p1(s) =
p2(s), ceea ce conduce la faptul c soluia l(s) i p(s) a lui (2.3.17) este unic, i
demonstraia este complet.
Dac nu se impun constrngeri asupra gradelor lui l(s) i p(s), ecuaia (2.3.14)
are o infinitate de soluii. Ecuaiile de forma (2.3.14) se numesc ecuaii Diofantice
i sunt utilizate n proiectarea algebric a regulatoarelor pentru procese LTI.
Exemplul urmtor ilustreaz modul de utilizare a Teoremei 2.3.1 pentru proiectarea
unui sistem de conducere stabil.
Exemplul 2.3.3. Considerm procesul descris prin:
s 1
y= 3 u
(2.3.20)
s
Se dorete o alegere a intrrii u(t) astfel nct ecuaia caracteristic a sistemului n
circuit nchis s fie descris prin a*(s) = (s + 1)5, adic, u trebuie aleas astfel nct
sistemul n circuit nchis s fie descris prin:
(s + 1)5 y = 0.
(2.3.21)
(2.3.22)
unde l(s) i p(s) sunt polinoame cu coeficieni reali ale cror grade i coeficieni
trebuie s fie determinate. nlocuind (2.3.22) n (2.3.20), se obine urmtorul sistem
n circuit nchis, s 3l ( s ) y = ( s 1) p( s ) y , sau, [ s 3l ( s) + ( s 1) p ( s)] y = 0 .
Dac l(s) i p(s) se aleg astfel nct s satisfac ecuaia Diofantic:
l(s)s3 + p(s)(s - 1) = (s + 1)5,
(2.3.23)
atunci sistemul n circuit nchis devine identic cu cel dorit, dat de (2.3.21).
ntruct (2.3.23) poate avea un numr infinit de soluii pentru l(s) i p(s),
pentru a alege l(s) i p(s) cu gradul cel mai mic folosim Teorema 2.3.1. Conform
Teoremei 2.3.1, ecuaia (2.3.23) are o soluie unic l(s), p(s) cu gradul cel mult 2.
Ca urmare, presupunem c l(s), p(s) au forma: l(s) = l2s2 + l1s + l0 , respectiv p(s) =
2 - 13
a( s ) = an s n + an1s n1 + L + a0 , b( s) = bn s n + bn1s n1 + L + b0
sunt coprime dac i numai dac matricea Sylvester Se asociat lor este
nesingular, unde Se este o 2n 2n matrice definit prin:
an
an 1
.
.
.
a
Se = 1
a0
0
0
M
M
0
0
an
an 1
.
.
.
a1
a0
0
M
M
0
0
0
an
an 1
.
.
.
.
L
L
O
.
.
.
.
.
.
O .
O
L 0
0
0
O
.
.
.
.
.
.
a0
0
0
0
M
M
0
an
an 1
.
.
.
a1
a0
bn
bn 1
.
.
.
b1
b0
0
0
M
M
0
0
bn
bn 1
.
.
.
b1
b0
0
0
M
0
0
0
bn
bn 1
.
.
.
.
.
O
L
L
O
.
.
.
.
.
.
.
O
L 0
0
0
O
.
.
.
.
.
.
b0
0
0
0
M
M
0
bn
bn 1
.
.
.
b1
b0
(2.3.24)
(2.3.25)
n-2
n-1
n-2
unde c(s) = cn-1s +cn-2s + L + c0, d(s) = dn-1s +dn-2s + L + d0, sunt polinoame
arbitrare cu gradul n-1. Egalnd coeficienii puterilor egale ale lui s din cei doi
membri ai lui (2.3.25), se obine ecuaia algebric
S e p = e2 n ,
(2.3.26)
unde e2n = [0, 0, ... , 0, 1]T 2 n i p = [cn-1, cn-2, ... , c0, dn-1, dn-2, ... , d0]T 2 n .
Ecuaiile (2.3.25) i (2.3.26) sunt echivalente n sensul c orice soluie a lui
(2.3.26) satisface (2.3.25) i vice versa. ntruct Se este nesingular, ecuaia
2 - 14
(2.3.26) are soluie unic pentru p. Rezult c (2.3.25) are de asemenea soluie
unic pentru c(s) i d(s) care, conform Lemei 2.3.1, conduce la concluzia c a(s),
b(s) sunt coprime.
Suficiena. Vom arta c dac a(s) i b(s) sunt coprime, atunci pentru toate
polinoamele nenule p(s) i q(s) cu gradele np < n i respectiv nq < n, avem
a(s)p(s) + b(s)q(s) 0
(2.3.27)
Dac (2.3.27) nu este adevrat, exist polinoamele nenule p1(s) i q1(s) cu gradele
n p1 < n i respectiv nq1 < n , astfel nct
a(s)p1(s) + b(s)q1(s) 0
(2.3.28)
Se x 0
(2.3.29)
unde x 2 n conine coeficienii lui p(s) i q(s). Deoarece (2.3.27) este adevrat
pentru toate polinoamele nenule p(s) i q(s) cu gradele np < n i respectiv nq < n,
atunci (2.3.29) rmne adevrat pentru toi vectorii x 2 n cu x 0 , care face ca
Se s fie nesingular.
Determinantul lui Se este cunoscut sub denumirea de rezultant Sylvester i
poate fi folosit la examinarea coprimaritii unei perechi de polinoame. Dac
polinoamele a(s) i b(s) din Teorema 2.3.2 au grade diferite s presupunem nb <
na - atunci b(s) se poate exprima ca un polinom cu gradul na prin augmentarea lui
cu puteri adiionale n s ai cror coeficieni sunt considerai nuli.
Exemplul 2.3.4. Considerm polinoamele:
a(s) = s2 + 2s + 1, b(s) = s - 1 = 0s2 + s 1.
Matricea Sylvester asociat este:
1
2
Se =
1
0
0
0
1
1
Cum det Se = 4 0, rezult c a(s) i b(s) sunt polinoame coprime.
0
1
2
1
0
1
1
0
(2.3.31)
unde a(s) = s iar b(s) = s - 1. Matricea Sylvester Se corespunztoare lui a(s) i b(s)
este
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 1 0 0
Se =
0 0 0 1 1 0
0 0 0 0 1 1
0 0 0 0 0 1
(2.3.32)
unde f = [1, 5, 10, 10, 5, 1]T i x = [l2, l1, l0, p2, p1, p0]T. Deoarece Se este
nesingular, soluia lui (2.3.32) este dat de x = Se1 f = [1, 5, 26, 16, 6, 1]T ,
care este identic cu soluia obinut n Exemplul 2.3.3.
2 - 16
(2.4.1)
y = CT x
Z (s)
u,
R( s)
(2.4.3)
Z ( s ) = bn 1s n 1 + bn 2 s n 2 + L + b1s + b0
R ( s ) = s n + an 1s n 1 + an 2 s n 2 + L + a1s + a0
(2.4.4)
Dac Z(s) are gradul m < n 1 , atunci coeficienii bi, i = n 1, n 2,K, m + 1 sunt
egali cu zero. Ecuaiile (2.4.3) i (2.4.4) arat c pentru a preciza univoc
proprietile I/O ale procesului (2.4.1) sunt necesari cel mult 2n parametri. Dac n
(2.4.3), pentru a specifica aceleai proprieti I/O, sunt utilizai mai mult dect 2n
parametri, se spune c modelul este supraparametrizat. De exemplu, modelul
y=
Z ( s) ( s)
u,
R( s) ( s)
(2.4.5)
unde (s) este Hurwitz i are gradul r > 0 , are aceleai proprieti I/O ca i
procesul descris prin (2.4.3), i, din aceast cauz, se spune c (2.4.5) este
supraparametrizat. n plus, orice reprezentare de stare a lui (2.4.5) de ordin
n + r > n este neminimal.
Pentru anumite probleme de estimare i control, parametrizrile sigure ale
procesului sunt mult mai convenabile dect alte tipuri de parametrizri. O
parametrizare a procesului util n problemele de estimare i control este cea n
care parametrii sunt considerai mpreun (reunii ntr-un vector), dar separai de
2 - 17
Parametrizarea 1
Ecuaia (2.4.3) poate fi exprimat ca o ecuaie diferenial de ordinul n
descris prin:
y ( n ) + an 1 y ( n 1) + an 2 y ( n 2 ) + L + a1 y& + a0 y = bn 1u ( n 1) + bn 2u ( n 2 ) + L + b1u& + b0u
(2.4.6)
Dac vom introduce toi parametrii din (2.4.6) n vectorul parametrilor
* = [bn 1 , bn 2 ,K, b1 , b0 , an 1 , an 2 ,K, a1 , a0 ]T ,
iar semnalele de I/O precum i derivatele lor, n vectorul semnalelor
Y = [u ( n 1) , u ( n 2 ) ,K, u& , u , y ( n 1) , y ( n 2 ) ,K, y& , y ]T = [Tn 1 ( s )u , Tn 1 ( s ) y ]T
y ( n ) = * Y
(2.4.7)
z = * ,
(2.4.8)
unde
T ( s )
1 ( n)
sn
T ( s )
z=
y =
y , = n 1 u , n 1
( s)
(s)
( s)
( s)
iar
( s ) = s n + n 1s n 1 + n 2 s n 2 + L + 1s + 0
este un polinom Hurwitz arbitrar n s.
2 - 18
y ,
rescriem
pe
(s)
sub
forma
( s ) = s n + T n 1 ( s ) ,
unde
( s)
( s ) T n 1 ( s )
sn
y = y T n 1 y ,
y=
( s)
( s)
( s)
de unde
y = z + T
T
n 1 ( s )
y.
(s)
T
Deoarece z = * = 1* 1 + *2 2 , unde
1 =
Tn 1 ( s )
T ( s )
u , 2 = n 1 y
(s)
( s)
T
y = * ,
T
(2.4.9)
n 1 ( s )
(s)
1*
y
+
*2
n 1 ( s)
( s)
2 - 19
n1 n2
1
0
c = 0
1
M
M
0
0
L 1 0
1
0
L 0
0
L 0
0 , l = 0
M
O
M
0
L 1
0
care implic
det( sI c ) = ( s ) , ( sI c ) 1 l =
n 1 ( s )
.
( s)
c 1
& 2 = c 2 ly , 2 n
(2.4.10)
y = *
T
z = y + T 2 = *
Deoarece ( s ) = det(sI c ) i (s ) este Hurwitz, rezult c c este o
matrice stabil.
Modelul parametric (2.4.10) este o reprezentare de stare neminimal a
procesului (2.4.3). Este neminimal deoarece pentru a reprezenta un sistem de
ordinul n sunt folosite 2n integratoare. ntr-adevr, funcia de transfer Y(s)/U(s)
calculat folosind (2.4.10) sau Fig. 2.2,
Y (s) Z (s) (s) Z (s)
=
=
U ( s ) R( s) ( s ) R( s)
implic n simplificri poli-zerouri stabile.
Sistemul (2.4.10) are acelai rspuns I/O ca i (2.4.3) i (2.4.1) cu condiia ca
toate condiiile iniiale s fie nule, adic, x0 = 0, 1 (0) = 2 (0) = 0 .
ntr-un proces real, starea x din (2.4.1) poate reprezenta variabile fizice, iar
starea iniial x0 poate fi nenul. Efectul strii iniiale x0 poate fi inserat n modelul
(2.4.10) utiliznd aceeai procedur prezentat aplicat ecuaiei (2.4.2) i nu
ecuaiei (2.4.3). Se poate arta c dac se consider efectul condiiei iniiale x0, se
va obine urmtoarea reprezentare de stare:
& 1 = c 1 + lu , 1 (0) = 0
& 2 = c 2 ly , 2 (0) = 0
(2.4.11)
T
y = * + 0
T
z = y + T 2 = * + 0
unde 0 este ieirea urmtorului sistem:
& = c , (0) = 0
0 = C0T
2 - 20
(2.4.12)
modelul
parametric
y = * ,
(2.4.9),
identitatea
y = Wm ( s )* Wm1 ( s ) .
Dac n aceast relaie notm
T ( s )
Tn 1 ( s )
1
= n 1
u,
Wm ( s )
Wm ( s ) ( s )
Wm ( s ) ( s )
y ,
y = Wm ( s )* .
(2.4.13)
n 1 ( s )
sunt funcii de transfer cel mult
Wm ( s ) ( s )
1
n 1 ( s )
Wm ( s ) ( s )
1*
Wm(s)
+
*2
n1 ( s )
Wm ( s ) ( s )
1*
1
s + 0
+
*2
n 1 ( s )
q (s)
(2.4.14)
(2.4.15)
1*
T
(s)
n 1 ( s )
u = bn 1u + 1* n 2 u ,
q ( s)
q ( s)
T
T
(s)
(s)
*2 T n 1
y = ( n 1 an 1 ) y 2* n 2
y
q ( s)
q ( s)
2 - 22
(2.4.16)
unde
1* = b bn 1 q ,
2* = a (an 1 n 1 ) q
a = [an 2 ,K, a1 , a0 ]T ,
n 2 (s)
q (s)
1*
+ +
1
s + 0
+
T
bn-1
2*
n 2 (s)
q (s)
n 1 an 1
* = [bn 1 , 1* , n 1 an 1 , 2* ]T , = [u, 1T , y , 2T ]T i
qn 2 qn 3 L q0
1
1
L
0
0
c =
, l = 0
M
M
O
M
0
0
L
1
0
y = x1 + 0
unde 0 este ieirea sistemului:
& = c , (0) = 0 , n
0 = C0T
2 - 23
(2.4.18)
(2.4.19)
y ( 4 ) = *0 Y0
(2.4.20)
z = *0 0
(2.4.21)
T
s2
s4
s2
1
1
y i 0 =
u,
u,
y,
y sunt
4
4
4
4
4
( s + 2)
( s + 2)
( s + 2)
( s + 2)
( s + 2)
acum semnalele care pot fi generate prin filtrarea msurtorilor lui y i u. Deoarece
n (2.4.19) elementele a3 = a1 = b3 = b1 = 0, dimensiunea lui *0 , respectiv 0 este 4
n loc de 8, aa cum ar fi rezultat din (2.4.8).
Similar, conform (2.4.9) se obine:
unde z =
y = * ,
(2.4.22)
unde
* = [0, b2 , 0, b0 ,8, a2 24, 32, a0 16]T ,
T
T (s)
T ( s)
= 3 4 u , 3 4 y , 3 ( s ) = [ s 3 , s 2 , s, 1]T .
( s + 2)
( s + 2)
n (2.4.22) se pot separa elementele lui * , care nu depind de parametrii lui
(2.4.19) i se obine:
T
y = *0 0 + h0T
unde *0 = [b2 , b0 , a2 24, a0 16]T , h0 = [0, 0, 0, 0,8, 0, 32,0]T . Folosind
(2.4.10), se obine o reprezentare de stare a lui (2.4.21) i (2.4.22), dat de:
2 - 24
& 1 = c 1 + l u , 1 4
& 2 = c 2 l y , 2 4
T
y = * = *0 0 + h0T
T
z = *0 0
unde
1
0
8 24 32 16
0
1
0
0
0
, l = , 0 = 0
c =
0
0
0 1
0
0
0
0
0 0
1
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
T
y .
T ( s )
1 *T
T ( s )
y=
, unde = 3 3 u , 3 3 y .
s+2
( s + 2)
( s + 2)
Prin cteva calcule simple, se obine:
1
3 ( s)
=
3
( s + 2)
( s + 2)3
s 3 1
1
s 2 0
s = 0 + ( s + 2) 3
1 0
6 12
1 0
0 1
0 0
8
0 ( s) ,
0 2
1
(s)
T ( s )
(s)
T ( s )
= u T 2 3 u , 2 3 u , y + T 2 3 y, 2 3
( s + 2)
( s + 2)
( s + 2)
( s + 2)
y ,
* = *
(2.4.23)
unde
T
T ( s)
T ( s )
= [b2 , 0, b0 , 8, a2 + 24, 64, a0 + 48] , = 2 3 u , y, 2 3 y .
( s + 2)
( s + 2)
Atunci,
*
2 - 25
1 *T
s+2
O realizare de stare a lui (2.4.24) este
T
x&1 = 2 x1 + * , x1 1
y=
(2.4.24)
& 1 = c 1 + l u , 1 3
& 2 = c 2 l y , 2 3
y = x1
unde
6 12 8
1
= [ 1T , y , 2T ]T , c = 1 0 0 , l = 0 .
0 1 0
0
Z 0 (s)
u,
R0 ( s )
(2.4.25)
unde k0 este un scalar, R0(s) este monic de grad n, iar Z0(s) este monic i Hurwitz
de grad m < n. n plus, Z0(s) i R0(s) satisfac ecuaia Diofantic
unde
(2.4.26)
Q( s ) = s n 1 + qT n 2 ( s ) , P( s ) = pT n 1 ( s ) , i ( s ) = [ s i , s i 1 ,K, s,1]T ,
q n 1 , p n sunt vectorii coeficienilor lui Q( s ) s n 1 , respectiv ai lui P(s),
iar A(s) este un polinom Hurwitz monic de grad 2n m 1 . Ecuaia Diofantic
(2.4.26) care pune n relaie pe Z0(s), R0(s), k0 cu P(s), Q(s) i A(s) apare n
proiectarea comenzilor, cum ar fi controlul cu model de referin, care va fi
discutat n capitolele ulterioare. Polinoamele P(s) i Q(s) sunt de regul
polinoamele asociate controllerului care, pentru un A(s) dat, trebuie calculate prin
rezolvarea ecuaiei (2.4.26). Pentru aceasta, obiectivul nostru const n a obine o
parametrizare a lui (2.4.25), n funcie de coeficienii lui P(s) i Q(s), care s fie
independent de coeficienii lui Z0(s) i R0(s). Acest obiectiv se atinge folosind
(2.4.26) pentru a elimina dependena lui (2.4.25) de Z0(s) i R0(s) dup cum
urmeaz:
Prin rescrierea lui (2.4.25) sub forma R0(s)y = k0Z0(s)u i nmulind fiecare
membru cu Q(s), se obine:
Q(s)R0(s)y = k0Z0(s)Q(s)u
(2.4.27)
(2.4.28)
Cum Z0(s) este Hurwitz, vom filtra fiecare membru din (2.4.28) prin 1/Z0(s)
obinnd
A(s)y = k0P(s)y + k0Q(s)u
(2.4.29)
(2.4.30)
y = k0 (* + z0 )
(2.4.31)
unde
T ( s ) T ( s )
= [q , p ] , = n 2 u , n 1
A( s )
A( s )
*
T T
s n 1
y i z0 =
u.
A( s )
y = W ( s )k 0 (* + z0 )
(2.4.32)
unde acum
T
T ( s ) T ( s )
( s)
s n 1
= n 2 u , n 1
este o funcie de transfer
y , z0 =
u i W ( s ) =
( s)
( s)
A( s )
( s)
proprie.
n (2.4.31) i (2.4.32), i z0 pot fi generate prin filtrarea intrrii u i a ieirii
y a procesului. De aceea, dac u i y sunt msurabile, atunci toate semnalele din
(2.4.31) i (2.4.32) pot fi generate, singurele necunoscute posibile fiind k0 i * .
Dac k0 este cunoscut, el poate fi absorbit n semnalele i z0, conducnd la
modele care sunt afine n * , de forma:
T
y = W ( s )*
(2.4.33)
x& = a0 f ( x, t ) + b0 g ( x, t ) + c0u
(2.4.34)
z = W f ( s )*
(2.4.35)
x& = am x + am x + *
cu am > 0, sau
T
1
x=
am x + *
s + am
Atunci,
z=x
T
1
am
*
x=
s + am
s + am
(2.4.36)
care are aceeai form cu (2.4.35) cu Wf(s) = 1/(s+am). Se poate continua i rescrie
(2.4.35) (respectiv (2.4.36)) sub forma
T
z = * f , f = W f (s )
(2.4.37)
(2.5.1)
Artai c (p1(s), l1(s)) este o soluie a lui (2.5.1) dac i numai dac p1(s), l1(s) pot
fi exprimate sub forma p1(s) = p0(s) + r(s)a(s), l1(s) = l0(s) - r(s)b(s) pentru orice
polinom r(s).
2 - 28
(c) Gsii soluia lui (2.5.1) pentru care p(s) are cel mai mic grad i p(s)/l(s) este o
funcie raional proprie.
2.2. Se consider procesul de ordinul trei y = G(s)u, unde
G(s) =
b2 s 2 + b1s + b0
s 3 + a2 s 2 + a1s + a0
(a) Scriei modelul parametric al procesului n forma (2.4.8) sau (2.4.13) cnd
(c) Obinei un model parametric liniar de forma z = * , unde * = [M, k, f]T, iar
z, sunt semnale care pot fi generate din msurtorile lui u i x, fr a utiliza
elemente derivative.
2.4. Verificai dac (2.4.11) i (2.4.12) sunt reprezentri de stare neminimale
ale sistemului descris prin (2.4.1). Artai c pentru aceeai intrare u(t), ieirea y(t)
este identic pentru cele dou sisteme. (Indicaie: Verificai c
C0T [adj ( sI c )]B0 = C T [adj ( sI A)]
pentru anumii C0 n , B0 n n folosind identitatea
[adj(sI - A)] = sn-1I + sn-2(A + an-1I) + sn-3(A2 + an-1A + an-2I)
+ ... + (An-1 + an-1An-2 + ... + a1I)
i alegnd C0 astfel nct (C0, c) s fie o pereche observabil.
2.5. Scriei o reprezentare de stare pentru urmtorul sistem:
(s)
(a) = n 1 u , (s) este monic de ordin n.
( s)
2 - 29
(b) =
n 1 ( s )
u , 1(s) este monic de ordin n - 1.
1 ( s )
(c) =
m (s)
u , m n 1 , 1(s) este monic de ordin n - 1.
1 ( s )
n 1 ( s )
, unde (c, l) este
(s)
Bibliografie
[30] Chen, C.T., Introduction to Linear System Theory, Holt, Rinehart and Winston Inc.,
New York, 1970.
[42] Desoer, C.A. and M. Vidyasagar, Feedback Systems: Input-Output Properties,
Academic Press Inc., New York, 1975.
[44] Dorf, R.C. Modern Control Systems, 6th Edition, Addison-Wesley Publishing
Company, Reading, Massachusetts, 1991.
[57] Franklin, G.F., J.D. Powell and A. Emami-Naeini, Feedback Control of Dynamic
Systems, 2nd Edition, Addison-Wesley, Reading, Massachusetts, 1991.
[73] Goodwin, G.C. and K.C. Sin, Adaptive Filtering Prediction and Control, Prentice
Hall, Englewood Cliffs, New Jersey, 1984.
[95] Kailath, T., Linear Systems, Prentice Hall, Englewood Cliffs, New Jersey, 1980.
[121] Kuo, B. C. Automatic Control Systems, 6th Edition, Prentice Hall, Englewood Clis,
New Jersey, 1991.
[131] Luders, G. and K.S. Narendra, "A New Canonical Form for an Adaptive Observer",
IEEE Transactions on Automatic Control, Vol. 19, no. 2, pp. 117-119, 1974.
[180] Ogata, K. Modern Control Engineering, 2nd Edition, Prentice Hall, Englewood
Cliffs, New Jersey, 1990.
[201] Sastry, S. and M. Bodson, Adaptive Control: Stability, Convergence and Robustness,
Prentice Hall, Englewood Cliffs, New Jersey, 1989.
[226] Tsakalis K.S. and P.A. Ioannou, Linear Time Varying Systems: Control and
Adaptation, Prentice Hall, Englewood Cliffs, New Jersey, 1993.
[237] Wolovich, W.A., Linear Multivariable systems, Springer-Verlag, New York, 1974.
[238] Wonham, W.M., Linear Multivariable Control: A Geometric Approach, 3rd Edition,
Springer-Verlag, New York, 1985.
2 - 30