Πανεπιστηµιο Πατρων Τµηµα Μηχανικων Ηλεκτρονικων Υπολογιστων & Πληροφορικης Εργαστηριο Επεξεργασιας Σηµατων και Τηλεπικοινωνιων

Transcript

1 Πανεπιστηµιο Πατρων Τµηµα Μηχανικων Ηλεκτρονικων Υπολογιστων & Πληροφορικης Εργαστηριο Επεξεργασιας Σηµατων και Τηλεπικοινωνιων Ταυτοποίηση Μη Γραµµικών Συστηµάτων Υψηλής Τάξης : Μία προσέγγιση ϐασισµένη στις Σειρές Volterra ιπλωµατικη Εργασια Στα πλαισια του Μεταπτυχιακου Προγραµµατος «Συστηµατα Επεξεργασιας Σηµατων & Επικοινωνιων» ιονύσιος Καλογερίας Α.Μ.: 162 Επιβλέπων : κ. Επίκουρος Καθηγητής Εµµανουήλ Ψαράκης

2

3 Στη Γιάννα, για την αµέριστη στήριξη και την υποµονή της...

4

5 Περιεχόµενα Κατάλογος Σχηµάτων Κατάλογος Πινάκων v vii 1 Εισαγωγή Μη Γραµµικά Συστήµατα Σηµαντικές Κλάσεις Μη Γραµµικών Συστηµάτων Ταυτοποίηση Συστήµατος Κατηγοριοποίηση Μεθόδων Ταυτοποίησης Συστήµατος Ταυτοποίηση Συστήµατος Μαύρου Κουτιού Εισόδου - Εξόδου Γιατί Ταυτοποίηση Μη Γραµµικών Συστηµάτων ; ιάρθρωση της Εργασίας Σειρές Volterra Συστήµατα Συνεχούς Χρόνου Συστήµατα ιακριτού Χρόνου Οµογενή Συστήµατα Volterra Βασικές Ιδιότητες των Σειρών Volterra Γραµµικότητα ως προς τους Συντελεστές των Πυρήνων Η Ιδιότητα της Πολυδιάστατης Συνέλιξης Σχέση Πυρήνων Volterra και Πολυδιάστατων Γραµµικών Συστηµάτων ιαχωρίσιµοι Πυρήνες Volterra Ευστάθεια Κρουστικές Αποκρίσεις των Συστηµάτων Volterra Υπαρξη και Σύγκλιση των Σειρών Volterra Απόκριση συστηµάτων Volterra στο πεδίο της συχνότητας Απόκριση σε Μιγαδικά Εκθετικά Σήµατα i

6 2.5.2 Απόκριση σε πολλαπλά Μιγαδικά Εκθετικά Σήµατα ιανυσµατική Αναπαράσταση Συστηµάτων Volterra διακριτού χρόνου Ειδικές Μορφές Πολυωνυµικών Συστηµάτων Το Μοντέλο Hammerstein Το Μοντέλο Wiener Το Μοντέλο LNL Παράλληλες οµές Παράλληλο Μοντέλο Hammerstein Παράλληλο Μοντέλο Wiener Παράλληλο Μοντέλο LNL Ντετερµινιστική Ταυτοποίηση Συστηµάτων VH Πολυώνυµα Chebyshev 1 ου τύπου Ισοδύναµο Πρόβληµα Ταυτοποίησης Αρµονικά Σήµατα Χρονικά Μεταβαλλόµενης Συχνότητας Αρµονικά Σήµατα Εκθετικά Αυξανόµενης Συχνότητας Χρονικός Συγχρονισµός Εκθετικών Chirps Απόκριση Συστηµάτων VH σε Chirps Sincoids Το «Αντίστροφο Φίλτρο» Ορισµός του «Αντίστροφου Φίλτρου» για Εκθετικά Chirps Ταυτοποίηση Συστηµάτων VH ιακριτού Χρόνου µε χρήση Εκθετικών Chirps Αλγόριθµος Ταυτοποίησης Συστηµάτων ιακριτού Χρόνου Επαναληπτική Ανακατασκευή των Πυρήνων Σύγκλιση της Επαναληπτικής Μεθόδου Ανακατασκευής Συµπεριφορά της Μεθόδου Ανακατασκευής υπό την Επίδραση Προσθετικών ιαταραχών Βέλτιστη Στοχαστική Ταυτοποίηση Συστηµάτων Volterra Γενική ιατύπωση του Προβλήµατος Ταυτοποίησης Το Βέλτιστο των Σειρών Volterra Απαιτήσεις ειγµατοληψίας Σηµάτων Εισόδου - Εξόδου Άµεση Βέλτιστη Εκτίµηση Παραµέτρων Το Κριτήριο του Ελάχιστου Μέσου Τετραγωνικού Σφάλµατος (MMSE) Επέκταση σε µη-mmse Προβλήµατα Εκτίµησης Βέλτιστη Λύση υπό την έννοια του MMSE Ελάχιστο Μέσο Τετραγωνικό Σφάλµα Εκτίµηση των Απαιτούµενων Στατιστικών Εκτίµηση υπό την έννοια του MMSE για Gaussian Σήµατα Το Κριτήριο των Ελαχίστων Τετραγώνων (LS) Παραλλαγές του Κριτηρίου Ελαχίστων Τετραγώνων Σύγκλιση των Εκτιµητών Ελαχίστων Τετραγώνων ii

7 4.2.3 Συνθήκη Αντιστρεψιµότητας του Μητρώου Αυτοσυσχέτισης Βέλτιστη Ορθογώνια Ταυτοποίηση Συστηµάτων Volterra Βασικοί Ορισµοί Αποδοτικότητα χρήσης Ορθογώνιων Σηµάτων σε Προβλήµατα Εκτίµησης Παραµέτρων Ορθοκανονικοποίηση Σηµάτων στο Χώρο των Τυχαίων Μεταβλητών MMSE Βέλτιστη Ορθογώνια Ταυτοποίηση Συστήµατος LS Βέλτιστη Ορθογώνια Ταυτοποίηση Συστήµατος από Πραγµατικές Μετρήσεις Βέλτιστη Αναδροµική/Προσαρµοστική Ταυτοποίηση Συστηµάτων Volterra Ταυτοποίηση Συστηµάτων µε χρήση Φίλτρων Kalman Βέλτιστη Αναδροµική Ταυτοποίηση Γραµµικών Συστηµάτων Πεπερασµένης Κρουστικής Απόκρισης Βέλτιστη Αναδροµική Ταυτοποίηση Συστηµάτων Volterra Πεπερασµένης Υποστήριξης Προσαρµοστική Ταυτοποίηση Συστηµάτων Volterra Σχέση µεταξύ του Φίλτρου Kalman και του Αλγορίθµου Αναδροµικών Ελαχίστων Τετραγώνων Προσαρµοστική Ταυτοποίηση Συστηµάτων Volterra µε χρήση Εκθετικά Σταθµισµένων Φίλτρων Kalman Εξοµοιώσεις και Σύγκριση Μεθόδων Ταυτοποίησης Ταυτοποίηση Χρονικά Σταθερών Συστηµάτων VH «Μη Γραµµική Συνέλιξη» Βέλτιστη Ορθογώνια Ταυτοποίηση υπό την έννοια του MMSE Βέλτιστη Αναδροµική Ταυτοποίηση µε χρήση του Φίλτρου Kalman Σύγκριση Μεθόδων Ταυτοποίησης Ταυτοποίηση Χρονικά Μεταβλητών Συστηµάτων Volterra Βέλτιστη Αναδροµική/Προσαρµοστική Ταυτοποίηση µε χρήση του Εκθετικά Σταθµισµένου Φίλτρου Kalman Σύγκριση του Εκθετικά Σταθµισµένου Φίλτρου Kalman µε τον Αλγόριθµο RLS Βιβλιογραφία 17 iii

8

9 Κατάλογος Σχηµάτων 2.1 Συµπαγής διανυσµατική αναπαράσταση ενός συστήµατος Volterra διακριτού χρόνου και πεπερασµένης υποστήριξης Το σχηµατικό διάγραµµα του µοντέλου Hammerstein Το σχηµατικό διάγραµµα του µοντέλου Wiener Το σχηµατικό διάγραµµα του µοντέλου LNL Το σχηµατικό διάγραµµα του παράλληλου µοντέλου Hammerstein Το σχηµατικό διάγραµµα του παράλληλου µοντέλου Volterra - Hammerstein Το σχηµατικό διάγραµµα του παράλληλου µοντέλου Wiener Το σχηµατικό διάγραµµα του παράλληλου µοντέλου LNL Κυµατοµορφή ενός εκθετικού chirp Αποκρίσεις χρόνου και συχνότητας ενός λογαριθµικού sincoid Απόκριση συχνότητας σήµατος C (t; b), b = 1, Θορυβώδεις εκτιµήσεις πυρήνων Επαναληπτική ανακατασκευή αλλοιωµένων πυρήνων λόγω αναδίπλωσης Τρισδιάστατη απεικόνιση του τελεστή TX (M = 24 και N = 821) Η ενέργεια του «αντίστροφου ϕίλτρου» συναρτήσει του K (L = 1, f 1 = 2Hz, f 2 = 225Hz) «Μη γραµµική συνέλιξη»: Επαλήθευση τελικού µοντέλου για το σύστηµα Α Εξέλιξη του µέσου τετραγωνικού σφάλµατος κατά την επαναληπτική ανακατασκευή των πυρήνων του συστήµατος Α «Μη γραµµική συνέλιξη»: Επαλήθευση τελικού µοντέλου για το σύστηµα Β Εξέλιξη του µέσου τετραγωνικού σφάλµατος κατά την επαναληπτική ανακατασκευή των πυρήνων του συστήµατος Β Χαρακτηριστική εισόδου - εξόδου του µη συµµετρικού περιοριστή του συστή- µατος C v

