Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΄΄ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΘΕΩΡΙΑ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΕΛΕΓΧΟΥ΄΄ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ.

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΄΄ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΘΕΩΡΙΑ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΕΛΕΓΧΟΥ΄΄ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ."— Μεταγράφημα παρουσίασης:

1 ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΄΄ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΘΕΩΡΙΑ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΕΛΕΓΧΟΥ΄΄ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΄΄ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΘΕΩΡΙΑ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΕΛΕΓΧΟΥ΄΄ ΜΕΤΑΠΤΥΧΙΑΚΗ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ Δημήτριος Χ. Κατωτοικίδης Δημήτριος Χ. Κατωτοικίδης ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΤΩΝ ΕΞΙΣΩΣΕΩΝ SYLVESTER - Η ΕΞΙΣΩΣΗ SYLVESTER SYLVESTER - Η ΕΞΙΣΩΣΗ SYLVESTER ΣΤΗ ΘΕΩΡΙΑ ΕΛΕΓΧΟY - ΕΦΑΡΜΟΓΕΣ ΜΕ MATLAB ΣΤΗ ΘΕΩΡΙΑ ΕΛΕΓΧΟY - ΕΦΑΡΜΟΓΕΣ ΜΕ MATLAB Επιβλέπουσα: Μαρία Γουσίδου-Κουτίτα Αναπλ. Καθηγήτρια Α.Π.Θ Θεσσαλονίκη, Ιούνιος 2007

2 ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΤΩΝ ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΤΩΝ ΕΞΙΣΩΣΕΩΝ SYLVESTER ΕΞΙΣΩΣΕΩΝ SYLVESTER Η ΕΞΙΣΩΣΗ SYLVESTER ΣΤΗ ΘΕΩΡΙΑ ΕΛΕΓΧΟY Η ΕΞΙΣΩΣΗ SYLVESTER ΣΤΗ ΘΕΩΡΙΑ ΕΛΕΓΧΟY ΕΦΑΡΜΟΓΕΣ ΜΕ MATLAB ΕΦΑΡΜΟΓΕΣ ΜΕ MATLAB

3 Αριθμητική επίλυση του γραμμικού συστήματος Αx=b oχι π.χ προτείνεται απαλοιφή Gauss με μερική οδήγηση κάτω τριγωνικός άνω τριγωνικός

4 Κάτω τριγωνικό σύστημα προς τα εμπρός αντικατάσταση άνω τριγωνικό σύστημα πίσω αντικατάσταση mygaussel

5 Στοιχειώδεις ορθογώνιοι μετασχηματισμοί Επίπεδες περιστροφές (plane rotations) Στοιχειώδεις αντανακλάσεις (elementary reflections) Επίπεδες περιστροφές (Givens) επίπεδο i, j θέσεις Κυρίως σκοπός της επίπεδης περιστροφής είναι να παρουσιάσει μηδενικό σε ένα μονάχα στοιχείο ενός διανύσματος ή ενός πίνακα.

6 δοσμένο διάνυσμα Θέλουμε να μηδενίσουμε το στοιχείο του που βρίσκεται στην θέση j επίπεδο θα άλλαζε μονάχα τις και γραμμές του πίνακα

7 Στοιχειώδης αντανάκλαση ( Householder) συμμετρικός και ορθογώνιος μπορούμε να εισαγάγουμε ταυτόχρονα πολλά μηδενικά Για ένα διάνυσμα

8 Εφαρμογή σε

9 Η QR παραγοντοποίηση στοιχειώδεις αντανακλάσεις

10 Hessenberg, Schur αναγωγή πινάκων

11 μοναδική λύση Χ αν-ν ήόχι ίδιες ιδιοτιμές ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΚΑΙ ΚΑΤΑΣΤΑΣΗ ΤΗΣ ΕΞΙΣΩΣΗΣ SYLVESTER

12 όπου Ιδιοτιμές του πίνακα Ανάλυση διαταραχής της εξίσωσης Sylvester

13 Παράδειγμα

14 Αριθμός κατάστασης

15 Η εξίσωση Sylvester είναι σε αρρωστημένη κατάσταση αν και οι δυο πίνακες και είναι σε αρρωστημένη κατάσταση όσον αφορά την αντιστροφή τους. Παράδειγμα

16 Το αντίστροφο του θεωρήματος γενικά δεν ισχύει, πχ στο προηγούμενο παράδειγμα Αριθμητικές μέθοδοι για την επίλυση της εξίσωσης Sylvester απαλοιφή Gauss με μερική οδήγηση αποθήκευσης υπολογισμού Nonsingular πίνακεςκαι σε πιο απλές μορφές

17 Αλγόριθμος Βήμα 1. σε πιο απλές μορφές Βήμα 2. Βήμα 3. Βήμα 4.

18 Αριθμητική αστάθεια της διαγωνιοποίησης, της Jordan κανονικής μορφής, και των τεχνικών σχηματισμού συνοδεύων πινάκων Jordan πίνακες Συνοδεύων πίνακες Διαγώνιους πίνακες Αναγωγή σε Ανακριβή αποτελέσματα Παράδειγμα Διαγώνιοι πίνακες

19 Η εξίσωση Sylvester είναι σε καλή κατάσταση Η μέθοδος είναι ασταθής

20 Hessenberg μορφή (πραγματικές) Schur μορφή αναγωγή Ορθογώνιοι μετασχηματισμοί Τέλεια καλή κατάσταση Λύνοντας την εξίσωση Sylvester με την μέθοδο Schur (Bartels-Stewart) Λύνοντας την εξίσωση Sylvester με την μέθοδο Schur (Bartels-Stewart) τάξης 1 ή 2 άνω μορφή Schur κάτω μορφή Schur

21 Blocks σύμμορφα ( conformal )

22 Αλγόριθμος Bartels-Stewart κάτω μορφή Schur άνω μορφή Schur Υπολόγισε for λύσεγια

23 flops υπολογισμού SchrblockSchr συνάρτηση SchrblockSchr για τον αλγόριθμο Bartels-Stewart Παράδειγμα Block τάξης 1

24 Ακρίβεια 13 δεκαδικών ψηφίων Block τάξης 2

25 Η Hessenberg-Schur Hessenberg-Schur μέθοδος για την εξίσωση Sylvester Αλγόριθμος Ο Hessenberg-Schur αλγόριθμος για την Είσοδος: Έξοδος: Βήμα 1. μεγαλύτερος σε διάσταση πίνακας από ότι ο Α άνω Hessenberg μορφή άνω πραγμ. Schur μορφή

26 σχημάτισε Βήμα 2. λύσε βρες

27 Βήμα 3. υπολογισμού HessSch συνάρτηση HessSch για Hessenberg-Schur μέθοδο Παράδειγμα Αν n > m τότε

28 uptrig Επίλυση της εξίσωσης Sylvester όταν οι πίνακες Α και Β είναι άνω τριγωνικοί πίνακες

29 Παράδειγμα

30 Η Hessenberg-Schur μέθοδος για την διακριτή εξίσωση Sylvester Αλγόριθμος Ένας Hessenberg-Schur αλγόριθμος για την Είσοδος: Έξοδος: Βήμα 1. μεγαλύτερος σε διάσταση πίνακας από ότι ο Α άνω Hessenberg μορφή άνω πραγμ. Schur μορφή σχημάτισε Βήμα 2. λύσε

31 βρες Βήμα 3. discreteHessSch συνάρτηση discreteHessSch για Hessenberg-Schur μέθοδο Παρόμοια ακρίβεια με προηγούμενες μεθόδους, δεν υπάρχει παρόμοια συνάρτηση στην Matlab βρες

32 Η γενικευμένη εξίσωση Sylvester μοναδική λύση αν-ν και ιδιοτιμές - ( ιδιοτιμές ) Προσπαθώντας να επιλύσουμε την γενικευμένη εξίσωση Sylvester

33 να είναι nonsingular Η μέθοδος Bartels-Stewart για την επίλυση της γενικευμένης εξίσωσης Sylvester Αλγόριθμος Ο Bartels-Stewart αλγόριθμος γιa την Είσοδος: Έξοδος: Βήμα 1. άνω πραγμ. Schur μορφήάνω τριγωνική μορφή Σχημάτισε

34 Βήμα 2. Λύσε βρες Βήμα 3. βρες

35 genSchSch συνάρτηση genSchSch για γενικευμένη εξίσωση Sylvester με αλγόριθμο Bartels-Stewart Παράδειγμα

36 Αναγωγή σε Hessenberg-τριγωνική μορφή Βήμα 1. άνω τριγωνικός, QR παραγοντοποίηση Βήμα 2. Hessenberg μορφή Παραμείνει σε τριγωνική μορφή

37 myqzpart1

