Adaptivní systémy s referenčním modelem

Adaptivní systémy s referenčním modelem



Pavel Píša ( pisa@cmp.felk.cvut.cz )

1  Adaptace s referenčním modelem

Účelem adaptace s referenčním modelem, je taková změna dynamiky řízeného systému, aby se choval stejně jako model požadované dynamiky systému. Většinou je před řízený systém přidán regulátor a odezva sytému složeného z regulátoru a řízeného systému je porovnávána s odezvou modelu požadovaného chování. Dále je celý systém doplněn pomalejší zpětnou vazbou obsahující adaptační pravidla, která má za úkol nastavit parametry regulátoru tak, aby minimalizoval odchylku mezi výstupem z řízeného systému a modelem.

V následujícím textu bude nejdříve odvozen gradientní přístup k minimalizaci odchylky využívající kriteriální funkce. Ve druhé části bude ovozena ljapunovská metoda pro nastavování pravidel, která se snaží řešit nejen stabilitu vlastního regulátoru, ale celé soustavy obsahující i model a adaptační pravidla.

Hlavním cílem této práce bylo odvodit co nejobecnější pravidla použitelná pro lineární systémy libovolného řádu s jedním vstupem a výstupem. Výsledky byly testovány v prostředí Simulinku, kde byly sestaveny následující modely :

Navržené modely se vyznačují poměrně dobrou adaptací a možností testování pro libovolný řád regulátoru, parametry modelu a řízeného systému. Modely obsahují i možnost vyvolání příkladových parametrů pro regulátory a systémy prvního až třetího řádu. Experimenty ovšem ukazují, že navržené modely ztrácí dobré vlastnosti rychlosti a stability adaptace pro vyšší řády (  ł 3  ) systému a regulátoru.

2  Gradientní metody

Adaptační pravidla mají za úkol nastavit parametry regulátoru QR tak, aby rozdíl e mezi výstupem y regulovaného systému S a výstupem ym modelu požadovaného chování Sm byl nulový. Obecný tvar lineárního regulátoru pro systém s jedním vstupem i výstupem je lineární regulátor se dvěma stupni volnosti, který lze charakterizovat parametry přenosových funkcí R , S a T . Schéma je uvedeno na obrázku 1.


Figure 1: Regulátor se dvěma stupni volnosti

Přenos celé soustavy Fw/y = [B·T/( A·R+B·S)] by se měl po adaptaci blížit přenosu modelu [(Bm)/( Am)] .

Pro parametry regulátoru platí následující podmínky :

Dostatečně stabilní nuly obsažené v B+ se nemusí nacházet v modelu ( Bm ), protože je lze krátit. Nestabilní nuly ( B- ) krátit nelze, protože po jejich vykrácení by se v systému objevily neřiditelné nestabilní stavy. Proto model požadovaného chování musí nestabilní část B- obsahovat v Bm . Pak pro parametry R , S platí rovnice

A·R+B·S = B+·Am·Q
(1)
ve které Q představuje libovolný stabilní polynom dostatečného stupně odpovídající dynamice observeru. Minimální stupeň vychází z nerovností   degT Ł degR   a   degS Ł degR  . Protože B+ dělitelí B musí ke splnění rovnosti dělit i R , pak R = B+·R1 . Předchozí rovnici lze tedy řešit jako diofantovskou rovnici:
A·R1+B-·S = Am·Q
(2)
jejím vyřešením jsou získány hodnoty R1 a S a po dosazení bude platit i rovnice (1). Polynom T lze vypočítat z rovnice
T = Bm·Q
B-
= Bm˘·Q
(3)
kde Bm˘ získáme po krácení polynomu Bm polynomem B- .

Podmínky řešitelnosti rovnic a návrhu regulátoru :

  1. degQ ł 2·degA-degAm-degB+-1
  2. degAm-degBm ł degA-degB   nelze zmenšovat
  3. B-/Bm   Ţ   nelze odstranit nestabilní nuly   Ţ   je nutné je znát předem a zahrnout do modelu

Předchozí výpočty ukazují, že pro každý systém lze za splnění předchozích podmínek regulátorem docílit jeho chování shodné s modelem požadované dynamiky. Nyní je nutné odvodit adaptační pravidla, která budou nastavovat parametry regulátoru QR , konkrétně R , S a T tak, aby se chyba sledování e blížila nule.

Gradientní metoda využívá minimalizace kriteriální funkce J(QR) změnou parametrů [d/ dt]QR = -k[(ś)/( śQR)]J . V předchozím vztahu je nutné k volit dostatečně malé, aby nedošlo k destabilizaci celého regulačního obvodu. Konkrétní volba kritéria ovlivňuje výsledná adaptační pravidla. Nejčastěli používaná pravidla :

Na obrázku 2 je opět zobrazen regulátor a regulovaný systém doplněný modelem požadovaného chování.


Figure 2: Systém, regulátor a model

Systém lze popsat následujícími rovnicemi :

Ze vhodně zvolených přenosů v systému lze vyjádřit citlivostní funkce v jednoduchém tvaru. Pro jejich výpočet není nutné uvažovat v rozdílu [(ś)/( śQR)]e = [(ś)/( śQR)]y-[(ś)/( śQR)]ym parciální derivaci ym , protože model Sm není na ladění parametrů závislý.

Je nutné upozornit, že indexy v polynomech R , S a T jsou v tomto případě uvažovány od nejvyšší mocniny p směrem k mocnině nejnižší ( obdobně jako v modelech v Matlabu, kde je ovšem indexace prováděna od 1 do n+1  ). Po zkonvergování parametrů do ideálního stavu bude platit A·R+B·S ť Am·B+·Q a tuto aproximaci lze většinou použít i v počátku adaptace. Adaptační pravidla stále obsahují B- . Polynom B+ v předchozí aproximaci lze však zkrátit podle (2). Pro systém obsahující pouze stabilní nuly lze psát B = B+·b0 . Po zkrácení zbývá pouze b0 . Konstantu b0 lze zahrnout do konstanty rychlosti adaptace k , pouze je nutné respektovat její znaménko. Pak lze předchozí rovnice dosadit do rovnic pro adaptaci parametrů QR regulátoru ( například do (4) ) :

Na obrázku 4 je model spojitého adaptivního systému obecného řádu, který využívá výše odvozené gradientní metody. Obrázek 3 zobrazuje filtr pro výpočet vektor členů citlivostních funkcí ( [(pk-i = 0źk)/( Am·Q)]) . Shodný tvar filtru je použit pro všechny tři nastavované parametry, ovšem pro parametr r0 je výsledek násoben nulou a integrátor je přednastaven na hodnotu 1 . Podobný model lze sestrojit i pro diskrétní systém.


Figure 3: Filtr obecného řádu pro výpočet citlivostní funkce


Figure 4: Model obecného spojitého adaptivního regulátoru s pravidly MIT

3  Ljapunovská metoda

Ljapunovská metoda se nesnaží stabilizovat pouze adaptovaný systém, ale vyšetřuje stabilitu celé soustavy složené z řízeného systému, modelu, regulátoru a adaptačních pravidel. Základem vyšetřování stability ve velkém je hledání ljapunovské funkce, kterou si lze představit jako součet veškeré ``energie'' v systému. Je-li derivace v čase této funkce až na jeden bod stavového prostoru xo záporná, musí postupně dojít k úniku/vyčerpání ``energie'' ze systému a k přechodu systému do bodu xo . Následuje matematický zápis požadavků na ljapunovskou funkci za předpokladu, že rovnovážný bod systému se nachází v počátku souřadného systému ( transformace xo @ 0  ):

Potom je systém v okolí počátku stabilní, jestliže platí

V následujících odstavcích je odvozeno jak lze využít ljapunovské stability pro syntézu stabilního adaptivního regulátoru.