10 6.6 Φασµατόγραµµα εξόδου του συστήµατος C όταν στην είσοδο εφαρµόζεται εκ- ϑετικό chirp «Μη γραµµική συνέλιξη»: Επαλήθευση τελικού µοντέλου για το σύστηµα C (11 κλάδοι) Εξέλιξη του µέσου τετραγωνικού σφάλµατος κατά την επαναληπτική ανακατασκευή των πυρήνων του συστήµατος C (11 κλάδοι) «Μη γραµµική συνέλιξη»: Επαλήθευση τελικού µοντέλου για το σύστηµα C (11 κλάδοι), χρησιµοποιώντας αρµονικό σήµα διέγερσης Φασµατογράµµατα εξόδων πραγµατικού και ταυτοποιηµένου συστήµατος C (11 κλάδοι) όταν ως είσοδο εφαρµόζεται εκθετικό chirp «Μη γραµµική συνέλιξη»: Επαλήθευση τελικού µοντέλου για το σύστηµα C (32 κλάδοι) Εξέλιξη του µέσου τετραγωνικού σφάλµατος κατά την επαναληπτική ανακατασκευή των πυρήνων του συστήµατος C (32 κλάδοι) Φασµατογράµµατα εξόδων πραγµατικού και ταυτοποιηµένου συστήµατος C (32 κλάδοι) όταν ως είσοδο εφαρµόζεται εκθετικό chirp Βέλτιστη ορθογώνια ταυτοποίηση υπό την έννοια του MMSE: Επαλήθευση τελικού µοντέλου για το σύστηµα Α Βέλτιστη εκτίµηση των πυρήνων του συστήµατος Α υπό την έννοια του MMSE Βέλτιστη ορθογώνια ταυτοποίηση υπό την έννοια του MMSE: Επαλήθευση τελικού µοντέλου για το σύστηµα Β Βέλτιστη εκτίµηση των πυρήνων του συστήµατος Β υπό την έννοια του MMSE Βέλτιστη αναδροµική ταυτοποίηση - Φίλτρο Kalman: Επαλήθευση τελικού µοντέλου για το σύστηµα Α Βέλτιστη αναδροµική εκτίµηση των πυρήνων του συστήµατος Α Βέλτιστη αναδροµική ταυτοποίηση - Φίλτρο Kalman: Επαλήθευση τελικού µοντέλου για το σύστηµα Β Βέλτιστη αναδροµική εκτίµηση των πυρήνων του συστήµατος Β Σύγκριση µεθόδων ταυτοποίησης χρονικά σταθερών συστηµάτων VH Σύγκριση παραλλαγών της µεθόδου της «µη γραµµικής συνέλιξης» για την ταυτοποίηση χρονικά σταθερών συστηµάτων VH Χρονική εξέλιξη της ϐέλτιστης προσαρµοστικής ταυτοποίησης του συστήµατος D Σύγκριση ϕίλτρου Kalman - RLS, SNR = 1dB Σύγκριση ϕίλτρου Kalman - RLS, SNR = 5dB Σύγκριση ϕίλτρου Kalman - RLS, SNR = db Σύγκριση ϕίλτρου Kalman - RLS, SNR = 3dB vi

11 Κατάλογος Πινάκων 6.1 Χαρακτηριστικά κλάδων του συστήµατος Α Χαρακτηριστικά κλάδων του συστήµατος Β Επιδόσεις των παραλλαγών της µεθόδου της «µη γραµµικής συνέλιξης» για αθόρυβα σήµατα εξόδου Χαρακτηριστικά κλάδων του συστήµατος D vii

12

13 1 Εισαγωγή 1.1 Μη Γραµµικά Συστήµατα Είναι δύσκολο, αν όχι αδύνατο, να δοθεί ένας κλειστός ορισµός των µη γραµµικών συστη- µάτων. Το διάσηµο παράδειγµα το µαθηµατικού Stan Ulam αποσαφηνίζει µε διαισθητικό τρόπο αυτή την εγγενή δυσκολία [1]: Χρησιµοποιώντας τον όρο «µη γραµµική επιστήµη», είναι σαν να αναφέρεσαι στο µεγαλύτερο µέρος της Ϲωολογίας ως τη µελέτη των «µη ελεφάντων» Ϲώων. Πάραυτα, ο κόσµος γύρω µας είναι γεµάτος µε µη γραµµικά ϕαινόµενα, και µάλιστα εί- µαστε πολύ εξοικειωµένοι µε αρκετά από αυτά. Κατ ουσίαν, ένα σύστηµα είναι µη γραµµικό όταν ο κανόνας των τριών δεν µπορεί να εφαρµοστεί για να περιγράψει τη συµπεριφορά του. Για παράδειγµα, το ϕορολογικό σύστηµα της Ελλάδας συµπεριφέρεται µη γραµµικά : Οσο µεγαλώνει ο µεικτός µηνιαίος µισθός ενός εργαζόµενου, τόσο µεγαλώνει και το µέσο ποσοστό ϕόρων που ϑα πρέπει να πληρώνει. Ενα πιο προσιτό παράδειγµα αποτελούν οι ενισχυτές ήχου. Οταν η έντασή τους αυξάνεται πολύ, τα σήµατα τα οποία παράγονται «ψαλιδίζονται», µε αποτέλεσµα η µουσική που ακούµε να παραµορφώνεται, αντί να ακούγεται πιο δυνατά. Επίσης, ο καιρός συµπεριφέρεται µη γραµµικά : Μικρές διαταραχές στο εσωτερικό αυτού του συστήµατος µπορούν να οδηγήσουν σε πολύ µεγάλες αλλαγές µετά από µία µακρά χρονική περίοδο. Αυτό αποτελεί το λεγόµενο «ϕαινόµενο της πεταλούδας». Για το λόγο αυτό είναι πολύ δύσκολη η ακριβής πρόβλεψη του καιρού σε ένα χρονικό ορίζοντα µεγαλύτερο από κάποιες µέρες. Σε κάποιες άλλες περιπτώσεις, η µη γραµµική συµπεριφορά ενός συστήµατος είναι ε- πιθυµητή. Για παράδειγµα, επιτεύγµατα του εικοστού αιώνα, όπως η µετάδοση ήχου και εικόνας, η κινητή τηλεφωνία και η τεχνολογία ολοκληρωµένων κυκλωµάτων CMOS ϑα ήταν αδύνατα χωρίς µη γραµµικές συσκευές, όπως τα transistors και οι µίκτες σηµάτων. Με λίγα λόγια, τα µη γραµµικά συστήµατα υπάρχουν παντού. Γι αυτό, είναι πολύ σηµαντική η προσπάθεια για την κατανόηση και τη µοντελοποίηση της συµπεριφοράς τους. Προφανώς, ένα σύστηµα, το οποίο δεν είναι γραµµικό, είναι µη γραµµικό (!). Πιο αυστη- ϱά, γνωρίζουµε ότι ένα σύστηµα, το οποίο αρχικά ϐρίσκεται σε ηρεµία και που συµπαγώς αναπαριστούµε χρησιµοποιώντας ένα γενικό τελεστή S [ ], είναι γραµµικό αν και µόνο αν 1

