Metoda VFO i jej zastosowanie do sterowania potrójnym integratorem
|
|
- Szymon Cichoń
- 8 lat temu
- Przeglądów:
Transkrypt
1 Metoda VFO i jej zastosowanie do sterowania potrójnym integratorem Maciej Michałek i Krzysztof Kozłowski Katedra Sterowania i Inżynierii Systemów Politechnika Poznańska Piotrowo 3a, Poznań {maciej.michalek/krzysztof.kozlowski}@put.poznan.pl Streszczenie. Artykuł przedstawia koncepcję projektowania sterowania metodą VFO dedykowana oryginalnie dla podklasy systemów nieholonomicznych. Przedstawiono opis poszczególnych etapów projektowych metody dla układów z trójwymiarowym wektorem stanu oraz sposób i skutki zastosowania nowej koncepcji do modelu potrójnego integratora jako przykładu systemu spoza oryginalnej podklasy. Treść artykułu ma stanowić próbę częściowej odpowiedzi na pytanie o zakres stosowalności metody VFO. 1 Wprowadzenie Koncepcja sterowania zwana metodą orientowania pól wektorowych (w skrócie: VFO od słów angielskich Vector Field Orientation) została wprowadzona i jest rozwijana przez autorów od roku 24 (6]). Oryginalnie koncepcja ta powstała z przeznaczeniem do realizacji zadań sterowania dla podklasy bezdryfowych systemów nieholonomicznych o dwóch sterowaniach i z wyróżnionym jednym podstawowym polem wektorowym (generatorem). Metoda orientowania pól wektorowych wynika z prostej i intuicyjnej interpretacji geometrycznej związanej z postacią pól wektorowych modelu rozważanego systemu oraz z potencjalną ewolucją tego systemu w odpowiedzi na specyficznie zaprojektowane sygnały wejściowe. Do dnia dzisiejszego pozytywne wyniki teoretyczne związane z realizacją zadań śledzenia i stabilizacji metodą VFO oraz potwierdzenie symulacyjne tych wyników uzyskano dla kilku systemów o trójwymiarowym wektorze stanu takich, jak: wózek jednokołowy (przedstawiono również wyniki eksperymentalne), manipulator planarny z przekładniami nieholonomicznymi oraz system łańcuchowy 5]. We wszystkich przypadkach uzyskano asymptotyczną zbieżność błędów sterowania oraz dobrą dynamiczną jakość w stanach przejściowych (szybkie i nieoscylacyjne zanikanie stanów przejściowych niezależnie od warunków początkowych i rodzaju sygnałów referencyjnych). Szczególną własnością zaproponowanych praw sterowania jest prostota ich parametrycznej syntezy, co ma duże znaczenie praktyczne. Próbując zaklasyfikować metodę VFO w świetle już istniejących rozwiązań, należy zaliczyć ją do grupy metod nieciągłych (odcinkami ciągłych) o charakterze geometrycznym (przykłady innych metod z tej grupy można znaleźć w 2], 4], 1]) w odróżnieniu od metod ciągłych, których przegląd dla układów nieholonomicznych zawiera między innymi praca 7].
2 2 Maciej Michałek i Krzysztof Kozłowski W perspektywie dotychczasowych wyników pojawia się naturalne pytanie o zakres stosowalności metodyki VFO. W szczególności interesujące wydaje się rozważenie możliwości wykorzystania koncepcji VFO do systemów o odmiennych właściwościach dynamicznych w porównaniu z pierwotną grupą bezdryfowych układów nieholonomicznych. Próbą częściowej odpowiedzi na pytanie o zakres stosowalności proponowanej koncepcji jest niniejszy artykuł, w którym metoda VFO będzie wykorzystana do wyprowadzenia sterownika VFO dla modelu potrójnego integratora. Z tego względu, iż potrójny integrator można zaliczyć do grupy klasycznych obiektów liniowych, dla którego istnieją klasyczne prawa sterowania, celem niniejszej pracy jest przede wszystkim ukazanie możliwości i sposobu wykorzystania metody VFO w tym przypadku. Zaskakujący wydaje się fakt, iż uzyskane prawo sterowania VFO dla modelu potrójnego integratora odpowiada znanemu z literatury sterownikowi liniowemu, przy czym analiza geometryczna przeprowadzona w oparciu o koncepcję VFO pozwala ukazać ten znany wynik w nowym geometrycznym świetle. Autorzy wierzą, iż zastosowanie wspólnej koncepcji projektowej VFO dla tak różnych jakościowo systemów jak bezdryfowe układy nieholonomiczne i dryfowe systemy holonomiczne (jakim jest potrójny integrator) może stanowić próbę unifikacji podejścia do problemu projektowania sterowania dla tych systemów, a także próbę znalezienia cech wspólnych wspomnianych dynamik cech kluczowych dla realizacji podstawowych zadań sterowania. 2 Metoda VFO Istotę metody VFO przedstawimy na przykładzie modeli bezdryfowych systemów nieholonomicznych o trójwymiarowym wektorze stanu, gdyż geneza koncepcji sterowania z orientowaniem pól wektorowych wywodzi się z analizy własności tych systemów. Rozważmy zatem rodzinę systemów Σ: Σ : q(τ) = g 1 u 1 (τ)+g 2 (q(τ))u 2 (τ), g 1 = 1, g 2 (q(τ)) = g 2 (q(τ)) (1) g 3 (q(τ)) gdzie q(τ) = q 1 (τ) q 2 (τ) q 3 (τ)] T R 3 jest wektorem stanu, a u 1 (τ), u 2 (τ) R są sterującymi sygnałami wejściowymi. Wprowadźmy podprzestrzeń stanu Q R 3 (definicja zbioru Q zależy od rozważanego systemu), w której założymy spełnienie następujących postulatów: P1. system (1) jest sterowalny (spełnia warunek LARC 1 ) P2. pole g 2 (q) jest regularne: q Q g 2 (q) P3. pole g 2 (q) jest ograniczone: q Q: q < g 2 (q) < P4. pole g 2 (q) jest funkcją pierwszej zmiennej stanu: g2(q) q 1 i w konsekwencji jest orientowalne w R 3. Wprowadźmy także pojęcie pola wektorowego zbieżności 2 h R 3, które określone w każdym punkcie q jako wektor h(q, ) definiuje chwilowy kierunek zbieżności do trajektorii bądź punktu referencyjnego q t = q 1t q 2t q 3t ] T R 3 (w zależności od definicji 1 Lie Algebra Rank Condition 2 W trakcie rozważań ogólnych nie podajemy jawnej definicji pola h.
3 Metoda VFO i jej zastosowanie do sterowania potrójnym integratorem 3 zadania sterowania). Pojęcie kierunek zbieżności należy rozumieć jako pożądany kierunek ewolucji systemu (1) w przestrzeni Q prowadzący do realizacji zadania sterowania (czyli do zbieżności q q t ). Rozważmy charakterystyczne cechy geometryczne oraz potencjalną ewolucję systemu (1) w podprzestrzeni Q. Zwróćmy najpierw uwagę, iż pole g 1 w modelu (1) jest stałe (jest to pole wyróżnione), co implikuje liniową zależność pochodnej pierwszej zmiennej stanu od sterowania: q 1 = u 1. Co więcej, ewolucja tej zmiennej jest odsprzęgnięta od ewolucji pozostałych zmiennych stanu. Z drugiej strony natomiast zmienne q 2 i q 3 zależą w sposób liniowy od sterowania u 2, a ich ewolucja przebiega zawsze wzdłuż chwilowego kierunku wektora g2 (q) = g 2(q) g 3 (q)] T R 2, co wynika z oczywistej zależności geometrycznej: Dir( q ) Dir(g 2(q)), gdzie q = q2 q 3 ], g 2(q) = ] g2 (q), (2) g 3 (q) a Dir(b) oznacza kierunek wektora 3 b w R 2. Skoro pole g 2 (q) jest funkcją zmiennej q 1 (zgodnie z postulatem P4), to chwilowa wartość q 1 determinuje chwilowy kierunek (i chwilową orientację) wektora g 2 (q) w R 2. Tym samym można nazwać ją zmienna orientujacą. Ze względu na postać pierwszego równania w (1), sterowanie u 1 będzie nosić nazwę sterowania orientującego. Skoro ewolucja zmiennych q 2, q 3 przebiega wzdłuż pola g2 i proporcjonalnie do u 2, to w interpretacji geometrycznej można powiedzieć, że sterowanie u 2 popycha stan q = q 2 q 3 ] T wzdłuż pola g2. Sterowanie to zatem nazywane jest sterowaniem popychającym. Zgodnie z powyższą interpretacją system (1) możemy zdekomponować na dwa podsystemy dynamiczne: Σ 1 : q 1 = u 1, Σ 2 : q = g 2 (q)u 2. (3) Jeśli teraz na podobnej zasadzie przeprowadzimy dekompozycję pola zbieżności: h = h 1 h T ] T, gdzie h = h2 h 3 ] T R 2, (4) to strategię sterowania VFO można przedstawić następująco. Skoro h definiuje kierunek zbieżności dla podwektora stanu q w R 2, a jednocześnie zmienna q 1 determinuje chwilową orientację (kierunek) pola g 2, to wystarczy tak oddziaływać na zmienną orientującą (za pomocą sterowania u 1 ), aby nakładać chwilowy kierunek (orientację) wektora g 2 (q) na kierunek (orientację) wektora zbieżności h (q) i jednocześnie za pomocą sterowania u 2 popychać stan q, aby zapewnić zbieżność zmiennych q 2 oraz q 3 do ich wartości referencyjnych. Uzasadnionym wydaje się tzw. popychanie ostrożne, co oznacza, iż prędkość ewolucji zmiennych q 2, q 3 winna być proporcjonalna do ortogonalnego rzutu chwilowego wektora zbieżności h (q) na bieżący kierunek g 2(q) i może być maksymalna tylko przy pełnej zgodności kierunków obu wektorów. Matematycznie powyższą strategię możemy zapisać za pomocą następujących relacji: u 1 (τ) : g2 τ (q(τ))k(τ) h (q(τ), ) u 2 (τ) : q (τ) h (q(τ), ) cos α(τ), 3 Kierunek pola b w danym punkcie q jest reprezentowany za pomoca nieskierowanego kata β π/2, π/2] określonego pomiędzy wektorem b(q) a wybranym wektorem odniesienia. Natomiast orientację pola b w danym punkcie q należy utożsamiać z katem skierowanym α ( π, π] występujacym pomiędzy wektorem b(q) a wybranym wektorem odniesienia. (5)
4 4 Maciej Michałek i Krzysztof Kozłowski gdzie k(τ) jest pewną niezerową funkcją skalarną pozwalającą na kształtowanie strategii procesu popychania (przodem/tyłem), jest operatorem proporcjonalności, natomiast α(τ) = (g 2(q(τ)), h (q(τ), )) ( π, π], a τ jest zmienną czasu. Przedstawiona wyżej koncepcja sterowania nie zapewnia w ogólności zbieżności zmiennej orientującej q 1 do jej wartości referencyjnej q 1t. Zbieżność dla zmiennej orientującej q 1 można zapewnić poprzez odpowiednią konstrukcję pola h. Uwzględniając pomocniczą funkcję, którą odgrywa zmienna q 1 w procesie orientowania pola g 2, postać pola zbieżności winna gwarantować spełnienie następującej relacji: h : q 1 (τ) q qt q 1t (τ), gdzie qt = q 2t q 3t ] T R 2. (6) Powyższą zależność należy rozumieć jako postulat płynnego przechodzenia od procesu orientowania do procesu śledzenia dla zmiennej q 1, gdy stan q zbiega w okolicę trajektorii q t. Zauważmy, że powyższy postulat dopuszcza chwilowe powiększanie błędu e 1 = q 1t q 1 w przypadku gdy stan q znajduje się daleko od trajektorii q t, co stanowi jedną z kluczowych cech strategii VFO. Konkretna postać pola h spełniająca postulat (6) zależy od modelu sterowanego systemu. Zgodnie z rozważaniami zawartymi w 5] proces projektowania sterownika VFO można podzielić na pięć podstawowych etapów: E1. określenie podprzestrzeni Q R 3 w której spełnione są postulaty P1-P4, E2. wyprowadzenie na podstawie pierwszej relacji z (5) tzw. warunków orientowania gwarantujących nakładanie kierunku g 2 na kierunek definiowany polem h = h 2 h 3 ] T, E3. wprowadzenie sygnałów pomocniczych dla każdego z wyprowadzonych warunków orientowania z etapu E2: q ia (h ) oraz e ia (τ) = q ia (h ) q i (τ) pozwalających na spełnienie warunków orientowania poprzez sprowadzenie pomocniczych błędów e ia (τ) do zera, E4. konstrukcja pola zbieżności h = ] h1 (q 1a, ) h (qt, q, ) taka, że: q ia (h ) q it dla q q t, (7) E5. zdefiniowanie sterowania orientującego u 1 i sterowania popychającego u 2 : u 1 = h1 u VFO : u 2 = k2 (q) g2 T h, k 2 (q) = 1 (8) g2 (q) 2 zapewniających: lim e ia(τ) = oraz lim τ τ q t (τ) q (τ)] =. (9) Przykładami systemów bezdryfowych, do których może zostać zastosowana opisana wyżej strategia sterowania są między innymi: wózek jednokołowy (Σ UMR ) oraz
5 Metoda VFO i jej zastosowanie do sterowania potrójnym integratorem 5 system łańcuchowy (Σ NHCS ), których modele przedstawiają poniższe równania 4 : q 1 q 2 ΣUMR = 1 u 1 + cos q 1 u 2, q 1 q 2 ΣNHCS = 1 u u 2. (1) q 3 sin q 1 q 3 q 1 Prześledźmy krótko poszczególne etapy projektowe metody VFO. Łatwo zauważyć, że oba systemy spełniają postulaty P1-P4 dla Q = R 3. W obu modelach można wyróżnić tylko jedną zmienną orientującą q 1, której wartość determinuje kierunek wektora g 2 (q) = g 2 (q 1 ). Skorzystanie z pierwszej relacji w (5) w przypadku obu powyższych modeli prowadzi do uzyskania tzw. warunków orientowania dla poszczególnych systemów wiążących zmienne orientujące z polem zbieżności h w następujący sposób: Σ UMR : lim q 1(τ) Atan2c (sgn(k)h 3, sgn(k)h 2 )] = (11) τ Σ NHCS : lim q 1 (τ) h ] 3 = (12) τ h 2 gdzie Atan2c (, ) R jest uciągloną wersją czteroćwiartkowej funkcji Atan2 (, ) oraz sgn(k) = ±1 (szczegółowe wyprowadzenie powyższych warunków można znaleźć w 5]). Aby spełnić warunki orientowania (11,12) wprowadza się zmienne pomocnicze Σ UMR : q 1a (h ) = Atan2c (sgn(k)h 3, sgn(k)h 2 ) dla h (13) Σ NHCS : q 1a (h ) = h 3 /h 2 dla h 2 (14) oraz błędy pomocnicze e 1a (τ) = q 1a (h ) q 1 (τ). Od tej pory realizacja procesu orientowania polega na sprowadzaniu pomocniczych błędów e 1a (τ) do zera za pomocą sterowania orientującego u 1. Teoretycznie istnieje wiele możliwości zdefiniowania pola zbieżności h. Nasza propozycja definicji dla zadania śledzenia trajektorii w przypadku obu systemów wynika z ważonej kombinacji liniowej odpowiednich błędów i sygnałów prędkościowych (traktowanych jako sprzężenie wyprzedzające): h = h1 h ] = k1 e 1a + q 1a k p e + q t ], (15) gdzie q 1a = dq 1a /dτ, e = q t q, q t = q 2t q 3t ] T, a k 1, k p > są parametrami projektowymi sterownika. Należy zauważyć, że definicje (13,14) wraz z (15) spełniają warunek zbieżności postulowany w (7). Ostatni etap projektowy wymaga podstawienia odpowiednich wyrażeń zdefiniowanych dla poszczególnych systemów Σ UMR oraz Σ NHCS do ogólnego wzoru (8). W wyniku otrzymujemy następujące sterowanie VFO: u 1 = k 1 e 1a + q 1a (16) { h2 cos q 1 + h 3 sin q 1 dla Σ UMR u 2 = 1 (h 1+q h 3 q 1 ) dla Σ NHCS, (17) 4 W równaniu systemu łańcuchowego dokonano zamiany kolejności zmiennych stanu w stosunku do modelu oryginalnego (por. 3]), aby uzyskać postać zgodna z (1).
6 6 Maciej Michałek i Krzysztof Kozłowski które gwarantują zbieżność (9) oraz wobec (7) także zbieżność dla zmiennej orientującej: q 1 (τ) q 1t (τ). Charakterystycznymi cechami układów sterowania VFO są: gwarancja dobrej jakości sterowania w stanach przejściowych reprezentowana szybką i nieoscylacyjną zbieżnością uchybów oraz naturalnym zachowaniem się sterowanego systemu w przestrzeni konfiguracyjnej, intuicyjna (geometryczna) interpretacja składników sterowania oraz wyjątkowa prostota parametrycznej syntezy sterowników VFO (mała wrażliwość jakości sterowania na wartości parametrów projektowych oraz na warunki początkowe systemu i rodzaj sygnałów referencyjnych). Dalsze szczegóły dotyczące uzyskanych wyników zbieżności, a także postaci sterowników VFO dla zadania stabilizacji można znaleźć między innymi w pracy 5]. Powyższe rozważania miały na celu zarysowanie metody VFO oraz przedstawienie sposobu projektowania praw sterowania VFO w oparciu o dwa wybrane przykłady systemów z rodziny Σ. W następnym rozdziale rozważony zostanie problem zastosowania przedstawionej powyżej metodyki VFO do wyprowadzenia prawa sterowania dla systemu spoza oryginalnej rodziny Σ, mianowicie dla układu potrójnego integratora. 3 Metoda VFO dla potrójnego integratora Wprowadzenie nowej metody sterowania jest związane z naturalnym pytaniem o zakres stosowalności proponowanej koncepcji. Jak dotąd nie udało się określić warunków dostatecznych stosowalności metody VFO. Oryginalnie, metoda została wprowadzona dla systemów z podklasy Σ, jednak okazuje się, że jej stosowalność nie jest ograniczona do wspomnianego zbioru systemów. Poniższe rozważania mają na celu zastosowanie metody projektowej VFO do wyprowadzenia sterowania dla liniowego systemu z dryfem w postaci potrójnego integratora. Procedura wykorzystania koncepcji VFO zostanie przeprowadzona poprzez analogię do systemów bezdryfowych. Rozważmy model potrójnego integratora:... x = u, gdzie x, u R. Wprowadzając zmienne stanu fazowe: x 1 := x, x 2 := ẋ, x 3 := ẍ, i dokonując zamiany kolejności zmiennych q 1 := x 3, q 2 := x 2, q 3 := x 1 model systemu przyjmuje postać: Σ TI : q = g 1 u 1 + g 2 (q) 1 q 1 q 2 = 1 u 1 + q 1 1, (18) q 3 q 2 w którym (w odniesieniu do podklasy systemów Σ z (1)), przyjęto interpretację dryfu jako iloczynu pola-generatora g 2 (q) i wirtualnego sterowania u 2 1. W takiej interpretacji możemy stwierdzić, że struktura modelu systemu Σ TI może zostać potraktowana jako szczególny przypadek modeli systemów podklasy Σ ze stałym drugim sygnałem sterującym. Strategia VFO może zatem w tym przypadku zostać zastosowana prawie analogicznie, jak dla systemów Σ z tą różnicą, że proces popychania będzie tutaj zachodzić ze stałą intensywnością oraz jedynie w strategii do przodu 5 (brak wpływu na wartość i znak wirtualnego sterowania u 2 +1). 5 Zaznaczmy, że system (18) należy do klasy układów holonomicznych.
7 Metoda VFO i jej zastosowanie do sterowania potrójnym integratorem Zadanie sterowania Zdefiniujmy zadanie sterowania, które chcemy rozwiązać metodą VFO dla systemu (18). Niech dana będzie trajektoria referencyjna stanu q t (τ) = q 1t (τ) q 2t (τ) q 3t (τ)] T R 3 będąca rozwiązaniem równania (18) dla pewnego u 1t (τ) L. Gdy u 1t oraz q 1t (), q 2t () trajektoria q t (τ) przyjmuje postać stałego punktu referencyjnego q t = q 3t ] T. Zadaniem sterowania będzie stabilizacja w zerze błędu e = e 1 e 2 e 3 ] T = q t (τ) q(τ) dla ograniczonych sygnałów referencyjnych q t (τ). 3.2 Prawo sterowania VFO dla systemu Σ TI Z postaci modelu (18) wynika, że występują tutaj dwie zmienne orientujące: q 1 oraz q 2. Zmienna q 1 jest bezpośrednio sterowana poprzez sygnał u 1, a druga zmienna orientująca pozostaje w całkowej relacji ze zmienną sterowaną bezpośrednio: q 2 (τ) = q 2 () + τ q 1(ξ)dξ i tym samym również podlega sterowaniu jednak w sposób pośredni. Łatwo sprawdzić, iż system (18) spełnia postulaty P1, P3, P4. Spełnienie postulatu P2 nie jest konieczne w przypadku systemu Σ TI, ponieważ wirtualne sterowanie popychające u 2 1 nie wymaga dobrego określenia funkcji k 2 (q) występującej w definicji (8). Przywołanie ogólnych relacji (5) pozwala na realizację etapu projektowego E2 i daje dla systemu (18) (przy założeniu k(τ) := +1) następujące warunki orientowania: lim τ q1 (τ) h 2 (q(τ), ) q 2 (τ) h 3 (q(τ), ) ] =, gdzie q1 (τ) q 2 (τ) ] = g2 (q). (19) Zgodnie z etapem E3 metodyki VFO definiujemy zmienne pomocnicze q ia oraz błędy pomocnicze e ia : q 1a (τ) = h 2 (q(τ), ), q 2a (τ) = h 3 (q(τ), ), e 1a (τ) = q 1a (τ) q 1 (τ), e 2a (τ) = q 2a (τ) q 2 (τ). (2) Sprowadzanie powyższych błędów do zera implikuje nakładanie kierunku pola g 2 (q) na kierunek pola zbieżności h = h 2 h 3 ] T, co w połączeniu z ustawicznym popychaniem 6 gwarantuje zbieżność zmiennych q 2 i q 3. Ściśle rzecz biorąc zbieżność zmiennych q 3, q 2 a także zbieżność zmiennej q 1 do ich wartości referencyjnych q 3t, q 2t i q 1t zależy bezpośrednio od postaci pola zbieżności h, które determinuje ewolucję całego systemu w stanach przejściowych. Skupmy zatem uwagę na konstrukcji pola h. Skoro zmienna q 3 nie bierze udziału w procesie orientowania pola g 2(q), to współrzędna h 3 pola zbieżności winna wskazywać kierunek zbieżności do sygnału referencyjnego q 3t (τ). Zaproponujmy następujący wybór: h 3 (e 3, q 3t ) = k 3 e 3 (τ) + q 3t (τ), (21) gdzie k 3 > jest współczynnikiem projektowym, a sygnał wyprzedzający q 3t (τ) = q 2t (τ) zgodnie z modelem (18). Pozostałe zmienne q 2 i q 1 są odpowiedzialne za orientowanie pola g 2(q), zatem w stanach przejściowych winny zmierzać do wartości pomocniczych (2). Proponujemy wybór następujących definicji współrzędnych h 2 i h 1 6 W tym przypadku termin popychanie należy rozumieć jako dryfowanie.
8 8 Maciej Michałek i Krzysztof Kozłowski wektora zbieżności: h 2 (e 2a, q 2a ) = k 2 e 2a (τ) + q 2a (τ), gdzie q 2a (τ) (2) = ḣ3(e 3, q 3t ), h 1 (e 1a, q 1a ) = k 1 e 1a (τ) + q 1a (τ), gdzie q 1a (τ) (2) = ḣ2(e 2a, q 2a ), (22) a k 2, k 1 > są parametrami projektowymi. W tym momencie możemy zaproponować postać sterowania orientującego u 1, które zapewni zbieżność błędów (2) do zera. Przywołując ogólną definicję sterowania orientującego z etapu E5 metodyki VFO otrzymujemy: (22) u 1 = h1 = k 1 e 1a (τ) + q 1a (τ). (23) Sprawdźmy jakość sterowania w układzie zamkniętym z systemem (18) i sterownikiem (23). Podstawiając (23) do (18) łatwo sprawdzić, że błąd e 1a (τ) będzie zmierzał wykładniczo do zera dla τ. Zbieżność błędu e 2a (τ) wynika z faktu, iż q 2 = q 1 = u 1 (por. (18)) i z następującej analizy: (23) (2) q 2 = k 1 (q 1a q 1 ) + q 1a = k 1 (h 2 q 2 ) + ḣ2 (22) = k 1 (k 2 e 2a + ė 2a ) + k 2 ė 2a + q 2a, co po uporządkowaniu daje następujące równanie różniczkowe: ë 2a + (k 1 + k 2 )ė 2a + k 1 k 2 e 2a = lim τ e 2a(τ) =. Warto zauważyć, że przebieg e 2a (τ) ma charakter nieoscylacyjny k 1,2 >. Ze zbieżności błędów e 1a oraz e 2a wnioskujemy, że sterowanie (23) gwarantuje nałożenie kierunku pola g2 na kierunek pola zbieżności h. Rozważmy teraz przebieg błędu e 3 (τ). Łatwo pokazać, że sterowanie (23) jest równoważne postaci u 1 = (k 1 + k 2 + k 3 )ë 3 + (k 1 k 2 + k 1 k 3 + k 2 k 3 )ė 3 + k 1 k 2 k 3 e q 3t (24) co po podstawieniu do modelu (18) i wykorzystaniu faktu, że q 1 =... q 3 daje następujące równanie różniczkowe:... e 3 +(k 1 +k 2 +k 3 )ë 3 +(k 1 k 2 +k 1 k 3 +k 2 k 3 )ė 3 +k 1 k 2 k 3 e 3 = lim τ e 3(τ) =. Zwróćmy uwagę, że także w tym przypadku zbieżność błędu e 3 (τ) jest nieoscylacyjna dla dowolnych k 1,2,3 >. Na podstawie równań (2), (21) oraz (22) można pokazać, że słuszne są następujące relacje: lim h 2(e 2a (e 3 ), q 2a ) = k 2 e 2 (τ) + q 2t (τ) ë 2 + (k 1 + k 2 )ė 2 + k 1 k 2 e 2 = e 3 lim h 1(e 1a (e 2 ), q 1a ) = k 1 e 1 (τ) + q 1t (τ) ė 1 + k 1 e 1 =, e 3,e 2 co pozwala wnioskować o asymptotycznej zbieżności wszystkich błędów e 3 (τ), e 2 (τ) oraz e 1 (τ) do zera dla τ (w istocie zbieżność ta jest wykładnicza). Nietrudno sprawdzić, że wobec poczynionego założenia u 1t (τ) L sterowanie VFO z (23) jest dobrze określone i ograniczone dla całej przestrzeni stanu Q = R 3. Powyższa analiza
9 Metoda VFO i jej zastosowanie do sterowania potrójnym integratorem 9 pokazuje także, iż postać pola h określona w (21,22) gwarantuje spełnienie warunku zbieżności z (7). Prawo sterowania (23) przedstawione w postaci rozwiniętej w (24) jest klasycznym sterowaniem PDD 2 ze sprzężeniem wyprzedzającym. W odróżnieniu jednak od klasycznego sposobu uzyskiwania tego typu praw sterowania 7, reguła (23) została wyprowadzona na drodze prostych interpretacji geometrycznych i systematycznego wykorzystania proponowanej metody VFO. Pociąga to za sobą pewne konsekwencje praktyczne oraz nowe, a w opinii autorów interesujące, interpretacje związane z powyższym wynikiem, które zostaną przeanalizowane w kolejnym rozdziale. 4 Interpretacje i uwagi W celu przeprowadzenia geometrycznych interpretacji sterowania VFO zdefiniowanego w (23) (lub w (24)) przeprowadzona została próba symulacyjna ilustrująca realizację zadania śledzenia trajektorii q t (τ) dla u 1t (τ) := 1.5 sin 2τ, horyzontu czasowego τ h = 5s] oraz dla warunków początkowych: q t () =.5 1] T, q() = 6 2 4] T. Przyjęto następujące wartości parametrów sterownika VFO: k 1 = 1, k 2 = 5, k 3 = 2. Uzyskane wyniki przedstawiają rys Przebieg sterowania orientującego przedstawiono na rys. 2. Efektywność procesu orientowania ilustruje rys. 3 w postaci czasowego przebiegu kosinusa kąta zawartego pomiędzy polami g2 oraz h. Zwróćmy najpierw uwagę, iż skoro zmienne q 1, q 2 są zmiennymi orientującymi, to ich podstawowym zadaniem jest orientowanie pola g2 tak, aby zapewnić szybką zbieżność zmiennej q 3 do jej wartości referencyjnej. Zatem w początkowej fazie sterowania błędy e 1 oraz e 2 mogą nie zbiegać w otoczenie zera, co widać na rys. 1. Zbieżność ta następuje wtedy, gdy błąd e 3 znajdzie się dostatecznie blisko zera. Ta pomocnicza funkcja, którą spełniają zmienne orientujące w metodzie VFO skutkuje nieoscylacyjną ewolucją sygnału e 3 niezależnie od przyjętych wartości współczynników projektowych k i >, i = 1, 2, 3. Cecha nieoscylacyjnej zbieżności stanowi własność sterowania metodą VFO 8 i w dużej mierze zwalnia projektanta z konieczności strojenia sterownika (dobór współczynników k i zapewniający wymaganą szybkość odpowiedzi systemu jest wyjątkowo prosty). Zasadność spełniania pomocniczej funkcji przez zmienne orientujące wynika z prostej fizykalnej interpretacji zmiennych q 1, q 2 i q 3. Mianowicie, gdyby potraktować q 3 jako sygnał pozycyjny, to zmienne q 2 i q 1 będą miały interpretację odpowiednio prędkości i przyspieszenia. W tym momencie intuicyjnym staje się wniosek, iż właśnie zmiana przyspieszenia i w konsekwencji zmiana prędkości winny w stanie przejściowym sprowadzać sygnał pozycyjny q 3 do przebiegu referencyjnego q 3t (przyspieszenie i prędkość determinują kierunek g2 (q)) i dopiero w następnej kolejności winny w sposób ciągły zbiegać do sygnałów referencyjnych q 2t oraz q 1t. Taki scenariusz ewolucji systemu zapewnia zaproponowana w (21,22) postać pola zbieżności h, którego elementy h 1 i h 2 zależą wprost od błędów pomocniczych e 1a, e 2a, nie zaś od błędów śledzenia e 1, e 2. 7 Wynikającego głównie z manipulacji algebraicznych prowadzacych do dopełnienia żądanej postaci równania różniczkowego uchybu. 8 Podobne wnioski dotycza sterowników VFO zaproponowanych dla systemów nieholonomicznych (por. 5]).
10 1 Maciej Michałek i Krzysztof Kozłowski Próba wymuszenia jednoczesnej zbieżności dla wszystkich błędów e 1, e 2 oraz e 3 jest w pewnym sensie sprzeczna z własnościami samego systemu Σ TI i może skutkować dużą oscylacyjnością przebiegów (i tym samym większym kosztem energetycznym sterowania). Problem ten pojawia się w zagadnieniu syntezy optymalnej dla kwadratowego wskaźnika jakości. Aby przeanalizować kwestię wyboru elementów macierzy wag wskaźnika jakości dla systemu Σ TI w zagadnieniu sterowania optymalnego, wprowadźmy pomocniczo następujące wielkości: błąd mieszany e a = e 1a e 2a e 3 ] T oraz diagonalną macierz wag W a = diag{w ia } R 3 3, w ia >, i = 1, 2, 3. Zdefiniujmy dwa wskaźniki jakości jeden dla błędu śledzenia e = e 1 e 2 e 3 ] T, drugi dla błędu mieszanego: J(e) = e T W e dτ, J a (e a ) = e T a W ae a dτ, (25) gdzie macierz W R 3 3 jest dowolną macierzą dodatnio określoną. Można sprawdzić, że błąd śledzenia z błędem mieszanym wiąże następujące równanie: e a = Γ e, gdzie Γ = 1 (k 2 + k 3 ) k 2 k 3 1 k 3. (26) 1 Analiza zbieżności dla elementów błędu mieszanego przeprowadzona w poprzednim rozdziale uzasadnia przyjęcie diagonalnej postaci macierzy wag W a. Załóżmy teraz, że synteza optymalna dla wskaźnika J a (e a ) została przeprowadzona i otrzymano minimalną wartość wskaźnika równą J a. Chcielibyśmy w tym momencie sprawdzić dla jakiej macierzy wag W wskaźnik J(e) osiągnie wartość minimalną równą wartości J a. Po podstawieniu (26) do definicji wskaźnika J a otrzymamy, iż wartość minimalna J = Ja dla W = W Γ = Γ T W a Γ przy czym w 1a w 1a (k 2 + k 3 ) w 1a k 2 k 3 W Γ = w 1a (k 2 + k 3 ) w 1a (k 2 + k 3 ) 2 + w 2a w 1a (k 2 + k 3 )k 2 k 3 + w 2a k 3. w 1a k 2 k 3 w 1a (k 2 + k 3 )k 2 k 3 + w 2a k 3 w 1a k2 2k2 3 + w 2ak3 2 + w 3a Zauważmy, iż powyższa macierz nie jest diagonalna dla dowolnych w ia, k i >, i = 1, 2, 3. Przyjmowanie zatem diagonalnej postaci macierzy wag W w definicji wskaźnika J(e), co jest powszechną praktyką ze względu na prostotę wyboru wag, nie zapewnia w rozważanym przypadku osiągnięcia minimum Ja. Można w kosekwencji stwierdzić, iż preferowanym wyborem zmiennych we wskaźniku jakości (25) są elementy błędu mieszanego e a, ponieważ wybór diagonalnej macierzy wag jest tutaj wyjątkowo uzasadniony. 5 Podsumowanie W artykule przedstawiono metodykę VFO projektowania sterowania oryginalnie dedykowaną dla podklasy bezdryfowych systemów nieholonomicznych. Poza tym przedstawiono także sposób i skutki wykorzystania metody VFO dla systemu spoza tej podklasy. Systematycznie wyprowadzony sterownik VFO dla rozważonego modelu potrójnego integratora odpowiada znanemu z literatury sterownikowi liniowemu, przy czym
11 Metoda VFO i jej zastosowanie do sterowania potrójnym integratorem e (τ) 1 2 e (τ) 2 e (τ) 3 4 τ s] Rys. 1. Przebiegi błędów śledzenia u 1 (τ) 15 2 τ s] Rys. 2. Przebieg sygnału sterującego.5 cos α(τ).5 τ s] Rys. 3. Przebieg procesu orientowania 5 e (τ) 1a e 2a (τ) 1 15 τ s] Rys. 4. Przebiegi błędów pomocniczych dodatkowo uzyskano gwarancję nieoscylacyjnej zbieżności błędu dla dowolnych dodatnich wartości współczynników projektowych. Autorzy są przekonani, iż przeprowadzone w pracy geometryczne interpretacje pozwoliły na ukazanie otrzymanych wyników w nowym świetle. Niniejsza praca ma stanowić kolejny krok w kierunku określenia zakresu stosowalności i stopnia uniwersalności prezentowanej metody VFO. Literatura 1. M. Aicardi, G. Casalino, A. Bicchi, A. Balestrino. Closed loop steering of unicycle-like vehicles via Lyapunov techniques. IEEE Robotics and Automation Magazine, 2:27 35, A. Astolfi. Asymptotic stabilization of nonholonomic systems with discontinuous control. Praca doktorska, Swiss Federal Intitute of Technology, Zurich, A. M. Bloch. Nonholonomic mechanics and control. Systems and Control. Springer, New York, C. Canudas de Wit, O. J. Sørdalen. Exponential stabilization of mobile robots with nonholonomic constraints. IEEE Transactions of Automatic Control, 37: , M. Michałek. Sterowanie metoda orientowania pól wektorowych dla podklasy systemów nieholonomicznych. Praca doktorska, Politechnika Poznańska, Katedra Sterowania i Inżynierii Systemów, Poznań, M. Michałek, K. Kozłowski. Sterowanie nieholonomicznym robotem mobilnym metoda orientowania pola wektorowego. K. Tchoń, redaktor, Postępy Robotyki, strony Wydawnictwa Komunikacji i Łączności, Warszawa, P. Morin, C. Samson. Trajectory tracking for non-holonomic vehicles: overview and case study. Proceedings of the 4th International Workshop On Robot Motion and Control, strony , Puszczykowo, 24.
VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa.
VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa. W rozdziale tym zajmiemy się dokładniej badaniem stabilności rozwiązań równania różniczkowego. Pojęcie stabilności w
II. Równania autonomiczne. 1. Podstawowe pojęcia.
II. Równania autonomiczne. 1. Podstawowe pojęcia. Definicja 1.1. Niech Q R n, n 1, będzie danym zbiorem i niech f : Q R n będzie daną funkcją określoną na Q. Równanie różniczkowe postaci (1.1) x = f(x),
Planowanie i realizacja ruchu z wykorzystaniem własności stabilizatora VFO dla robota z napędem różnicowym
Planowanie i realizacja ruchu z wykorzystaniem własności stabilizatora VFO dla robota z napędem różnicowym Maciej Michałek 1, Krzysztof Kozłowski 1 Streszczenie Artykuł prezentuje propozycję strategii
Przestrzenie wektorowe
Rozdział 4 Przestrzenie wektorowe Rozważania dotyczące przestrzeni wektorowych rozpoczniemy od kilku prostych przykładów. Przykład 4.1. W przestrzeni R 3 = {(x, y, z) : x, y, z R} wprowadzamy dwa działania:
Definicje i przykłady
Rozdział 1 Definicje i przykłady 1.1 Definicja równania różniczkowego 1.1 DEFINICJA. Równaniem różniczkowym zwyczajnym rzędu n nazywamy równanie F (t, x, ẋ, ẍ,..., x (n) ) = 0. (1.1) W równaniu tym t jest
III. Układy liniowe równań różniczkowych. 1. Pojęcie stabilności rozwiązań.
III. Układy liniowe równań różniczkowych. 1. Pojęcie stabilności rozwiązań. Analiza stabilności rozwiązań stanowi ważną część jakościowej teorii równań różniczkowych. Jej istotą jest poszukiwanie odpowiedzi
Stabilność II Metody Lapunowa badania stabilności
Metody Lapunowa badania stabilności Interesuje nas w sposób szczególny system: Wprowadzamy dla niego pojęcia: - stabilności wewnętrznej - odnosi się do zachowania się systemu przy zerowym wejściu, czyli
Układy równań liniowych
Układy równań liniowych Niech K będzie ciałem. Niech n, m N. Równanie liniowe nad ciałem K z niewiadomymi (lub zmiennymi) x 1, x 2,..., x n K definiujemy jako formę zdaniową zmiennej (x 1,..., x n ) K
Co to jest wektor? Jest to obiekt posiadający: moduł (długość), kierunek wraz ze zwrotem.
1 Wektory Co to jest wektor? Jest to obiekt posiadający: moduł (długość), kierunek wraz ze zwrotem. 1.1 Dodawanie wektorów graficzne i algebraiczne. Graficzne - metoda równoległoboku. Sprowadzamy wektory
Definicja i własności wartości bezwzględnej.
Równania i nierówności z wartością bezwzględną. Rozwiązywanie układów dwóch (trzech) równań z dwiema (trzema) niewiadomymi. Układy równań liniowych z parametrem, analiza rozwiązań. Definicja i własności
CHARAKTERYSTYKI CZĘSTOTLIWOŚCIOWE
CHARAKTERYSTYKI CZĘSTOTLIWOŚCIOWE Do opisu członów i układów automatyki stosuje się, oprócz transmitancji operatorowej (), tzw. transmitancję widmową. Transmitancję widmową () wyznaczyć można na podstawie
Pochodna i różniczka funkcji oraz jej zastosowanie do obliczania niepewności pomiarowych
Pochodna i różniczka unkcji oraz jej zastosowanie do obliczania niepewności pomiarowych Krzyszto Rębilas DEFINICJA POCHODNEJ Pochodna unkcji () w punkcie określona jest jako granica: lim 0 Oznaczamy ją
ZASTOSOWANIE ZASADY MAKSIMUM PONTRIAGINA DO ZAGADNIENIA
ZASTOSOWANIE ZASADY MAKSIMUM PONTRIAGINA DO ZAGADNIENIA DYNAMICZNYCH LOKAT KAPITAŁOWYCH Krzysztof Gąsior Uniwersytet Rzeszowski Streszczenie Celem referatu jest zaprezentowanie praktycznego zastosowania
przy warunkach początkowych: 0 = 0, 0 = 0
MODELE MATEMATYCZNE UKŁADÓW DYNAMICZNYCH Podstawową formą opisu procesów zachodzących w członach lub układach automatyki jest równanie ruchu - równanie dynamiki. Opisuje ono zależność wielkości fizycznych,
PODSTAWY AUTOMATYKI. MATLAB - komputerowe środowisko obliczeń naukowoinżynierskich - podstawowe operacje na liczbach i macierzach.
WYDZIAŁ ELEKTROTECHNIKI I AUTOMATYKI Katedra Inżynierii Systemów Sterowania PODSTAWY AUTOMATYKI MATLAB - komputerowe środowisko obliczeń naukowoinżynierskich - podstawowe operacje na liczbach i macierzach.
Programowanie celowe #1
Programowanie celowe #1 Problem programowania celowego (PC) jest przykładem problemu programowania matematycznego nieliniowego, który można skutecznie zlinearyzować, tzn. zapisać (i rozwiązać) jako problem
Zagadnienia brzegowe dla równań eliptycznych
Temat 7 Zagadnienia brzegowe dla równań eliptycznych Rozważmy płaski obszar R 2 ograniczony krzywą. la równania Laplace a (Poissona) stawia się trzy podstawowe zagadnienia brzegowe. Zagadnienie irichleta
Przekształcanie równań stanu do postaci kanonicznej diagonalnej
Przekształcanie równań stanu do postaci kanonicznej diagonalnej Przygotowanie: Dariusz Pazderski Liniowe przekształcenie równania stanu Rozważmy liniowe równanie stanu i równanie wyjścia układu niesingularnego
PODSTAWY RACHUNKU WEKTOROWEGO
Transport, studia niestacjonarne I stopnia, semestr I Instytut L-5, Wydział Inżynierii Lądowej, Politechnika Krakowska Adam Wosatko Ewa Pabisek Skalar Definicja Skalar wielkość fizyczna (lub geometryczna)
Rozwiązania, seria 5.
Rozwiązania, seria 5. 26 listopada 2012 Zadanie 1. Zbadaj, dla jakich wartości parametru r R wektor (r, r, 1) lin{(2, r, r), (1, 2, 2)} R 3? Rozwiązanie. Załóżmy, że (r, r, 1) lin{(2, r, r), (1, 2, 2)}.
ANALIZA MATEMATYCZNA Z ELEMENTAMI STATYSTYKI MATEMATYCZNEJ
ANALIZA MATEMATYCZNA Z ELEMENTAMI STATYSTYKI MATEMATYCZNEJ FUNKCJE DWÓCH ZMIENNYCH RZECZYWISTYCH Definicja 1. Niech A będzie dowolnym niepustym zbiorem. Metryką w zbiorze A nazywamy funkcję rzeczywistą
Pochodna i różniczka funkcji oraz jej zastosowanie do rachunku błędów pomiarowych
Pochodna i różniczka unkcji oraz jej zastosowanie do rachunku błędów pomiarowych Krzyszto Rębilas DEFINICJA POCHODNEJ Pochodna unkcji () w punkcie określona jest jako granica: lim 0 Oznaczamy ją symbolami:
Planowanie przejazdu przez zbiór punktów. zadania zrobotyzowanej inspekcji
dla zadania zrobotyzowanej inspekcji Katedra Sterowania i Inżynierii Systemów, Politechnika Poznańska 3 lipca 2014 Plan prezentacji 1 Wprowadzenie 2 3 4 Postawienie problemu Założenia: Rozpatrujemy kinematykę
Sterowanie napędów maszyn i robotów
Wykład 7b - Układy wieloobwodowe ze sprzężeniem od zmiennych stanu Instytut Automatyki i Robotyki Warszawa, 2014 Układy wieloobwodowe ze sprzężeniem od zmiennych stanu Zadanie przestawiania Postać modalna
Liczby zespolone. x + 2 = 0.
Liczby zespolone 1 Wiadomości wstępne Rozważmy równanie wielomianowe postaci x + 2 = 0. Współczynniki wielomianu stojącego po lewej stronie są liczbami całkowitymi i jedyny pierwiastek x = 2 jest liczbą
Wykład z równań różnicowych
Wykład z równań różnicowych 1 Wiadomości wstępne Umówmy się, że na czas tego wykładu zrezygnujemy z oznaczania n-tego wyrazu ciągu symbolem typu x n, y n itp. Zamiast tego pisać będziemy x (n), y (n) itp.
WYKŁAD 9 METODY ZMIENNEJ METRYKI
WYKŁAD 9 METODY ZMIENNEJ METRYKI Kierunki sprzężone. Metoda Newtona Raphsona daje dobre przybliżenie najlepszego kierunku poszukiwań, lecz jest to okupione znacznym kosztem obliczeniowym zwykle postać
n=0 (n + r)a n x n+r 1 (n + r)(n + r 1)a n x n+r 2. Wykorzystując te obliczenia otrzymujemy, że lewa strona równania (1) jest równa
Równanie Bessela Będziemy rozważać następujące równanie Bessela x y xy x ν )y 0 ) gdzie ν 0 jest pewnym parametrem Rozwiązania równania ) nazywamy funkcjami Bessela rzędu ν Sprawdzamy, że x 0 jest regularnym
Optymalizacja ciągła
Optymalizacja ciągła 5. Metody kierunków poparwy (metoda Newtona-Raphsona, metoda gradientów sprzężonych) Wojciech Kotłowski Instytut Informatyki PP http://www.cs.put.poznan.pl/wkotlowski/ 28.03.2019 1
Opinia o pracy doktorskiej pt. On active disturbance rejection in robotic motion control autorstwa mgr inż. Rafała Madońskiego
Prof. dr hab. inż. Tadeusz Uhl Katedra Robotyki i Mechatroniki Akademia Górniczo Hutnicza Al. Mickiewicza 30 30-059 Kraków Kraków 09.06.2016 Opinia o pracy doktorskiej pt. On active disturbance rejection
W. Guzicki Próbna matura, grudzień 2014 r. poziom rozszerzony 1
W. Guzicki Próbna matura, grudzień 01 r. poziom rozszerzony 1 Próbna matura rozszerzona (jesień 01 r.) Zadanie 18 kilka innych rozwiązań Wojciech Guzicki Zadanie 18. Okno na poddaszu ma mieć kształt trapezu
Wykład Matematyka A, I rok, egzamin ustny w sem. letnim r. ak. 2002/2003. Każdy zdający losuje jedno pytanie teoretyczne i jedno praktyczne.
Wykład Matematyka A, I rok, egzamin ustny w sem. letnim r. ak. 2002/2003. Każdy zdający losuje jedno pytanie teoretyczne i jedno praktyczne. pytania teoretyczne:. Co to znaczy, że wektory v, v 2 i v 3
Równania różniczkowe liniowe wyższych rzędów o stałych współcz
Równania różniczkowe liniowe wyższych rzędów o stałych współczynnikach Katedra Matematyki i Ekonomii Matematycznej SGH 12 maja 2016 Równanie liniowe n-tego rzędu Definicja Równaniem różniczkowym liniowym
W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora.
1. Podstawy matematyki 1.1. Geometria analityczna W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora. Skalarem w fizyce nazywamy
13. Równania różniczkowe - portrety fazowe
13. Równania różniczkowe - portrety fazowe Grzegorz Kosiorowski Uniwersytet Ekonomiczny w Krakowie rzegorz Kosiorowski (Uniwersytet Ekonomiczny 13. wrównania Krakowie) różniczkowe - portrety fazowe 1 /
dr Mariusz Grządziel 15,29 kwietnia 2014 Przestrzeń R k R k = R R... R k razy Elementy R k wektory;
Wykłady 8 i 9 Pojęcia przestrzeni wektorowej i macierzy Układy równań liniowych Elementy algebry macierzy dodawanie, odejmowanie, mnożenie macierzy; macierz odwrotna dr Mariusz Grządziel 15,29 kwietnia
RÓWNANIA RÓŻNICZKOWE WYKŁAD 4
RÓWNANIA RÓŻNICZKOWE WYKŁAD 4 Obszar określoności równania Jeżeli występująca w równaniu y' f ( x, y) funkcja f jest ciągła, to równanie posiada rozwiązanie. Jeżeli f jest nieokreślona w punkcie (x 0,
Pochodne cząstkowe i ich zastosowanie. Ekstrema lokalne funkcji
Pochodne cząstkowe i ich zastosowanie. Ekstrema lokalne funkcji Adam Kiersztyn Lublin 2014 Adam Kiersztyn () Pochodne cząstkowe i ich zastosowanie. Ekstrema lokalne funkcji maj 2014 1 / 24 Zanim przejdziemy
Algebra liniowa. Macierze i układy równań liniowych
Algebra liniowa Macierze i układy równań liniowych Własności wyznaczników det I = 1, det(ab) = det A det B, det(a T ) = det A. Macierz nieosobliwa Niech A będzie macierzą kwadratową wymiaru n n. Mówimy,
27. RÓWNANIA RÓŻNICZKOWE CZĄSTKOWE
27. RÓWNANIA RÓŻNICZKOWE CZĄSTKOWE 27.1. Wiadomości wstępne Równaniem różniczkowym cząstkowym nazywamy związek w którym występuje funkcja niewiadoma u dwóch lub większej liczby zmiennych niezależnych i
2.12. Zadania odwrotne kinematyki
Politechnika Poznańska, Katedra Sterowania i Inżynierii Systemów str. 1 2.12. Zadania odwrotne kinematyki Określenie zadania odwrotnego kinematyki T 0 N = [ ] n s a p = r 11 r 12 r 13 p x r 21 r 22 r 23
Wstęp do równań różniczkowych
Wstęp do równań różniczkowych Wykład 1 Lech Sławik Instytut Matematyki PK Literatura 1. Arnold W.I., Równania różniczkowe zwyczajne, PWN, Warszawa, 1975. 2. Matwiejew N.M., Metody całkowania równań różniczkowych
WYBRANE DZIAŁY ANALIZY MATEMATYCZNEJ. Wykład II
Wykład II I. Algebra wektorów 2.1 Iloczyn wektorowy pary wektorów. 2.1.1 Orientacja przestrzeni Załóżmy, że trójka wektorów a, b i c jest niekomplanarna. Wynika z tego, że żaden z tych wektorów nie jest
Układy równań i równania wyższych rzędów
Rozdział Układy równań i równania wyższych rzędów Układy równań różniczkowych zwyczajnych Wprowadzenie W poprzednich paragrafach zajmowaliśmy się równaniami różniczkowymi y = f(x, y), których rozwiązaniem
Przestrzeń unitarna. Jacek Kłopotowski. 23 października Katedra Matematyki i Ekonomii Matematycznej SGH
Katedra Matematyki i Ekonomii Matematycznej SGH 23 października 2018 Definicja iloczynu skalarnego Definicja Iloczynem skalarnym w przestrzeni liniowej R n nazywamy odwzorowanie ( ) : R n R n R spełniające
Informacja o przestrzeniach Sobolewa
Wykład 11 Informacja o przestrzeniach Sobolewa 11.1 Definicja przestrzeni Sobolewa Niech R n będzie zbiorem mierzalnym. Rozważmy przestrzeń Hilberta X = L 2 () z iloczynem skalarnym zdefiniowanym równością
Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:
Ciągi rekurencyjne Zadanie 1 Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie: w dwóch przypadkach: dla i, oraz dla i. Wskazówka Należy poszukiwać rozwiązania w postaci, gdzie
1 Równania różniczkowe zwyczajne o rozdzielonych zmiennych
Równania różniczkowe zwyczajne o rozdzielonych zmiennych Definicja. Równaniem różniczkowym o rozdzielonych zmiennych nazywamy równanie postaci p(y) = q() (.) rozwiązanie równania sprowadza się do postaci
ROZWIĄZYWANIE RÓWNAŃ NIELINIOWYCH
Transport, studia I stopnia Instytut L-5, Wydział Inżynierii Lądowej, Politechnika Krakowska Ewa Pabisek Adam Wosatko Postać ogólna równania nieliniowego Często występującym, ważnym problemem obliczeniowym
Informacja o przestrzeniach Hilberta
Temat 10 Informacja o przestrzeniach Hilberta 10.1 Przestrzenie unitarne, iloczyn skalarny Niech dana będzie przestrzeń liniowa X. Załóżmy, że każdej parze elementów x, y X została przyporządkowana liczba
METODY MATEMATYCZNE I STATYSTYCZNE W INŻYNIERII CHEMICZNEJ
METODY MATEMATYCZNE I STATYSTYCZNE W INŻYNIERII CHEMICZNEJ Wykład 3 Elementy analizy pól skalarnych, wektorowych i tensorowych Prof. Antoni Kozioł, Wydział Chemiczny Politechniki Wrocławskiej 1 Analiza
SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa
SIMR 06/07, Analiza, wykład, 07-0- Przestrzeń wektorowa Przestrzeń wektorowa (liniowa) - przestrzeń (zbiór) w której określone są działania (funkcje) dodawania elementów i mnożenia elementów przez liczbę
4 Równania różniczkowe w postaci Leibniza, równania różniczkowe zupełne
Równania w postaci Leibniza 4 1 4 Równania różniczkowe w postaci Leibniza, równania różniczkowe zupełne 4.1 Równania różniczkowe w postaci Leibniza Załóżmy, że P : D R i Q: D R są funkcjami ciągłymi określonymi
Metody numeryczne Wykład 4
Metody numeryczne Wykład 4 Dr inż. Michał Łanczont Instytut Elektrotechniki i Elektrotechnologii E419, tel. 4293, m.lanczont@pollub.pl, http://m.lanczont.pollub.pl Zakres wykładu Metody skończone rozwiązywania
UKŁADY ALGEBRAICZNYCH RÓWNAŃ LINIOWYCH
Transport, studia I stopnia rok akademicki 2011/2012 Instytut L-5, Wydział Inżynierii Lądowej, Politechnika Krakowska Ewa Pabisek Adam Wosatko Uwagi wstępne Układ liniowych równań algebraicznych można
Nowe algorytmy sterowania nieholonomicznym robotem mobilnym
Politechnika Poznańska Wydział Informatyki Rozprawa doktorska Nowe algorytmy sterowania nieholonomicznym robotem mobilnym Paweł Szulczyński Promotor: prof. dr hab. inż. Krzysztof Kozłowski Poznań, 2012
Dystrybucje, wiadomości wstępne (I)
Temat 8 Dystrybucje, wiadomości wstępne (I) Wielkości fizyczne opisujemy najczęściej przyporządkowując im funkcje (np. zależne od czasu). Inną drogą opisu tych wielkości jest przyporządkowanie im funkcjonałów
A,B M! v V ; A + v = B, (1.3) AB = v. (1.4)
Rozdział 1 Prosta i płaszczyzna 1.1 Przestrzeń afiniczna Przestrzeń afiniczna to matematyczny model przestrzeni jednorodnej, bez wyróżnionego punktu. Można w niej przesuwać punkty równolegle do zadanego
Sterowanie metodą orientowania pól wektorowych dla podklasy systemów nieholonomicznych
Maciej Michałek Sterowanie metodą orientowania pól wektorowych dla podklasy systemów nieholonomicznych Rozprawa Doktorska Politechnika Poznańska Katedra Sterowania i Inżynierii Systemów POZNAŃ 26 Praca
VI. Równania różniczkowe liniowe wyższych rzędów
VI. 1. Równanie różniczkowe liniowe n-tego rzędu o zmiennych współczynnikach Niech podobnie jak w poprzednim paragrafie K = C lub K = R. Podobnie jak w dziedzinie rzeczywistej wprowadzamy pochodne wyższych
Algebra liniowa z geometrią
Algebra liniowa z geometrią Maciej Czarnecki 15 stycznia 2013 Spis treści 1 Geometria płaszczyzny 2 1.1 Wektory i skalary........................... 2 1.2 Macierze, wyznaczniki, układy równań liniowych.........
Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Inżynierii Systemów Sterowania. Podstawy Automatyki
Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Inżynierii Systemów Sterowania Podsta Automatyki Transmitancja operatorowa i widmowa systemu, znajdowanie odpowiedzi w dziedzinie s i w
Nieskończona jednowymiarowa studnia potencjału
Nieskończona jednowymiarowa studnia potencjału Zagadnienie dane jest następująco: znaleźć funkcje własne i wartości własne operatora energii dla cząstki umieszczonej w nieskończonej studni potencjału,
Wykład 9. Matematyka 3, semestr zimowy 2011/ listopada 2011
Wykład 9. Matematyka 3, semestr zimowy 2011/2012 4 listopada 2011 W trakcie poprzedniego wykładu zdefiniowaliśmy pojęcie k-kowektora na przestrzeni wektorowej. Wprowadziliśmy także iloczyn zewnętrzny wielokowektorów
Zadania egzaminacyjne
Rozdział 13 Zadania egzaminacyjne Egzamin z algebry liniowej AiR termin I 03022011 Zadanie 1 Wyznacz sumę rozwiązań równania: (8z + 1 i 2 2 7 iz 4 = 0 Zadanie 2 Niech u 0 = (1, 2, 1 Rozważmy odwzorowanie
Wykład 16. P 2 (x 2, y 2 ) P 1 (x 1, y 1 ) OX. Odległość tych punktów wyraża się wzorem: P 1 P 2 = (x 1 x 2 ) 2 + (y 1 y 2 ) 2
Wykład 16 Geometria analityczna Przegląd wiadomości z geometrii analitycznej na płaszczyźnie rtokartezjański układ współrzędnych powstaje przez ustalenie punktu początkowego zwanego początkiem układu współrzędnych
Laboratorium Podstaw Robotyki ĆWICZENIE 4
Laboratorium Podstaw Robotyki Politechnika Poznańska Katedra Sterowania i Inżynierii Systemów ĆWICZENIE 4 System sterowania robotem mobilnym MTracker Celem ćwiczenia jest poznanie sposobów sterowania nieholonomicznym,
Geometria Lista 0 Zadanie 1
Geometria Lista 0 Zadanie 1. Wyznaczyć wzór na pole równoległoboku rozpiętego na wektorach u, v: (a) nie odwołując się do współrzędnych tych wektorów; (b) odwołując się do współrzędnych względem odpowiednio
Hybrydowy stabilizator odporny dla robota mobilnego o kinematyce (2,0)
Hybrydowy stabilizator odporny dla robota mobilnego o kinematyce (2,) Maciej Michałek 1, Dariusz Pazderski 1 Streszczenie Artykuł przedstawia propozycję nowego algorytmu stabilizacji dla robota mobilnego
KARTA OPISU MODUŁU KSZTAŁCENIA
Nazwa modułu: Kierunek studiów KARTA OPISU MODUŁU KSZTAŁCENIA Sterowanie robotów mobilnych Profil kształcenia (ogólnoakademicki, praktyczny) Kod Rok / Semestr Automatyka i Robotyka ogólnoakademicki 1 /
Optymalizacja ciągła
Optymalizacja ciągła 4. Metody kierunków poprawy (metoda spadku wzdłuż gradientu) Wojciech Kotłowski Instytut Informatyki PP http://www.cs.put.poznan.pl/wkotlowski/ 21.03.2019 1 / 41 Plan wykładu Minimalizacja
Wykład z modelowania matematycznego.
Załóżmy, że równanie różniczkowe x (t) = f (t, x) (1) ma rozwiązanie ogólne x(t) = ϕ(t, c). (2) Załóżmy, że równanie różniczkowe x (t) = f (t, x) (1) ma rozwiązanie ogólne x(t) = ϕ(t, c). (2) Rodzina funkcji
Z52: Algebra liniowa Zagadnienie: Zastosowania algebry liniowej Zadanie: Operatory różniczkowania, zagadnienie brzegowe.
Z5: Algebra liniowa Zagadnienie: Zastosowania algebry liniowej Zadanie: Operatory różniczkowania zagadnienie brzegowe Dyskretne operatory różniczkowania Numeryczne obliczanie pochodnych oraz rozwiązywanie
3. Macierze i Układy Równań Liniowych
3. Macierze i Układy Równań Liniowych Rozważamy równanie macierzowe z końcówki ostatniego wykładu ( ) 3 1 X = 4 1 ( ) 2 5 Podstawiając X = ( ) x y i wymnażając, otrzymujemy układ 2 równań liniowych 3x
1.1 Przegląd wybranych równań i modeli fizycznych. , u x1 x 2
Temat 1 Pojęcia podstawowe 1.1 Przegląd wybranych równań i modeli fizycznych Równaniem różniczkowym cząstkowym rzędu drugiego o n zmiennych niezależnych nazywamy równanie postaci gdzie u = u (x 1, x,...,
Lista. Przestrzenie liniowe. Zadanie 1 Sprawdź, czy (V, +, ) jest przestrzenią liniową nadr :
Lista Przestrzenie liniowe Zadanie 1 Sprawdź, czy (V, +, ) jest przestrzenią liniową nadr : V = R[X], zbiór wielomianów jednej zmiennej o współczynnikach rzeczywistych, wraz ze standardowym dodawaniem
Przestrzenie liniowe
Rozdział 4 Przestrzenie liniowe 4.1. Działania zewnętrzne Niech X oraz F będą dwoma zbiorami niepustymi. Dowolną funkcję D : F X X nazywamy działaniem zewnętrznym w zbiorze X nad zbiorem F. Przykład 4.1.
Elementy rachunku różniczkowego i całkowego
Elementy rachunku różniczkowego i całkowego W paragrafie tym podane zostaną elementarne wiadomości na temat rachunku różniczkowego i całkowego oraz przykłady jego zastosowania w fizyce. Małymi literami
ALGEBRA Z GEOMETRIĄ BAZY PRZESTRZENI WEKTOROWYCH
ALGEBRA Z GEOMETRIĄ 1/10 BAZY PRZESTRZENI WEKTOROWYCH Piotr M. Hajac Uniwersytet Warszawski Wykład 11, 18.12.2013 Typeset by Jakub Szczepanik. Istnienie bazy Tak jak wśród wszystkich pierścieni wyróżniamy
Wstęp do równań różniczkowych
Wstęp do równań różniczkowych Wykład 1 Lech Sławik Instytut Matematyki PK Literatura 1. Arnold W.I., Równania różniczkowe zwyczajne, PWN, Warszawa, 1975. 2. Matwiejew N.M., Metody całkowania równań różniczkowych
Wykład 14. Elementy algebry macierzy
Wykład 14 Elementy algebry macierzy dr Mariusz Grządziel 26 stycznia 2009 Układ równań z dwoma niewiadomymi Rozważmy układ równań z dwoma niewiadomymi: a 11 x + a 12 y = h 1 a 21 x + a 22 y = h 2 a 11,
R n jako przestrzeń afiniczna
R n jako przestrzeń afiniczna Mirosław Sobolewski Wydział Matematyki, Informatyki i Mechaniki UW 11. wykład z algebry liniowej Warszawa, grudzień 2014 Mirosław Sobolewski (UW) Warszawa, grudzień 2014 1
Formy kwadratowe. Rozdział 10
Rozdział 10 Formy kwadratowe Rozważmy rzeczywistą macierz symetryczną A R n n Definicja 101 Funkcję h : R n R postaci h (x) = x T Ax (101) nazywamy formą kwadratową Macierz symetryczną A występującą w
Programowanie liniowe
Programowanie liniowe Maciej Drwal maciej.drwal@pwr.wroc.pl 1 Problem programowania liniowego min x c T x (1) Ax b, (2) x 0. (3) gdzie A R m n, c R n, b R m. Oznaczmy przez x rozwiązanie optymalne, tzn.
Teoria. a, jeśli a < 0.
Teoria Definicja 1 Wartością bezwzględną liczby a R nazywamy liczbę a określoną wzorem a, jeśli a 0, a = a, jeśli a < 0 Zgodnie z powyższym określeniem liczba a jest równa odległości liczby a od liczby
Podstawy robotyki wykład V. Jakobian manipulatora. Osobliwości
Podstawy robotyki Wykład V Jakobian manipulatora i osobliwości Robert Muszyński Janusz Jakubiak Instytut Informatyki, Automatyki i Robotyki Politechnika Wrocławska Metoda bezpośrednia uzyskania macierzy
Równania liniowe. Rozdział Przekształcenia liniowe. Niech X oraz Y będą dwiema niepustymi przestrzeniami wektorowymi nad ciałem
Rozdział 6 Równania liniowe 6 Przekształcenia liniowe Niech X oraz Y będą dwiema niepustymi przestrzeniami wektorowymi nad ciałem F Definicja 6 Funkcję f : X Y spełniającą warunki: a) dla dowolnych x,
1 Rozwiązywanie układów równań. Wyznaczniki. 2 Wektory kilka faktów użytkowych
Rozwiązywanie układów równań. Wyznaczniki. 2 Wektory kilka faktów użytkowych 2. Wektory. 2.. Wektor jako n ka liczb W fizyce mamy do czynienia z pojęciami lub obiektami o różnym charakterze. Są np. wielkości,
Strategia śledzenia trajektorii z unikaniem kolizji dla robota mobilnego klasy (2,0)
Strategia śledzenia trajektorii z unikaniem kolizji dla robota mobilnego klasy (2,) Maciej Michałek 1, Wojciech Kowalczyk 1, Krzysztof Kozłowski 1 Streszczenie Artykuł przedstawia koncepcję sterowania
Wektor, prosta, płaszczyzna; liniowa niezależność, rząd macierzy
Wektor, prosta, płaszczyzna; liniowa niezależność, rząd macierzy Justyna Winnicka Na podstawie podręcznika Matematyka. e-book M. Dędys, S. Dorosiewicza, M. Ekes, J. Kłopotowskiego. rok akademicki 217/218
13 Układy równań liniowych
13 Układy równań liniowych Definicja 13.1 Niech m, n N. Układem równań liniowych nad ciałem F m równaniach i n niewiadomych x 1, x 2,..., x n nazywamy koniunkcję równań postaci a 11 x 1 + a 12 x 2 +...
Metody Lagrange a i Hamiltona w Mechanice
Metody Lagrange a i Hamiltona w Mechanice Mariusz Przybycień Wydział Fizyki i Informatyki Stosowanej Akademia Górniczo-Hutnicza Wykład 9 M. Przybycień (WFiIS AGH) Metody Lagrange a i Hamiltona... Wykład
Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne.
Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne. Funkcja homograficzna. Definicja. Funkcja homograficzna jest to funkcja określona wzorem f() = a + b c + d, () gdzie współczynniki
Ćwiczenia nr 7. TEMATYKA: Krzywe Bézier a
TEMATYKA: Krzywe Bézier a Ćwiczenia nr 7 DEFINICJE: Interpolacja: przybliżanie funkcji za pomocą innej funkcji, zwykle wielomianu, tak aby były sobie równe w zadanych punktach. Poniżej przykład interpolacji
Układy równań liniowych
Układy równań liniowych ozważmy układ n równań liniowych o współczynnikach a ij z n niewiadomymi i : a + a +... + an n d a a an d a + a +... + a n n d a a a n d an + an +... + ann n d n an an a nn n d
Geometria analityczna
Geometria analityczna Paweł Mleczko Teoria Informacja (o prostej). postać ogólna prostej: Ax + By + C = 0, A + B 0, postać kanoniczna (kierunkowa) prostej: y = ax + b. Współczynnik a nazywamy współczynnikiem
Modele i narzędzia optymalizacji w systemach informatycznych zarządzania
Politechnika Poznańska Modele i narzędzia optymalizacji w systemach informatycznych zarządzania Joanna Józefowska POZNAŃ 2010/11 Spis treści Rozdział 1. Metoda programowania dynamicznego........... 5
Macierze. Rozdział Działania na macierzach
Rozdział 5 Macierze Funkcję, która każdej parze liczb naturalnych (i, j) (i 1,..., n; j 1,..., m) przyporządkowuje dokładnie jedną liczbę a ij F, gdzie F R lub F C, nazywamy macierzą (rzeczywistą, gdy
Tydzień nr 9-10 (16 maja - 29 maja), Równania różniczkowe, wartości własne, funkcja wykładnicza od operatora - Matematyka II 2010/2011L
Tydzień nr 9-10 (16 maja - 29 maja) Równania różniczkowe wartości własne funkcja wykładnicza od operatora - Matematyka II 2010/2011L Wszelkie pytania oraz uwagi o błędach proszę kierować na przemek.majewski@gmail.com
Instytut Politechniczny Państwowa Wyższa Szkoła Zawodowa. Diagnostyka i niezawodność robotów
Instytut Politechniczny Państwowa Wyższa Szkoła Zawodowa Diagnostyka i niezawodność robotów Laboratorium nr 6 Model matematyczny elementu naprawialnego Prowadzący: mgr inż. Marcel Luzar Cele ćwiczenia: