Macierz przejścia (automatyka)

Macierz przejścia stanu (lub krótko macierz przejścia), macierz tranzycji, macierz transformacji, macierz fundamentalna, macierz podstawowa (ang. state-transition matrix) – macierz, której iloczyn z wektorem stanu x {\displaystyle x} z chwili początkowej t 0 {\displaystyle t_{0}} daje stan x {\displaystyle x} w późniejszej chwili t . {\displaystyle t.} Macierz przejścia stanu może być wykorzystana do uzyskania ogólnego rozwiązania dla liniowych układów dynamicznych. Macierz ta znana jest też jako eksponenta macierzy.

Rozwiązanie równań stanu

Niech dany będzie ogólny liniowy model przestrzeni stanów w postaci równań stanu:

x ˙ ( t ) = A ( t ) x ( t ) + B ( t ) u ( t ) , {\displaystyle {\dot {\mathbf {x} }}(t)=\mathbf {A} (t)\mathbf {x} (t)+\mathbf {B} (t)\mathbf {u} (t),}
y ( t ) = C ( t ) x ( t ) + D ( t ) u ( t ) . {\displaystyle \mathbf {y} (t)=\mathbf {C} (t)\mathbf {x} (t)+\mathbf {D} (t)\mathbf {u} (t).}

Rozwiązanie ogólne dane jest wówczas równaniem (jest to tak zwany wzór Cauchy-Bellmana):

x ( t ) = Φ ( t , t 0 ) x ( t 0 ) + t 0 t Φ ( t , τ ) B ( τ ) u ( τ ) d τ , {\displaystyle \mathbf {x} (t)=\mathbf {\Phi } (t,t_{0})\mathbf {x} (t_{0})+\int _{t_{0}}^{t}\mathbf {\Phi } (t,\tau )\mathbf {B} (\tau )\mathbf {u} (\tau )\,d\tau ,}

gdzie Φ ( t , τ ) {\displaystyle \mathbf {\Phi } (t,\tau )} jest macierzą przejścia określoną poniżej.

Innymi słowy: stan układu przedstawiany jest zwykle jako wektor x = [ x 1 , x 2 , , x n ] R n {\displaystyle \mathbf {x} =[x_{1},x_{2},\dots ,x_{n}]\in R^{n}} i przedstawia pamięć układu. Znając stan układu oraz sterowanie jesteśmy w stanie określić stan, który osiągnie układ po zadanym czasie.

Dla układu regulacji opisanego układem równań różniczkowych przyjmuje on postać:

x ( t ) = e t A x ( 0 ) + 0 t e ( t r ) A B u ( r ) d r , {\displaystyle x(t)=e^{tA}x(0)+\int _{0}^{t}{e^{(t-r)A}Bu(r)\,dr},}

gdzie e t A x ( 0 ) {\displaystyle e^{tA}x(0)} nazywana jest składową swobodną (zależną od warunków początkowych), a 0 t e ( t r ) A B u ( r ) d r {\displaystyle \int _{0}^{t}{e^{(t-r)A}Bu(r)\,dr}} składową wymuszoną (która jest splotem odpowiedzi impulsowej i wejścia). W przypadku układu swobodnego postać rozwiązania sprowadza się do składowej swobodnej (tzw. rozwiązanie swobodne).

Wyprowadzenie wzoru dla układu jednowymiarowego

Wzór na stan x ( t ) {\displaystyle x(t)} układu jednowymiarowego, opisanego równaniami stanu:

d x d t = a x + b u ( t ) , {\displaystyle {\frac {dx}{dt}}=ax+bu(t),}
y = c x , {\displaystyle y=cx,}

gdzie u ( t ) {\displaystyle u(t)} to zadane sterowanie.

Wyznacza się go w dwóch krokach:

  1. Obliczane jest rozwiązanie bez części sterującej
    d x d t = a x . {\displaystyle {\frac {dx}{dt}}=ax.}
    Przekształca się powyższy wzór tak, aby po jednej stronie znalazło się d x {\displaystyle dx} oraz x , {\displaystyle x,} a po drugiej stronie d t {\displaystyle dt}
    d x x = a d t . {\displaystyle {\frac {dx}{x}}=adt.}
    Uzyskany wzór całkuje się obustronnie uzyskując:
    ln x S = a t , {\displaystyle \ln {\frac {x}{S}}=at,} gdzie S {\displaystyle S} to stała całkowania.
    Na koniec następuje pozbycie się logarytmu naturalnego używając eksponenty dla obydwu stron równania:
    x ( t ) = S e a t . {\displaystyle x(t)=Se^{at}.}
  2. Uzyskany x ( t ) {\displaystyle x(t)} podstawia się do równań podanych na wstępie i oblicza pochodną x {\displaystyle x} po czasie.
    d x d t = a e a t S + e a t d S d t = a x + b u ( t ) , {\displaystyle {\frac {dx}{dt}}=ae^{at}S+e^{at}{\frac {dS}{dt}}=ax+bu(t),}
    d S d t = b u ( t ) e a t . {\displaystyle {\frac {dS}{dt}}=bu(t)e^{-at}.}
    Przenosi się d t {\displaystyle dt} na prawą stronę i całkuje obustronnie:
    S ( t ) = S 0 + 0 t e r a b u ( r ) d r , {\displaystyle S(t)=S_{0}+\int _{0}^{t}{e^{-ra}bu(r)dr},}
    x ( 0 ) = S 0 . {\displaystyle x(0)=S_{0}.}
    Na koniec wstawia się uzyskane S ( t ) {\displaystyle S(t)} do wzoru x ( t ) = S e a t . {\displaystyle x(t)=Se^{at}.}
    x ( t ) = e t a x ( 0 ) + 0 t e ( t r ) a b u ( r ) d r . {\displaystyle x(t)=e^{ta}x(0)+\int _{0}^{t}{e^{(t-r)a}bu(r)dr}.}

Macierz przejścia

Macierz przejścia Φ ( t , τ ) {\displaystyle \mathbf {\Phi } (t,\tau )} określona jest jako:

Φ ( t , τ ) U ( t ) U 1 ( τ ) , {\displaystyle \mathbf {\Phi } (t,\tau )\equiv \mathbf {U} (t)\mathbf {U} ^{-1}(\tau ),}

gdzie U ( t ) {\displaystyle \mathbf {U} (t)} jest podstawową macierzą rozwiązania, która spełnia zależność:

U ˙ ( t ) = A ( t ) U ( t ) {\displaystyle {\dot {\mathbf {U} }}(t)=\mathbf {A} (t)\mathbf {U} (t)}

jest macierzą o wymiarach n × n , {\displaystyle n\times n,} która stanowi liniowe mapowanie na siebie samą, na przykład z u ( t ) = 0 , {\displaystyle \mathbf {u} (t)=0,} przy danym stanie x ( τ ) {\displaystyle \mathbf {x} (\tau )} w dowolnej chwili czasu τ , {\displaystyle \tau ,} stan w dowolnej innej chwili t {\displaystyle t} określony jest przez mapowanie:

x ( t ) = Φ ( t , τ ) x ( τ ) . {\displaystyle \mathbf {x} (t)=\mathbf {\Phi } (t,\tau )\mathbf {x} (\tau ).}

Podczas gdy macierz przejścia stanu ϕ {\displaystyle \phi } nie jest całkowicie nieznana, to zawsze musi spełniać następujący związek:

ϕ ( t , t 0 ) t = A ( t ) ϕ ( t , t 0 ) {\displaystyle {\frac {\partial \phi (t,t_{0})}{\partial t}}=A(t)\phi (t,t_{0})} i
ϕ ( τ , τ ) = I {\displaystyle \phi (\tau ,\tau )=I} dla każdego τ {\displaystyle \tau } i gdzie I {\displaystyle I} jest macierzą jednostkową.

Ponadto ϕ {\displaystyle \phi } musi posiadać następujące właściwości:

1. ϕ ( t 2 , t 1 ) ϕ ( t 1 , t 0 ) = ϕ ( t 2 , t 0 ) {\displaystyle \phi (t_{2},t_{1})\phi (t_{1},t_{0})=\phi (t_{2},t_{0})}
2. ϕ 1 ( t , τ ) = ϕ ( τ , t ) {\displaystyle \phi ^{-1}(t,\tau )=\phi (\tau ,t)}
3. ϕ 1 ( t , τ ) ϕ ( t , τ ) = I {\displaystyle \phi ^{-1}(t,\tau )\phi (t,\tau )=I}
4. d ϕ ( t , t 0 ) d t = A ( t ) ϕ ( t , t 0 ) {\displaystyle {\frac {d\phi (t,t_{0})}{dt}}=A(t)\phi (t,t_{0})}

Jeśli układ jest niestacjonarny, można zdefiniować ϕ {\displaystyle \phi } jako:

ϕ ( t , t 0 ) = e A ( t t 0 ) . {\displaystyle \phi (t,t_{0})=e^{A(t-t_{0})}.}

W przypadku niestacjonarnym, istnieje wiele różnych funkcji, które spełniają te wymagania, a rozwiązanie uzależnione jest od struktury układu. Macierz przejścia stanu musi zostać określona przed dalszą analizą rozwiązania dla układu niestacjonarnego.

Zobacz też