14 1.2. Ταυτοποίηση Συστήµατος υπακούει στη ϑεµελιώδη αρχή της υπέρθεσης, η οποία εκφράζεται ως S [a 1 x 1 (t) + a 1 x 2 (t)] = a 1 S [x 1 (t)] + a 2 S [x 2 (t)], (1.1) όπου x 1 (t), x 2 (t) αποτελούν δύο εισόδους του συστήµατος και a 1, a 2 αποτελούν σταθερές ποσότητες. Εποµένως, εάν ένα σύστηµα δεν υπακούει στην αρχή της υπέρθεσης, τότε ϑα λέµε ότι είναι µη γραµµικό. Το πιο σηµαντικό συµπέρασµα που προκύπτει από αυτόν τον εξαιρετικά γενικό ορισµό, αποτελεί το γεγονός ότι δεν υπάρχει κάποιο γενικό ϑεωρητικό πλαίσιο, όσον αφορά την ανάλυση και το χαρακτηρισµό των µη γραµµικών συστηµάτων. Για το λόγο αυτό, η µελέτη των µη γραµµικών συστηµάτων είναι εν γένει µία δύσκολη υπόθεση Σηµαντικές Κλάσεις Μη Γραµµικών Συστηµάτων Γενικά, είναι αδύνατη η ανάπτυξη ενός ϑεωρητικού πλαισίου, το οποίο να είναι εφαρµόσιµο για ολόκληρο το σύνολο των µη γραµµικών συστηµάτων. Ως εκ τούτου, η παραδοσιακή προσέγγιση στη µελέτη των µη γραµµικών συστηµάτων συνίσταται στην επιλογή µίας η περισσότερων κλάσεων τέτοιων συστηµάτων και στην ανάπτυξη ειδικών ϑεωριών για την ανάλυση, το σχεδιασµό, την υλοποίηση, καθώς και τις εφαρµογές των κλάσεων αυτών ξεχωριστά. Μερικές από τις πιο δηµοφιλείς κλάσεις µη γραµµικών συστηµάτων, οι οποίες έχουν ϐρει εφαρµογή σε πολλά πραγµατικά προβλήµατα, είναι οι εξής [11]: Οµοµορφικά Συστήµατα (Homomorphic Systems). Φίλτρα Order Statistic. Μορφολογικά Φίλτρα (Morphological Filters). Νευρωνικά ίκτυα (Neural Networks). Μηχανές ιανυσµατικής Υποστήριξης (Support Vector Machines). Πολυωνυµικά Συστήµατα (Polynomial Systems). Στην εργασία αυτή ϑα ασχοληθούµε αποκλειστικά µε πολυωνυµικά συστήµατα, τα οποία περιγράφονται µέσω υπερθέσεων γραµµικών πολυδιάστατων συνελικτικών συναρτησιοειδών µη γραµµικών πολυωνυµικών επεκτάσεων του σήµατος εισόδου, τις επονοµαζόµενες Σειρές Volterra. Ο περίεργος αυτός ορισµός ϑα γίνει απόλυτα κατανοητός στο επόµενο κεφάλαιο. 1.2 Ταυτοποίηση Συστήµατος Ο όρος ταυτοποίηση συστήµατος περιλαµβάνει όλες εκείνες τις µεθόδους, οι οποίες στοχεύουν στη δόµηση µοντέλων για την περιγραφή δυναµικών συστηµάτων, χρησιµοποιώντας δεδοµένα που έχουν προκύψει από µετρήσεις, καθώς και το ϐέλτιστο σχεδιασµό πειραµάτων για την αποδοτική παραγωγή των δεδοµένων αυτών. Εµφανώς, η ταυτοποίηση συστήµατος αποτελεί µέρος της ϐασικής επιστηµονικής µεθοδολογίας και εξ αιτίας της προφανούς 2

15 Κεφάλαιο 1. Εισαγωγή αφθονίας των δυναµικών συστηµάτων στο άµεσο και έµµεσο περιβάλλον του ανθρώπου, οι αντίστοιχες µέθοδοι ϐρίσκουν εφαρµογή σε µία τεράστια γκάµα προβληµάτων. Η διαδικασία δόµησης µοντέλων από δεδοµένα περιλαµβάνει τρεις ϐασικές οντότητες [2]: ένα σύνολο δεδοµένων - µετρήσεων. ένα σύνολο υποψήφιων µοντέλων, καθένα από τα οποία περιλαµβάνει ένα σύνολο παραµέτρων. ένα σύνολο µεθόδων για την εκτίµηση των παραµέτρων αυτών, χρησιµοποιώντας τα διαθέσιµα δεδοµένα Κατηγοριοποίηση Μεθόδων Ταυτοποίησης Συστήµατος Ανάλογα µε τη διαθεσιµότητα των δεδοµένων - µετρήσεων, οι µέθοδοι ταυτοποίησης συστή- µατος κατηγοριοποιούνται σε : εισόδου - εξόδου (input - output), όπου τα διαθέσιµα δεδοµένα αποτελούνται από Ϲεύγη διεγέρσεων και αποκρίσεων του δυναµικού υπό µελέτη συστήµατος, µόνο - εξόδου (output only / blind), όπου τα διαθέσιµα δεδοµένα αποτελούνται µόνο από αποκρίσεις του συστήµατος και κατά το ήµισυ - εξόδου (semiblind), όπου τα διαθέσιµα δεδοµένα αποτελούνται από αποκρίσεις του συστήµατος, συν κάποια αξιοποιήσιµα χαρακτηριστικά του άγνωστου σήµατος εισόδου, τα οποία είναι γνωστά εκ των προτέρων. Ανάλογα µε το είδος των υποψήφιων µοντέλων, οι µέθοδοι ταυτοποίησης συστήµατος κατηγοριοποιούνται σε : λευκού κουτιού (white box), όπου τα υποψήφια µοντέλα επιλέγονται γνωρίζοντας τις ϐασικές αρχές του υπό µελέτη συστήµατος, όπως, για παράδειγµα, τις διαφορικές εξισώσεις µίας ϕυσικής διεργασίας, µαύρου κουτιού (black box), όπου τα υποψήφια µοντέλα επιλέγονται µη γνωρίζοντας τις ϐασικές αρχές του συστήµατος και περιλαµβάνουν έναν αριθµό ελεύθερων παρα- µέτρων προς εκτίµηση και γκρι κουτιού (grey box), όπου τα υποψήφια µοντέλα επιλέγονται γνωρίζοντας εν µέ- ϱει τις ϐασικές αρχές του υπό µελέτη συστήµατος και περιλαµβάνουν δύο µέρη, ένα «λευκό» και ένα «µαύρο» Ταυτοποίηση Συστήµατος Μαύρου Κουτιού Εισόδου - Εξόδου Στα πλαίσια της εργασίας αυτής, ϑα ασχοληθούµε αποκλειστικά µε µεθόδους ταυτοποίησης µη γραµµικών συστηµάτων, ϑεωρώντας ότι οι είσοδοι και έξοδοι του υπό µελέτη συστήµατος 3

16 1.3. Γιατί Ταυτοποίηση Μη Γραµµικών Συστηµάτων ; είναι πάντοτε γνωστές, αλλά µη γνωρίζοντας τις ϐασικές αρχές εξέλιξής του και ϑεωρώντας ότι µπορεί ισοδύναµα να περιγραφεί χρησιµοποιώντας πολυωνυµικά µοντέλα (Σειρές Volterra). Ακόµα, µε τον όρο ντετερµινιστική ταυτοποίηση συστήµατος ϑα αναφερόµαστε σε µεθόδους όπου τα σήµατα εισόδου και εξίσου αποτελούν ντετερµινιστικές ποσότητες, ενώ µε τον όρο στοχαστική ταυτοποίηση συστήµατος ϑα αναφερόµαστε σε µεθόδους όπου τα αντίστοιχα σήµατα είναι τυχαία, µε πιθανώς γνωστές στατιστικές. 1.3 Γιατί Ταυτοποίηση Μη Γραµµικών Συστηµάτων ; Από τα παραδείγµατα που αναφέρθηκαν στην αρχή του κεφαλαίου, είναι εµφανές ότι πολλά ϕυσικά ϕαινόµενα είναι µη γραµµικά. Συχνά ϐέβαια, αρκεί η χρήση γραµµικών µοντέλων για την προσέγγιση της συµπεριφοράς τους. Αυτή είναι µία ελκυστική ιδέα, κυρίως επειδή το ϑεωρητικό υπόβαθρο για την ανάλυση και ταυτοποίηση γραµµικών συστηµάτων έχει µελετηθεί εκτενέστατα και είναι κάλως ορισµένο. Επιπλέον, τα γραµµικά µοντέλα είναι σχετικά ϐατά στην ερµηνεία και εύκολα στην κατανόηση. Γενικότερα, η προσέγγιση συστηµάτων χρησιµοποιώντας γραµµικά µοντέλα απαιτεί σηµαντικά µικρότερο κόπο σε σχέση µε την προσέγγιση χρησιµοποιώντας µη γραµµικά µοντέλα. υστυχώς όµως, οι γραµµικές προσεγγίσεις δεν είναι πάντα έγκυρες, και µάλιστα υπάρχουν προβλήµατα, για τα οποία η χρήση γραµµικών µοντέλων δεν προσφέρει ούτε κατά διάνοια επιθυµητά αποτελέσµατα. Για τους λόγους αυτούς, τις τελευταίες δεκαετίες, έχει δηµιουργηθεί µία σηµαντική τάση προς τη µοντελοποίηση συστηµάτων χρησιµοποιώντας µη γραµµικά µοντέλα σε ποικίλα πεδία εφαρµογών. Επιπρόσθετα, εξ αιτίας των τεράστιων τεχνολογικών εξελίξεων των τελευταίων χρόνων, έχει καταστεί δυνατή η υλοποίηση µη γραµµικών µοντέλων, ακόµα και για εφαρ- µογές πραγµατικού χρόνου. Ακόµα, στην εργασία αυτή, ϑα εστιάσουµε στην ταυτοποίηση µη γραµµικών συστηµάτων για την παραγωγή µοντέλων εξοµοίωσης. Αυτό σηµαίνει ότι, δεδοµένου ενός συνόλου µετρήσεων εισόδου - εξόδου, κατασκευάζουµε ένα µοντέλο, το οποίο, δεδοµένου ενός νέου σήµατος εισόδου, εξοµοιώνει την έξοδο του υπό µελέτη συστήµατος. Τέτοια µοντέλα, για παράδειγµα, µπορούν να χρησιµοποιηθούν για την αντικατάσταση ακριβών πειραµάτων ή/και συσκευών από ϕθηνά προγράµµατα υπολογιστών. 1.4 ιάρθρωση της Εργασίας Παρακάτω ακολουθεί εν τάχει η εσωτερική διάρθρωση της εργασίας. Στο Κεφάλαιο 2 παρουσιάζουµε τα κυριότερα σηµεία της ϑεωρίας των Σειρών Volterra, οι οποίες ϑα αποτελέσουν το ϐασικό ϑεωρητικό εργαλείο τόσο για την αναπαράσταση, όσο και για την ανάπτυξη µεθόδων ταυτοποίησης πολυωνυµικών µη γραµµικών συστηµάτων στη συνέχεια. Στο Κεφάλαιο 3 ϑα ασχοληθούµε µε την ντετερµινιστική ταυτοποίηση µίας ειδικής µορ- ϕής διακριτού χρόνου πολυωνυµικών µη γραµµικών συστηµάτων, τα οποία περιγράφονται 4

17 Κεφάλαιο 1. Εισαγωγή µέσω του λεγόµενου µοντέλου Volterra - Hammerstein (ϐλ. Κεφάλαιο 2). Πιο συγκεκριµένα, ϑα παρουσιάσουµε και ϑα αναλύσουµε µία σχετικά νέα µέθοδο ταυτοποίησης, η οποία ϐασίζεται στη διέγερση του υπό µελέτη συστήµατος χρησιµοποιώντας χρονικά µεταβαλλόµενα αρµονικά σήµατα πεπερασµένης διάρκειας, τα επονοµαζόµενα chirps, τα οποία διαθέτουν ορισµένες ενδιαφέρουσες χρονοσυχνοτικές ιδιότητες. Στο Κεφάλαιο 4 εισάγουµε και αναλύουµε διεξοδικά το ϑεµελιώδες πρόβληµα της ϐέλτιστης στοχαστικής ταυτοποίησης συστηµάτων Volterra διακριτού χρόνου υπό την έννοια του ελάχιστου µέσου τετραγωνικού σφάλµατος, καθώς και το αντίστοιχο ντετερµινιστικό πρόβλη- µα της ϐέλτιστης ταυτοποίησης συστηµάτων Volterra διακριτού χρόνου υπό την έννοια των ελαχίστων τετραγώνων. Επιπλέον, ϑα επικεντρωθούµε στη διατύπωση των προαναφερθέντων προβληµάτων ϐελτιστοποίησης πάνω σε ισοδύναµους ορθοκανονικούς χώρους σηµάτων εισόδου, τόσο στοχαστικών, όσο και ντετερµινιστικών. Στο Κεφάλαιο 5 ϑα ασχοληθούµε µε το πρόβληµα της ϐέλτιστης αναδροµικής και προσαρµοστικής ταυτοποίησης χρονικά µεταβλητών συστηµάτων Volterra διακριτού χρόνου υπό την έννοια του ελάχιστου µέσου τετραγωνικού σφάλµατος, µέσω του δηµοφιλούς ϕίλτρου Kalman. Χρησιµοποιώντας τη σχέση µίας ειδικής µορφής του ϕίλτρου Kalman µε τον εξίσου δηµοφιλή αλγόριθµο των εκθετικά επιβαρυµένων αναδροµικών ελαχίστων τετραγώνων, αναπτύσσουµε προσαρµοστικά ϕίλτρα µε ϐελτιωµένες ικανότητες εντοπισµού. Τέλος, στο Κεφάλαιο 6, δοκιµάζουµε και συγκρίνουµε τις µεθόδους που παρουσιάστηκαν στα προηγούµενα κεφάλαια µε ήδη υπάρχουσες µεθόδους ταυτοποίησης µέσω πειραµάτων και χρησιµοποιώντας δεδοµένα, τα οποία από περιβάλλοντα εξοµοίωσης. Επίσης, εξετάζου- µε και συγκρίνουµε τη συµπεριφορά των µεθόδων υπό την επίδραση εξωτερικών διαταραχών µέτρησης στα αντίστοιχα σήµατα εξόδου. Επιπλέον, παρουσιάζουµε καινούργια και ενδια- ϕέροντα αποτελέσµατα. 5

18

19 2 Σειρές Volterra Οι Σειρές Volterra αποτελούν τη ϐάση της ϑεωρίας των πολυωνυµικών µη γραµµικών συστη- µάτων. Σε αυτό το κεφάλαιο, ϑα γίνει µία σχετικά συνοπτική εισαγωγή στις Σειρές Volterra, στις ιδιότητές τους, καθώς και στη γενική µεθοδολογία µε την οποία ϑα µας δοθεί η δυνατότητα να περιγράψουµε µία µεγάλη κλάση µη γραµµικών συστηµάτων, τόσο στο συνεχή, όσο και στο διακριτό χρόνο. Επίσης, έµφαση ϑα δοθεί σε αρκετές απλοποιηµένες δοµές µη γραµµικών συστηµάτων, οι οποίες, αν και αποτελούν υποπεριπτώσεις της γενικής µορφής των Σειρών Volterra, µας δίνουν τη δυνατότητα να περιγράψουµε µε πολύ κοµψό τρόπο πολλά µη γραµµικά συστήµατα που προκύπτουν σε πρακτικές εφαρµογές. 2.1 Συστήµατα Συνεχούς Χρόνου Εστω ένα µη γραµµικό, δυναµικό και χρονικά αµετάβλητο σύστηµα συνεχούς χρόνου µε είσοδο x (t) και έξοδο y (t), το οποίο συµπαγώς ϑα αναπαριστούµε χρησιµοποιώντας το συµβολισµό y (t) = S [x (t)]. (2.1) Υπό κάποιες αρκετά γενικές προϋποθέσεις, στις οποίες ϐεβαίως ϑα αναφερθούµε στη συνέχεια, το σύστηµα που περιγράφεται από τη Σχέση (2.1) µπορεί να αναπτυχθεί σε Σειρά Volterra ως εξής [3, 4]: y (t) = h + + ˆ ˆ h 1 (τ 1 ) x (t τ 1 ) dτ 1 + ˆ ˆ ˆ h 2 (τ 1, τ 2 ) x (t τ 1 ) x (t τ 2 ) dτ 1 dτ 2 + h p (τ 1,, τ p ) x (t τ 1 ) x (t τ p ) dτ 1 dτ p +, (2.2) ή χρησιµοποιώντας την πιο συµπαγή µορφή ˆ p y (t) = h + x (t τ k ) dτ k, (2.3) p=1 S p h p (τ 1,, τ p ) k=1 7

