Συστήματα αυτομάτου ελέγχου (ΙΙ) Modern Control Theory

Transcript

1 Σ ΕΡΓΑΣΤΗΡΙΟ ΣΥΣΤΗΜΑΤΩΝ ΑΥΤΟΜΑΤΟΥ ΕΛΕΓΧΟΥ Συστήματα αυτομάτου ελέγχου (ΙΙ Modern Conrol Theory (η Ενότητα: Συστήματα Συνεχούς Χρόνου Διδάσκων : Αναπληρωτής Καθηγητής Δ.Π.Θ.

2 Δομή και βασικές κατηγορίες συστημάτων Σύστημα είναι ένα σύνολο στοιχείων τα οποία είναι κατάλληλα συνδεδεμένα μεταξύ τους για να επιτελέσουν κάποιο έργο. Για να φέρει όμως ένα σύστημα σε πέρας ένα έργο θα πρέπει να του δοθεί,η κατάλληλη διέγερση. Η απόκρισηy( καλείται επίσης και συμπεριφορά του συστήματος. ( F y( F(( y( Οι κατηγορίες συστημάτων είναι πρώτιστα συνδεδεμένες με τη φύση των σημάτων εισόδου και εξόδου αλλά και με την ίδια τη φυσική υπόσταση και τις ιδιαιτερότητες του κάθε συστήματος Έτσι μπορούμε να δώσουμε επιγραμματικά τις ακόλουθες κατηγορίες συστημάτων

3 Βασικές κατηγορίες συστημάτων Ανάλογα με τη φύση των σημάτων εισόδου και εξόδου Συστήματα συνεχούς χρόνου Η είσοδος και η έξοδος είναι σήματα συνεχή στο χρόνο. Η δυναμική συμπεριφορά των συστημάτων περιγράφεται στη γενική περίπτωση από συστήματα γραμμικών ή μη γραμμικών διαφορικών εξισώσεων. Συστήματα διακριτού χρόνου Η είσοδος και η έξοδος είναι σήματα που έχουν υποστεί δειγματοληψία στο χρόνο. Η δυναμική συμπεριφορά των συστημάτων περιγράφεται στη γενική περίπτωση από συστήματα γραμμικών ή μη γραμμικών εξισώσεων διαφορών Ψηφιακά συστήματα Τα συστήματα αυτά είναι συστήματα διακριτού χρόνου με το επιπλέον χαρακτηριστικό ότι οι τιμές των σημάτων εισόδου και εξόδου είναι κβαντισμένες. Τα συστήματα αυτά είναι κατάλληλα για τον έλεγχο με τη βοήθεια υπολογιστή (ή ειδικά σχεδιασμένης ψηφιακής διάταξης 3

4 Βασικές κατηγορίες συστημάτων Ανάλογα με τον τρόπο λειτουργίας των συστημάτων Στατικά και δυναμικά συστήματα Στο στατικό σύστημα (ή σύστημα χωρίς μνήμη, το σήμα εξόδου y(, για κάθε χρονική στιγμή, εξαρτάται μόνο από την τρέχουσα τιμή του σήματος εισόδου (, (Παράδειγμα το Ωμικό στοιχείο R v( I(/R. Αντίθετα στα δυναμικά συστήματα ηέξοδοςy(, για κάθε χρονική στιγμή, εξαρτάται από τιμές του σήματος εισόδου ( και σε άλλες χρονικές στιγμές, Δηλαδή τα δυναμικά συστήματα είναι συστήματα με μνήμη (Παράδειγμα η χωρητική αντίσταση C ( C ( τ y dτ Χρονικά αμετάβλητα και μεταβαλλόμενα συστήματα. Ένα σύστημα λέγεται χρονικά αμετάβλητο αν και μόνο αν χρονικές καθυστερήσεις του σήματος εισόδου μεταφράζονται σε χρονικές καθυστερήσεις του σήματος εξόδου. Απόφυσικήάποψη αυτό σημαίνει ότι το σήμα εξόδου παραμένει το ίδιο, ανεξάρτητα από ποια χρονική στιγμή διεγείρουμε την είσοδο με το σήμα (. Μαθηματικά η ιδιότητα αυτή εκφράζεται ως εξής y( F( ( y( F( ( 0 0 4

5 Βασικές κατηγορίες συστημάτων Ανάλογα με τον τρόπο λειτουργίας των συστημάτων Αιτιατά συστήματα Ένα σύστημα λέγεται αιτιατό(ή φυσικά υλοποιήσιμο όταν το σήμα εξόδου εξαρτάται από τις τιμές του σήματος εισόδου στην παρούσα και προηγούμενες χρονικές στιγμές. Με άλλα λόγια μεταβολές στην έξοδο (αποτέλεσμα ενός συστήματος έπονται των μεταβολών που επιτελούνται στην είσοδο (αιτία (Παράδειγμα η χωρητική αντίσταση C ( C ( τ y dτ Γραμμικά και μη γραμμικά συστήματα. Ένα σύστημα, που βρίσκεται σε ηρεμία, λέγεται γραμμικό τότε και μόνο τότε όταν δοθέντων δύο σημάτων ( ( ισχύει F ( α ( + α ( α F( ( + α F( ( Δηλαδή η απόκριση στο γραμμικό συνδυασμό εισόδων ισούται με τον αντίστοιχο γραμμικό συνδυασμό των επιμέρους αποκρίσεων. Η θεωρία των γραμμικών συστημάτων είναι στις μέρες μας ιδιαίτερα αναπτυγμένη, αλλά τα περισσότερα φυσικά συστήματα έχουν μη γραμμική φύση. Γι αυτό πολλές φορές καταφεύγουμε στη λύση της γραμμικοποίησης μη γραμμικών συστημάτων. 5

6 Βασικά προβλήματα θεωρίας συστημάτων Συνήθως, κατά τη μελέτη των συστημάτων συμβαίνει να γνωρίζουμε (δηλαδή να μας δίνονται, τα δυο από τα τρία στοιχεία του τρίπτυχου είσοδος-σύστημα- έξοδος και να ζητείται να υπολογιστεί το τρίτο. Έτσι προκύπτουν τα εξής πολύ γνωστά και βασικά προβλήματα. ( F y( F(( y( Το πρόβλημα της ανάλυσης. Εδώ δίνεται η είσοδος ( και το σύστημα F και ζητείται να υπολογιστεί η έξοδος y(. Το πρόβλημα της σύνθεσης. Εδώ δίνεται η είσοδος ( και η έξοδος y( και ζητείται να υπολογιστεί το σύστημα F Το πρόβλημα της μέτρησης. Εδώ δίνεται το σύστημα F και η έξοδος y( και ζητείται να υπολογισθεί η είσοδος (. Το πρόβλημα της σχεδίασης ενός ΣΑΕ. Δίνεται το σύστημα F και η επιθυμητή συμπεριφορά του y( και ζητείται να βρεθεί μία είσοδος (, τέτοια ώστε, αν αυτή εφαρμοσθεί στο σύστημα, η έξοδος του συστήματος y( να είναι η προδιαγεγραμμένη επιθυμητή συμπεριφορά. Το πρόβλημα αυτό ανάγεται σε πρόβλημα σύνθεσης 6

7 Ανοικτά και κλειστά συστήματα Ανοικτό σύστημα είναι ένα σύστημα που η είσοδος ( δεν είναι συνάρτηση της εξόδου y(. Κλειστό σύστημα είναι ένα σύστημα που η είσοδος ( είναι συνάρτηση της εξόδου y(. (ή των καταστάσεων του συστήματος Ανοικτό σύστημα Κλειστό σύστημα Σε ένα σύστημα αυτομάτου ελέγχου το σήμα εισόδου ( δεν παράγεται απ ευθείας από μία γεννήτρια, αλλά είναι η έξοδος ενός πρόσθετου συστήματος που ονομάζουμε αντισταθμιστή ήρυθμιστήήελεγκτή. Στα ανοικτά συστήματα, ο αντισταθμιστής διεγείρεται από μία εξωτερική διέγερση ω(τ, η οποία μπορεί να είναι το σήμα μιας γεννήτριας. Είναι δε κατασκευασμένος έτσι ώστε η έξοδος του ( να είναι η κατάλληλη διέγερση στο υπό έλεγχο σύστημα που θα προκαλέσει την επιθυμητή έξοδο y( Στα κλειστά συστήματα, ο αντισταθμιστής διεγείρεται και από την έξοδο y( (ή την κατάσταση (, του υπό έλεγχο συστήματος, οπότε η ( είναι συνάρτηση και της y(. 7

8 Περιγραφή Συστημάτων με Εξισώσεις Κατάστασης Η ενότητα αυτή περιλαμβάνει περιλαμβάνει Βασικούς ορισμούς για την κατάσταση ενός συστήματος και την περιγραφή ενός συστήματος στον χώρο κατάστασης Τρόπους επίλυσης δυναμικών εξισώσεων κατάστασης Ιδιότητες των περιγραφών στο χώρο κατάστασης Πρώτη επαφή με τις έννοιες της ελεγξιμότητας και παρατηρησιμότητας 8

9 Εισαγωγή Οι σύγχρονες τάσεις στα δυναμικά συστήματα είναι προς την κατεύθυνση της μεγαλύτερης πολυπλοκότητας, κυρίως λόγω των απαιτήσεων των σύνθετων προβλημάτων και της υψηλής ακρίβειας. Τα σύνθετα συστήματα είναι δυνατόν να έχουν πολλές εισόδους και πολλές εξόδους. Τέτοια συστήματα μπορεί να είναι γραμμικά ή μη γραμμικά, μπορεί να είναι χρονικά ανεξάρτητα ή χρονικά μεταβαλλόμενα. Μια πολύ δυναμική προσέγγιση στην αντιμετώπιση τέτοιων συστημάτων είναι η αντιμετώπιση χώρου κατάστασης. Αυτή η προσέγγιση στηρίζεται στην αρχή της κατάστασης. Ηαρχή της κατάστασης δεν είναι καινούρια υπάρχει για μεγάλο χρονικό διάστημα στο πεδίο της κλασσικής δυναμικής καθώς και σε άλλους τομείς. Η νέα ιδέα είναι οσυνδυασμός της αρχής της κατάστασης και της δυνατότητας γρήγορης επίλυσης διαφορικών εξισώσεων με τη χρήση ψηφιακών υπολογιστών. Εάν το δυναμικό σύστημα είναι διαμορφωμένο στο χώρο κατάστασης, είναι πολύ εύκολο να προσομοιωθεί σε έναν υπολογιστή και να βρεθεί η λύση των διαφορικών εξισώσεών του. Αυτό συμβαίνει, γιατί η διαμόρφωση χώρου κατάστασης έχει γίνει έχοντας υπόψη ακριβώς τέτοιες υπολογιστικές λύσεις. 9

10 Η συνάρτηση μεταφοράς δεν αρκεί. (Ένα παράδειγμα Σταθεροποίηση με απαλοιφή πόλων: Έστω το ασταθές σύστημα ης τάξης Μίας εισόδου - Μίας εξόδου με συνάρτηση μεταφοράς H(s s Για την σταθεροποίησή του τοποθετούμε πριν από το αρχικό σύστημα τον αντισταθμιστή οπότε s- H(s c s + s H (s H(sH c(s H c(sh(s s s+ s+ Στην πραγματικότητα όμως το σύστημα δεν είναι ευσταθές. Λίγο μετά την έναρξη λειτουργίας του θα εκραγεί ή θα κορεσθεί. 0

11 Ο αντισταθμιστής προηγείται του συστήματος η Περίπτωση. Έστω ότι χρησιμοποιούμε τη μορφή s s s H c(s H(s + H (s Το διάγραμμα προσομοίωσης φαίνεται στο παρακάτω σχήμα ( ( v( + + ( y( και διαλέγοντας, τις εξόδους των ολοκληρωτών, έχουμε τις εξισώσεις χώρου κατάστασης & 0 (0, 0 + (0 & 0

12 Ο αντισταθμιστής προηγείται του συστήματος ( Τα δύο υποσυστήματα της προσομοίωσης αντιστοιχούν στις συγκεκριμένες συναρτήσεις μεταφοράς γιατί.. ( v & (v- & & -v + v& + v - & V(s(s + U(s(s- V(s s H c(s U(s s + ( y & + v y + v y-y & v Y(s(s V(s Y(s H(s V(s s

13 Ο αντισταθμιστής προηγείται του συστήματος (3 Για να βρούμε τη συμπεριφορά του συστήματος στο χρόνο έχουμε: & Όπου η συνέλιξη ορίζεται από τη σχέση ( h( (τh( τdτ s (s (0 (s (s (s(s + (0 (s 0 (s (s s+ s+ ( e 0 e ( Και αν (,h( αιτιατά τότε ( h( (τh( τdτ 0 3

14 Ο αντισταθμιστής προηγείται του συστήματος (4 Για να βρούμε το y( έχουμε: y( (. & s (s (s (s 0 (s (s s+ και 0 και & + + s (s (s + (s + (s 0 (s(s s (s (s + (s + (s 0 0 (s + + y( ( 0e + (e e 0 + e ( γιατί sinh a sinh (e e s a s 4

15 Ο αντισταθμιστής προηγείται του συστήματος Συμπεράσματα Στην περίπτωση που οι αρχικές τιμές 0, 0 0 τότε η y( είναι ευσταθής και η συνολική συνάρτηση μεταφοράς είναι πράγματι /(s+. Στην πράξη όμως είναι δύσκολο να κρατήσουμε τις αρχικές τιμές 0 λόγω μικρών τάσεων διαρροών στα διάφορα στοιχεία του συστήματος. Κάθε μη μηδενική αρχική τιμή με εξαίρεση την 0-0 διεγείρει τον ασταθή πόλο [/(s-] -> e. Ένα άλλο σημαντικό πρόβλημα είναι ότι η ακριβής απαλοιφή πόλων είναι πολύ δύσκολη λόγω μικρών μεταβολών στις παραμέτρους των διαφόρων στοιχείων που χρησιμοποιούμε καθώς και σε προσεγγίσεις που έχουν γίνει στο μοντέλο που χρησιμοποιούμε. 5

16 Ο αντισταθμιστής έπεται του συστήματος η Περίπτωση. Ο αντισταθμιστής έπεται του συστήματος. Διάγραμμα προσομοίωσης: s s s H(sH c(s + H (s ( + + ( + ( - - y( με χαρακτηριστική εξίσωση & 0 + & 0 y [ ] από όπου κατά τα προηγούμενα προκύπτει: y( (0 0e + + e ( 6

17 Ο αντισταθμιστής έπεται του συστήματος ( πράγματι & + s (s (s + (s 0 0 (s (s + s s- + ( e 0 e ( ( & s (s (s (s 0 (s(s + (s 0 (s s+ 0 0 (s (s (s + (s (s + ( e (e e e ( + e ( 0 0 οπότε y( ( ((0 0e e ( 7

18 Ο αντισταθμιστής έπεται του συστήματος Συμπεράσματα Η τελευταία έκφραση του y( (ο σύστημα δείχνει ότι το σύστημα είναι "εξωτερικά" ευσταθές ακόμη και αν οι αρχικές συνθήκες δεν είναι μηδενικές. Το σύστημα όμως παραμένει "εσωτερικά" ασταθές αφού οι μεταβλητές κατάστασης περιέχουν όρους που αυξάνονται ανάλογα με τον εκθετικό όρο e. Εσωτερική περιγραφή: πιο πολύπλοκη από την αντίστοιχη εξωτερική (εισόδων-εξόδων και καθορίζεται από το σύνολο των φυσικών συχνοτήτων του συστήματος. s -, Εξωτερική περιγραφή: μετά την απαλοιφή πόλων δεν εμφανίζονται οι κρυμμένοι πόλοι στην εξωτερική περιγραφή. Απομένει μόνο η συχνότητα s -. Η συνάρτηση μεταφοράς είναι μία εξωτερική περιγραφή, ορίζεται με μηδενικές αρχικές συνθήκες και δεν εμφανίζει τους κρυμμένους πόλους. Διαφορές πρώτης και δεύτερης υλοποίησης. η μορφή. Ο ασταθής πόλος είναι παρατηρήσιμος επειδή εμφανίζεται στην έξοδο και μη ελέγξιμος επειδή η εξωτερική είσοδος v( δεν μπορεί να τον επηρεάσει. (ανιχνεύσιμο- μη σταθεροποιήσιμο η μορφή. Ο ασταθής πόλος είναι μη παρατηρήσιμος αλλά ελέγξιμος. (μη ανιχνεύσιμο- σταθεροποιήσιμο 8

19 Ελεγξιμότητα και Παρατηρησημοτητα μια πρώτη γεύση Ένα σύστημα είναι ελέγξιμο στον χρόνο o αν είναι δυνατό μέσω ενός διανύσματος ελέγχου (είσοδο να μεταφέρουμε το σύστημα από οποιαδήποτε αρχική κατάσταση (o σε οποιαδήποτε άλλη κατάσταση μέσα σε ένα πεπερασμένη χρονικό διάστημα. Το σύστημα είναι παρατηρήσιμο στο χρόνο o αν με το σύστημα στην κατάσταση (o, είναι δυνατό να προσδιορισθεί αυτή η κατάσταση από την παρατήρηση της εξόδου πάνω σε ένα πεπερασμένο χρονικό διάστημα. Γενικά: Η ελεγξιμότητα του συστήματος αναφέρεται στο βαθμό στον οποίο οι είσοδοι (ή οι ελεγχόμενες μεταβλητές εισόδου επηρεάζουν το σύστημα, ενώ Η παρατηρησιμότητα του συστήματος αναφέρεται στο βαθμό στον οποίο οι έξοδοι (ή οι μετρούμενες μεταβλητές εξόδου πληροφορούν για την εσωτερική συμπεριφορά του συστήματος. 9

20 Εξισώσεις κατάστασης - Βασικοί Ορισμοί Κατάσταση. Η κατάσταση ενός δυναμικού συστήματος είναι το μικρότερο σύνολο μεταβλητών (οι οποίες καλούνται μεταβλητές κατάστασης, η γνώση των οποίων τη χρονική στιγμή 0, καθώς και η γνώση της εισόδου για > 0 καθορίζει πλήρως τη συμπεριφορά του συστήματος για οποιαδήποτε χρονική στιγμή > 0. Γι αυτό το λόγο η κατάσταση του συστήματος καθορίζεται με μοναδικό τρόπο από την κατάσταση τη χρονική στιγμή 0 και την είσοδο για > 0 και είναι ανεξάρτητη από την κατάσταση και την είσοδο πριν από τη χρονική στιγμή 0. Στην ενασχόληση με γραμμικά, χρονικώς ανεξάρτητα συστήματα συνηθίζεται η χρονική στιγμή αναφοράς να επιλέγεται ίση με το μηδέν. Αξίζει να σημειωθεί ότι η αρχή της κατάστασης δεν περιορίζεται σε καμία περίπτωση στα φυσικά συστήματα. Εφαρμόζεται σε βιολογικά, οικονομικά, κοινωνικά και άλλα συστήματα. Μεταβλητές κατάστασης. Οι μεταβλητές κατάστασης ενός δυναμικού συστήματος είναι οι μεταβλητές οι οποίες απαρτίζουν το μικρότερο σύνολο μεταβλητών που καθορίζουν την κατάσταση του δυναμικού συστήματος. Εάν απαιτούνται τουλάχιστον n μεταβλητές για να περιγραφεί πλήρως η συμπεριφορά ενός δυναμικού συστήματος, τότε αυτές οι n μεταβλητές είναι το σύνολο των μεταβλητών κατάστασης. Είναι σημαντικό ότι μεταβλητές οι οποίες δεν περιγράφουν φυσικές ποσότητες μπορούν να επιλεγούν ως μεταβλητές κατάστασης. 0

21 Βασικοί Ορισμοί Διάνυσμα κατάστασης. Εάν n μεταβλητές απαιτούνται για την πλήρη περιγραφή της συμπεριφοράς ενός δοσμένου συστήματος, τότε αυτές ο n μεταβλητές κατάστασης μπορούν να θεωρηθούνε ως τα n στοιχεία ενός διανύσματος. Ένα τέτοιο διάνυσμα καλείται διάνυσμα κατάστασης. Γι αυτόν ακριβώς το λόγο ένα διάνυσμα κατάστασης είναι το διάνυσμα που καθορίζει με μοναδικό τρόπο την κατάσταση του συστήματος ( για οποιαδήποτε χρονική στιγμή >τ 0, εφόσον δίνεται η είσοδος ( για >τ 0 και η κατάσταση του συστήματος για τ 0. Χώρος κατάστασης. Ο n- διάστατος χώρος του οποίου οι άξονες συντεταγμένων είναι οι άξονες,,, n ονομάζεται χώρος κατάστασης

22 Εξισώσεις χώρου κατάστασης Στην ανάλυση του χώρου κατάστασης υπάρχει ενδιαφέρον για τρεις τύπους μεταβλητών οι οποίοι εμπλέκονται στο μοντέλο των δυναμικών συστημάτων: μεταβλητές εισόδου, μεταβλητές εξόδου και μεταβλητές κατάστασης. Η αναπαράσταση του χώρου κατάστασης για ένα δοσμένο σύστημα δεν είναι μοναδική, με εξαίρεση ότι ο αριθμός των μεταβλητών κατάστασης είναι ο ίδιος για οποιαδήποτε από τις διαφορετικές απεικονίσεις του χώρου κατάστασης του ίδιου συστήματος. Οποιοδήποτε δυναμικό σύστημα μπορεί να περιλαμβάνει έναν ολοκληρωτή ή ολοκληρωτές. Τέτοιοι ολοκληρωτές κρατάνε στη μνήμη την εσωτερική κατάσταση του συστήματος. Γι αυτό οι έξοδοι τέτοιων μεταβλητών μπορούν να θεωρηθούν ως μεταβλητές οι οποίες καθορίζουν την εσωτερική κατάσταση του δυναμικού συστήματος. Επομένως οι έξοδοι των ολοκληρωτών μπορούν να χρησιμοποιηθούν ως μεταβλητές κατάστασης. Ο αριθμός των μεταβλητών που καθορίζουν πλήρως τη δυναμική του συστήματος είναι ίσος με τον αριθμό των ολοκληρωτών που συμμετέχουν στο σύστημα. Υποθέστε πως σε ένα σύστημα πολλών εισόδων πολλών εξόδων συμμετέχουν n ολοκληρωτές. Υποθέστε, επίσης,,,, r ότι υπάρχουν r είσοδοι ( ( ( και m έξοδοι y(, y(,, ym(

23 Εξισώσεις χώρου κατάστασης Οι n έξοδοι των ολοκληρωτών ορίζονται ως οι μεταβλητές κατάστασης:,,, n ( ( ( Τότε το σύστημα μπορεί να περιγραφεί ως εξής: & ( f & ( f... & n( f n (,,.., n;,,.. r; (,,.., n;,,.. r; (,,.., n;,,.. r; Ήσεπιοσυμπαγήμορφή & ( f(,, ( y( g(,, ( όπου Οι έξοδοι του συστήματος μπορούν να είναι συναρτήσεις των μεταβλητών κατάστασης, των μεταβλητών εισόδου και του χρόνου. Γι αυτό οι έξοδοι μπορούν να γραφτούν και με τον παρακάτω τρόπο:... y y ( g(,,.., n;,,.. r; ( g (,,.., n;,,.. r; ( gm(,,.., n;,,.. r; ym ( ( ( L ( T [ n ] T [ L r ] [ L ] ( ( ( ( y( y ( y ( y ( m T 3

24 4 Εξισώσεις χώρου κατάστασης και όπου Η εξίσωση ( είναι η εξίσωση κατάστασης και η εξίσωση ( είναι η εξίσωση εξόδου. Εάν οι διανυσματικές συναρτήσεις f και g περιλαμβάνουν σαφώς το χρόνο, τότε το σύστημα είναι χρονικά μεταβαλλόμενο. Εάν το σύστημα είναι γραμμικό, τότε οι εξισώσεις ( και ( παίρνουν τη μορφή ;,, ;,,, ( ;,, ;,,, ( ;,, ;,,, (, f f f r n n r n r n f(, ;,, ;,,, ( ;,, ;,,, ( ;,, ;,,, (, g g g r n n r n r n g(, όπου Α( ονομάζεται ο πίνακας κατάστασης, Β( ο πίνακαςεισόδου, C( ο πίνακας εξόδου και D( ο άμεσος μεταβατικός πίνακας. Εάν οι διανυσματικές συναρτήσεις f και g δεν περιλαμβάνουν σαφώς το χρόνο, τότε το σύστημα είναι χρονικώς αμετάβλητο. Σε αυτήν την περίπτωση οι εξισώσεις (- και (3-4 μπορούν να απλοποιηθούν ως εξής ( ( ( ( ( B A + & ( ( ( ( ( D C y + (3 (4 ( f(, & ( y g(, ( ( ( B A + & ( ( ( + y C D

25 Ένα παράδειγμα Θεωρείστε ένα δυναμικό σύστημα που ορίζεται από τη σχέση &&& y + 6 && y + y& + 6y 6 όπου y είναι η έξοδος και η είσοδος του συστήματος. Θέλουμε να περιγράψουμε το σύστημα στον χώρο κατάστασης Παρατηρούμε ότι η γνώση των y ( 0, y& (0, & y (0 και της εισόδου ( για >0 καθορίζει επακριβώς τη μελλοντική συμπεριφορά του συστήματος. Γι αυτό οι y (, y &(,&& y ( μπορούν να χρησιμοποιηθούν σαν μεταβλητές κατάστασης. Δηλαδή, 3 y y& && y οπότε & & & Ή σε πινακοδιανυσματική μορφή & & & y [ 0 0] 3 5

26 Πραγματώσεις (Realizaions Οι πραγματώσεις (realizaions μιας συνάρτησης μεταφοράς ή διαφορικής εξίσωσης συνεχούς χρόνου με αναλογικό υπολογιστή ή μιας συνάρτησης διακριτού χρόνου με ένα ψηφιακό φίλτρο είναι προσομοιώσεις των πραγματικών συστημάτων και είναι πολύ χρήσιμες για την ανάλυση και μελέτη της συμπεριφοράς των συστημάτων. Επειδή οι διαφοριστές υλοποιούνται μόνο κατά προσέγγιση και επιπλέον εισάγουν κρουστικές συναρτήσεις (ενισχύουν και το θόρυβο που τείνει να υπερισχύσει του σήματος, επιδιώκουμε την αποφυγή της χρήσης τους και προτιμούμε τους ολοκληρωτές. Πραγμάτωση της dy + e y d με διαφοριστές y d d dy d d d dy d - + dy - d ey y - e 6

27 Μηχανή του Kelvin Για αιτιατά συστήματα που περιγράφονται από την y (n f(y (n- (, y ( (,y(,(, ο Kelvin έκανε την υπόθεση ότι το βασικό δομικό του στοιχείο μπορεί να είναι ο ολοκληρωτής για τον οποίο έχουμε dy( ( y( y( 0 + (τdτ ( d y (n- (0 y (n- (0 y(0 0 Για να παράγουμε το διάγραμμα προσομοίωσης του διπλανού σχήματος υποθέτουμε ότι έχουμε το y (n ( και παράγουμε τις μικρότερες παραγώγους μετά από διαδοχικές ολοκληρώσεις οπότε έχουμε... y (n- ( y (n- ( y ( ( y( F(y (n-,,y (,y,, ( Αν στις γραμμικές διαφορικές εξισώσεις που περιγράφουν το σύστημα περιέχονται και παράγωγοι της εισόδου η διάταξη Kelvin δεν επαρκεί γιατί χρειάζονται και διαφοριστές για τις παραγώγους της εισόδου. 7

28 Πραγματώσεις γραμικών συστημάτων γενικής μορφής Στη γενική περίπτωση το γραμμικό, χρονικά αμετάβλητο (ΓΧΑ σύστημα περιγράφεται από μια διαφορική εξίσωση της μορφής: y ( + α y ( + + α y( b ( + b ( + + b ( (n (n (m (m n m+ γενικά προτιμούμε m<n γιατί η συνθήκη αυτή εξασφαλίζει ότι δεν εμφανίζονται κρουστικές αποκρίσεις και παράγωγοι της εισόδου στην έξοδο του συστήματος. Παράδειγμα Έστω το σύστημα με συνάρτηση μεταφοράς επειδή η τάξη του αριθμητή είναι μεγαλύτερη της τάξης του παρανομαστή διαιρούμε τον αριθμητή με τον παρανομαστή και παίρνουμε G(s 3 s + 5s + 9s+ 7 (s + (s + s+ 3 G(s s + + (s + (s + υπολογισμός κανονικής τάξης παρανομαστή > τάξης αριθμητή Έχοντας υπόψη ότι ο μετ/μός Laplace της μοναδιαίας κρουστικής συνάρτησης δ( είναι d L[δ(] και ότι L δ( s d έχουμε επειδή δε y( g( ( και ( δ ( ( d d y( ( ( e * ( -e * ( ( 0 d d δ + δ g( ( ( e -e ( 0 8

29 Για να ξεπεραστεί το πρόβλημα χρήσης διαφοριστών όταν στην διαφ. εξίσωση υπάρχουν παράγωγοι της εισόδου, έχουν προταθεί διάφορες μέθοδοι. Τέσσερις πραγματώσεις γραμμικών συστημάτων (πραγματώσεις κανονικών μορφών παρουσιάζονται παρακάτω. Α. πρώτη προσέγγιση : Με χρήση υπέρθεσης. Έστω το τρίτης τάξης σύστημα: (για μεγαλύτερες τάξεις η μέθοδος είναι ίδια y + α y + α y + α y b + b + b ( (3 ( ( ( ( 3 3 Εισάγουμε τη νέα βοηθητική μεταβλητή W για την οποία υποθέτουμε ότι πληροί την: w + α w + α w + a w ( (3 ( ( 3 τότε λόγω γραμμικότητας έχουμε ότι με αντικατάσταση του στο δεύτερο μέρος της (παίρνουμε y b w + b w + b w (3 ( ( 3 Εναλλακτικές πραγματώσεις όπου έχει γίνει η υπόθεση ότι οι αρχικές συνθήκες για τις ( και ( είναι μηδέν. το b 3 μας δίνει τον όρο α3 α3bw 3 ( ( το b μας δίνει τον όρο α3 α3bw + ( ( το b μας δίνει τον όρο α3 α3bw α y a (b w+ b w + b w y b w+ b w + b w ( ( ( (

30 Συνέχεια και Γενίκευση: Εναλλακτικές πραγματώσεις Το σύστημα (S y (n (+α y (n- (+ +α n y( b (m (+b (m- (+ +b m+ ( ( με συνάρτηση μεταφοράς Y(s b(s b s + b s + + b U(s α(s s α s α m m m+ n n n μπορεί να προκύψει από την εν σειρά λειτουργία δύο συστημάτων S και S. Για το σύστημα S εισάγουμε τη βοηθητική μεταβλητή w( και το S περιγράφεται από τη διαφορική εξίσωση S : w (n (+α w (n- (+ +α (n- w( ( (+α n w( ( ( Αν από τη ( αντικαταστήσουμε το ( και τις παραγώγους του στην ( προκύπτει το δεύτερο σύστημα. S : y( b w (m (+b w (m- (+ +b m+ w( (3 Η συνάρτηση μεταφοράς του S: S( s W(s Όπου α(s n n s + α s + + αn U(s α(s Y(s m m ενώ η συνάρτηση μεταφοράς του S : S (s b(s όπου b(s bs + bs + + bm+ U(s Το συνολικό σύστημα είναι το S(s b(s α(s ( S (s/a(s w( S (sb(s y( 30

31 Εναλλακτικές πραγματώσεις πράγματι. Το S έχει απόκριση w( στην έξοδο (. Επιπλέον η w( παριστάνει το τμήμα της εξόδου y(, που αντιστοιχεί στην έξοδο που θα παρουσιαζόταν αν είχαμε μόνο την ( στο δεξιό μέλος της (. Κατ αναλογία η w (n-i (, i,,,m- παριστάνει το τμήμα της εξόδου y( που θα παρουσιαζόταν αν είχαμε μόνο την (m-i ( στο δεξιό μέλος της (. Επομένως λόγω υπερθέσεως έχουμε b (m ( S b w( y ( b (m- ( S b w( y ( y( y( m y ( i i b w ( + b w ( + + b w( m m m+ b m+ ( b m+ w( y m+ ( S 3

32 Το σύστημα S πραγματώνει με δύο μορφές: τη μορφή "ανάδραση στην είσοδο" (παρακάτω σχήμα. Εναλλακτικές πραγματώσεις ( w (n ( w (n- ( w ( ( w( -a -a -a n Η συσχέτιση της εξίσωσης του S με το σχήμα είναι προφανής. 3

33 Εναλλακτικές πραγματώσεις και τη μορφή "ανάδραση στις καταστάσεις" (στο παρακάτω σχήμα ( w (n ( w ( ( w( -a n -a n- -a Για τη συσχέτισή της εξίσωσης περιγραφής του S με το σχήμα κάνουμε λίγες πράξεις : (ος αθροιστής w ( ( -α w(+ξ ( w ( (+ α w( ξ ( από δεξιά (ος αθροιστής ξ ( (+ α w( ξ ( w ( (+ α w ( (+ α w( ξ ( από δεξιά ξ ( (+ α 3 w( ξ 3 ( w (3 (+ α w ( (+ α w ( (+ α 3 w( ξ 3 (... w (n (+ +α w (n- (+ +α (n- w( ( (+α n w( ( 33

34 Εναλλακτικές πραγματώσεις Κανονική Ελέγξιμη Μορφή (Conroller Canonical Form Λέγεται η πραγμάτωση όπου το S πραγματώνεται με ανάδραση στην είσοδο. Πραγμάτωση του S με διαφοριστές Εξισώσεις y( b m+ κατάστασης w( Απαλοιφή -a διαφοριστών με ( A μετακίνηση των c ( + b ( -a c γραμμών σε y( cc ( κατάλληλες -a n θέσεις αριστερά a a an ann + b ( w (n ( w (n- ( w ( ( ( n-m n- n D D D b b m b m b m+ y( M n n y b + b + + b n m n m+ m+ n -a -a n-m -a n- -a n Στο σχήμα έχει γίνει η αντιστοιχία: n w( n- w ( (.. w (n- ( c b b b n m c 00 m+ 34

35 ( Εναλλακτικές πραγματώσεις Κανονική Μορφή Ελεγξιμότητας (Conrolabiliy Canonical Form Όταν το S πραγματώνεται με ανάδραση στις καταστάσεις τότε καταλήγουμε στην παρακάτω πραγμάτωση που ονομάζεται Κανονική Μορφή Ελεγξιμότητας: n n- n n D D D b b m b m+ y( b n (m (+b n (m- (+ +b m n ( (+ b m+ n ( ( y( -a n -a n- -a Απαλοιφή διαφοριστών h 0 h m- y( & ( α ( ( n n ( & ( α ( i i n i+ n i,3,,n (3 -a n ( n-m n- n n -a n- -a m -a h m 35

36 Εναλλακτικές πραγματώσεις Κανονική Μορφή Ελεγξιμότητας Αντικαθιστώντας τις παραγώγους n (i (, i,,,m στην ( χρησιμοποιώντας τις (,(3 τότε η( γράφεται σαν γραμμικός συνδυασμός των καταστάσεων n-i (, i0,,..,m ως εξής y(h o n-m (+h n-m+ (+ +h m- n- (+h m n ( (4 όπου οι παράμετροι h i, i0,,,m συνδέονται με τους συντελεστές b i, i0,,,m+ μέσω της σχέσης b 0 0 K 0 h0 Οι παράμετροι hi είναι οι b α 0 0 h παράμετροι Markov: K b 3 α α K 0 h (5 b(s i M M M M M M i Εξισώσεις κατάστασης b α α α K h m+ m m- m- m ( A ( + b ( c0 c0 y ( c ( c0 A c an 0 0 a 0 n , bc a a 0 c c0 n m h0 h h m H(s h s, s > 0 α(s i 0 Στις κανονικές μορφές (ελέγξιμη και ελεγξιμότητας η είσοδος εισέρχεται σε κάθε ολοκληρωτή, είτε απ ευθείας, είτε μετά από ορισμένες προηγούμενες ολοκληρώσεις χωρίς τη μεσολάβηση άλλων γραμμικών τελεστών. Συνεπώς κάθε μεταβαλλόμενη κατάσταση είναι ελέγξιμη, με την έννοια ότι μπορεί να επηρεασθεί μονοσήμαντα από την είσοδο. 36

37 Εναλλακτικές πραγματώσεις Κανονική παρατηρήσιμη μορφή Επειδή τα υποσυστήματα S, S είναι γραμμικά και χρονικά αμετάβλητα, μπορούμε να αντιστρέψουμε τη σειρά τους και να καταλήξουμε πάλι στο σύστημα S S (s b(s S (s /a(s Y( s W( s Το συνολικό σύστημα έχει συνάρτηση μεταφοράς Ss ( S(. s S( s. bs ( W( s U( s a( s Αν το S υλοποιείται με ανάδραση στις καταστάσεις ( y ( ( b m+ b m b -a n n -a n- Εξισώσεις κατάστασης & i( ai( + i+ (, i,,, n m & ( A0( + b0( i( ai( + i+ ( + bi n+ m+ (, i n m, n m+,, n y ( c ( n-m+ -a n-m ( w( y( -a y( A a a , b 0 b c [ 0 0 0]... b m+ 37

38 Εναλλακτικές πραγματώσεις Κανονική μορφή παρατηρησιμότητας ( Όταν στην προηγούμενη περίπτωση (το S προηγείται του S το S υλοποιείται με ανάδραση στην είσοδο, έχουμε την κανονική μορφή παρατηρησιμότητας h m h m- h 0 -a n -a - n- -a m+ y( ( ( (, i,,, n m i i+ ( ( + h (, i n m, n m,, n i i+ i n+ m ( a ( a ( a ( + h ( n n n n i n+ m n-m+ n-m y( Όπου A b c Εξισώσεις κατάστασης ( A ( + b ( 0b 0b y ( c ( A T 0b c0 T 0b cc0 T 0b bc0 0b -a n Στις δύο παρατηρήσιμες μορφές, η έξοδος του συστήματος εισέρχεται σε κάθε ολοκληρωτή είτε απευθείας, είτε μετά από ορισμένες ολοκληρώσεις, χωρίς άλλους γραμμικούς συνδυασμούς. 'Έτσι οι μεταβλητές καταστάσεως (δηλ. οι έξοδοι των ολοκληρωτών "παρατηρούνται" μονοσήμαντα με βάση την έξοδο 38

39 Σύνοψη περιγραφής Κανονικών Μορφών ( Κανονική παρατηρήσιμη μορφή Κανονική ελέγξιμη μορφή & ( A ( + B ( o y ( C ( 0 a 0 L 0 a 0 0 M n m L 0 Ao M M 0 O M, Bo, Co 0 L 0 b an M an 0 0 L 0 b m + o & ( A ( + B( y ( C ( c c c o [ ] a a a3 L an L 0 A 0 0 L 0, B, C 0 0 b b b + M M M O n m [ L L ] c c c m A o A T c B o C T c C o B T c 39

40 Σύνοψη περιγραφής Κανονικών Μορφών ( Κανονική μορφή Ελεγξιμότητας & ( A ( + B ( co y ( C ( 0 0 L 0 an 0 0 a L n 0 A 0 L 0 M, B, C 0 0 h h h a a a a m 0 a a m όπου [ h0 h hm] [ b b bm ] + M M M M a co co [ L L ] co co co 0 m M M O M 0 a n m Κανονική μορφή Παρατηρησιμότητας & ( A ( + B ( ob y ( C ( ob ob όπου A ob A T co B ob C T co C ob B T co 40

41 Δυαδικότητα Κανονικών μορφών Ελέγξιμη - Παρατηρήσιμη A 0 b 0 c c T A c T T c 0 b c Ελέγξιμότητας - Παρατηρήσιμότητας A b A T 0b c0 c T 0b c0 c b T 0b c0 4

42 Δυαδικότητα Κανονικών μορφών S.S S.S ( ( Ελέγξιμη n-m n- n b b m b m+ y( h m h m- h 0 n n- Παρατηρησιμότητας n-m+ n-m y( -a -a n-m -a -a - -a n- -a m+ -a n -a n Ελεγξιμότητας ( h 0 h m- y( b m+ b m b Παρατηρήσιμη ( n-m n- n n h m n n-m+ y( -a n -a n- -a m -a -a n -a n- -a n-m -a Αλλάζουμε: Φορά στα βέλη, είσοδο με έξοδο, σημεία άθροισης με σημεία άντλησης 4

43 Παράλληλεσ Πραγματώσεις. Οι πόλοι του παρανομαστή είναι όλοι διακριτοί b /(s-λ c b /(s-λ c n bs ( ki H( s as ( s λ n i bc i i s λ i i i b n /(s-λ n c n Αν οι έξοδοι των ολοκληρωτών ληφθούν σαν καταστάσεις του συστήματος παίρνουμε τις ακόλουθες εξισώσεις κατάστασης Ήσε i λii + b i πινακοδιανυσματική μορφή y c i i i A diag(λ, λ,, λ n λ i λ b λ b + n λ n b n y c c c [ ] n 43

44 Παράλληλεσ Πραγματώσεις. Οι πόλοι του παρανομαστή δεν είναι όλοι διακριτοί Έστω για παράδειγμα: bs s s H( s + + as s s s s s s ( ( ( + ( + ( + ( /(s+ J 0 A Jordan 0 J J, J 0 /(s+ 3 /(s+ y( Αν οι έξοδοι των ολοκληρωτών ληφθούν σαν καταστάσεις του συστήματος παίρνουμε τις ακόλουθες εξισώσεις κατάστασης i + Ήσε + πινακοδιανυσματική μορφή 3 3+ y y [ ] 44

45 Από τις εξισώσεις Χ.Κ. στη συναρτηση μεταφορασ & y( C( + D( Έστω το σύστημα στο χ.κ ( A( + B( sx ( s (0 AX( s + BU ( s Y ( s CX( s + DU ( s Η συνάρτηση μεταφοράς ορίζεται ως ο λόγος του μετασχηματισμού Laplace της εξόδου προς το μετασχηματισμό Laplace της εισόδου όταν οι αρχικές συνθήκες είναι μηδέν. Υποθέτοντας ότι το (0 (αριστερά είναι μηδέν, παίρνουμε Εφαρμόζοντας μετ/μό Laplace παίρνουμε sx( s AX( s BU( s ( si A X( s BU( s X( s ( si A Και τελικά BU ( s [ C( si A D] B U ( s Y ( s + Y( s Έτσι η συνάρτηση μεταφοράς έχει τη μορφή H ( s C( si A B+ D U( s Θυμόμαστε ότι Παράδειγμα: Ο Adj του Α είναι ο adj[ si A] a a a a a a [ si A] si A a a a a a a a a a3 όπου ο Adj(X είναι ένας a πίνακας που έχει για a a a a a a a a A 3 adj( A a a a a a a στοιχεία τα αλγεβρικά a3 a3 a 33 συμπληρώματα των a a a a a a στοιχείων του Χ a a a a a a

46 Ιδιοτιμές του πίνακα Α και πόλοι της συνάρτησησ μεταφορασ Οι ιδιοτιμές ενός nn πίνακα Α είναι οι ρίζες της χαρακτηριστικής εξίσωσης λi A Οι ιδιοτιμές λ i ενός nn πίνακα Α συνδέονται με A τα n ιδιοδιανύσματα i μέσω της σχέσης i λi Παρατηρήστε ότι στη συνάρτηση μεταφοράς 0 Y ( s adj( si A H ( s C B+ D U( s si A Οι ρίζες του πολυωνύμου του παρανομαστή (πόλοι είναι στην πραγματικότητα οι ρίζες της χαρακτηριστικής εξίσωσης δηλαδή οι ιδιοτιμές. Στην περίπτωση λοιπόν αυτή οι ιδιοτιμές του πίνακα Α ταυτίζονται με τους πόλους της συνάρτησης μεταφοράς. Οι ιδιοτιμές λοιπόν του πίνακα Α του συστήματος μας δίνουν χρήσιμη πληροφορία για την ευστάθεια του συστήματος 46

47 Οι μεταβλητές κατάστασης δεν είναι μοναδικές Ένα σύνολο μεταβλητών κατάστασης δεν είναι μοναδικό για ένα δοσμένο σύστημα. Το ίδιο ισχύει και για τις συναρτήσεις που περιγράφουν τη δυναμική τους συμπεριφορά Γι αυτό εάν είναι ένα διάνυσμα κατάστασης τότε και το z όπου zp είναι επίσης ένα διάνυσμα κατάστασης του συστήματος εφόσον ο P είναι ομαλός (δηλαδή η P είναι μη μηδενική και ο αντίστροφος του P υπάρχει Στην περίπτωση των Γ.Χ.Α συστημάτων έχουμε ότι &( A( + B( y( C( + D( Επειδή zp - P z z & P & P( A + B P( AP z + B z& ( Az ˆ ( + B ˆ ( y( Cz ˆ ( + D ˆ ( y C + D CP z + D ˆ A PAP B PB ˆ C CP D D, Μετασχηματισμός ομοιότητας, ˆ ˆ Καιοιδύοπαραστάσειςστοχώρο κατάστασης είναι έγκυρες και αντιστοιχούν στο ίδιο σύστημα και την ίδια συνάρτηση μεταφοράς Ονομάζονται όμοιες παραστάσεις 47

48 Οι ιδιοτιμές ενός συστήματος είναι αναλλοίωτες από τους γραμμικούς μετασχηματισμούς ομοιότητας Αυτό σημαίνει ότι σε δύο παραστάσεις του ίδιου συστήματος στο χ.κ, οι οποίες συνδέονται με γραμμικό μετασχηματισμό ομοιότητας, οι ιδιοτιμές του εκάστοτε πίνακααπαραμένουνοι ίδιες Αυτό είναι αναμενόμενο αφού και οι δύο παραστάσεις αντιπροσωπεύουν το ίδιο σύστημα με την ίδια συνάρτηση μεταφοράς και τις ίδιες ιδιότητες ευστάθειας Απόδειξη: Οι πίνακες δύο όμοιων συστημάτων στο χ.κ συνδέονται με τη σχέση Για να έχουν τις ίδιες ιδιοτιμές θα πρέπει να ισχύει Πράγματι,εφόσον η ορίζουσα ενός γινομένου είναι ίση με το γινόμενο των οριζουσών, ισχύει ˆ A PAP B PB ˆ C CP, Dˆ D λi Aˆ λi PAP λi A de( de( de( λi P AP λp P P AP P ( λi A P P λi A P P P λi A P P λi A λi A Ανεξαρτησία Ιδιοτιμών, ˆ 48