liniowych uk ladów sterowania
|
|
- Władysław Kurek
- 6 lat temu
- Przeglądów:
Transkrypt
1 Sterowalność i obserwowalność liniowych uk ladów sterowania W zadaniach sterowania docelowego należy przeprowadzić obiekt opisywany za pomoc a równania stanu z zadanego stanu pocz atkowego ẋ(t) = f(x(t), u(t), t), t [t 0, t 1 ] do zadanego stanu końcowego x(t 0 ) = x 0 x(t 1 ) = x 1 W zwi azku z takim zadaniem nasuwa siȩ pytanie czy dla danego obiektu istnieje sterowanie, które przeprowadzi obiekt z dowolnego stanu pocz atkowego do dowolnego stanu końcowego w zadanym czasie lub w dowolnym lecz skończonym czasie? W szczególności w zadaniach liniowego sterowania docelowego należy przeprowadzić obiekt opisywany za pomoc a liniowego stacjonarnego równania stanu z zadanego stanu pocz atkowego ẋ(t) = Ax(t) + Bu(t), t [t 0, t 1 ] do zadanego stanu końcowego x(t 0 ) = x 0 x(t 1 ) = x 1 W zwi azku z zadaniami liniowego sterowania docelowego nasuwa siȩ pytanie jakie warunki musz a spe lniać macierze A i B aby istnia lo sterowanie, które przeprowadzi obiekt z dowolnego stanu pocz atkowego do dowolnego stanu końcowego w zadanym czasie lub w dowolnym lecz skończonym czasie? 1
2 Definicja sterowalności uk ladu sterowania z czasem ci ag lym: Ci ag ly uk lad sterowania nazywa siȩ uk ladem sterowalnym, jeżeli stosuj ac ograniczone przedzia lami ci ag le sterowanie można go przeprowadzić w skończonym czasie t 1 z dowolnego stanu pocz atkowego x 0 do zadanego stanu końcowego x 1 Przyjmuj ac x 1 = 0 mówimy, że uk lad jest ca lkowicie sterowalny sterowalny do zera Za lożenie zerowego stanu końcowego moṅa zawsze spe lnić dokonuj ac odpowiedniej liniowej transformacji wspó lrzȩdnych stanu Nastȩpuj ace twierdzenie określa warunki jakie musz a spe lniać macierze A i B, aby liniowy stacjonarny uk lad sterowania z czasem ci ag lym by l sterowalny Twierdzenie: Liniowy stacjonarny uk lad sterowania z czasem ci ag lym jest sterowalny wtedy i tylko wtedy, gdy jego macierz sterowalności S = [B AB A 2 B A n 1 B] zawiera n liniowo niezależnych kolumn Warunek ten można sformu lować w równoważnej postaci: rz ad macierzy sterowalności jest równy wymiarowi przestrzeni stanu tj rz(s) = n Dowód: Rozwi azanie liniowego stacjonarnego uk ladu sterowania ẋ(t) = Ax(t) + Bu(t), x(0) = x 0 ma postać x(t) = e At( x 0 + t 0 e A t Bu( t)d t ) Sterowalność do zera oznacza, że dla pewnego t 1 zachodzi równość 0 = e At 1 ( x 0 + Warunek ten bȩdzie spe lniony, jeśli 0 e A t Bu( t)d t ) = x 0 = = 0 0 e A t Bu( t)d t A i ( t) i Bu( t)d t i! i=0 A i Bu i, u i = i=1 0 ( t) i u( t)d t i! Korzystamy z tw Cayleya-Hamiltona: każda macierz kwadratowa A n n spe lnia swoje równanie charakterystyczne det(si A) = a n s n + a n 1 s n a 1 s + a 0 = 0 2
3 a n A n + a n 1 A n a 1 A + a 0 I = 0 Ponieważ n 1 n A n+1 = AA n = A ã i A i = ã i A i i=1 i=1 wiȩc macierze A k, k n mog a być przedstawione w postaci kombinacji liniowych macierzy A 0, A 1,, A n 1 Oznacza to, że dla pewnych kombinacji liniowych ū i wspó lczynników u i zachodzi równość n 1 x 0 = A i Bū i czyli x 0 = Bū 0 + ABū 1 + A 2 Bū A n 1 Bū n 1 i=0 lub ( ) x 0 = B AB A 2 B A n 1 B ū 0 ū 1 ū 2 ū n 1 Jeśli macierz sterowalności S zawiera n liniowo niezależnych kolumn, to na tych kolumnach można rozpi ać n-wymiarow a przestrzeń za pomoc a sterowań ū i Uk lad sterowania z wieloma sterowaniami nazywamy regularnie sterowalnym, jeżeli jest on sterowalny ze wzglȩdu na każde wejście oddzielnie Liniowy stacjonarny uk lad sterowania jest sterowalny regularnie jeżeli macierze sterowalności ze wzglȩdu na każde wejście s a rzȩdu n tj rz(s j ) = n, gdzie S j = (B j AB j A 2 B j A n 1 B j ), j = 1,, n Warunek dostateczny niesterowalności uk ladu sterowania: Liniowy stacjonarny uk lad sterowania opisywany równaniami stanu ( ) ( ) A 11 A 12 B 1 ẋ(t) = x(t) + u(t) O A 22 O 3
4 Dowód: Ponieważ ( ) ( ) A k = A k 11 A k, k = 1, 2, ; A k A k B = 11B 1 O A k 22 O, k = 1, 2,, to S = (B AB A 2 B A n 1 B) = ( ) B 1 A 11 B 1 A 2 11B 1 A11 n 1 B 1, O O O O a wiȩc rz(s) < n Twierdzenie: Jeżeli liniowy stacjonarny uk lad sterowania jest sterowalny, to sterowanie ẋ(t) = Ax(t) + Bu(t), t [t 0, t 1 ], x(t 0 ) = x 0 u(t) = B T e AT (t t 0 ) R 1 x 0 ( ) przeprowadza uk lad ze stanu pocz atkowego x(t 0 ) = x 0 do stanu końcowego x(t 1 ) = 0 w skończonym czasie t 1 t 0, przy czym R jest macierz a nieosobliw a określon a jak nastȩpuje St ad i R = t 0 e A(t 0 t) BB T e AT (t 0 t) d t Dowód: W chwili t 1 powinna być spe lniona zależność x(t 1 ) = 0 = e A(t 1 t 0 ) x = x 0 + t 0 t 0 e A(t 1 t )Bu( t)d t / e A(t 1 t 0 ) e A(t 0 t Bu( t)d t x 0 = e A(t0 t Bu( t)d t t 0 Podstawiaj ac sterowanie ( ) uzyskujemy tj x 0 = x 0 = t 0 t 0 e A(t 0 t) B( B T e AT (t t 0 ) R 1 x 0 )d t e A(t 0 t BB T e AT (t t 0 ) R 1 x 0 d t 4
5 sk ad wynika tożsamość x 0 = RR 1 x 0 Uzyskana tożsamość potwierdza tezȩ twierdzenia Jednak należy jeszcze wykazać, że istnieje odwrotność mzcierzy R Za lóżmy, że uk lad jest sterowalny i że macierz e At B ma liniowo zależne wiersze tj v T e At B = 0, t [t 0, t 1 ], v R n Różniczkuj ac (n 1)-krotnie powyższ a zależność wzglȩdem czasu otrzymujemy równość Oznacza to, że rz ad macierzy v T e At [B AB A 2 B A n 1 B] = 0 e At [B AB A 2 B A n 1 B jest mniejszy od n Ponieważ rz(e At ) = n, wiȩc rz(s) < n, a to jest sprzeczne z za lożeniem o sterowalności uk ladu Tak wiȩc dla uk ladów sterowalnych wiersze macierzy e At B s a liniowo niezależne tj Niech w(t) = B T e AT (t 0 t) v Wtedy v T e At B 0, t [t 0, t 1 ] t 0 w T (t)w(t)dt = v T e A(t0 t) BB T e AT (t 0 t) d tv = v T Rv > 0 t 0 Macierz R jest symetryczna i dodatnio określona W teorii macierzy dowodzi siȩ, że taka macierz jest zawsze nieosobliwa Za lóżmy, że wartość w lasna s i macierzy R jest zespolona Wtedy RP i = s i P i P T i RP i = s i P T i P i ( ) i RP i = s i P i R P i = s i Pi P i T T R = s i P i P T i RP i = s i P T i P i Odejmuj ac stronami wyrażenia (*) i (**) uzyskujemy (s i s i ) P i 2 = 0 5 ( )
6 Ponieważ P i jest wektorem niezerowym, to musi być s i = s i tj wartości w lasne macierzy symetrycznej s a rzeczywiste Niech s i, s j bȩd a różnymi wartościami w lasnymi macierzy R, a P i, P j niech bȩd a wektorami w lasnymi zwi azanymi z tymi wartościami w lasnymi Oznacza to, że RP i = s i P i Pi T R = s i Pi T i P T i RP j = s i P T i P j ( ) RP j = s j P j P T i RP j = s j P T i P j Odejmuj ac stronami (*) i (**) uzyskujemy ( ) czyli (s i s j )P T i P j = 0 P T i P j = 0, gdyż s i s j z za lożenia Oznacza to, że wektory w lasne macierzy R s a ortogonalne Wektory te określone s a z dok ladności a do sta lej - moṅa je wiȩc wybrać tak, aby P T i P i = 1 Wtedy P T P = I P 1 = P T Podstawmy w formie kwadratowej v T Rv wektor v jako v = P w Mamy wiȩc w T P T RP w = w T P 1 RP w = w T diag 1 i n (s 1,, s n )w = n i=1 s iwi 2 Wartości s i musz a być dodatnie, gdyż badana forma kwadratowa jest dodatnio określona St ad a wiȩc R 1 istnieje P 1 RP = S R = P SP 1 R 1 P S 1 P 1 R 1 = P diag(s 1 1, s 1 2,, s 1 n )P 1, Definicja: Uk lad sterowania nazywa siȩ sterowalnym ze wzglȩdu na wyjście uk ladu, jeżeli dla dowolnego stanu pocz atkowego w chwili t 0 istnieje chwila t 1 > t 0 i ograniczone, przedzia lami ci ag le sterowanie określone w przedziale [t 0, t 1 ] i takie, że wyjście uk ladu przyjmuje w chwili t 1 dowoln a zadan a wartość y t1 6
7 Warunek sterowalności ze wzglȩdu na wyjście uk ladu dla liniowych stacjonarnych uk ladów sterowania przybiera postać rz(s) = p,gdzie S = (CB CAB CA 2 B CA n 1 B), a p jest wymiarem przestrzeni wyjść uk ladu (liczb a wyjść uk ladu Sterowanie docelowe ze wzglȩdu na wyjście dla uk ladu sterowania ẋ(t) = Ax(t) + Bu(t), x(t 0 ) = x 0, y(t) = Cx(t) jest postaci u(t) = B T e AT (t 1 t) C T R 1 Ce A(t 1 t 0 ) x 0 y(t 1 )), gdzie R = t 0 Ce A(t 0 t) BB T e AT (t 0 t) C T d t Definicja obserwowalności uk ladu sterowania: Uk lad sterowania nazywa siȩ obserwowalnym, jeżeli istnieje taka skończona chwila t 1, że na podstawie znajomości sterowania u i wyjścia y w przedziale [t 0, t 1 ] można jednoznacznie wyznaczyć stan pocz atkowy w chwili t 0 Twierdzenie: Liniowy stacjonarny uk lad sterowania opisywany równaniami stanu i wyjścia ẋ(t) = Ax(t) + Bu(t), x(t 0 ) = x 0, y(t) = Cx(t) jest obserwowalny wtedy i tylko wtedy, gdy jego macierz obserwowalności C CA CA 2 Q = CA n 1 jest rzȩdu n tj rz(q) = n Dowód: Zak ladaj ac sterowanie zerowe uzyskujemy y(t) = Ce A(t t0) x(t 0 ) 7
8 Wyznaczamy pochodne wyjścia y (t) w przedziale [t 0, t 1 ] y j (t) = CA j e A(t t0) x 0, j = 0, 1, 2,, n 1 Ponieważ macierz e A(t t0) jest nieosobliwa, wiȩc stan x 0 można jednoznacznie wyznaczyć z ostatniego uk ladu równań wtedy i tylko wtedy, gdy rz(q) = n Sterowalność liniowych stacjonarnych uk ladów sterowania z czasem dyskretnym Definicja sterowalności uk ladów sterowania z czasem dyskretnym: Dyskretny uk lad sterowania nazywa siȩ uk ladem sterowalnym, jeżeli stosuj ac ograniczone sterowanie dyskretne można go przeprowadzić w skończonym czasie k 1 z dowolnego stanu pocz atkowego x 0 do zadanego stanu końcowego x 1 Przyjmuj ac x 1 = 0 mówimy, że uk lad dyskretny jest sterowalny do zera Rozważmy liniowy stacjonarny uk lad sterowania z czasem dyskretnym opisywany równaniami stanu x(k + 1) = Ax(k) + Bu(k), k = 0, 1, ; x(0) = x 0 Twierdzenie: Liniowy stacjonarny uk lad sterowania z czasem dyskretnym jest sterowalny wtedy, gdy jego macierz sterowalności S = [B AB A 2 B A n 1 B] zawiera n liniowo niezależnych kolumn Warunek ten można sformu lować w równoważnej postaci: rz ad macierzy sterowalności jest równy wymiarowi przestrzeni stanu tj rz(s) = n Dowód: Rozwi azanie liniowego stacjonarnego uk ladu ma postać k 1 x(k) = A k x 0 + A k j 1 Bu(j) j=0 W chwili k 1 mamy osi agn ać stan zerowy tj 0 = A k 1 x 0 + k 1 1 j=0 A k 1 j 1 Bu(j) 8
9 Przyjmuj ac k 1 = n uzyskujemy czyli n 1 A n x 0 = A n j 1 Bu(j) j=0 u(n 1) u(n 2) u(n 3) A n x 0 = [B AB A 2 B A n 1 B] u(0) Jeśli macierz sterowalności S o wymiarach n mn posiada nieosobliw a podmacierz S 0 o wmiarach n n, to dowolny wektor lewej strony ostatniej równości można wygenerować mnoż ac macierz S 0 przez podwektor zmiennych steruj acych zwi azanych z kolumnami tej macierzy Oznaczmy ten podwektor jako n u Dyskretne sterowanie docelowe dla uk ladu liniowego stacjonarnego wyrazi siȩ wzorem n u = S 1 0 A n x 0 Wynika st ad, że warunkiem wystarczaj acym sterowalności uk ladu dyskretnego jest warunek rz(s) = n Należy podkreślić, że, w odróżnieniu od uk ladów z czasem ci ag lym, warunek rzȩdu macierzy S nie jest warunkiem koniecznym sterowalności uk ladu dyskretnego Nie obowi azuje on np w przypadku tzw nilpotentnej macierzy stanu Jest to niezerowa macierz A taka, że A n = 0 Wtedy uk lad sprowadza do zera dowolny stan pocz atkowy przy sterowaniu zerowym nawet jeśli warunek rzȩdu macierzy S nie jest spe lniony Można powiedzieć, że taki uk lad dyskretny sam sprowadza siȩ do zera Przyk lad: Dyskretny uk lad sterowania ( ) ( ) 0 a 0 x(k + 1) = x(k) + u(k), k = 0, 1, 2, ; x(0) = x sam sprowadza siȩ do zera, gdyż jego macierz stanu jest nilpotentna dla dowolnej wartości parametru a ( ) ( ) ( ) A 2 0 a 0 a 0 0 = =
10 Obserwowalność liniowych stacjonarnych uk ladów sterowania z czasem dyskretnym Definicja obserwowalności uk ladów sterowania z czasem dyskretnym: Dyskretny uk lad sterowania nazywa siȩ uk ladem obserwowalnym, jeżeli istnieje liczba kroków czasu dyskretnego k 1 taka, że na podstawie znajomości ci agu sterowań u(0), u(1),, u(k 1 1) i ci agu wyjść y(0), y(1),, y(k 1 1) można wyznaczyć jednoznacznie każdy stan pocz atkowy x 0 tego uk ladu Rozważmy liniowy stacjonarny uk lad sterowania z czasem dyskretnym opisywany równaniami stanu x(k + 1) = Ax(k) + Bu(k), k = 0, 1, ; x(0) = x 0 i równaniami wyjścia y(k) = Cx(k), k = 0, 1, Twierdzenie: Liniowy stacjonarny uk lad sterowania z czasem dyskretnym jest obserwowalny wtedy i tylko wtedy, gdy jego macierz obserwowalności C CA CA 2 Q = CA n 1 zawiera n liniowo niezależnych wierszy czyli jest rzȩdu n tj rz(q) = n Dowód: Rozwi azanie dla wyjścia liniowego stacjonarnego uk ladu ma postać k 1 y(k) = CA k x 0 + C A k j 1 Bu(j) Przyjmuj ac sterowanie zerowe u(j) = 0, j = 0, 1,, n 1 uzyskujemy y(k) = CA k x 0, k = 0, 1, 2,, n 1 j=0 10
11 czyli y(0) y(1) y(2) = y(n 1) C CA CA 2 x 0 CA n 1 Jeśli macierz obserwowalności Q o wymiarach pn n posiada nieosobliw a podmacierz Q 0 o wymiarach n n, to każdy stan x 0 można wyznaczyć z zależności x 0 = Q 1 n y, gdzie y n jest podwektorem wspó lrzȩdnych wyjściowych zwi azanych 0 z wierszami mzcierzy Q 0 Istnienie nieosobliwej macierzy Q 0 jest równoważne z warunkiem rz(q) = n Rozk lad kanoniczny Kalmana uk ladów sterowania Sprowadzanie liniowych stacjonarnych uk ladów sterowania do postaci kanonicznej Pojedyncze wartości w lasne macierzy stanu Za lóżmy, że macierz stanu A posiada pojedyncze wartości w lasne s 1, s 2,, s n Stosuj ac znana z algebry liniowej przekszta lcenie diagonalizuj ace P można sprowadzić macierz stanu do postaci diagonalnej à = P 1 AP, à = diag 1 i n (s 1, s 2,, s n ) Przekszta lcenie P jest macierz a z lożon a z wektorów w lasnych macierzy A tj z rozwi azań równań liniowych AP i = s i P i, i = 1,, n ( ) Z każd a wartości a w lasn a s i zwi azany jest wektor w lasny P i określony z dok ladności a do sta lego mnożnika - jeśli P i jest wektorem w lasnym macierzy A, to αp i jest również wektorem w lasnym tej macierzy Ponieważ każde równanie macierzowe (*) sk lada siȩ z n skalarnych równań liniowo zależnych, to ustalamy wartość jednej wspó lrzȩdnej wektora P i, a pozosta le wspó lrzȩdne tego wektora 11
12 wyznaczamy ze zredukowanego uk ladu n 1 równań Diagonalizacja wynika z zależności A(P 1 P 2 P n ) = (P 1 P 2 P n )diag 1 i n (s 1, s 2,, s n ) (P 1 P 2 P n ) 1 A(P 1 P 2 P n ) = diag 1 i n (s 1, s 2,, s n ) P 1 AP = diag 1 i n (s 1, s 2,, s n ) mamy Przyk lad: Dla macierzy A = ( ) det(si A) = 0 s 2 + 6s + 8 = 0 s 1 = 4, s 2 = 2 Wyznaczamy wektory w lasne macierzy z równań ( ) ( ) ( 3 1 P1 1 = oraz ( ) ( P 2 1 P 1 2 P 2 2 ) = 2 W pierwszym równaniu zak ladamy P 1 1 = 1 i uzyskujemy P 2 1 = = 1 W drugim równaniu zak ladamy P2 1 = 1 i uzyskujemy P2 2 = = 1 St ad ( ) ( ) ( ) 1 1 P =, P =, Ã = P AP = 0 2 ( P 1 1 P 2 1 P 1 2 P 2 2 ) ) Za wektor w lasny P i macierzy A można przyj ać dowoln a niezerow a kolumnȩ macierzy do l aczonej (s i I A) ad Z definicji macierzy odwrotnej wynika, że (si A)(sI A) ad = I det(si A) Ponieważ det(s i I A) = 0, wiȩc (s i I A)(s i I A) ad = 0 n n (s i I A)col(s i I A) ad = 0 n 1 12
13 Oznacza to, że dowolna niezerowa kolumna macierzy (si A) ad jest wektorem w lasnym macierzy A odpowiadaj acym i-tej wartości w lasnej tej macierzy Aby określić macierz diagonalizuj a a tworzymy macierze (s 1 I A) ad, (s 2 I A) ad,, (s n I A) ad i wybieramy z każdej z nich niezerow a kolumnȩ Z tych kolumn zestawiamy macierz P Dla rozważanego przyk ladu mamy ( ) ( ) ( ) (s 1 I A) ad =, (s 2 I A) ad =, P = Dla celów diagonalizacji uk ladu sterowania wprowadzamy nowe zmienne stanu x(t) = P x(t) i przekszta lcamy opis liniowego stacjonarnego uk ladu sterowania ẋ(t) = Ax(t) + Bu(t), y(t) = Cx(t) + Du(t) P x(t) = AP x(t) + Bu(t), y(t) = Cx(t) + Du(t) x(t) = à x(t) + Bu(t), y(t) = C x(t) + Du(t) x(t) = diag 1 i n (s 1, s 2,, s n ) x(t) + Bu(t), y(t) = C x(t) + Du(t), gdzie à = P 1 AP, B = P 1 B, C = CP Zdiagonalizowany opis uk ladu sterowania jest równoważny z nastȩpuj acym uk ladem równań skalarnych m x i (t) = s i x i (t) + bij u j (t), i = 1,, n, j=1 y p (t) = c pi x i (t), p = 1,, q 1 i n Z ostatniego uk ladu równań wynika nastȩpuj acy alternatywny warunek sterowalności i obserwowalności: Twierdzenie: Liniowy stacjonarny uk lad sterowania, którego macierz stanu ma pojedyncze wartości w lasne, jest sterowalny wtedy i tylko wtedy, gdy wszystkie wiersze macierzy B s a niezerowe Uk lad ten jest obserwowalny wtedy i tylko wtedy, gdy wszystkie kolumny macierzy C s a niezerowe 13
14 Dowód: 1 Sterowalność Jeśli i-ty wiersz macierzy B jest zerowy, to równanie stanu i-tej wspó lrzȩdnej staje siȩ równaniem autonomicznym, na które nie oddzia lywuje sterowanie x i (t) = s i x i (t), x i (0) = x i0, t 0 Nie mamy wiȩc żadnego wp lywu na ewolucjȩ i-tej wspó lrzȩdnej stanu uk ladu kanonicznego Oznacza to, że brak wierszy zerowych w macierzy B jest warunkiem koniecznym sterowalności uk ladu kanonicznego Warunek wystarczaj acy wynika z nastȩpuj aej reprezentacji macierzy sterowalności S Niech B i bȩdzie i-tym wierszem macierzy B Zapiszmy macierz S w postaci B 1 B 2 B 3 B =, B n 1 a macierz sterowalności S w postaci S = ( B Ã B ; Ãn 1 B) = B B2 0 = 0 0 Bn 1 B 1 s 1 B1 s1 n 1 B 2 s 2 B2 s1 n 1 B n 1 s n Bn 1 s n 1 n I m s 1 I m s n 1 I m s 2 I m s n 1 1 I m 1 I m I m s n I m sn n 1 I m B 1 B 2 B n 1, 14
15 gdzie I m jest m-wymiarow a macierz a jednostkow a Macierz I m s 1 I m s1 n 1 I m I m s 2 I m s n 1 1 I m, I m s n I m sn n 1 I m jest nieosobliwa jako uogólniona macierz Vandermonde a Ponieważ mnożenie macierzy przez kwadratow a macierz nieosobliw a nie zmienia rzȩdu danej macierzy, wiȩc o rzȩdzie macierzy S decyduje rz ad macierzy diag 1 i n ( B i ) Macierz ta jest rzȩdu n wtedy i tylko wtedy, gdy wszystkie jej wiersze s a niezerowe 2 Obserwowalność Jeśli i-ta kolumna macierzy C jest zerowa, to i-ta wspó lrzȩdna stanu nie jest powi azana z żadn a wspó lrzȩdn a wyjściow a uk ladu y p (t) = c p1 x 1 (t) x i (t) + + c pn x n (t), p = 1,, q Konieczność warunku niezerowania siȩ kolumn macierzy C dla zapewnienia obserwowalności uk ladu jest wiȩc oczywista Warunek wystarczaj acy wynika z nastȩpuj aej reprezentacji macierzy obserwowalności Q Niech Ci bȩdzie i-t a kolumn a macierzy C Zapiszmy macierz C w postaci C = ( C 1 C2 C n ), a macierz obserwowalności Q w postaci C C 1 C2 Cn CÃ s 1 C1 s 2 C2 s n Cn Q = = CÃn 1 s1 n 1 C 1 s2 n 1 C 2 s n 1 n C n I m s 1 I m s n 1 T 1 I m C I m s 2 I m s1 n 1 I m 0 C2 0 = I m s n I m sn n 1 I m Cn 1
16 gdzie I m jest m-wymiarow a macierz a jednostkow a Ponieważ mnożenie macierzy przez kwadratow a macierz nieosobliw a nie zmienia rzȩdu danej macierzy, wiȩc o rzȩdzie macierzy Q decyduje rz ad macierzy diag 1 i n ( C i ) Macierz ta jest rzȩdu n wtedy i tylko wtedy, gdy wszystkie jej kolumny s a niezerowe W niektórych sytuacjach proces sterowania opisywany jest za pomoc a równania różniczkowego n-tego rzȩdu x (n) (t) + a 1 x n 1 (t) + + a n 1 x (1) (t) + a n x(t) = bu(t), gdzie x(t) jest charakterystyczn a wielkości a dla dynamiki obiektu sterowania Przechodzimy do standardowego opisu za pomoc a wektora stanu wyróżniaj ac zmienne stanu i zmienne wyjściowe jak nastȩpuje: x 1 (t) = x(t), x 2 (t) = x (1) (t), x n (t) = x (n 1) (t), y(t) = x(t) Równania stanu i równania wyjścia przybior a postać ẋ(t) = a n a n 1 a x(t) +, y(t) = (1 0 0)x(t) 0 Moṅa wykazać, że jeśli wartości w lasne s 1,, s n macierzy stanu badanego uk ladu s a różne, to przekszta lcenie diagonalizuj ace ma postać s 1 s 2 s n P = s1 n 1 s2 n 1 sn n
17 Diagonalizacja opisu uk ladu sterowania umożliwia dokonanie rozk ladu kanonicznego Kalmana uk ladu na jego cztery charakterystyczne czȩści, a mianowicie na czȩść sterowaln a i obserwowaln a, czȩść sterowaln a i nieobserwowaln a, czȩść niesterowaln a i obserwowaln a, czȩść niesterowaln a i nieobserwowaln a Rozk lad kanoniczny Kalmana uk ladu sterowania Czȩść sterowalna i obserwowalna I Czȩść sterowalna i nieobserwowalna II Czȩść niesterowalna i obserwowalna III Czȩść niesterowalna i nieobserwowalna IV Do czȩści I zaliczamy wspó lrzȩdne stanu x i zwi azane zarówno z niezerowymi wierszami macierzy B jak i z niezerowymi kolumnami macierzy C Do czȩści II zaliczamy wspó lrzȩdne stanu x i zwi azane z niezerowymi wierszami macierzy B i z zerowymi kolumnami macierzy C Do czȩści III zaliczamy wspó lrzȩdne stanu x i zwi azane z zerowymi wierszami macierzy B i z niezerowymi kolumnami macierzy C Do czȩści IV zaliczamy wspó lrzȩdne stanu x i zwi azane zarówno z zerowymi wierszami macierzy B jak i z zerowymi kolumnami macierzy C Przyk lad: Uk lad sterowania opisywany jest równaniami stanu i wyjścia 17
18 ( ) ( ) ẋ(t) = x(t) + u(t), y(t) = ( ) 1 1 x(t) Mamy w tym przypadku ( ) ( ) ( ) 1 1 P =, P =, B 05 =, C = Rozk lad kanoniczny Kalmana badanego uk ladu ma postać ( ) 2 0 Czȩść sterowalna i obserwowalna I Czȩść sterowalna i nieobserwowalna II 18
19 Wielokrotne wartości w lasne macierzy stanu Jeśli macierz stanu posiada wielokrotne wartości w lasne, to można j a sprowadzić do postaci pseudodiagonalnej Jordana J J 2 0 J =, 0 0 J n gdzie J i jest blokiem Jordana zwi azanym z wartości a w lasn a s i krotności κ i, przy czym blok Jordana sk lada siȩ z klatek Jordana Ograniczymy siȩ do przypadku, gdy bloki Jordana sk ladaj a siȩ z pojedynczych klatek Jordana postaci s i s i J i = 0 0 s i s i s i Wyznaczanie przekszta lcenia diagonalizuj acego bazuje na równości AP = P J Kolumny i P κ κ = 1, 2,, κ i macierzy P zwi azane z i-t a klatk a Jordana obliczamy z uk ladu równań: A i P 1 = s i i P 1, A i P 2 = s i i P 2 + i P 1, A i P 3 = s i i P 3 + i P 2, A i P κi = s i i P κi + i P κi 1 Po sprowadzeniu uk ladu sterowania do postaci kanonicznej z klatkami Jordana możemy również dokonać rozk ladu kanonicznego Kalmana tego uk ladu Wyróżnimy w tym przypadku wiersze macierzy B zwi azane z dolnymi wierszami klatek Jordana i macierz z lożon a z tych wierszy oznaczymy przez B 19
20 Zmienne kanoniczne stanu zwi azane z wyższymi wierszami klatek s a sterowane przez zmienn a kanoniczn a stanu x i zwi azan a z dolnym wierszem Do czȩści I zaliczamy wspó lrzȩdne stanu x i zwi azane zarówno z niezerowymi wierszami macierzy B jak i z niezerowymi kolumnami macierzy C oraz pozosta le wspó lrzȩdne stanu danej klatki Jordana Do czȩści II zaliczamy wspó lrzȩdne stanu x i zwi azane z niezerowymi wierszami macierzy B i z zerowymi kolumnami macierzy C oraz pozosta le wspó lrzȩdne stanu danej klatki Jordana Do czȩści III zaliczamy wspó lrzȩdne stanu x i zwi azane z zerowymi wierszami macierzy B i z niezerowymi kolumnami macierzy C oraz pozosta le wspó lrzȩdne stanu danej klatki Jordana Do czȩści IV zaliczamy wspó lrzȩdne stanu x i zwi azane zarówno z zerowymi wierszami macierzy B jak i z zerowymi kolumnami macierzy C oraz pozosta le wspó lrzȩdne stanu danej klatki Jordana Przyk lad: Uk lad sterowania jest opiany równaniami ẋ(t) = x(t) + 0 u(t), y(t) = Wartości w lasne s a postaci det(si A) = 0 s 1 = 3, s 1 = 3, s 2 = 5 ( ) x(t) Jest wiȩc jedna wartość w lasna podwójna s 1 = 3, κ 1 = 2 Rozwi azanie równań daje w wyniku 1 1 P 1 = 1, 1 1 P 2 = A 1 P 1 = 3 1 P 1, A 1 P 2 = 3 1 P P 1, AP 3 = 5P , P 3 = 1, P =
21 Uk lad kanoniczny jest opisany równaniami x(t) = x(t) + 1 u(t), y(t) = ( 3 6 1) x(t) Rozk lad kanoniczny Kalmana badanego uk ladu ma postać Czȩść sterowalna i obserwowalna I Czȩść niesterowalna i obserwowalna III Postać kanoniczna liniowych stacjonarnych uk ladów sterowania z czasem dyskretnym Dla celów diagonalizacji uk ladu sterowania z czasem dyskretnym wprowadzamy nowe zmienne stanu x(k) = P x(k) i przekszta lcamy opis dyskretnego liniowego stacjonarnego uk ladu sterowania x(k + 1) = Ax(k) + Bu(k), y(k) = Cx(k) + Du(k) P x(k + 1) = AP x(k) + Bu(k), y(k) = CP x(t) + Du(t) x(k + 1) = à x(k) + Bu(k), y(k) = C x(k) + Du(k) x(k + 1) = diag 1 i n (z 1, z 2,, z n ) x(k) + Bu(k), y(k) = C x(k) + Du(k), gdzie à = P 1 AP, B = P 1 B, C = CP Zdiagonalizowany opis uk ladu sterowania jest równoważny z nastȩpuj acym uk ladem równań skalarnych m x i (k + 1) = z i x i (k) + bij u j (k), i = 1,, n, j=1 21
22 y p (k) = c pi x i (k), p = 1,, q 1 i n Z ostatniego uk ladu równań wynika nastȩpuj acy alternatywny warunek sterowalności i obserwowalności dyskretnych uk ladów sterowania: Twierdzenie: Dyskretny liniowy stacjonarny uk lad sterowania, którego macierz stanu ma pojedyncze wartości w lasne, jest sterowalny wtedy i tylko wtedy, gdy wszystkie wiersze macierzy B s a niezerowe Uk lad ten jest obserwowalny wtedy i tylko wtedy, gdy wszystkie kolumny macierzy C s a niezerowe Rozk lad kanoniczny Kalmana uk ladu sterowania Czȩść sterowalna i obserwowalna I Czȩść sterowalna i nieobserwowalna II Czȩść niesterowalna i obserwowalna III Czȩść niesterowalna i nieobserwowalna IV Do czȩści I zaliczamy wspó lrzȩdne stanu x i (k) zwi azane zarówno z niezerowymi wierszami macierzy B jak i z niezerowymi kolumnami macierzy C Do czȩści II zaliczamy wspó lrzȩdne stanu x i (k) zwi azane z niezerowymi wierszami macierzy B i z zerowymi kolumnami macierzy C Do czȩści III zaliczamy wspó lrzȩdne stanu x i (k) zwi azane z zerowymi wierszami macierzy B i z niezerowymi kolumnami macierzy C Do czȩści IV zaliczamy wspó lrzȩdne stanu x i (k) zwi azane zarówno z zerowymi wierszami macierzy B jak i z zerowymi kolumnami macierzy C 22
Sterowalność liniowych uk ladów sterowania
Sterowalność liniowych uk ladów sterowania W zadaniach sterowania docelowego należy przeprowadzić obiekt opisywany za pomoc a równania stanu z zadanego stanu pocz atkowego ẋ(t) = f(x(t), u(t), t), t [t,
Mnożniki funkcyjne Lagrange a i funkcje kary w sterowaniu optymalnym
Mnożniki funkcyjne Lagrange a i funkcje kary w sterowaniu optymalnym Sprowadzanie zadań sterowania optymalnego do zadań wariacyjnych metod a funkcji kary i mnożników Lagrange a - zadania sterowania optymalnego
Sterowanie optymalne dla uk ladów nieliniowych. Zasada maksimum Pontriagina.
Sterowanie optymalne dla uk ladów nieliniowych. Zasada maksimum Pontriagina. Podstawowy problem sterowania optymalnego dla uk ladów nieliniowych W podstawowym problemie sterowania optymalnego minimalizacji
Zagadnienie Dualne Zadania Programowania Liniowego. Seminarium Szkoleniowe Edyta Mrówka
Zagadnienie Dualne Zadania Programowania Liniowego Seminarium Szkoleniowe Edyta Mrówka Ogólne zagadnienie PL Znajdź taki wektor X = (x 1, x 2,..., x n ), który minimalizuje kombinacje liniow a przy ograniczeniach
Mnożniki funkcyjne Lagrange a i funkcje kary w sterowaniu optymalnym
Mnożniki funkcyjne Lagrange a i funkcje kary w sterowaniu optymalnym Sprowadzanie zadań sterowania optymalnego do zadań wariacyjnych metod a funkcji kary i mnożników Lagrange a - zadania sterowania optymalnego
Projektowanie uk ladów sterowania z wykorzystaniem ich postaci kanonicznych
Projektowanie uk ladów sterowania z wykorzystaniem ich postaci kanonicznych Niech bȩdzie dany uk lad sterowania taki, że nie wszystkie jego zmienne stanu s a bezpośrednio dostȩpne (mierzalne. Uk lad pozwalaj
Liniowe uk lady sterowania.
Liniowe uk lady sterowania Rozwi azywanie liniowych rownań stanu Uk lady z czasem ci ag lym Liniowe stacjonarne równania stanu Przyk lad: Uk lad sterowania tarcz a obrotow a prȩt sprȩżysty tarcza obrotowa
Wyk lad 9 Przekszta lcenia liniowe i ich zastosowania
Wyk lad 9 Przekszta lcenia liniowe i ich zastosowania 1 Przekszta lcenia liniowe i ich w lasności Definicja 9.1. Niech V i W bed przestrzeniami liniowymi. Przekszta lcenie f : V W spe lniajace warunki:
Wyk lad 11 1 Wektory i wartości w lasne
Wyk lad 11 Wektory i wartości w lasne 1 Wektory i wartości w lasne Niech V bedzie przestrzenia liniowa nad cia lem K Każde przekszta lcenie liniowe f : V V nazywamy endomorfizmem liniowym przestrzeni V
y 1 y 2 = f 2 (t, y 1, y 2,..., y n )... y n = f n (t, y 1, y 2,..., y n ) f 1 (t, y 1, y 2,..., y n ) y = f(t, y),, f(t, y) =
Uk lady równań różniczkowych Pojȩcia wsȩpne Uk ladem równań różniczkowych nazywamy uk lad posaci y = f (, y, y 2,, y n ) y 2 = f 2 (, y, y 2,, y n ) y n = f n (, y, y 2,, y n ) () funkcje f j, j =, 2,,
Pierwsze kolokwium z Matematyki I 4. listopada 2013 r. J. de Lucas
Pierwsze kolokwium z Matematyki I 4. listopada 03 r. J. de Lucas Uwagi organizacyjne: Każde zadanie rozwi azujemy na osobnej kartce, opatrzonej imieniem i nazwiskiem w lasnym oraz osoby prowadz acej ćwiczenia,
Wprowadzenie do teorii sterowania
Wprowadzenie do teorii sterowania Literatura podstawowa T. Kaczorek i inni, Podstawy teorii sterowania, WNT, Warszawa 2005. T. Kaczorek, Teoria sterowania i systemów, PWN, Warszawa 1996. T. Kaczorek, Teoria
POCHODNA KIERUNKOWA. DEFINICJA Jeśli istnieje granica lim. to granica ta nazywa siȩ pochodn a kierunkow a funkcji f(m) w kierunku osi l i oznaczamy
POCHODNA KIERUNKOWA Pochodne cz astkowe funkcji f(m) = f(x, y, z) wzglȩdem x, wzglȩdem y i wzglȩdem z wyrażaj a prȩdkość zmiany funkcji w kierunku osi wspó lrzȩdnych; np. f x jest prȩdkości a zmiany funkcji
Stabilność liniowych uk ladów sterowania
Stabilność liniowych uk ladów sterowania Stabilność uk ladów z czasem ci ag lym W teorii stabilności uk ladów sterowania badamy wrażliwość trajektorii stanu na zaburzenia stanu pocz atkowego. Interesuje
Wyk lad 9 Baza i wymiar przestrzeni liniowej
Wyk lad 9 Baza i wymiar przestrzeni liniowej 1 Operacje elementarne na uk ladach wektorów Niech α 1,..., α n bed dowolnymi wektorami przestrzeni liniowej V nad cia lem K. Wyróżniamy nastepuj ace operacje
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
Metoda Simplex bez użycia tabel simplex 29 kwietnia 2010
R. Rȩbowski 1 WPROWADZENIE Metoda Simplex bez użycia tabel simplex 29 kwietnia 2010 1 Wprowadzenie Powszechnie uważa siȩ, że metoda simplex, jako uniwersalny algorytm pozwalaj acyznaleźć rozwi azanie optymalne
Wyk lad 14 Formy kwadratowe I
Wyk lad 14 Formy kwadratowe I Wielomian n-zmiennych x 1,, x n postaci n a ij x i x j, (1) gdzie a ij R oraz a ij = a ji dla wszystkich i, j = 1,, n nazywamy forma kwadratowa n-zmiennych Forme (1) można
Sterowanie minimalnoczasowe dla uk ladów liniowych. Krzywe prze l aczeń.
Sterowanie minimalnoczasowe dla uk ladów liniowych. Krzywe prze l aczeń. Sprowadzanie zadań sterowania optymalnego do zadań wariacyjnych metod a funkcji kary i mnożników Lagrange a - zadania sterowania
Wyk lad 7 Baza i wymiar przestrzeni liniowej
Wyk lad 7 Baza i wymiar przestrzeni liniowej 1 Baza przestrzeni liniowej Niech V bedzie przestrzenia liniowa. Powiemy, że podzbiór X V jest maksymalnym zbiorem liniowo niezależnym, jeśli X jest zbiorem
w = w i ξ i. (1) i=1 w 1 w 2 :
S. D. G lazek, www.fuw.edu.pl/ stglazek, 11.III.2005 1 I. MACIERZ LINIOWEGO ODWZOROWANIA PRZESTRZENI WEKTOROWYCH Wyobraźmy sobie, że przestrzeń wektorowa W jest zbudowana z kombinacji liniowych n liniowo
Wektory i wartości własne
Treść wykładu Podprzestrzenie niezmiennicze Podprzestrzenie niezmiennicze... Twierdzenie Cayley Hamiltona Podprzestrzenie niezmiennicze Definicja Niech f : V V będzie przekształceniem liniowym. Podprzestrzeń
Dyskretne modele populacji
Dyskretne modele populacji Micha l Machtel Adam Soboczyński 17 stycznia 2007 Typeset by FoilTEX Dyskretne modele populacji [1] Wst ep Dyskretny opis modelu matematycznego jest dobry dla populacji w których
Po wprowadzeniu zmiennych uzupe lniaj acych otrzymamy równoważny mu problem w postaci kanonicznej:
ROZDZIA L Metoda sympleksowa Motto: Matematyka nie może wype lnić życia ale jej nieznajomość już niejednemu je wype lni la H Steinhaus Tablica sympleksowa Rozważmy ZPL w postaci klasycznej maksymalizować
Wektory i wartości własne
Treść wykładu Podprzestrzenie niezmiennicze... Twierdzenie Cayley Hamiltona Podprzestrzenie niezmiennicze Definicja Niech f : V V będzie przekształceniem liniowym. Podprzestrzeń W V nazywamy niezmienniczą
Liczby zespolone, liniowa zależność i bazy Javier de Lucas. a d b c. ad bc
Liczby zespolone, liniowa zależność i bazy Javier de Lucas Ćwiczenie. Dowieść, że jeśli µ := c d d c, to homografia h(x) = (ax+b)/(cx+d), a, b, c, d C, ad bc, odwzorowuje oś rzeczywist a R C na okr ag
Wyk lad 8 macierzy i twierdzenie Kroneckera-Capellego
Wyk lad 8 Rzad macierzy i twierdzenie Kroneckera-Capellego 1 Określenie rz edu macierzy Niech A bedzie m n - macierza Wówczas wiersze macierzy A możemy w naturalny sposób traktować jako wektory przestrzeni
Tematyka egzaminu z Podstaw sterowania
Tematyka egzaminu z Podstaw sterowania Rafał Trójniak 6 września 2009 Spis treści 1 Rozwiązane tematy 1 1.1 Napisać równanie różniczkowe dla zbiornika z odpływem grawitacyjnym...............................
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.
Matematyka A, klasówka, 24 maja zania zadań z kolokwium z matematyki A w nadziei, że pope lni lem wielu b le. rozwia
Matematyka A, klasówka, 4 maja 5 Na prośbe jednej ze studentek podaje zania zadań z kolokwium z matematyki A w nadziei, że pope lni lem wielu b le dów Podać definicje wektora w lasnego i wartości w lasnej
Dyskretne modele populacji
Dyskretne modele populacji Micha l Machtel Adam Soboczyński 19 stycznia 2007 Typeset by FoilTEX Dyskretne modele populacji [1] Wst ep Dyskretny opis modelu matematycznego jest dobry dla populacji w których
3. Wykład Układy równań liniowych.
31 Układy równań liniowych 3 Wykład 3 Definicja 31 Niech F będzie ciałem Układem m równań liniowych o niewiadomych x 1,, x n, m, n N, o współczynnikach z ciała F nazywamy układ równań postaci: x 1 + +
Wyk lad 9 Baza i wymiar przestrzeni liniowej
Wyk lad 9 Baza i wymiar liniowej Baza liniowej Niech V bedzie nad cia lem K Powiemy, że zbiór wektorów {α,, α n } jest baza V, jeżeli wektory α,, α n sa liniowo niezależne oraz generuja V tzn V = L(α,,
Własności wyznacznika
Własności wyznacznika Rozwinięcie Laplace a względem i-tego wiersza: n det(a) = ( 1) i+j a ij M ij (A), j=1 gdzie M ij (A) to minor (i, j)-ty macierzy A, czyli wyznacznik macierzy uzyskanej z macierzy
CHEMIA KWANTOWA MONIKA MUSIA L. Ćwiczenia. mm
CHEMIA KWANTOWA MONIKA MUSIA L Ćwiczenia METODY PRZYBLIŻONE ROZWIA ZYWANIA RÓWNANIA SCHRÖDINGERA METODA WARIACYJNA metoda wariacyjna ĤΨ n = E n Ψ n Ψ n ortonormalne Szukamy rozwi azań dla stanu podstawowego,
Synteza optymalnego regulatora stanu. Uk lady z czasem ci ag lym.
Synteza optymalnego regulatora stanu. Uk lady z czasem ci ag lym. Po wyznaczeniu optymalnego nominalnego) procesu sterowania x o, u o nasuwa siȩ kwestia podtrzymywania tego procesu w warunkach ma lych
Niesimpleksowe metody rozwia zywania zadań PL. Seminarium Szkoleniowe Edyta Mrówka
Niesimpleksowe metody rozwia zywania zadań PL Seminarium Szkoleniowe Metoda Simplex: wady i zalety Algorytm SIMPLEX jest szeroko znany i stosowany do rozwi azywania zadań programowania liniowego w praktyce.
Wyk lad 12. (ii) najstarszy wspó lczynnik wielomianu f jest elementem odwracalnym w P. Dowód. Niech st(f) = n i niech a bedzie
1 Dzielenie wielomianów Wyk lad 12 Ważne pierścienie Definicja 12.1. Niech P bedzie pierścieniem, który może nie być dziedzina ca lkowitości. Powiemy, że w pierścieniu P [x] jest wykonalne dzielenie z
Wyk lad 7 Metoda eliminacji Gaussa. Wzory Cramera
Wyk lad 7 Metoda eliminacji Gaussa Wzory Cramera Metoda eliminacji Gaussa Metoda eliminacji Gaussa polega na znalezieniu dla danego uk ladu a x + a 2 x 2 + + a n x n = b a 2 x + a 22 x 2 + + a 2n x n =
Wyk lad 4 Macierz odwrotna i twierdzenie Cramera
Wyk lad 4 Macierz odwrotna i twierdzenie Cramera 1 Odwracanie macierzy I n jest elementem neutralnym mnożenia macierzy w zbiorze M n (R) tzn A I n I n A A dla dowolnej macierzy A M n (R) Ponadto z twierdzenia
wszystkich kombinacji liniowych wektorów układu, nazywa się powłoką liniową uk ładu wektorów
KOINACJA LINIOWA UKŁADU WEKTORÓW Definicja 1 Niech będzie przestrzenią liniową (wektorową) nad,,,, układem wektorów z przestrzeni, a,, współczynnikami ze zbioru (skalarami). Wektor, nazywamy kombinacją
Suma i przeciȩcie podprzestrzeni, przestrzeń ilorazowa Javier de Lucas
Suma i przeciȩcie podprzestrzeni, przestrzeń ilorazowa Javier de Lucas Ćwiczenie 1. Dowieść, że jeśli U i V s a podprzestrzeniami n-wymiarowej przestrzeni wektorowej oraz dim U = r i dim V = s, to max(0,
Wyk lad 6 Podprzestrzenie przestrzeni liniowych
Wyk lad 6 Podprzestrzenie przestrzeni liniowych 1 Określenie podprzestrzeni Definicja 6.1. Niepusty podzbiór V 1 V nazywamy podprzestrzeni przestrzeni liniowej V, jeśli ma on nastepuj ace w lasności: (I)
Wyk lad 5 W lasności wyznaczników. Macierz odwrotna
Wyk lad 5 W lasności wyznaczników Macierz odwrotna 1 Operacje elementarne na macierzach Bardzo ważne znaczenie w algebrze liniowej odgrywaja tzw operacje elementarne na wierszach lub kolumnach macierzy
Równania różniczkowe cz astkowe rzȩdu pierwszego
Równania różniczkowe cz astkowe rzȩd pierwszego 1 Równania liniowe jednorodne Rozważmy równanie a 1 ( 1,..., n ) 1 +... + a n ( 1,..., n ) n = 0, (1) gdzie a i, i = 1,..., n s a dane, a fnkcja = ( 1,...,
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,
Funkcje wielu zmiennych
Funkcje wielu zmiennych 13 Zbiory w przestrzeni Definicja Przestrzeni a trójwymiarow a (przestrzeni a) nazywamy zbiór wszystkich trójek uporz adkowanych (x y z) gdzie x y z R. Przestrzeń tȩ oznaczamy symbolem
Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera
Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera Określenie podpierścienia Definicja 9.. Podpierścieniem pierścienia (P, +,, 0, ) nazywamy taki podzbiór A P, który jest pierścieniem ze wzgledu
Podstawowe działania w rachunku macierzowym
Podstawowe działania w rachunku macierzowym Marcin Detka Katedra Informatyki Stosowanej Kielce, Wrzesień 2004 1 MACIERZE 1 1 Macierze Macierz prostokątną A o wymiarach m n (m wierszy w n kolumnach) definiujemy:
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
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
1 Macierze i wyznaczniki
1 Macierze i wyznaczniki 11 Definicje, twierdzenia, wzory 1 Macierzą rzeczywistą (zespoloną) wymiaru m n, gdzie m N oraz n N, nazywamy prostokątną tablicę złożoną z mn liczb rzeczywistych (zespolonych)
Postać Jordana macierzy
Rozdział 8 Postać Jordana macierzy Niech F = R lub F = C Macierz J r λ) F r r postaci λ 1 0 0 0 λ 1 J r λ) = 0 λ 1 0 0 λ gdzie λ F nazywamy klatką Jordana stopnia r Oczywiście J 1 λ) = [λ Definicja 81
Niezb. ednik matematyczny. Niezb. ednik matematyczny
Niezb ednik matematyczny Niezb ednik matematyczny Liczby zespolone I Rozważmy zbiór R R (zbiór par liczb rzeczywistych) i wprowadźmy w nim nastepuj ace dzia lania: z 1 + z 2 = (x 1, y 1 ) + (x 2, y 2 )
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 +...
Rozdzia l 2. Najważniejsze typy algebr stosowane w logice
Rozdzia l 2. Najważniejsze typy algebr stosowane w logice 1. Algebry Boole a Definicja. Kratȩ dystrybutywn a z zerem i jedynk a, w której dla każdego elementu istnieje jego uzupe lnienie nazywamy algebr
IV. UK ADY RÓWNAÑ LINIOWYCH
IV. UK ADY RÓWNAÑ LINIOWYCH 4.1. Wprowadzenie Uk³ad równañ liniowych gdzie A oznacza dan¹ macierz o wymiarze n n, a b dany n-elementowy wektor, mo e byæ rozwi¹zany w skoñczonej liczbie kroków za pomoc¹
Wyk lad 4 Dzia lania na macierzach. Określenie wyznacznika
Wyk lad 4 Dzia lania na macierzach Określenie wyznacznika 1 Określenie macierzy Niech K bedzie dowolnym cia lem oraz niech n i m bed a dowolnymi liczbami naturalnymi Prostokatn a tablice a 11 a 12 a 1n
Wyk lad 3 Wielomiany i u lamki proste
Wyk lad 3 Wielomiany i u lamki proste 1 Konstrukcja pierścienia wielomianów Niech P bedzie dowolnym pierścieniem, w którym 0 1. Oznaczmy przez P [x] zbiór wszystkich nieskończonych ciagów o wszystkich
Ekonomia matematyczna i dynamiczna optymalizacja
Ekonomia matematyczna i dynamiczna optymalizacja Ramy wyk ladu i podstawowe narz edzia matematyczne SGH Semestr letni 2012-13 Uk lady dynamiczne Rozwiazanie modelu dynamicznego bardzo czesto można zapisać
Metody Numeryczne Wykład 4 Wykład 5. Interpolacja wielomianowa
Sformułowanie zadania interpolacji Metody Numeryczne Wykład 4 Wykład 5 Interpolacja wielomianowa Niech D R i niech F bȩdzie pewnym zbiorem funkcji f : D R. Niech x 0, x 1,..., x n bȩdzie ustalonym zbiorem
CHEMIA KWANTOWA MONIKA MUSIA L METODA HÜCKLA. Ćwiczenia. http://zcht.mfc.us.edu.pl/ mm
CHEMIA KWANTOWA MONIKA MUSIA L METODA HÜCKLA Ćwiczenia Zwi azki organiczne zawieraj ace uk lady π-elektronowe Sprzȩżony uk lad wi azań podwójnych: -C=C-C=C-C=C-C=C- Skumulowany uk lad wi azań podwójnych:
Układy równań liniowych i metody ich rozwiązywania
Układy równań liniowych i metody ich rozwiązywania Łukasz Wojciechowski marca 00 Dany jest układ m równań o n niewiadomych postaci: a x + a x + + a n x n = b a x + a x + + a n x n = b. a m x + a m x +
Elementy analizy funkcjonalnej PRZESTRZENIE LINIOWE
Elementy analizy funkcjonalnej PRZESTRZENIE LINIOWE Niech K = R lub K = C oraz X - dowolny zbiór. Określmy dwa dzia lania: dodawanie + : X X X i mnożenie przez liczbȩ : K X X, spe lniaj ace nastȩpuj ace
Suma i przeciȩcie podprzestrzeń, suma prosta, przestrzeń ilorazowa Javier de Lucas
Suma i przeciȩcie podprzestrzeń suma prosta przestrzeń ilorazowa Javier de Lucas Ćwiczenie 1 W zależności od wartości parametru p podaj wymiar przestrzeni W = v 1 v v 3 gdzie p 0 v 1 = 1 + p 3 v = 5 3
Funkcje wielu zmiennych
Funkcje wielu zmiennych 8 Pochodna kierunkowa funkcji Definicja Niech funkcja f określona bȩdzie w otoczeniu punktu P 0 = (x 0, y 0 ) oraz niech v = [v x, v y ] bȩdzie wektorem. Pochodn a kierunkow a funkcji
Opis systemów dynamicznych w przestrzeni stanu. Wojciech Kurek , Gdańsk
Opis systemów dynamicznych Mieczysław Brdyś 27.09.2010, Gdańsk Rozważmy układ RC przedstawiony na rysunku poniżej: wejscie u(t) R C wyjście y(t)=vc(t) Niech u(t) = 2 + sin(t) dla t t 0 gdzie t 0 to chwila
jest rozwiązaniem równania jednorodnego oraz dla pewnego to jest toŝsamościowo równe zeru.
Układy liniowe Układ liniowy pierwszego rzędu, niejednorodny. gdzie Jeśli to układ nazywamy jednorodnym Pamiętamy, Ŝe kaŝde równanie liniowe rzędu m moŝe zostać sprowadzone do układu n równań liniowych
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.........
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
Układy równań i nierówności liniowych
Układy równań i nierówności liniowych Wiesław Krakowiak 1 grudnia 2010 1 Układy równań liniowych DEFINICJA 11 Układem równań m liniowych o n niewiadomych X 1,, X n, nazywamy układ postaci: a 11 X 1 + +
Wykład 12 i 13 Macierz w postaci kanonicznej Jordana , 0 A 2
Wykład 12 i 13 Macierz w postaci kanonicznej Jordana Niech A - macierz kwadratowa stopnia n Jak obliczyć np A 100? a 11 0 0 0 a 22 0 Jeśli A jest macierzą diagonalną tzn A =, to Ak = 0 0 a nn Niech B =
(wymiar macierzy trójk¹tnej jest równy liczbie elementów na g³ównej przek¹tnej). Z twierdzen 1 > 0. Zatem dla zale noœci
56 Za³ó my, e twierdzenie jest prawdziwe dla macierzy dodatnio okreœlonej stopnia n 1. Macierz A dodatnio okreœlon¹ stopnia n mo na zapisaæ w postaci n 1 gdzie A n 1 oznacza macierz dodatnio okreœlon¹
a 11 a a 1n a 21 a a 2n... a m1 a m2... a mn x 1 x 2... x m ...
Wykład 15 Układy równań liniowych Niech K będzie ciałem i niech α 1, α 2,, α n, β K. Równanie: α 1 x 1 + α 2 x 2 + + α n x n = β z niewiadomymi x 1, x 2,, x n nazywamy równaniem liniowym. Układ: a 21 x
Pierwiastki arytmetyczne n a
Chapter 1 Pierwiastki arytmetyczne n a Operacja wyci aganie pierwiastka stopnia n z liczby a jest odwrotn a operacj a do potȩgowania, jeżeli operacja odwrotna jest wykonalna w liczbach rzeczywistych. Zacznijmy
Politechnika Wrocławska, Wydział Informatyki i Zarządzania. Modelowanie
Politechnika Wrocławska, Wydział Informatyki i Zarządzania Modelowanie Zad Wyznacz transformaty Laplace a poniższych funkcji, korzystając z tabeli transformat: a) 8 3e 3t b) 4 sin 5t 2e 5t + 5 c) e5t e
Rozdzia l 10. Najważniejsze normalne logiki modalne
Rozdzia l 10. Najważniejsze normalne logiki modalne 1. Logiki modalne normalne Definicja. Inwariantny zbiór formu l X jȩzyka modalnego L = (L,,,,, ) nazywamy logik a modaln a zbazowan a na logice klasycznej
gdy wielomian p(x) jest podzielny bez reszty przez trójmian kwadratowy x rx q. W takim przypadku (5.10)
5.5. Wyznaczanie zer wielomianów 79 gdy wielomian p(x) jest podzielny bez reszty przez trójmian kwadratowy x rx q. W takim przypadku (5.10) gdzie stopieñ wielomianu p 1(x) jest mniejszy lub równy n, przy
Zasada optymalności Bellmana. Uogólniony optymalny regulator stanu.
Zasada optymalności Bellmana. Uogólniony optymalny regulator stanu. Podstawowy problem sterowania optymalnego dla uk ladów nieliniowych z czasem ci ag lym W podstawowym problemie sterowania optymalnego
Asymptota pozioma: oṡ x, gdy y = 0 Asymptota pionowa: oṡ y, gdy x = 0. Hyperbola 1 x
1 SZKO LA PODSTAWOWA HELIANTUS 02-892 WARSZAWA ul. BAŻANCIA 16 Asymptota pozioma: oṡ x, gdy y = 0 Asymptota pionowa: oṡ y, gdy x = 0 2 1 0 3 1 2 x Hyperbola 1 x FUNKCJE ELEMENTARNE WYMIERNE POTȨGOWE LOGARYTMICZNE
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
5. Rozwiązywanie układów równań liniowych
5. Rozwiązywanie układów równań liniowych Wprowadzenie (5.1) Układ n równań z n niewiadomymi: a 11 +a 12 x 2 +...+a 1n x n =a 10, a 21 +a 22 x 2 +...+a 2n x n =a 20,..., a n1 +a n2 x 2 +...+a nn x n =a
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
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
Met Me ody numer yczne Wykład ykład Dr inż. Mic hał ha Łanc Łan zon Instyt Ins ut Elektr Elektr echn iki echn i Elektrot Elektr echn olo echn
Metody numeryczne Wykład 3 Dr inż. Michał Łanczont Instytut Elektrotechniki i Elektrotechnologii E419, tel. 4293, m.lanczont@pollub.pl, http://m.lanczont.pollub.pl Zakres wykładu Pojęcia podstawowe Algebra
Wyk lad 11 Przekszta lcenia liniowe a macierze
Wyk lad 11 Przekszta lcenia liniowe a macierze 1 Izomorfizm przestrzeni L(V ; W ) i M m n (R) Twierdzenie 111 Niech V i W bed a przestrzeniami liniowymi o bazach uporzadkowanych (α 1,, α n ) i (β 1,, β
2. Układy równań liniowych
2. Układy równań liniowych Grzegorz Kosiorowski Uniwersytet Ekonomiczny w Krakowie zima 2017/2018 rzegorz Kosiorowski (Uniwersytet Ekonomiczny w Krakowie) 2. Układy równań liniowych zima 2017/2018 1 /
Rozdzia l 11. Przestrzenie Euklidesowe Definicja, iloczyn skalarny i norma. iloczynem skalarnym.
Rozdzia l 11 Przestrzenie Euklidesowe 11.1 Definicja, iloczyn skalarny i norma Definicja 11.1 Przestrzenia Euklidesowa nazywamy par e { X K,ϕ }, gdzie X K jest przestrzenia liniowa nad K, a ϕ forma dwuliniowa
Pisemny egzamin dyplomowy. na Uniwersytecie Wroc lawskim. na kierunku matematyka. zadania testowe. 22czerwca2009r. 60 HS-8-8
EGZAMIN DYPLOMOWY, cze ść I (testowa) 22.06.2009 INSTRUKCJE DOTYCZA CE WYPE LNIANIA TESTU 1. Nie wolno korzystać z kalkulatorów. 2. Sprawdzić, czy wersja testu podana na treści zadań jest zgodna z wersja
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
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
SZKO LA PODSTAWOWA HELIANTUS WARSZAWA ul. BAŻANCIA 16. Hyperbola 1 x FUNKCJE ELEMENTARNE WYMIERNE POTȨGOWE LOGARYTMICZNE.
1 SZKO LA PODSTAWOWA HELIANTUS 0-89 WARSZAWA ul. BAŻANCIA 16 1 0 3 1 x Hyperbola 1 x FUNKCJE ELEMENTARNE WYMIERNE POTȨGOWE LOGARYTMICZNE Prof. dr. Tadeusz STYŠ Warszawa 018 1 1 Projekt dziesi aty Contents
Przestrzenie wektorowe, liniowa niezależność Javier de Lucas
Przestrzenie wektorowe, liniowa niezależność Javier de Lucas Ćwiczenie 1. W literaturze można znaleźć pojȩcia przestrzeni liniowej i przestrzeni wektorowej. Obie rzeczy maj a tak a sam a znaczenie. Nastȩpuj
LOGIKA ALGORYTMICZNA
LOGIKA ALGORYTMICZNA 0.0. Relacje. Iloczyn kartezjański: A B := (a, b) : a A i b B} (zak ladamy, że (x, y) i (u, v) s a równe wtedy i tylko wtedy gdy x = u i y = v); A n := (x 1,..., x n ) : x i A}; R
Zastosowania wyznaczników
Zastosowania wyznaczników Mirosław Sobolewski Wydział Matematyki, Informatyki i Mechaniki UW 7.wykład z algebry liniowej Warszawa, listopad 2012 Mirosław Sobolewski (UW) Warszawa, listopad 2012 1 / 17
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
Systemy. Krzysztof Patan
Systemy Krzysztof Patan Systemy z pamięcią System jest bez pamięci (statyczny), jeżeli dla dowolnej chwili t 0 wartość sygnału wyjściowego y(t 0 ) zależy wyłącznie od wartości sygnału wejściowego w tej
15. Macierze. Definicja Macierzy. Definicja Delty Kroneckera. Definicja Macierzy Kwadratowej. Definicja Macierzy Jednostkowej
15. Macierze Definicja Macierzy. Dla danego ciała F i dla danych m, n IN funkcję A : {1,...,m} {1,...,n} F nazywamy macierzą m n ( macierzą o m wierszach i n kolumnach) o wyrazach z F. Wartość A(i, j)
Rozwiązywanie układów równań liniowych
Rozwiązywanie układów równań liniowych Marcin Orchel 1 Wstęp Jeśli znamy macierz odwrotną A 1, to możęmy znaleźć rozwiązanie układu Ax = b w wyniku mnożenia x = A 1 b (1) 1.1 Metoda eliminacji Gaussa Pierwszy
u nk = n c nn u n 0 wyznacza siȩ empirycznie (elementy przejść) lub próbuje oszacować w obliczeniach typu ab initio Rachunek zaburzeń Löwdina
Jeśli pasma nie s a energetycznie dobrze separowalne lub energetycznie zdegenerowane (kwazizdegenerowane) to ich wzajemny wp lyw musi być uwzglȩdniony wariacyjnie - w I rzȩdzie RZ dla stanow zdegenerowanych