20 2.1. Συστήµατα Συνεχούς Χρόνου όπου ο τελεστής S p υποδηλώνει p ϕορές πολλαπλή ολοκλήρωση σε όλο το πεδίο των πραγ- µατικών αριθµών R. Ενα µη γραµµικό σύστηµα το οποίο αναπαρίσταται χρησιµοποιώντας ανάπτυγµα σε Σειρά Volterra χαρακτηρίζεται πλήρως από τις πολυδιάστατες συναρτήσεις h p (t 1,, t p ), οι οποίες αποτελούν τους λεγόµενους πυρήνες Volterra (Volterra Kernels). Ο πυρήνας µηδενικής τάξης h είναι µία σταθερά, ενώ οι υψηλότερης τάξης πυρήνες µπο- ϱούν να ϑεωρηθούν, χωρίς ϐλάβη της γενικότητας, ως συµµετρικές συναρτήσεις των ορισµάτων τους, µε αποτέλεσµα οποιεσδήποτε από τις p! µεταθέσεις των t 1,, t p να µην επηρεάζουν την τιµή του αντίστοιχου πυρήνα h p (t 1,, t p ). Η συµµετρία αυτή προκύπτει ως άµεσο αποτέλεσµα της αµεταβλητότητας των γινοµένων των καθυστερηµένων εισόδων {x (t τ i ), i = 1,, p}, ως προς τις αντίστοιχες µεταθέσεις τους. Η αιτιατότητα ενός συστήµατος Volterra εξασϕαλίζεται αν και µόνο αν h p (t 1,, t p ) =, t i <, i = 1,, p. (2.4) Ως εκ τούτου, για αιτιατά συστήµατα Volterra, τα κάτω όρια των ολοκληρωµάτων της Σχέσης (2.2) ϑέτονται ίσα µε µηδέν. Οπως είναι ϕυσικό, τα άνω όρια των ολοκληρωµάτων της Σχέσης (2.2) δηλώνουν ότι το σύστηµα µπορεί να διαθέτει άπειρη µνήµη. Αν ϐέβαια όλα τα άνω όρια τροποποιηθούν ώστε να έχουν πεπερασµένες τιµές, τότε το σύστηµα διαθέτει πεπερασµένη µνήµη. Επίσης, αξίζει να σηµειωθεί ότι κάθε ολοκλήρωµα της Σχέσης (2.2) έχει τη µορφή πολυδιάστατης συνέλιξης, µια ιδιότητα πολύ σηµαντική, αφού µεταξύ άλλων παίζει καθοριστικό ϱόλο στον υπολογισµό της κρουστικής απόκρισης και του µετασχηµατισµού Fourier των Σειρών Volterra. Ορίζοντας τώρα τον p-οστής τάξης τελεστή Volterra h p [x (t)] ως h p [x (t)] = ˆ ˆ } {{ } p ϕορές µπορούµε να ξαναγράψουµε τη Σχέση (2.2) στη µορφή h p (τ 1,, τ p ) x (t τ 1 ) x (t τ p ) dτ 1 dτ p, (2.5) y (t) = h + h p [x (t)]. (2.6) p=1 Οπως είναι λογικό, ένα σύστηµα Volterra πεπερασµένης τάξης προκύπτει ϑέτοντας το πάνω όριο του αθροίσµατος της Σχέσης (2.6) ίσο µε ένα πεπερασµένο ϑετικό αριθµό P. Η παρά- µετρος P αποτελεί την τάξη (order) του µη γραµµικού συστήµατος. Επίσης, είναι γνωστό [5], ότι οποιοδήποτε χρονικά αµετάβλητο, πεπερασµένης µνήµης σύστηµα, το οποίο αποτελεί συνεχές συναρτησιοειδές της εισόδου του, µπορεί να προσεγγιστεί οµοιόµορφα πάνω σε ένα οµοιόµορφα πεπερασµένο και συνεχές σύνολο σηµάτων εισόδου από µία Σειρά Volterra κατάλληλα επιλεγµένης και πεπερασµένης τάξης P. Επιπροσθέτως, η Σχέση (2.6) αποκαλύπτει µία οµοιότητα των Σειρών Volterra µε τις Σειρές Taylor. Οταν το σήµα εισόδου 8

21 Κεφάλαιο 2. Σειρές Volterra πολλαπλασιάζεται µε µία σταθερά c, η έξοδος παίρνει τη µορφή y (t) = h + h p [cx (t)] = h + c p h p [x (t)], (2.7) p=1 p=1 η οποία αποτελεί δυναµοσειρά ως προς την c. 2.2 Συστήµατα ιακριτού Χρόνου Με παρόµοιο τρόπο µε αυτόν των συνεχούς χρόνου συστηµάτων, µπορούµε να περιγράψου- µε διακριτού χρόνου, δυναµικά και χρονικά αµετάβλητα µη γραµµικά συστήµατα, χρησι- µοποιώντας τη διακριτού χρόνου Σειρά Volterra y (n) = h + h p [x (n)], (2.8) όπου x (n) και y (n) αποτελούν τα σήµατα εισόδου και εξόδου, αντίστοιχα, και ισχύει ότι h p [x (n)] = m 1 = m p= } {{ } p ϕορές p=1 h p (m 1,, m p ) x (n m 1 ) x (n m p ), (2.9) όπου η ακολουθία h p (m 1,, m p ) αποτελεί τον p-οστής τάξης διακριτό και συµµετρικό πυρήνα Volterra του συστήµατος. Οπως και στη συνεχούς χρόνου περίπτωση, αν h p (n 1,, n p ) =, n i <, i = 1,, p, (2.1) τότε το µη γραµµικό σύστηµα είναι αιτιατό, και η Σχέση (2.9) µπορεί να ξαναγραφτεί ως εξής : h p [x (n)] = m 1 = h p (m 1,, m p ) x (n m 1 ) x (n m p ). (2.11) m p= } {{ } p ϕορές Μπορούµε λοιπόν να ερµηνεύσουµε τους διακριτού χρόνου πυρήνες Volterra µε έναν τρόπο απολύτως ανάλογο σε σχέση µε την περίπτωση του συνεχούς χρόνου. Πιο συγκεκριµένα, η σταθερά h αποτελεί έναν απλό όρο στάθµισης, ο πυρήνας πρώτης τάξης h 1 (n) αποτελεί την ακολουθία της κρουστικής απόκρισης ενός διακριτού χρόνου, γραµµικού και χρονικά αµετάβλητου συστήµατος και ο πυρήνας p-οστής τάξης h p (n 1,, n p ) µπορεί να ϑεωρηθεί ως µία γενικευµένη κρουστική απόκριση, η οποία στην ουσία αποτελεί µία ακολου- ϑία αριθµητικών ϐαρών, συσχετίζοντας κατάλληλα όλα τα γινόµενα εν γένει p διαφορετικών χρονικών καθυστερήσεων του σήµατος εισόδου. Είναι επίσης εµφανές ότι τα άνω όρια των αθροισµάτων της Σχέσης (2.11) υποδεικνύουν ότι το σύστηµα µπορεί να διαθέτει άπειρη 9

22 2.2. Συστήµατα ιακριτού Χρόνου µνήµη και, αν τα όρια αυτά τροποποιηθούν ώστε να έχουν πεπερασµένες τιµές, τότε το µη γραµµικό σύστηµα διαθέτει πεπερασµένη µνήµη. Εάν επιπλέον επιβάλουµε και τον περιορισµό της πεπερασµένης τάξης, τότε προκύπτει η διακριτού χρόνου, πεπερασµένης µνήµης και πεπερασµένης τάξης Σειρά Volterra, και η έξοδος του αντίστοιχου µη γραµµικού συστήµατος, στην πιο γενική µορφή του, µπορεί να εκφραστεί ως όπου h p [x (n)] = N 1 1 m 1 = N p 1 m p= } {{ } p ϕορές y (n) = h + P h p [x (n)], (2.12) p=1 h p (m 1,, m p ) x (n m 1 ) x (n m p ). (2.13) Αξίζει να αναφερθεί ότι οι προφανείς δυσκολίες που εµφανίζονται σε συστήµατα Volterra µε άπειρη µνήµη, τόσο σχετικά µε την υλοποίηση όσο και µε την εκτίµηση των παραµέτρων τους, µπορούν να αποφευχθούν χρησιµοποιώντας αναδροµικά πολυωνυµικά µοντέλα µη γραµµικών συστηµάτων. Η προσέγγιση αυτή είναι παρόµοια µε αυτήν της χρήσης γραµ- µικών ϕίλτρων άπειρης κρουστικής απόκρισης (IIR), όσον αφορά στα µοντέλα γραµµικών συστηµάτων. Στα αναδροµικά πολυωνυµικά µοντέλα µη γραµµικών συστηµάτων, η σχέση µεταξύ των σηµάτων εισόδου και εξόδου περιγράφεται από µία µη γραµµική εξίσωση διαφορών πεπερασµένης τάξης, η οποία περιλαµβάνει καθυστερηµένες τιµές του σήµατος εξόδου, καθώς και την τρέχουσα και καθυστερηµένες τιµές του σήµατος εισόδου και µπορεί συµπαγώς να εκφραστεί ως y (n) = f i [x (n), x (n 1),, x (n N), y (n 1),, y (n M)], (2.14) όπου f i [ ] αποτελεί ένα πολυώνυµο i-οστού ϐαθµού ως προς τις µεταβλητές που ϐρίσκονται µέσα στις αγκύλες. Η Σχέση (2.14) είναι γνωστή στη ϐιβλιογραφία ως το λεγόµενο πολυωνυµικό µοντέλο Kolmogorov - Gabor [6]. Βέβαια, πολύ συχνά, η δυναµική υποστήριξη που είναι απαραίτητη για την επιθυµητή ποιότητα προσέγγισης ενός µη γραµµικού συστήµατος είναι πεπερασµένη. Σε µία τέτοια περίπτωση, η προσέγγιση του συστήµατος χρησιµοποιώντας µία Σειρά Volterra πεπερασµένης µνήµης είναι αρκετή για να µοντελοποιήσει τη συµπεριφορά του. Λόγω της σχετικής απλότητας των σχέσεων εισόδου - εξόδου, τα µη αναδροµικά µοντέλα που περιγράφονται χρησιµοποιώντας συστήµατα Volterra πεπερασµένης µνήµης και πεπε- ϱασµένης τάξης έχουν µελετηθεί εκτενέστατα και αποτελούν δηµοφιλείς επιλογές για την περιγραφή µη γραµµικών συστηµάτων. Το πιο απλό πολυωνυµικό ϕίλτρο είναι το τετραγωνικό (quadratic). Πολλές ϕορές µάλιστα, η χρήση του τετραγωνικού όρου, είτε µόνου του είτε σε επαλληλία µε ένα γραµµικό ϕίλτρο, προσφέρει λύση σε αρκετά ενδιαφέροντα προβλήµατα. 1