Σύγχρονος Αυτόματος Έλεγχος. είναι το διάνυσμα ιδιοτιμών του πίνακα Α (Π2)

Σχετικά έγγραφα
Σύγχρονος Αυτόματος Έλεγχος. (Π3) Η «ιδιότητα του τριγώνου»: για οποιαδήποτε διανύσματα ισχύει x, y ότι

Συστήματα Αυτομάτου Ελέγχου ΙΙ. Άσκηση. γραμμάτων του επιθέτου σας (π.χ. για το επίθετο Κοσματόπουλος, οι αριθμοί α ι θα είναι a

Ψηφιακός Έλεγχος. 6 η διάλεξη Σχεδίαση στο χώρο κατάστασης. Ψηφιακός Έλεγχος 1

Πανεπιστήμιο Πατρών Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών. Διάλεξη 11

Βέλτιστος Έλεγχος Συστημάτων

Βέλτιστος Έλεγχος Συστημάτων

ΜΟΝΤΕΡΝΑ ΘΕΩΡΙΑ ΕΛΕΓΧΟΥ ΜΑΘΗΜΑΤΙΚΗ ΘΕΩΡΙΑΣ ΣΥΣΤΗΜΑΤΩΝ ΙΙ Τμήμα Μαθηματικών - Τομέας Υπολογιστών & Αριθμητικής Ανάλυσης Εξετάσεις Σεπτεμβρίου 2016

Μοντέρνα Θεωρία Ελέγχου

Βέλτιστος Έλεγχος Συστημάτων

Συστήματα Αυτομάτου Ελέγχου & Ρυθμίσεως Μηχανών (h>p://courseware.mech.ntua.gr/ml23147/)

Γραμμικός Προγραμματισμός Μέθοδος Simplex

Έλεγχος «Ελάχιστης Ενέργειας»

Πανεπιστήμιο Πατρών Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών. Διάλεξη 13

Ο Γραμμικός Τετραγωνικός Ρυθμιστής: Ευρεση Νόμου Ελέγχου

Σχολή Ηλεκτρολόγων Μηχ/κών και Μηχ/κών Υπολογιστών, Ε.Μ.Π., Ακαδημαϊκό Έτος , 8ο Εξάμηνο. Ρομποτική II. Ευφυή και Επιδέξια Ρομποτικά Συστήματα

Άσκηση 3. Έλεγχος ανατροφοδότησης κατάστασης dc κινητήρα. Έλεγχος ανατροφοδότησης κατάστασης

Ενότητα 2: Εισαγωγή στη Θεωρία Βέλτιστου Ελέγχου. Νίκος Καραμπετάκης Τμήμα Μαθηματικών

Συστήματα Αυτομάτου Ελέγχου & Ρυθμίσεως Μηχανών (h>p://courseware.mech.ntua.gr/ml23147/)

1. ΣΤΑΤΙΚΗ ΑΡΙΣΤΟΠΟΙΗΣΗ

Σχεδίαση Συστημάτων Αυτομάτου Ελέγχου με χρήση Αλγεβρικών Τεχνικών

Βέλτιστος Έλεγχος Συστημάτων

Συστήματα Αυτόματου Ελέγχου

Βιομηχανικοί Ελεγκτές

Βέλτιστος Έλεγχος Συστημάτων

Ενότητα 11: Βέλτιστος Έλεγχος με φραγμένη είσοδο - Αρχή ελαχίστου του Pontryagin. Νίκος Καραμπετάκης Τμήμα Μαθηματικών

ΚΕΦΑΛΑΙΟ 3 Ο 3.2 Η ΕΝΝΟΙΑ ΤΟΥ ΓΡΑΜΜΙΚΟΥ ΣΥΣΤΗΜΑΤΟΣ ΚΑΙ Η. (Σ) όπου α, β, α, β, είναι οι

Ενότητα 10: Γραμμικό Τετραγωνικό Πρόβλημα. Νίκος Καραμπετάκης Τμήμα Μαθηματικών

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (Εξ. Ιουνίου - 02/07/08) ΕΠΙΛΕΓΜΕΝΕΣ ΑΠΑΝΤΗΣΕΙΣ

Μοντέρνα Θεωρία Ελέγχου

Η Πολυεδρική Προσέγγιση στην Ανάλυση και Σύνθεση Συστηµάτων Ελέγχου. Εργαστήριο Συστηµάτων Αυτοµάτου Ελέγχου

Μοντέρνα Θεωρία Ελέγχου

Αυτόματος Έλεγχος. Ενότητα 9 η : Σχεδίαση ελεγκτών με το γεωμετρικό τόπο ριζών. Παναγιώτης Σεφερλής

Ορισμοί (Σημείο ισορροπίας - Ευστάθεια κατά Lyapunov)

(1) L{a 1 x 1 + a 2 x 2 } = a 1 L{x 1 } + a 2 L{x 2 } (2) x(t) = δ(t t ) x(t ) dt x[i] = δ[i i ] x[i ] (3) h[i, i ] x[i ] (4)

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα ΣΗΜΑΤΑ & ΣΥΣΤΗΜΑΤΑ

x (t) u (t) = x 0 u 0 e 2t,

ΠΡΟΒΛΗΜΑΤΑ ΔΥΟ ΔΙΑΣΤΑΣΕΩΝ

Ιδιάζουσες τιμές πίνακα. y έχουμε αντίστοιχα τις σχέσεις : Αυτές οι παρατηρήσεις συμβάλλουν στην παραγοντοποίηση ενός πίνακα

Πανεπιστήμιο Πατρών Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών. Διάλεξη 9

Κεφ. 7: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών

Παράδειγμα 1. Δίνεται ο κάτωθι κλειστός βρόχος αρνητικής ανάδρασης με. Σχήμα 1. στο οποίο εφαρμόζουμε αρνητική ανάδραση κέρδους

Λύσεις θεμάτων εξεταστικής περιόδου Ιανουαρίου Φεβρουαρίου 2015

Αριθμητική Ολοκλήρωση της Εξίσωσης Κίνησης

Βέλτιστος Έλεγχος Συστημάτων

2. Η μέθοδος του Euler

Ψηφιακός Έλεγχος. 11 η διάλεξη Ασκήσεις. Ψηφιακός Έλεγχος 1

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση Ι. Λυχναρόπουλος

Αριθμητική Ανάλυση και Εφαρμογές

. Οι ιδιοτιμές του 3 3 canonical-πίνακα είναι οι ρίζες της. , β) η δεύτερη είσοδος επηρεάζει μόνο το μεσαίο 3 3 πίνακα και

Αριθμητική Ανάλυση και Εφαρμογές

[1] είναι ταυτοτικά ίση με το μηδέν. Στην περίπτωση που το στήριγμα μιας συνάρτησης ελέγχου φ ( x)

Εισαγωγή στην Επιστήμη του Ηλεκτρολόγου Μηχανικού (και στην Τεχνολογία Υπολογιστών;)

Αριθμητική Ανάλυση και Εφαρμογές

Κεφ. 6Β: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών

Παραδείγματα Ιδιοτιμές Ιδιοδιανύσματα

y 1 (x) f(x) W (y 1, y 2 )(x) dx,

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

Συστήματα Αυτομάτου Ελέγχου ΙΙ Ασκήσεις Πράξης

ΒΑΣΙΚΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ ΤΗΣ ΜΕΘΟΔΟΥ SIMPLEX

Το μοντέλο Perceptron

x k Ax k Bu k y k Cx k Du k «άνυσµα καταστάσεων» «άνυσµα εισόδων»

Μέθοδος αιχμηρής εκτίμησης σε ασταθή γραμμικά μοντέλα

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο

Λ. Ζαχείλας. Επίκουρος Καθηγητής Εφαρμοσμένων Μαθηματικών Τμήμα Οικονομικών Επιστημών Πανεπιστήμιο Θεσσαλίας. Οικονομική Δυναμική 29/6/14

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

3. O ΑΛΓΟΡΙΘΜΟΣ ΤΟΥ PERCEPTRON

Έλεγχος «Ελάχιστης Ενέργειας»

HMY 220: Σήματα και Συστήματα Ι

Συστήματα Αυτομάτου Ελέγχου & Ρυθμίσεως Μηχανών (

ΘΕΩΡΙΑ ΣΗΜΑΤΩΝ & ΣΥΣΤΗΜΑΤΩΝ Χώρος Κατάστασης. Εµµανουήλ Ζ. Ψαράκης Πολυτεχνική Σχολή Τµήµα Μηχανικών Η/Υ & Πληροφορικής

Γραφική Λύση & Πρότυπη Μορφή Μαθηματικού Μοντέλου

Συνήθεις Διαφορικές Εξισώσεις Ι ΣΔΕ Bernoulli, Riccati, Ομογενείς. Διαφορικές Εξισώσεις Bernoulli, Riccati και Ομογενείς

Μοντελοποίηση προβληµάτων

f f 2 0 B f f 0 1 B 10.3 Ακρότατα υπό συνθήκες Πολλαπλασιαστές του Lagrange

Πανεπιστήμιο Πατρών Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών. Διάλεξη 2

Κεφάλαιο 4 Διανυσματικοί Χώροι

ΕΛΕΓΧΟΣ ΠΑΡΑΓΩΓΙΚΩΝ ΔΙΕΡΓΑΣΙΩΝ

Το πρόβλημα του φιλτραρίσματος είναι να υπολογιστεί η βέλτιστη εκτίμηση. μέχρι και τη χρονική στιγμή k. Η εκτίμηση είναι:

α) f(x(t), y(t)) = 0,

Συστήματα Αυτομάτου Ελέγχου ΙΙ Ασκήσεις Πράξης

Σημειώσεις διαλέξεων: Βελτιστοποίηση πολυδιάστατων συνεχών συναρτήσεων 1 / 20

Μηχανική ΙI. Μετασχηματισμοί Legendre. διπλανό σχήμα ότι η αντίστροφη συνάρτηση dg. λέγεται μετασχηματισμός Legendre της f (x)

Κεφάλαιο 4 Διανυσματικοί Χώροι

ΕΛΕΓΧΟΣ ΠΑΡΑΓΩΓΙΚΩΝ ΔΙΕΡΓΑΣΙΩΝ

Βέλτιστος Έλεγχος Συστημάτων

Ερωτήσεις για το μάθημα Μη Γραμμικά ΣΑΕ και Εφαρμογές: 10, 11, 15, 16, 17,18

TO ΠΡΟΒΛΗΜΑ ΤΗΣ ΤΟΠΟΘΕΤΗΣΗΣ ΠΟΛΩΝ ΜE ΑΝΑΤΡΟΦΟΔΟΤΗΣΗ ΤΩΝ ΜΕΤΑΒΛΗΤΩΝ ΚΑΤΑΣΤΑΣΗΣ

ΧΡΟΝΙΚΗ ΑΠΟΚΡΙΣΗ ΣΥΝΑΡΤΗΣΕΙ ΤΩΝ ΠΟΛΩΝ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ ΕΞΟΔΟΥ Y(s) ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΓΝΩΡΙΣΜΑΤΑ ΤΗΣ ΧΡΟΝΙΚΗΣ ΑΠΟΚΡΙΣΗΣ ΣΕ ΕΙΣΟΔΟ ΜΟΝΑΔΙΑΙΑΣ ΒΑΘΜΙΔΑΣ

Εισαγωγή στην Αριθμητική Ανάλυση

Εφαρμοσμένα Μαθηματικά ΙΙ

HMY 799 1: Αναγνώριση. συστημάτων. Διαλέξεις 6 7. Συνάφεια (συνέχεια) Μη παραμετρική αναγνώριση γραμμικών

Μοντέρνα Θεωρία Ελέγχου

Συστήματα Αυτομάτου Ελέγχου & Ρυθμίσεως Μηχανών

Κεφ. 3: Παρεμβολή. 3.1 Εισαγωγή. 3.2 Πολυωνυμική παρεμβολή Παρεμβολή Lagrange Παρεμβολή Newton. 3.3 Παρεμβολή με κυβικές splines

A Τελική Εξέταση του μαθήματος «Αριθμητική Ανάλυση» Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών, Πανεπιστήμιο Αιγαίου

ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX

ΜΑΘΗΜΑΤΙΚΑ ΙΙ ιδάσκων : Ε. Στεφανόπουλος 12 ιουνιου 2017

Kεφάλαιο 4. Συστήματα διαφορικών εξισώσεων. F : : F = F r, όπου r xy

Μέθοδοι πολυδιάστατης ελαχιστοποίησης

Λύσεις θεμάτων εξεταστικής περιόδου Ιανουαρίου Φεβρουαρίου 2015

Transcript:

Σύγχρονος Αυτόματος Έλεγχος.Ορισμοί και Χρήσιμες Ιδιότητες (Π) (A) είναι το διάνυσμα ιδιοτιμών του πίνακα Α (Π) x x x... xn (Π3) Η «ιδιότητα του τριγώνου»: για οποιαδήποτε διανύσματα ισχύει x, y ότι x y x y (Π4) Ένας τετραγωνικός πίνακας Α ονομάζεται θετικά ορισμένος (συμβολικά Α>0) όταν ισχύει η παρακάτω συνθήκη (Π5) Ένας τετραγωνικός πίνακας Α ονομάζεται θετικά ημι-ορισμένος (συμβολικά Α 0) όταν ισχύει η παρακάτω συνθήκη (Π6) Ιδιότητες Θετικά Ορισμένων και Ημι-Ορισμένων Πινάκων: (Π6.) Αν ο Α είναι θετικά ορισμένος, τότε όλες οι ιδιοτιμές του είναι πραγματικές και θετικές. (Π6.) Αν ο Α είναι θετικά ορισμένος, τότε είναι αντιστρέψιμος και A 0. (Π6.3) Αν ο Α είναι θετικά ημι-ορισμένος, τότε όλες οι ιδιοτιμές του είναι πραγματικές και μη-αρνητικές. (Π6.4) Αν ο Α είναι θετικά ορισμένος ή ημι-ορισμένος ισχύει ότι ( A) x x Ax ( A) x, x, όπου A), ( A) είναι η ελάχιστη min A 0 x Ax 0, x 0 A 0 x Ax 0, x 0 max min ( max και η μέγιστη αντίστοιχα ιδιοτιμή του πίνακα Α [Τι πρόσημο έχουν οι ιδιοτιμές A), ( A) και γιατί;]. min ( max (Π6.5) Αν ο Α είναι θετικά ορισμένος τότε ( A ) ( A) (Π7) Για δυό πίνακες A, B έχουμε ότι ( AB) B A.

.Ευστάθεια και Ευρωστία Ελεγκτών Θεώρημα Lyapunov Έστω το σύστημα x f ( x, w), x n, w m όπου x, w είναι το διάνυσμα κατάστασης και εξωγενών διαταραχών, αντίστοιχα. Το διάνυσμα εξωγενών διαταραχών μπορεί να είναι χρονικά μεταβαλλόμενο αλλά πεπερασμένο, δηλαδή w max max w( t). t Αν υπάρχει μια συνάρτηση (συνάρτηση Lyapunov) ικανοποιεί τις παρακάτω ιδιότητες:. V ( x) 0 x 0, V(0) 0 x 0. V ( x) x V x 3. V ( ) ( x) f ( x, w) 0, x, w, όπου το x n του το οποίο εμπεριέχει το σημείο x 0. V ( x), V : n, η οποία είναι ένα κλειστό υποσύνολο Τότε, ισχύει ότι για κάθε αρχική τιμή x (0), το διάνυσμα κατάστασης x (t ) θα εισέλθει στο υποσύνολο και θα παραμείνει εκεί για πάντα. Ευρωστία Ελεγκτών σε Γραμμικά Χρονικά Αμετάβλητα Συστήματα Βαθμωτό Σύστημα Έστω το βαθμωτό σύστημα x ( a a) x ( b b) u w όπου όλες οι ποσότητες στην παραπάνω εξίσωση είναι ΒΑΘΜΩΤΑ μεγέθη. Οι παράμετροι a, b αντιστοιχούν στις ονομαστικές (γνωστές) παραμέτρους του συστήματος, οι παράμετροι a, b () αντιστοιχούν στις (άγνωστες αλλά σταθερές) παραμετρικές αβεβαιότητες του συστήματος, ενώ το (άγνωστο και χρονικά μεταβαλλόμενο) μέγεθος w αντιστοιχεί στις εξωγενείς διαταραχές. Το ερώτημα που τίθεται είναι αν σχεδιασθεί ένας ελεγκτής για το «ονομαστικό» σύστημα x ax bu

κατά πόσο αυτός ο ελεγκτής θα είναι αποτελεσματικός για το «πραγματικό» σύστημα (). Έστω λοιπόν ο ελεγκτής u Kx ο οποίος, για να είναι αποτελεσματικός για το «ονομαστικό» σύστημα, θα πρέπει το κέρδος του Κ να ικανοποιεί την παρακάτω σχέση [γιατί;] ( a bk) 0 Η ανάλυση της αποτελεσματικότητας του παραπάνω ελεγκτή για το πραγματικό σύστημα θα γίνει μέσω της παρακάτω συνάρτησης Lyapunov [γιατί η παρακάτω συνάρτηση είναι συνάρτηση Lyapunov;] Έχουμε ότι V V x a a bk bkx wx Κάνοντας χρήση της ιδιότητας (Π3), έχουμε ότι V x a a bk bk w max x x w a a bk bk x w όπου a a bk bk. Για να ισχύει το Εύρωστο Θεώρημα Lyapunov, θα πρέπει 0. Σε αυτήν την περίπτωση (δηλαδή αν 0) έχουμε ότι (σύμφωνα με το Εύρωστο Θεώρημα Lyapunov) η κατάσταση x θα εισέλθει και θα παραμείνει για wmax πάντα στο σύνολο x : x. [γιατί;] 3

Ευρωστία Ελεγκτών σε Γραμμικά Χρονικά Αμετάβλητα Συστήματα Πολυδιάστατο Σύστημα Τώρα εξετάζουμε την επέκταση των παραπάνω σε μη-βαθμωτά συστήματα. Παρόμοια με την παράγραφο.3. υποθέτουμε ότι το πραγματικό σύστημα είναι το παρακάτω: x n m ( A A) x ( B B) u w, x, u, Όπως και στην παράγραφο.3., οι πίνακες (γνωστές) παραμέτρους του συστήματος, οι πίνακες w n () A, B αντιστοιχούν στις ονομαστικές A, B αντιστοιχούν στις (άγνωστες αλλά σταθερές) παραμετρικές αβεβαιότητες του συστήματος, ενώ το (άγνωστο και χρονικά μεταβαλλόμενο) διάνυσμα w αντιστοιχεί στις εξωγενείς διαταραχές. Το ερώτημα που τίθεται και εδώ είναι αν σχεδιασθεί ένας ελεγκτής για το «ονομαστικό» σύστημα x Ax Bu κατά πόσο αυτός ο ελεγκτής θα είναι αποτελεσματικός για το «πραγματικό» σύστημα (). Έστω λοιπόν ο ελεγκτής u Kx ο οποίος, για να είναι αποτελεσματικός για το «ονομαστικό» σύστημα, θα πρέπει ο πίνακας κέρδους να ικανοποιεί την παρακάτω σχέση [γιατί;] ( A BK) P ( A BK) P Q για κάποιους θετικά ορισμένους πίνακες P και Q. Συνέπεια της παραπάνω σχέσης είναι ότι αν ορίσουμε σαν συνάρτηση Lyapunov την συνάρτηση [γιατί η παρακάτω συνάρτηση είναι συνάρτηση Lyapunov;] V x Px τότε (για την περίπτωση του ονομαστικού συστήματος) έχουμε ότι [γιατί;] V x Τώρα, για την περίπτωση του πραγματικού συστήματος έχουμε ότι Qx 4

V ( A A) x ( B B) Kx w Px x P( A A) x ( B B) Kx w ( A A) x ( B B) Kx Px x P( A A) x ( B B) Kx w Px ( A A BK BK) x Px x P( A A BK BK) x w Px x A A BK BK P PA A BK BK x w Px x x A A BK BK P PA A BK BK x w Px x x A A BK BK P PA A BK BK x w P x A A BK BK P PA A BK BK P I x w x x w x Pw Pw x x Pw Pw ( 7) ( 3) όπου A A BK BK P PA A BK BK P I Για να ισχύει το Εύρωστο Θεώρημα Lyapunov, θα πρέπει 0 (δηλαδή ο πίνακας θα πρέπει να είναι θετικά ορισμένος). Σε αυτήν την περίπτωση (δηλαδή αν 0) έχουμε ότι (σύμφωνα με το Εύρωστο Θεώρημα Lyapunov) η κατάσταση x θα εισέλθει και θα παραμείνει για πάντα στο σύνολο x : x w max min. [γιατί;] 5

3.Γραμμικός Τετραγωνικός Έλεγχος (ΓΤΕ) Για το σύστημα Ο έλεγχος που ελαχιστοποιεί το κριτήριο όπου είναι θετικά ορισμένοι πίνακες, δίνεται από τη σχέση όπου ο πίνακας είναι ένας θετικά ορισμένος πίνακας, που υπολογίζεται ως η λύση της παρακάτω αλγεβρικής εξίσωσης Riccati: Η παραπάνω εξίσωση μπορεί να λυθεί κάνοντας χρήση της συνάρτησης care της matlab. 4.Παρατηρητής Θεωρείστε το Γραμμικό Χρονικά Αμετάβλητο (ΓΑΧ) σύστημα x Ax Bu, x k y Cx, y Παρατηρήστε ότι στο παραπάνω σύστημα, το διάνυσμα κατάστασης δεν είναι διαθέσιμο. Ένας παρατηρητής για το παραπάνω σύστημα είναι ο παρακάτω: xˆ ( A L C) xˆ Bu Ly L όπου οι πίνακες Φ και Ψ είναι θετικά ορισμένοι πίνακες σχεδιασμού. CX Η επίλυση της τελευταίας εξίσωσης (αλγεβρική εξίσωση Riccati) μπορεί να επιλυθεί κάνοντας χρήση της συνάρτησης care της matlab. Στην περίπτωση που το διάνυσμα κατάστασης δεν είναι διαθέσιμο, ο ελεγκτής θα πάρει τη μορφή (Ε) u R B Pxˆ όπου όλες οι ποσότητες έχουν ορισθεί παραπάνω. n, u XA A X XC m CX 6

5. Ανάλυση Ευστάθειας και Ευρωστίας ΓΤΕ και Παρατηρητή Για την ανάλυση ευστάθειας και ευρωστίας ελεγκτή που σχεδιάστηκε βάσει της θεωρίας ΓΤΕ, χρησιμοποιούμε την συνάρτηση Lyapunov. Για την ανάλυση ευστάθειας και ευρωστίας παρατηρητή που σχεδιάστηκε βάσει της θεωρίας ΓΤΕ, χρησιμοποιούμε την συνάρτηση Lyapunov. Και στις δύο περιπτώσεις, για την ανάλυση θα χρειασθεί ότι οι πίνακες και είναι θετικά ημιορισμένοι. Στην περίπτωση του ελεγκτή (Ε), για την ανάλυση ευστάθειας και ευρωστίας χρησιμοποιούμε την συνάρτηση Lyapunov. 7

6. Έλεγχος σε σταθερό σημείο (set point regulation) Στην περίπτωση που επιθυμούμε ο έλεγχος αντί να οδηγήσει το διάνυσμα κατάστασης στο 0, να το οδηγήσει σε ένα σταθερό σημείο x*, μπορούμε να εφαρμόσουμε Γραμμικό Τετραγωνικό Έλεγχο με τις παρακάτω αλλαγές:. Ορίζουμε το νέο διάνυσμα και "σπάμε" τον έλεγχο ως εξής: όπου. Μπορούμε να δούμε ότι η καταστατική εξίσωση του συστήματος μπορεί να γραφεί ως (αποδείξτε το!).. Ο Γραμμικός Τετραγωνικός Έλεγχος είναι τώρα εφαρμόσιμος για το νέο σύστημα (θα πρέπει το κριτήριο κόστους να αλλάξει για να είναι συνάρτηση μόνο των. 8

Σχεδιασμός Ελεγκτή: Η Γενική Περίπτωση Σχεδιάζουμε καταρχάς τον ελεγκτή, εφαρμόζοντας ΓΤΕ (βλ. κεφάλαιο 3) και θεωρώντας ότι (Υπόθεση ) το διάνυσμα κατάστασης x είναι διαθέσιμο (δηλαδή ότι y=x) (Υπόθεση ) ο σκοπός του ελέγχου είναι να φέρουμε το διάνυσμα κατάστασης x ασυμπτωτικά στο 0. Ελέγχουμε την ευστάθεια και την ευρωστία του συστήματος κλειστού βρόχου (βλ. κεφάλαιο και κεφάλαιο 5). Αν η απάντηση δεν είναι ικανοποιητική, μεταβάλουμε τους πίνακες σχεδιασμού Q, R. Αφαιρούμε την Υπόθεση, κάνοντας χρήση του Κεφαλαίου 6. Αφαιρούμε την Υπόθεση, κάνοντας χρήση παρατηρητή (Κεφαλαίου 5). Ελέγχουμε την ευστάθεια και την ευρωστία του συστήματος κλειστού βρόχου (βλ. κεφάλαιο και κεφάλαιο 5). Αν η απάντηση δεν είναι ικανοποιητική, μεταβάλουμε τους πίνακες σχεδιασμού Q, R, Φ και Ψ. 9

0

Άσκηση Θεωρείστε το σύστημα με συνάρτηση μεταφοράς: Y ( s) a s 4 3 a3s a U ( s) s a όπου οι αριθμοί α ι αντιστοιχούν στους αντίστοιχους αριθμούς των 4 πρώτων γραμμάτων του επιθέτου σας (π.χ. για το επίθετο Κοσματόπουλος, οι αριθμοί α ι θα είναι a 4 0, a3 5, a 8, a0 ).. Να βρείτε τις καταστατικές εξισώσεις του συστήματος στην μορφή x Ax Bu. Να αναπτύξετε πηγαίο κώδικα σε matlab ο οποίος, δεδομένου ενός θετικά ορισμένου πίνακα Q, να παράγει έναν ελεγκτή u Kx ο οποίος να ικανοποιεί την παρακάτω εξίσωση Lyapunov ( A BK) P ( A BK) P Q 3. Να εξετάσετε την ευρωστία του ελεγκτή αν το πραγματικό σύστημα είναι το παρακάτω: όπου x n m ( A A) x ( B B) u w, x, u, A, B 0.3, w 0.3 0 w και να «βελτιστοποιήστε» το ελεγκτή έτσι ώστε η κατάσταση του συστήματος να συγκλίνει σε τιμές x 0. 4. Να προσομοιώστε το σύστημα όταν επιδρά σε αυτό ο παραπάνω ελεγκτής. 5. Υποθέστε ότι στο παραπάνω σύστημα, μόνο η η από τις καταστάσεις είναι διαθέσιμη για μέτρηση. Να σχεδιάστε ένα παρατηρητή για το σύστημα και να προσομοιώστε το σύστημα όταν επιδρά σε αυτό ο συνδυασμένος παρατηρητής/ελεγκτής. n

Άσκηση :Σχεδιασμός Ελεγκτή για Προσέγγιση Στόχου Το πρόβλημα: Ένα ελεγχόμενο όχημα που βρίσκεται στο σημείο, επιθυμούμε να πάει στη θέση του στόχου. Οι δυναμικές εξισώσεις του οχήματος είναι οι εξής: (Ο) Σε αντίθεση όμως με άλλα κλασικά προβλήματα αυτόματου ελέγχου, το πρόβλημα εδώ είναι ότι δεν είναι γνωστή η θέση του στόχου. Αυτό που είναι γνωστό σε κάθε χρονική στιγμή είναι η απόσταση του οχήματος από τον στόχο Άρα η εφαρμογή κλασσικών μεθόδων αυτόματου ελέγχου δεν είναι δυνατή, καθώς η έξοδος του συστήματος είναι μη γραμμική συνάρτηση. Λύση: Για να εφαρμόσουμε τα εργαλεία αυτόματου ελέγχου, θα πρέπει να "φέρουμε" το σύστημα στην μορφή καταστατικών εξισώσεων (state-space equations): όπου ξ, w είναι εξωγενείς παράγοντες (προσοχή: οι όροι x,y, A, B,... δεν είναι απαραίτητα οι ίδιοι με αυτούς των εξισώσεων του οχήματος που δίνονται από την σχέση (Ο)) Βήμα ο: Σαν πρώτο βήμα πάντα ξεκινάμε από την εξίσωση εξόδου του συστήματος. Διαλέγουμε σαν έξοδο την συνάρτηση (γιατί;) y= Βήμα ο: Γραμματικοποιούμε την παραπάνω εξίσωση, κάνοντας χρήση της προσέγγισης κατά aylor: f( x ) f x f x f x x x x x! 0 ( ) ( 0) ( 0)( 0) ( 0)... Το πρόβλημα με την προσέγγιση κατά aylor είναι ότι πρέπει να επιλεγεί σωστά το σημείο. Επιλέγουμε διαφορετικά σημεία και ελέγχουμε τις εξισώσεις που προκύπτουν. Για παράδειγμα: (Επιλογή ) Έστω ότι =(0,0). Τότε το ανάπτυγμα aylor γίνεται: (A)

y f ( x) (0 x ) (0 x ) (( x x ) ) x (( x x ) ) x... * * * * x 0 x 0 3 ή, ισοδύναμα * * * * y x x x x x x w () όπου w είναι το σφάλμα προσέγγισης, το οποίο μπορούμε να θεωρήσουμε εξωγενή παράγοντα. (Επιλογή ) Έστω ότι =(, ). Σε αυτή την περίπτωση έχουμε ότι y 0 0x 0x w () Η διαφορά των εξισώσεων () και () είναι ότι ενώ η πρώτη είναι γραμμική συνάρτηση ως προς το, η δεύτερη είναι εντελώς ανεξάρτητη από το. Επιλέγουμε την Επιλογή, για δυο λόγους: (a) επιθυμούμε μια συνάρτηση της μορφής. Προφανώς, αυτή η απαίτηση ικανοποιείται με τη σχέση (), ως εξής: * * x y [ x x ] [0] u y0 w όπου y0 x * x * x (3) (b) Ο εξωγενής παράγοντας w είναι πολύ μικρότερος στην Επιλογή από ότι στην Επιλογή (γιατί;) Βήμα 3ο: Το πρόβλημα με την σχέση (3) είναι ότι δεν είναι στην μορφή γιατί υπάρχει στη σχέση (3) και ο σταθερός όρος y 0. Προχωράμε σε μετασχηματισμό των μεταβλητών της σχέσης (3), για να απαλλαγούμε από τον σταθερό όρο: x x Ορίζουμε: x x a x x a Όπου x x x a x x a και συνεπώς η σχέση (3) γίνεται: * * * * (3) y x x x ( x a ) x ( x a ) w * * * * * * ή y x x x x x a x x x a w Επιλέγουμε τους όρους α, α έτσι ώστε να "φεύγει" ο σταθερός όρος: * x * * * * x x x a x a * x και τελικά καταλήγουμε στην παρακάτω σχέση y x*, x* x w x, x x* x x x* y Cx w ή

(4) Βήμα 4ο: Η εξίσωση εξόδου (4) έχει την μορφή που επιθυμούμε, αλλά με μεταβλητή κατάστασης το διάνυσμα. Θα πρέπει να βρούμε και την αντίστοιχη διαφορική εξίσωση για αυτό το διάνυσμα. Παρατηρώντας ότι * x x x x a * x x έχουμε x Ax Bu x ( x a) x A( x a) Bu x Ax Aa Bu (5) Η παραπάνω εξίσωση είναι στην μορφή που επιθυμούμε (με εξαίρεση τον σταθερό όρο, το οποίο μπορούμε να εξαλείψουμε όχι με μετασχησμό μεταβλητών όπως στην περίπτωση της εξίσωσης εξόδου, αλλά με κατάλληλη επιλογή σήματος ελέγχου): Βήμα 5ο: Είμαστε έτοιμοι να σχεδιάσουμε τον ελεγκτή του προβλήματος για το σύστημα (4), (5) κάνοντας χρήση της παρακάτω διαδικασίας: Υπο-βήμα 5.α: Υποθέτουμε ότι (Υπόθεση ) το διάνυσμα κατάστασης είναι διαθέσιμο (δηλαδή υποθέτουμε ότι. (Υπόθεση ) ο επιθυμητός σκοπός του ελεγκτή είναι να φέρει το διάνυσμα κατάστασης στο 0. Ορίζουμε : u u u x Ax Aa Bu Bu x Ax Bu όπου το ικανοποιεί τη σχέση, οπότε το παραπάνω σύστημα είναι σε μορφή που μπορεί να εφαρμοστεί κατευθείαν ο σχεδιασμός ελεγκτή με χρήση Γραμμικού-Τετραγωνικού Έλεγχου, ως εξής: Επιλέγοντας κατάλληλα τους πίνακες R,Q, μπορούμε να σχεδιάσουμε τον ελεγκτή. Υπο-βήμα 5.β: "Αφαιρούμε" την Υπόθεση, δηλαδή υποθέτουμε ότι (Υπόθεση ) το διάνυσμα κατάστασης είναι διαθέσιμο (δηλαδή υποθέτουμε ότι. Σε αυτή την περίπτωση, ο ελεγκτής γίνεται: (6) 4

όπου ο πίνακας κέρδους k είναι αυτός του υπο-βήματος 5.α και δηλώνει το επιθυμητό σημείο στο οποίο επιθυμούμε να βρεθεί το σύστημά μας (δηλαδή το διάνυσμα θα πρέπει να είναι τέτοιο ώστε όταν, τότε ο στόχος του ελεγκτή έχει επιτευθεί. Προφανώς, ο στόχος του ελεγκτή έχει επιτευχθεί όταν ή, ισοδύναμα, όταν και άρα [ ] Υπο-βήμα 5.γ: "Αφαιρούμε" και την Υπόθεση. Προφανώς, η υλοποίηση του ελεγκτή (7) απαιτεί γνώση της θέσης του στόχου (παρατηρήστε ότι και τα δύο διανύσματα εξαρτώνται από την θέση του στόχου. Επειδή, όμως η θέση του στόχου δεν είναι γνωστή, απαιτείται ο σχεδιασμός ενός παρατηρητή που θα εκτιμά την άγνωστη αυτή θέση. Η μορφή αυτού του παρατηρητή είναι ως εξής: Παρατηρητής-Εκτιμητής xˆ Axˆ Bu L( y yˆ ) yˆ Cxˆ όπου δηλώνει την εκτίμηση του διανύσματος x το οποίο θέλουμε να εκτιμήσουμε. Στην περίπτωσή μας το διάνυσμα που θέλουμε να εκτιμήσουμε είναι το x* και για αυτό το λόγο. Δουλεύοντας όπως στο Βήμα, μπορούμε να σχεδιάσου με τον εκτιμητή για το x* ως εξής: (7) Θεωρούμε z=x-x* οπότε προσέγγισης κατά aylor: y d z z cz w κάνοντας χρήση της 5

f( z) z f ( z0) f ( z0) z y f ( z0) ( z z0) ( z z0) w z z f ( z ) z z z0 z0 z0 f ( z ) z ( z z ) z ( z z ) w 0 0 0 0 0 ( z ) ( z ) w z z w y z z Ή y Cz w, w z x x* z Ax Bu x* 0 y ˆ Cz w zˆ Ax Bu L( yˆ y) y d zˆ x xˆ* xˆ* x zˆ Οπότε, η τελική μορφή που παίρνει ο ελεγκτής είναι ίδια με την μορφή (7), αντικαθιστώντας τα δύο διανύσματα με τις εκτιμήσεις τους (πως;). Η ευστάθεια και ευρωστία του συνολικού ελεγκτή μπορεί να αναλυθεί κάνοντας χρήση της μεθόδου Lyapunov. Ποια συνάρτηση Lyapunov πρέπει να επιλέξουμε για να ελέγξουμε την ευστάθεια και ευρωστία του ελεγκτή (7); Ποια συνάρτηση Lyapunov πρέπει να επιλέξουμε για να ελέγξουμε την ευστάθεια και ευρωστία του τελικού ελεγκτή; Προφανώς, η ίδια μέθοδος που παρουσιάστηκε παραπάνω μπορεί να ακολουθηθεί για οποιαδήποτε μη-γραμμική συνάρτηση εξόδου, π.χ. Τι θα συμβεί αν στο αρχικό σύστημα (Ο) υπάρχει εξωγενής παράγοντας ή αβεβαιότητα σε σχέση με τις παραμέτρους του; 6

Κώδικας matlab Ο παρακάτω κώδικας matlab μπορεί να χρησιμοποιηθεί ως παράδειγμα για την ανάπτυξη κώδικα που επιλύει προβλήματα σχεδιασμού ελεγκτών. clear all close all %% Basics in CS sys=tf([],[,0.4,]); % Frequency domain H(s)=/(s^+0.4*s+) ss(sys) %System overview [A,B,C,D]=tfss([],[,0.4,]); %transfer function to state space conversion. [NUM,DEN]=sstf(A,B,C,D); %State-space to transfer function conversion. [Z,P,~] = tfzp([],[ 0.4 ]); %ransfer function to zero-pole conversion % System Response (step, imapulse), fixed time step(sys) impulse(sys) %% LQR %definition A=[0 0; 0 0 ; -.5 -.6-0.]; B=[0 0 0.]'; C=[ 0 0]; D=0; sys=ss(a,b,c,d); %Find the max-real eigenvalue. max(real(eig(a)))<0 %Define simulation time,u, start point t = 0:0.00:50; u=zeros(size(t)); x0 = [5.005 0 0]; %Simulate time response of LI models to arbitrary inputs lsim(sys,u,t,x0); %Q R matrices Q=eye(size(A)); R=; 7

%Compute K,L. Linear-quadratic regulator design for state space systems [K L P]=lqr(A,B,Q,R); %Define closed-loop system sys=ss(a-b*k,[0 0 0]',C,D); %Find the max-real eigenvalue. max(real(eig(a-k*b)))<0 %Simulate time response for closed-loop system lsim(sys,u,t,x0); %% Q R matrices analysis %fine-tuning --> Q,R matrices (HOW???) Q=[35 55 7;55 3 64; 7 64 50]; R=3; [K L P]=lqr(A,B,Q,R); dt=0.; x =[3*rand-.7 3*rand-.7 3*rand-.7]'; for i = :00 x=x+dt*(a-b*k)*x; if abs(-k*x)> break; end; end %% sub-optimal controller j=0; for g=0.0:0.0:5 if max(real(eig(a-g*b*k))) >= 0 j=j+; pos(j,:)=[max(real(eig(a-g*b*k))) g]; else neg(round(g*00-j),:)=[max(real(eig(a-g*b*k))) g]; end end hold on plot(pos(:,),pos(:,),'r',neg(:,),neg(:,),'g') plot(pos(j,),pos(j,),'ob'); h = legend('max_eigvalue > 0','max_eigvalue < 0',); set(h,'interpreter','none') grid on 8

title('maximum eigvalue of the system with g'); xlabel('g'); ylabel('maximum eigvalue'); hold off neg(,:) 9