38 Η μέθοδος Hessenberg-Schur για την επίλυση της γενικευμένης εξίσωσης Sylvester Αλγόριθμος Ο Hessenberg - Schur αλγόριθμος γιa την Είσοδος: Έξοδος: Βήμα 1. άνω πραγμ. Schur μορφή άνω τριγωνική μορφή Σχημάτισε άνω Hessenberg μορφή άνω τριγωνική μορφή

39 Βήμα 2. Λύσε βρες Βήμα 3. βρες

40 genHessSch συνάρτηση genHessSch για γενικευμένη εξίσωση Sylvester με αλγόριθμο Hessenberg-Schur Παράδειγμα

41 Εκτίμηση κατάστασης μέσω της εξίσωσης Sylvester- παρατηρητής Ξέρουμε : κατασκευάζουμε : έτσι ώστε nonsingular Παρατηρητής Luenberger Για να είναι παρατηρητής θα πρέπει

42 Εξίσωση Sylvester-παρατηρητής είναι ευσταθής πίνακας. Αλγόριθμος Σχεδιασμός παρατηρητή πλήρης τάξης μέσω της εξίσωσης Sylvester παρατηρητή. Είσοδοι. Έξοδος.Μια εκτίμησητου διανύσματος κατάστασης Υποθέσεις. παρατηρήσιμο Βήμα 1. Βρες μια nonsingular λύση διαλέγοντας να είναι ευσταθής πίνακας,τέτοιο ώστεnonsingular

43 Βήμα 2. Βήμα 3. Λύση του Βήμα 4. non-singular λύση παρατηρήσιμο ελέγξιμο

44 Παράδειγμα παρατηρήσιμο Βήμα 1. ελέγξιμο Βήμα 2 Βήμα 3

45 Βήμα 4

46 Εκτίμηση κατάστασης ελαττωμένης τάξης Αλγόριθμος Σχεδιασμός παρατηρητή ελαττωμένης τάξης μέσω της Sylvester-παρατηρητή εξίσωσης. Είσοδοι: Έξοδος: Υποθέσεις. παρατηρήσιμο πλήρη τάξη Βήμα 1. να είναι ευσταθής πίνακας,

47 Βήμα 2. Βήμα 3. Βρες τον (n-r) ελαττωμένης-τάξης παρατηρητή Βήμα 4. Βήμα 5.

48 Παράδειγμα Βήμα 1 & 2 Βήμα 3 Βήμα 4

49

50 Συνδυασμός ανάδρασης κατάστασης και σχεδιασμού παρατηρητή

51 Αριθμητική επίλυση της περιορισμένης Sylvester-παρατηρητή εξίσωσης Πλήρη τάξη Αλγόριθμος Ένας αλγόριθμος για την επίλυση της περιορισμένης ελαττωμένης τάξης εξίσωση Sylvester Είσοδοι: Έξοδος : Υποθέσεις: παρατηρήσιμο, Βήμα 1. Βρες την QR παραγοντοποίηση του : άνω τριγωνικός ορθογώνιος έτσι ώστε να ικανοποιούνται οι παραπάνω συνθήκες

52 Βήμα 2. Θέσε Βήμα 3. άνω τριγωνικός Βήμα 4.

53 Βήμα 5. Βήμα 6. Θέσε Υλοποίηση του αλγορίθμου …. constrainedSylvEq Παράδειγμα

54 (i) (ii) (iii)

55 Η εξίσωση Sylvester-παρατηρητής και το πρόβλημα ανατοποθέτησης των ιδιοτιμών. γνωστό Ψάχνουμε ασυμπτωτικά ευσταθές δηλαδή όλες οι ιδιοτιμές του να έχουν αρνητικά πραγματικά μέρη. αρνητικά πραγματικά μέρη.

56 Μπορούμε να διαλέξουμε εμείς ποιες θα είναι η ιδιοτιμές του κλειστού συστήματος. επιθυμητό σύνολο ιδιοτιμών Θα έχουμε ψάχνουμε να έχει ιδιοτιμές Αν-ν ελέγξιμο θα έχει ιδιοτιμές

57 Θέλουμε nonsingular λύση παίρνουμε ( μέθοδο απαλοιφής Gauss με μερική οδήγηση ) θα έχει ιδιοτιμές non-singular λύση παρατηρήσιμο ελέγξιμο διδιαγώνια μορφή, ενώ F=SylvEqInPolePlacement(A,B,T,G)

58 Παράδειγμα οι ιδιοτιμές του συστήματος πριν την ανάδραση