Úkolem je pro systém S nalézt takový regulátor a adaptační pravidla aby se systém choval shodně jako zadaný modelový systém Sm . Úloha nebude řešena zcela obecně. Jak je upozorněno v [1] pro sestrojení takovéhoto adaptivního regulátoru vyššího řádu je nutné, aby byly všechny stavy regulovaného systému S měřitelné. Proto jako výstup systému i modelu budou brány stavy x a xm . Adaptační pravidla mají za úkol ladit parametry regulátoru QR tak, aby se limitně blížily optimálnímu nastavení regulátoru QR* a rozdíl výstupů modelu a systému e = x-xm se blížil 0 . Je tedy nutné hledat hyperstabilitu systému se stavem (e,QR-QR*) .

Pro zjednodušení problému bude uvažován pouze požadovaný model chování systému ve tvaru filtru n -tého řádu s nastavitelným zesílením ( [(b0)/( pn+an-1·pn-1+...+a1·p+a0)] ). Tento předpoklad není příliš omezující, protože právě výsledná odezva ve tvaru filtru s vhodným tlumením je většinou požadována. Při programovém řízení lze jiného chování též docílit transformací průběhu vstupního signálu.

Dále jak bylo ukázáno v [2] lze dynamiku ( vlastní čísla l matice systému A  ) libovolného systému téměř libovolně změnit zavedením stavové zpětné vazby h do vstupu systému S . Pro další výpočty je vhodné předpokládat model požadovaného chování Sm s maticemi Am a Bm ve Frobeniově kanonickém tvaru. Tento předpoklad neomezuje obecnost řešení, protože jak bylo ukázano v [2] lze stavy a matice každého systému do tohoto tvaru převést. Při jiném než Frobeniově tvaru požadovaného chování je tedy nutné stav modelu xm i měřený stav regulovaného systému x násobit transformační maticí Q-1 , kterou lze vypočítat Q = Rm·Rm˘-1 . Rm a Rm˘ jsou matice dosažitelnosti původního a transformovaného modelu systému Rm = bm,Am·bm,...,Amn-1·bm a Rm˘ = bm˘,Am˘·bm˘,...,Am˘n-1·bm˘ .

Za uvedených předpokladů zle sestavit následující rovnice pro chování systému S a modelu Sm .

[d/ dt]x = A·x+b·u
  ,   u = -h·x+l·w
[d/ dt]xm = Am·xm+bm·u
 

Kde w je vstup do systému, A , b , Am a bm jsou matice řízeného systému S a modelu Sm , x a xm jsou stavy řízeného systému a modelu a u je vstup do řízeného systému S . Řádkový vektor h představuje stavovou zpětnou vazbu přidanou k systému S a skalár l řídí zesílení vstupního signálu do systému S . Pak lze rozdíl e mezi skutečným stavem x systému S požadovaným stavem xm vyjádřit :

d
dt
e = dx
dt
- dxm
dt

d
dt
e = A·x-b·h·x+b·l·w-Am·xm-bm·w
po přidání členu Am·xm-Am·xm lze rovnici upravit :
d
dt
e =
Am·e
+
(A-Am-b·h)
·x+
(b·l-bm)
·w
Pro každý z výrazů označených

je nutné aby se po provedení adaptace blížily nule. Podaří-li se provedením adaptace vynulovat poslední dva výrazy, dojde postupně k vynulováni odchylky, protože diferenciální rovnice [d/ dt]e = Am·e obsahuje matici modelu Am , která odpovídá stabilnímu systému. Frobeniův tvar matice Am byl zvolen pro vhodné vyjádření druhého z výrazů

