Reprezentace stavového prostoru - State-space representation
Tento článek obsahuje seznam obecných Reference, ale zůstává z velké části neověřený, protože postrádá dostatečné odpovídající vložené citace.Květen 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
v řídicí technika, a reprezentace stavového prostoru je matematický model fyzického systému jako sada vstupních, výstupních a stavových proměnných souvisejících prvního řádu diferenciální rovnice nebo rozdílové rovnice. Stavové proměnné jsou proměnné, jejichž hodnoty se časem vyvíjejí způsobem, který závisí na hodnotách, které mají v daném čase, a na externě uložených hodnotách vstupních proměnných. Hodnoty výstupních proměnných závisí na hodnotách stavových proměnných.
„státní prostor " je Euklidovský prostor[Citace je zapotřebí ] ve kterém jsou proměnné na osách stavovými proměnnými. Stav systému lze v tomto prostoru představovat jako vektor.
Abychom abstrahovali od počtu vstupů, výstupů a stavů, jsou tyto proměnné vyjádřeny jako vektory. Navíc, pokud dynamický systém je lineární, časově invariantní a konečně-dimenzionální, pak diferenciální a algebraické rovnice může být napsán v matice formulář.[1][2]Metoda stavového prostoru je charakterizována významnou algebraizací obecně teorie systémů, což umožňuje používat struktury vektorové matice Kronecker. Kapacita těchto struktur může být efektivně aplikována na výzkumné systémy s modulací nebo bez ní.[3] Reprezentace stavového prostoru (známá také jako „časová doména ") poskytuje pohodlný a kompaktní způsob modelování a analýzy systémů s více vstupy a výstupy vstupy a výstupy bychom si jinak museli zapisovat Laplaceovy transformace kódovat všechny informace o systému. Na rozdíl od frekvenční doména přístup, použití reprezentace stavového prostoru není omezeno na systémy s lineárními komponentami a nulovými počátečními podmínkami.
Model stavového prostoru lze použít v předmětech, jako je ekonomie[4], statistika[5], informatika a elektrotechnika[6]a neurovědy[7]. v ekonometrie, například, modely stavového prostoru lze použít k rozložení a časové řady do trendu a cyklu, sestavte jednotlivé ukazatele do složeného indexu[8], identifikovat body obratu hospodářského cyklu a odhadnout HDP pomocí latentních a nepozorovaných časových řad[9][10]. Mnoho aplikací se spoléhá na Kalmanův filtr vytvářet odhady současných neznámých stavových proměnných pomocí jejich předchozích pozorování.[11][12]
Stavové proměnné
Vnitřní stavové proměnné jsou nejmenší možná podmnožina systémových proměnných, které mohou kdykoli představovat celý stav systému.[13] Minimální počet stavových proměnných potřebných k reprezentaci daného systému, , se obvykle rovná řádu definující diferenciální rovnice systému, ale ne nutně. Pokud je systém zastoupen ve formě přenosové funkce, minimální počet stavových proměnných se rovná pořadí jmenovatele přenosové funkce poté, co byl snížen na správný zlomek. Je důležité si uvědomit, že převod realizace stavového prostoru na formu přenosové funkce může ztratit některé interní informace o systému a může poskytnout popis systému, který je stabilní, když je realizace stavového prostoru v určitých bodech nestabilní. V elektrických obvodech je počet stavových proměnných často, i když ne vždy, stejný jako počet prvků akumulace energie v obvodu, jako je kondenzátory a induktory. Definované stavové proměnné musí být lineárně nezávislé, tj. Žádná stavová proměnná nemůže být zapsána jako lineární kombinace ostatních stavových proměnných, jinak nebude možné systém vyřešit.
Lineární systémy
Nejobecnější reprezentace stavového prostoru lineárního systému s vstupy, výstupy a stavové proměnné se zapisují v následující podobě:[14]
kde:
- se nazývá "stavový vektor", ;
- se nazývá "výstupní vektor", ;
- se nazývá "vstupní (nebo kontrolní) vektor", ;
- je „stavová (nebo systémová) matice“, ,
- je „vstupní matice“, ,
- je "výstupní matice", ,
- je „průchozí (nebo dopředná) matice“ (v případech, kdy model systému nemá přímý průchod, je nulová matice), ,
- .
V této obecné formulaci mohou mít všechny matice časovou variantu (tj. Jejich prvky mohou záviset na čase); nicméně, ve společném LTI v tomto případě budou matice časově neměnné. Proměnná času mohou být spojité (např. ) nebo diskrétní (např. ). V druhém případě časová proměnná se obvykle používá místo . Hybridní systémy počítat s časovými doménami, které mají spojitou i diskrétní část. V závislosti na vytvořených předpokladech může reprezentace modelu stavového prostoru nabývat následujících forem:
Typ systému | Stavový model |
Kontinuální časově invariantní | |
Kontinuální časová varianta | |
Explicitní diskrétní časově invariantní | |
Explicitní diskrétní časová varianta | |
Laplaceova doména z kontinuální časově invariantní | |
Z-doména z diskrétní časově invariantní |
Příklad: případ LTI kontinuálního času
Stabilita a přirozené charakteristiky odezvy kontinuálního času Systém LTI (tj. lineární s maticemi, které jsou konstantní vzhledem k času) lze studovat z vlastní čísla matice . Stabilitu časově invariantního modelu stavového prostoru lze určit pohledem na systém přenosová funkce ve faktorizované formě. Pak to bude vypadat asi takto:
Jmenovatel funkce přenosu se rovná charakteristický polynom našel tím, že určující z ,
Kořeny tohoto polynomu ( vlastní čísla ) jsou funkce přenosu systému póly (tj singularity kde velikost přenosové funkce je neomezená). Tyto póly lze použít k analýze, zda systém je asymptoticky stabilní nebo okrajově stabilní. Alternativním přístupem k určení stability, který nezahrnuje výpočet vlastních čísel, je analýza systému Stabilita Lyapunova.
Nuly nalezené v čitateli lze podobně použít k určení, zda je systém minimální fáze.
Systém může být stále stabilita vstupu – výstupu (vidět BIBO stabilní ), i když to není vnitřně stabilní. To může být případ, pokud jsou nestabilní póly zrušeny nulami (tj. Pokud jsou tyto singularity v přenosové funkci odnímatelný ).
Ovladatelnost
Podmínka kontrolovatelnosti stavu znamená, že je možné - pomocí přípustných vstupů - řídit stavy z jakékoli počáteční hodnoty na jakoukoli konečnou hodnotu v nějakém konečném časovém okně. Kontinuální časově neměnný lineární model stavového prostoru je ovladatelný kdyby a jen kdyby
kde hodnost je počet lineárně nezávislých řádků v matici a kde n je počet stavových proměnných.
Pozorovatelnost
Pozorovatelnost je měřítkem toho, jak dobře lze odvodit vnitřní stavy systému znalostmi jeho externích výstupů. Pozorovatelnost a ovladatelnost systému jsou matematické duály (tj. Protože ovladatelnost zajišťuje, že je k dispozici vstup, který přináší jakýkoli počáteční stav do požadovaného konečného stavu, pozorovatelnost zajišťuje, že znalost výstupní trajektorie poskytuje dostatek informací k předpovědi počátečního stavu systému ).
Kontinuální časově neměnný lineární model stavového prostoru je pozorovatelný kdyby a jen kdyby
Funkce přenosu
„přenosová funkce "spojitého časově invariantního lineárního modelu stavového prostoru lze odvodit následujícím způsobem:
Nejprve si vezměte Laplaceova transformace z
výnosy
Dále zjednodušíme pro dávat
a tudíž
Střídání za ve výstupní rovnici
dávat
Za předpokladu nulových počátečních podmínek a a systém s jedním vstupem a jedním výstupem (SISO), přenosová funkce je definován jako poměr výstupu a vstupu . Pro systém s více vstupy a více výstupy (MIMO), tento poměr však není definován. Proto, za předpokladu nulových počátečních podmínek, matice přenosové funkce je odvozen z
pomocí metody rovnání koeficientů, které jsou výnosné
- .
Tudíž, je matice s dimenzí který obsahuje přenosové funkce pro každou kombinaci vstupního výstupu. Kvůli jednoduchosti této maticové notace se reprezentace stavového prostoru běžně používá pro systémy s více vstupy a více výstupy. The Matice systému Rosenbrock poskytuje most mezi reprezentací stavového prostoru a jeho přenosová funkce.
Kanonické realizace
Jakákoli daná přenosová funkce, která je naprosto správné lze snadno přenést do stavového prostoru pomocí následujícího přístupu (tento příklad je pro 4-rozměrný systém s jedním vstupem a jedním výstupem):
Vzhledem k přenosové funkci ji rozbalte a odhalte všechny koeficienty v čitateli i jmenovateli. Výsledkem by měla být následující forma:
Koeficienty lze nyní vložit přímo do modelu stavového prostoru pomocí následujícího přístupu: