Ο σκοπός αυτής της διπλωματικής είναι η ανάπτυξη ενός προσαρμοστικού ελεγκτή για έναν εύκαμπτο ρομποτικό βραχίονα. Οι μετρήσεις του συστήματος θεωρούνται πως παρεμβάλλονται από θόρυβο, του οποίου τα όρια είναι γνωστά εξ’αρχής. Ένας Set Memebership εκτιμητής υπολογίζει το δυνατό set (ορθότοπο) μέσα στο οποίο βρίσκονται οι τιμές του διανύσματος των παραμέτρων. Από τις ακμές του ορθοτόπου αυτού προκύπτουν τα όρια μέσα στα οποία βρίσκονται οι παράμετροι του συστήματος, τα οποία χρησιμοποιούνται για τον υπολογισμό της αβεβαιότητας της εκτίμησης της εξόδου του συστήματος. Ο ελεγκτής καθορίζει τα κέρδη του μέσα σε μια online βελτιστοποίηση ενός κόστους, το οποίο βάζει κάποια βάρη στην προσπάθεια του ελέγχου (control effort), στην προκλημένη αβεβαιότητα στην έξοδο του συστήματος αλλά και στο σφάλμα παρακολούθησης της εξόδου με ένα σήμα αναφοράς. Μετά την εφαρμογή του ελεγκτή, ελέγχεται η ευστάθεια των οριακών κλειστών συστημάτων που προκύπτουν από την εφαρμογή κάθε πιθανού νόμου ελέγχου. Εξετάζεται επίσης η συμπεριφορά του Set Memebership εκτιμητή σε περίπτωση σφάλματος, δηλαδή στην περίπτωση που το σύστημά μας αλλάζει καθώς δουλεύει ο έλεγχος. / The development of an adaptive controller for a flexible link manipulator is the subject of this diploma thesis. The system’s measurements are assumed to be corrupted with noise of a priori known bounds. A Set Membership Identifier computes the feasible set (orthotope) within which the parameter vector resides. The orthotope’s vertices provide the parameter-vector’s bounds, which are used to compute the predicted system-output uncertainty. The controller tunes its gains through an on-line minimization of a cost that penalizes the control effort, the induced uncertainty on the system output, and the tracking error. After the application of the controller, the stability of the ‘extreme’ closed loop systems, derived from every possible control law, is checked. The behavior of the Set Membership Identifier is checked in the case where a fault occurs, which means that there is a change in our system’s structure while the controller is functioning.

This thesis presents the development of a fault detection and diagnosis (FDD) procedure capable of capturing, isolating and identifying multiple abrupt parametric faults. The proposed method relies on parameter estimation deployed in a set membership framework. This approach presupposes the utilization of a linearly parametrizable model and the a priori knowledge of bounded noise errors and parameter perturbations. Under these assumptions, a data-hyperspace is generated at every time instant. The goal of set membership identification (SMI) is the determination of the parametric set, formed as an orthotope or ellipsoid, within which the nominal parameter vector resides and intersects with the data-hyperspace. The fault detection mechanism is activated when the normal operation of the SMI procedure is interrupted due to an empty intersection of the data-hyperspace and the estimated parametric set. At the detection instant, a resetting procedure is performed in order to compute the parameter set and the data-hyperspace that contain the varied nominal parameter vector, allowing the SMI algorithm to continue its operation. During the fault isolation, consistency tests are executed, relying on the projections of the worst case parametric sets and the ones arisen from the normal operation of SMI. A faulty component is indicated when these projections do not intersect, while the distance of their centers is used for fault identification. In case of the ellipsoidal SMI-based FDD and under the assumption of a time invariant parameter vector, a new fault detection criterion is defined based on the intersection of support orthotopes of ellipsoids. A more accurate estimation of the time instant of fault occurrence is proposed based on the application of a backward-in-time procedure starting from the fault detection instant, while the conditions under which a fault will never be detected by the orthotopic and ellipsoidal SMI based FDD are provided. This dissertation explores the efficiency of the proposed FDD methodology for capturing failure modes of two microelectromechanical systems; an electrostatic parallel-plate microactuator and a torsionally resonant atomic force microscope. From an engineering point of view, failure modes appeared in the microcomponents of the microactuator and the TR-AFM are encountered as parameter variations and are captured, isolated and identified by the proposed FDD methodology. / Σε αυτή την διατριβή, παρουσιάζεται η ανάπτυξη μιας διαδικασίας Ανίχνευσης και Διάγνωσης Σφαλμάτων, η οποία είναι ικανή να εντοπίζει, απομονώνει και αναγνωρίζει πολλαπλά, απότομα παραμετρικά σφάλματα. H προτεινόμενη μέθοδος βασίζεται στην αναγνώριση του συνόλου συμμετοχής των παραμέτρων. Ο στόχος της Αναγνώρισης Συνόλου Συμμετοχής είναι ο καθορισμός του παραμετρικού συνόλου εντός του οποίου κείται το ονομαστικό διάνυσμα παραμέτρων, δεδομένου ότι το ονομαστικό διάνυσμα παραμέτρων ανήκει επίσης σε έναν υπερχώρο δεδομένων. Το παραμετρικό σύνολο απεικονίζεται ως ένα ορθότοπο ή ένα ελλειψοειδές, λόγω της εύκολης μαθηματικής τους περιγραφής. Έτσι, η διαδικασία Αναγνώρισης Συνόλου Συμμετοχής αντιστοιχεί σε ένα πρόβλημα βελτιστοποίησης, το οποίο αποσκοπεί στον υπολογισμό του ορθοτόπου ή ελλειψοειδούς το οποίο περιέχει το ονομαστικό διάνυσμα παραμέτρων και τέμνεται με τον υπερχώρο δεδομένων. Ο μηχανισμός Ανίχνευσης Σφαλμάτων ενεργοποιείται όταν διακόπτεται η φυσιολογική λειτουργία της Αναγνώρισης Συνόλου Συμμετοχής, λόγω της κενής τομής μεταξύ των εκτιμώμενου παραμετρικού συνόλου και του υπερχώρου δεδομένων. Τη χρονική στιγμή ανίχνευσης ενός σφάλματος, εφαρμόζεται μια διαδικασία επαναρύθμισης που σκοπεύει στον υπολογισμό του νέου παραμετρικού συνόλου, το οποίο περιέχει το μεταβεβλημένο ονομαστικό διάνυσμα παραμέτρων και τέμνεται με το υπερχώρο δεδομένων. Κατά τη διάρκεια της διαδικασίας απομόνωσης του σφάλματος, εκτελούνται τεστ συμβατότητας, τα οποία βασίζονται στις προβολές των νέων παραμετρικών συνόλων και στις προβολές των παραμετρικών συνόλων χείριστης περίπτωσης, ενώ η απόσταση των κέντρων των προβολών χρησιμοποιείται για αναγνώριση σφάλματος. Στην περίπτωση που η Ανίχνευση και Διάγνωση Σφαλμάτων πραγματοποιείται βασιζόμενη στην Αναγνώριση Συνόλου Συμμετοχής με ελλειψοειδή και θεωρώντας το ονομαστικό διάνυσμα παραμέτρων χρονικά αμετάβλητο, ορίζεται ένα νέο κριτήριο ανίχνευσης σφαλμάτων, χρησιμοποιώντας την τομή των περιβαλλόντων ορθοτόπων των ελλειψοειδών. Σε αυτή την περίπτωση, ένα σφάλμα ανιχνεύεται όταν η τομή αυτή είναι κενή. Ακόμη, προτείνεται μια πιο ακριβής εκτίμηση της χρονικής στιγμής εμφάνισης του σφάλματος, ενώ παρατίθενται οι συνθήκες υπό τις οποίες ένα σφάλμα μπορεί να μην ανιχνευθεί ποτέ με την εφαρμογή των προτεινόμενων μεθόδων. Η συγκεκριμένη διατριβή επίσης ερευνά την αποτελεσματικότητα της προτεινόμενης μεθοδολογίας Ανίχνευσης και Διάγνωσης Σφαλμάτων για τον εντοπισμό των τρόπων εκδήλωσης σφαλμάτων σε δύο μικροηλεκτρομηχανικά συστήματα (ΜΗΜΣ), έναν ηλεκτροστατικό μικροεπενεργητή παράλληλων πλακών και ένα ατομικό μικροσκόπιο συντονισμού στρέψης. Από πλευράς μηχανικής, οι τρόποι εκδήλωσης σφαλμάτων στα δομικά στοιχεία του μικροεπενεργητή ή του ατομικού μικροσκοποίου αντιμετωπίζονται ως απότομες παραμετρικές, οι οποίες εντοπίζονται και διαγιγνώσκονται από τις προτεινόμενες μεθόδους.