Metoda nawiasów Liego

Warunek rzędu algebry Liego (LARC, Szablon:Ang.) – metoda określania, czy nieliniowy układ bezdryfowy (np. robot mobilny) jest układem sterowalnym. Zagadnienie to związane jest z algebrą Liego. Metoda polega na generacji kolejnych pól wektorowych tak długo, aż uzyska się z ich złożenia macierz o pełnym wymiarze (należy pamiętać o tym, żeby baza generatora nie powtarzała się). Jeżeli wyznacznik macierzy jest różny od zera, to układ jest sterowalny.

Zastosowanie

Aby zastosować tę metodę potrzebny jest bezdryfowy układ sterowania opisany na grupie Liego w postaci:

$x^{\prime }=f{u}_1+g{u}_2,$

gdzie:

$f,$$g$ – bazowe generatory pól wektorowych,

$u_i$ – sygnały sterujące,

$x^{\prime }$ – pochodna po czasie (współrzędnych wewnętrznych lub współrzędnych stanu) $q.$

Do wygenerowania pola wektorowego kolejnego rzędu stosowane jest równanie nawiasu Liego:

$[f,g]=\frac{\partial g}{\partial q}f-\frac{\partial f}{\partial q}g.$

Wektory generuje się tak długo, aż uzyska się z ich złożenia dystrybucję (macierz) o pełnym wymiarze (baza generatora nie może się powtarzać). Jeżeli wyznacznik macierzy jest różny od zera, to układ jest sterowalny. Ruch w kierunku $[f,g]$ jest stosunkowo mało wydajny, dlatego też przyjmuje się, że brane są nawiasy Liego niższego stopnia tak długo, jak długo kierują robota na cel.

Uwaga!

Powyższe rozważanie na temat sterowalności zachodzi tylko dla bezdryfowych układów afinicznych. W ogólności w ten sposób można wnioskować o lokalnej osiągalności w krótkim czasie (STLC, ang. Small-Time Local Controllability).

Przykład

Dla wektorów:

$f={\left[\begin{array}{ccc}\cos \theta & \sin \theta & 0\end{array}\right]}^T$

$g={\left[\begin{array}{ccc}0& 0& 1\end{array}\right]}^T$

$q={\left[\begin{array}{ccc}x& y& \theta \end{array}\right]}^T$

jednym z nawiasów Liego jest:

$[f,g]={\left[\begin{array}{ccc}\sin \theta & -\cos \theta & 0\end{array}\right]}^T.$

Po złożeniu uzyskuje się macierz:

$\left[\begin{array}{ccc}\cos \theta & 0& \sin \theta \\ \sin \theta & 0& -\cos \theta \\ 0& 1& 0\end{array}\right]$

o wyznaczniku równym 1. Układ ten jest układem sterowalnym.

Zobacz też

• flaga dystrybucji