Az irányítástervezés során gyakran szeretnénk egy irányítás paramétereit úgy megválasztani, hogy valamilyen előre meghatározott minőségi tulajdonság (performancia előírás) teljesüljön. Az optimalizálási feladatokban olyan paraméterek választása a cél ami maximalizál vagy minimalizál egy adott kritérium-függvényt. Ebben a fejezetben megmutatjuk, hogyan lehet megválasztani azokat a paramétereket amik optimalizálnak egy adott kvadratikus specifikációt és amelyek a lehető legkisebb költséggel maximalizálják a megkívánt performanciát.
Tekintsük az alábbi kritérium-függvényt
|
|
(378) |
a következő dinamikus feltételek mellett
|
|
(379) |
ahol az
kezdeti feltétel adott és
. Ez egy korlátozások melletti optimalizálási feladat, ahol egy olyan megengedett
trajektóriát keresünk ami minimalizálja a perem pontokban korlátozott
költségfüggvényt
|
|
(380) |
Az
tag az integrál költség míg
a végső, terminális költség. A
függvény a terminális korlátozások egy halmazát határozza meg. A korlátozások menlleti optimalizálási feladatoknál szokásos módon egy
|
|
(381) |
Hamilton függvényt definiálunk, ahol bevezetjük az időfüggő
társváltozókat.
Tétel 9.1 (Maximum elv)
Ha
optimális akkor létezik
és
úgy, hogy
|
|
(382) |
adott
,
peremfeltételekkel, ahol
és
|
|
(383) |
minden
esetén.
A maximum elv nemlineáris dinamikák esetén is alkalmazható valamint abban az esetben is ha a szabályozó bemenet egy
halmaz által van korlátozva. Korlátozások néklül,
, és differenciálható
esetén az optimalitás egy szükséges feltétele, hogy
|
|
(384) |
Ha
létezik, akkor felhasználható mint optimális szabályozó jel.
A bizonyítás elve a következő: a Lagrange féle multiplikátorok módszerét alkalmazva a költségfüggvény alakja
|
|
(385) |
ami a Hamilton függvény felhasználásával
|
|
(386) |
alakba írható. Az optimális megoldás környezetében linearizálva, azaz
,
,
és
esetén, kapjuk, hogy
|
|
(387) |
ahol a deriváltak az optimális megoldás mentén értendők.
Parciális integrálással elimináljuk a
-tól való függést
|
|
(388) |
Mivel
adott, az első tag eltűnik és kapjuk, hogy
|
|
(389) |
Az optimalitáshoz megköveteljük,hogy
minden
és
esetén, így megkapva a tétel feltételeit.
A továbbiakban a lineáris kvadratikus (LQ) optimális szabályozási feladatot tekintjük: a dinamikus rendszer lineáris időinvariáns és a költségfüggvény kvadratikus, azaz
|
|
(390) |
|
|
(391) |
ahol
az állapothibát bünteti,
a szabályozó bemenetet és
a végső állapotot súlyozza.
A
és
tervezési paraméterek meghatározzák az állapotok lineáris kombinációinak és az input energia fontosságát (súlyát):
- A funkcionálban szereplő
tag a rendszer minőségi jellemzőit súlyozza, a rendszer teljes energiáját bünteti egy
súlymátrix segítségével
- A funkcionálban szereplő
tag a rendszerbe betáplált szabályozó energiát súlyozza,
mátrix segítségével.
Gyakran a feladatot úgy módosítjuk, hogy egy adott
pálya követése legyen az elérendő cél, a költségfüggvényt ehhez a
és
tagokkal írjuk át. Van, amikor célszerű a végső
pontot is előírni, ilyenkor egy általánosabb
megszorítást használhatunk. Amikor minden komponensre megszorítás van, azaz
, a vonatkozó specifikáció alakja
lesz. Ilyenkor
elhagyható, mivel értéke rögzített.
Fontos eset, amikor
és
, azaz a végtelen horizontú LQ feladat.
A véges horizontú lineáris kvadratikus regulátor(LQR) feladat alakja
|
|
(392) |
az alábbi költségfüggvénnyel:
|
|
(393) |
ahol
.
A feladathoz tartozó
Hamilton függvény
|
|
(394) |
A maximum elv alkalmazásával az alábbi szükséges feltételeket kapjuk:
|
|
(395) |
|
|
(396) |
|
|
(397) |
Innen az optimális irányítás alakja
|
|
(398) |
Az optimális irányítás előállításához egy peremértékfeladatot kell megoldani
és
peremfeltételekkel, ami általában egy nehéz feladat.
A társváltozót a
alakban keressük, így
|
|
(399) |
azaz
|
|
(400) |
amit Riccati differenciál egyenletnek nevezünk.
A
esetben a
feltételből adódik a költségfüggvény alakja:
|
|
(401) |
Mivel
végső értékére nincs megszorítás, a
helyett állandó
mátrixot véve kapjuk a
|
|
(402) |
algebrai Riccati egyenletet, és a hozzá tartozó
|
|
(403) |
szabályozót.
Míg
feltételnek mindég teljesülni kell, tipikusan
. A
alakot véve a költségfüggvény
|
|
(404) |
Az optimális irányítás létezéséhez az
párnak detektálhatónak kell lenni.
Tétel 9.2 Tekintsük a
|
|
(405) |
lineáris rendszert a
|
|
(406) |
költségfüggvénnyel, ahol az
pár stabilizálható és az
megfigyelhető.
Az optimális szabályozó alakja
|
|
(407) |
ahol
a
|
|
(408) |
algebrai Riccati egyenlet stabilizáló megoldása. A minimális költség
.
Bizonyítás 9.1
Ha
stabil a
|
|
(409) |
Lyapunov egyenletnek egyértelmű megoldása van:
, minden
esetén. Ha
vagy
és
megfigyelhető, akkor
.
Ha
stabil akkor az
-hoz tartozó megoldás
. Ha
stabilizálható, akkor van
stabilizáló visszacsatolás melyre
. E pálya mentén
|
|
(410) |
|
|
(411) |
vagyis az optimális költség véges..
Egy t
-vel minden
-ra, melyre
tekintsük a
kvadratikus funkcionált. Mivel
|
|
(412) |
minden stabil pálya mentén a
|
|
(413) |
költség invariáns a visszacsatolásra. Teljes négyzetté való kiegészítéssel kapjuk, hogy
|
|
(414) |
ahol
választással
-re előírható, hogy kielégítse az
|
|
(415) |
algebrai Riccati egyenletet. Ekkor az optimális irányítás
és az optimális költség
.
A megfigyelhetőség szerepének illusztrálására tekintsük a stabil
zárt kört. Ekkor algebrai Riccati egyenletből
|
|
(416) |
vagyis a zárt kör pályája mentén
|
|
(417) |
Így
. Ha
nemszinguláris lenne, létezne egy
kezdeti érték, melyre
, ami ellent mond
megfigyelhetőségének. .
Másrészt ha
és
egy sajátvektor, sajátérték párja
-nek, akkor
|
|
(418) |
azaz
. Feltéve, hogy
, következik, hogy
és
, vagyis
.Ebből
adódna, ami ellentmond
megfigyelhetőségének. Tehát a pozitív definit megoldás stabilizáló a megfigyelhetőségi feltétel mellett.
Az egyértelműség kimutatásához tekintsünk
és
megoldásokat úgy, hogy
és
stabilis.
Következik, hogy
|
|
(419) |
A
Sylvester operátor akkor és csak akkor szinguláris ha
és
közös sajátértékekkel rendelkezik. Mivel
és
stabil, ezért az egyedüli megoldás
.
Általános
performancia jelet tekintve a költségfüggvény a
|
|
(420) |
alakot veszi fel.
Ennek a feladathoz ugyancsak az algebrai Riccati egyenlet stabilizáló
megoldása
|
|
(421) |
szolgáltatja az optimális szabályozót:
|
|
(422) |
a
optimális költséggel.
Példa 9.1
Tervezzen LQ optimális szabályozást a
|
|
(423) |
átviteli függvénnyel leírt rendszerre, ha az irányíthatósági állapottér reprezentációjában mérjük a rendszer állapotait a következő költségfüggvény minimalizálásával:
|
|
(424) |
ahol az
súly adott. Tervezze meg a
súly értékét! Tervezze meg az optimális állapotvisszacsatolást!
A feladat megoldása:
Az állapottér reprezentáció irányíthatósági alakban:
|
|
(425) |
|
|
(426) |
A feladatot visszavezetjük az optimalizálás standard alakjára az
összefüggés felhasználásával:
|
|
(427) |
azaz az állapotokat súlyozó mátrix
.
A Riccati egyenlet megoldása:
|
|
(428) |
ahol
,
,
,
. A megoldás:
.
Az állapot-visszacsatolt erősítő:
|
|
(429) |
azaz az optimális irányítójel:
.
Az LQ megoldás robusztussága
- A zárt rendszer mindig stabil lesz. Az LQ tervezés a szabályozott rendszer pólusait automatikusan a bal oldali félsíkba helyezi.
- Az LQ optimális megoldás a végtelen erősítési tartalékot és a
-os fázistartalékot biztosít.
|
|
(430) |
|
|
(431) |
Példa 9.2
Tervezzünk optimális állapot visszacsatolást LQ módszerrel a következő rendszerhez:
|
|
(432) |
A tervezési paraméterek:
és
.
A feladat megoldása:
(a) Riccati egyenlet megoldása:
|
|
(433) |
A CARE megoldása:
.
(b)
számítása:
|
|
(434) |
Az optimális állapotvisszacsatolás:
és
az optimális irányítójel:
.
|
|
(435) |
|
|
(436) |
A szabályozott rendszer pólusai a
karakterisztikus egyenlet megoldásai. A Hamilton mátrix tartalmazza az optimális irányítás megoldásait, így sajátértékei az optimális megoldás pólusait is megadják.
|
|
(437) |
Felhasználva a
összefüggést, felírhatjuk a Hamilton mátrixra vonatkozó karakterisztikus egyenletet:
|
|
(438) |
|
|
(439) |
A karakterisztikus egyenlet (a levezetést mellőzve) a következő alakra hozható:
|
|
(440) |
|
|
(441) |
A Hamilton rendszer pólusai tartalmazzák a zárt rendszer pólusait, valamint a pólusok ellenkező előjelű értékeit egyaránt.
Vizsgáljuk meg, hogy a szabályozó tervezésben alkalmazott súlyozás hogyan hat a szabályozott rendszer pólusaira. Válasszuk meg az irányítójelre adott súlyt a következőképpen:
ahol
rögzített és
értékét változtatjuk.
Válasszuk az irányítójelre adott súlyt nagy értékre:
.
Az irányítási feladatot minél kisebb irányítójellel kívánjuk megoldani.
A karakterisztikus egyenlet a következő alakhoz tart:
|
|
(442) |
A szabályozott rendszer pólusai megközelítik az eredeti rendszer stabil pólusait, valamint az eredeti rendszer nemstabil pólusainak a képzetes tengelyre való tükörképét.
Válasszuk az irányítójelre adott súlyt kis értékre:
.
Az irányítási feladatban nincs előírás az irányítójel nagyságára nézve.
A karakterisztikus egyenlet a következő alakhoz tart:
|
|
(443) |
|
|
(444) |
Átalakítva:
|
|
(445) |
A szabályozott rendszer pólusai megközelítik az eredeti rendszer bal félsíkra eső zérusait vagy az eredeti rendszer jobb oldali zérusainak a képzetes tengelyre való tükörképét, illetve végtelenül nagy negatív értéket vesznek fel.
Példa 9.3
Tervezzünk optimális állapot visszacsatolást LQ módszerrel a következő rendszerhez:
|
|
(446) |
|
|
(447) |
A rendszer pólusai
, zérusai
. A tervezési paraméterek:
és
változó. Megjegyzés: Az első állapotváltozót tekintjük kimenetnek, a többi állaptváltozóra
súlyt alkalmazunk a tervezésben.
A feladat megoldása:
-
választással a Hamilton mátrix sajátértékei:
, míg a tervezett szabályozott rendszer pólusai:
,
-
választással a Hamilton mátrix sajátértékei:
, míg a tervezett szabályozott rendszer pólusai:
,
Példa 9.4
Tervezzünk optimális állapot visszacsatolást LQ módszerrel a következő nem minimálfázisú rendszerhez:
|
|
(448) |
|
|
(449) |
A rendszer pólusai
, zérusai
(pozitív). A tervezési paraméterek:
és
változó. Megjegyzés: Az első állapotváltozót tekintjük kimenetnek, a többi állaptváltozóra
súlyt alkalmazunk a tervezésben.
A feladat megoldása:
-
választással a Hamilton mátrix sajátértékei:
,
míg a tervezett szabályozott rendszer pólusai:
,
-
választással a Hamilton mátrix sajátértékei:
,
míg a tervezett szabályozott rendszer pólusai:
,
A módszer alkalmazásának feltétele:
- Az állapotvektor elemei mértek legyenek.
- Az állapottér reprezentáció teljesítse az irányíthatósági feltételt.
A módszer előnyei:
- A szabályozott rendszer stabilis.
- A szabályozással szemben megfogalmazott minőségi követelmények a
és
súlyok megválasztásával beépíthetők a szabályozás tervezésbe.
A módszer hátrányai:
- A különböző minőségi követelmények közötti ellentmondások és konfliktusok miatt a súlyok megválasztása bonyolult feladat. A súlyok tervezése során törekedni kell a minőségi követelmények közötti összhang megteremtésére. Emiatt az elért minőségi tulajdonságokat utólagosan ellenőrizni kell.
- A Riccati egyenlet megoldása numerikusan nehéz feladat.