, který lze znázornit pro systém třetího řádu následovně :
é
ę
ę
ę
ę
ë
0
1
0
0
0
1
-a0
-a1
-a2
ů
ú
ú
ú
ú
ű
- é
ę
ę
ę
ę
ë
0
1
0
0
0
1
-am0
-am1
-am2
ů
ú
ú
ú
ú
ű
- é
ę
ę
ę
ę
ë
0
0
b0
ů
ú
ú
ú
ú
ű
· é
ë
ho
h1
h2
ů
ű
Po úpravě přejde na matici, která bude dále označvána jako Ae
é
ę
ę
ę
ę
ë
0
0
0
0
0
0
-a0+am0-b0h0
-a1+am1-b0h1
-a2+am2-b0h2
ů
ú
ú
ú
ú
ű
= é
ę
ę
ę
ę
ë
0
0
0
0
0
0
ae0
ae1
ae2
ů
ú
ú
ú
ú
ű
= Ae
Jak je vidět, že lze vhodným nastavením zpětné vazby h docílit vyulování tohoto výrazu. Třetí výraz lze též upravit a bude dále označován jako be
é
ę
ę
ę
ę
ë
0
0
b0
ů
ú
ú
ú
ú
ű
·l- é
ę
ę
ę
ę
ë
0
0
bm0
ů
ú
ú
ú
ú
ű
= é
ę
ę
ę
ę
ë
0
0
b0·l-bm0
ů
ú
ú
ú
ú
ű
= é
ę
ę
ę
ę
ë
0
0
be0
ů
ú
ú
ú
ú
ű
= be

Nyní lze sestrojit ljapunovskou funkci s parametry, které budou vyjadřovat vzdálenost od požadovaného stavu, kdy dojde k vynulování všech výrazů


.
V(e,h,l)
=
ĺ
1
2
ć
ç
č
eT·e+ 1
b0·k
·(A-Am-b·h)·(A-Am-b·h)T+
+ 1
b0·k
·(b·l-bm)T·(b·l-bm) ö
÷
ř
Součet skalárů s maticemi ve výrazu lze přepsat jako součet matice a jednotkové matice násobené skalárem. Derivce ljapunovské funkce v čase tedy bude
d
dt
V(e,h,l)
=
ĺ
ć
ç
č
eT· d
dt
e+ 1
b0·k
·(A-Am-b·h)·(-b· d
dt
h)T+
+ 1
b0·k
·(b· d
dt
l)T·(b·l-bm) ö
÷
ř
Zápis se zjednoduší při náhradě výrazů v závorkách výše zavedenými symboly Ae a be .
d
dt
V(e,h,l) = ĺ
ć
ç
č
eT· d
dt
e+ 1
b0·k
(Ae)·(-b· d
dt
h)T+ 1
b0·k
(b· d
dt
l)T·(be) ö
÷
ř
Dále lze dosadit za [d/ dt]e
d
dt
V(e,h,l)
=
ĺ
(eT·Am·e+eT·Ae·x+eT·be·w+
+ 1
b0·k
·Ae·(-b· d
dt
h)T+ 1
b0·k
·(b· d
dt
l)T·be ö
÷
ř
Matice stabilního modelu Am je negativně definitní, proto člen ĺ(eT·Am·e) bude pro nenulové e záporný. Ostatní členy lze vhodnou volbou adaptačních pravidel také zajistit nulové.
Ae·(b· d
dt
h)T = k·b0·eT·Ae·x

(b· d
dt
l)T·be = -k·b0·eT·be·w
Při předpokládaném tvaru matice Ae a vektoru be lze vzorce rozepsat
ae0· d
dt
h1+ae1· d
dt
h2+ź+aen-1· d
dt
hn = k·(e1·ae0·x1+e2·ae1·x2+ź+en·aen-1·xn)

d
dt
l·be0 = -en·be0·w
Aby výrazy nabývaly nulové hodnoty pro všechny hodnoty Ae a be , je nutné aby si v předchozích rovnicích byly rovné jednotlivé členy v rozepsaných tvarech. Po další úpravě lze výsledky psát ve tvaru
d
dt
h = k·e.*x

d
dt
l = -k·en·w

Na obrázku 5 je zobrazen model s výše uvedenými adaptačními pravidly. Tento model vykazuje velmi uspokojivé výsledky pro první a druhý řád. Doba adaptace pro třetí řád systému je již poměrně dlouhá.


Figure 5: Model adaptivního systému s odvozenými pravidly pro ljapunovskou stabilitu

Contents

1  Adaptace s referenčním modelem
2  Gradientní metody
3  Ljapunovská metoda

References

[1]
Přednášky z předmětu adaptivní systémy, Havlena, Praha 1997
[2]
Teorie dynamických systémů, Štecha Havlena, Praha 1993


File translated from TEX by TTH, version 1.57.