59

60 Συναρτήσεις που έφτιαξε ο συγγραφέας της διπλωματικής αυτής discreteHessSch : συνάρτηση επίλυσης της διακριτής εξίσωσης Sylvester schrschr : συνάρτηση επίλυσης της εξίσωσης Sylvester που βασίζεται στον αλγόριθμο Schur – Schur uptrig : συνάρτηση επίλυσης της εξίσωσης Sylvester σύμφωνα με τον τύπο όπου και είναι άνω τριγωνικοί πίνακες διάστασης και αντίστοιχα. genHessSch : συνάρτηση επίλυσης της γενικευμένης εξίσωσης Sylvester που βασίζεται στον αλγόριθμο Hessenberg – Schur.

61 myqzpart1 : Θεωρείται στην ουσία το πρώτο βήμα του αλγορίθμου QZ. Η συνάρτηση αυτή παίρνει ας πούμε το ζευγάρι πινάκων (Α,Β) και επιστρέφει το ζευγάρι πινάκων ας πούμε (ΗΑ,ΤΒ) όπου ΗΑ είναι ένας πίνακας σε Hessenberg μορφή και ΤΒ ένας πίνακας σε άνω τριγωνική μορφή. Η συνάρτηση αυτή μας δίνει και πίνακες Q, Z, έτσι ώστε να ισχύει ταυτοχρόνως ΗΑ=Q'*A*Z και TB=Q'*B*Z SchrblockSchr : συνάρτηση επίλυσης της εξίσωσης Sylvester που βασίζεται στον αλγόριθμο των Bartels-Stewart SylvEqInPolePlacement : συνάρτηση ανατοποθέτησης ιδιοτιμών μέσω της εξίσωσης Sylvester-παρατηρητή constrainedSylvEq : επιλύει την περιορισμένη εξίσωση Sylvester-παρατηρητή genSchSch : συνάρτηση επίλυσης της γενικευμένης εξίσωσης Sylvester που βασίζεται στον αλγόριθμο των Bartels – Stewart HessSch : συνάρτηση επίλυσης της εξίσωσης Sylvester που βασίζεται στον αλγόριθμο Hessenberg – Schur mygaussel : συνάρτηση επίλυση του συστήματος που βασίζεται στην μέθοδο απαλοιφής Gauss με μερική οδήγηση.

62 function F=SylvEqInPolePlacement(A,B,T,G) % Αυτή η συνάρτηση βρίσκει από την εξίσωση Χ*Τ - Α*Χ = B*G την λύση Χ όπου % Τ είναι ένας πίνακας τέτοιος ώστε να έχει τις επιθυμητές ιδιοτιμές που % θέλουμε να έχει ο πίνακας A+B*F, ενώ ο G είναι ένας τυχαίος πίνακας % Ο πίνακας F θα δίνεται αν λύσουμε το σύστημα F*X=G % Εν τέλει η συνάρτηση αυτή μας δίνει αυτόν το πίνακα F. % ΚΑΤΩΤΟΙΚΙΔΗΣ ΔΗΜΗΤΡΙΟΣ Χ [n1,n2]=size(A); [n3,m1]=size(B); [n4,n5]=size(T); [m2,n6]=size(G); if (n1~=n2) || (n2~=n3) || (n3~=n4) || (n4~=n5) || (n5~=n6) || (m1~=m2) disp('wrong dimensions,A is nxn,B is nxm,T is nxn,G is mxn') else n=n1; m=m1; BG=B*G; Συνάρτηση ανατοποθέτησης ιδιοτιμών μέσω της εξίσωσης Sylvester –παρατηρητή Π.χ

63 disp('rank (A,B)') Rab=rank(ctrb(A,B)) disp('rank(G,T)') Rtg=rank(obsv(G,T)) if (Rab~=n) disp('the problem has no solution') end if (Rtg~=n) disp(' X is singular ') end X=HessSch(-A,T,BG); disp('the eigenvalues of T are :') disp(eig(T)) % % επιλυση του F*X=G %

64 [g1,g2]=size(G); TrX=X'; TrG=G'; for i=1:g1 xx=mygaussel(TrX,TrG(:,i)); TrF(:,i)=xx; end F=TrF'; % disp('F is:') disp(F) disp('the eigenvalues of A+BF are :') disp(eig(A+B*F)) end


Κατέβασμα ppt "ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΄΄ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΘΕΩΡΙΑ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΕΛΕΓΧΟΥ΄΄ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ."

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google