Δομοστοιχειωτός έλεγχος κύκλου πίεσης αντιδραστήρα παρουσία σφαλμάτων

Στην παρούσα διπλωματική εργασία θα παρουσιαστεί το σύστημα ενός αντιδραστήρα. Θα παρουσιαστούν τα μαθηματικά μοντέλα των επιμέρους υποσυστημάτων του αντιδραστήρα, της βαλβίδας ελέγχου, του αισθητήρα πίεσης και του κουμπιού του χειριστή με χρήση πεπερασμένων ντετερμινιστικών αυτόματων. Θα αναπτυχθούν τα μαθηματικά μοντέλα των επιμέρους υποσυστημάτων με παρουσία σφαλμάτων αισθητήρων και ενεργοποιητών. Θα αναπτυχθεί το συνολικό μοντέλο του συστήματος με την παρουσία σφαλμάτων. Θα διερευνηθεί η δυνατότητα περιγραφής των επιθυμητών συμπεριφορών του συστήματος με τα σφάλματα σε μορφή επιθυμητών κανονικών γλωσσών. Θα διερευνηθούν οι ιδιότητες των επιθυμητών γλωσσών ως προς το συνολικό αυτόματο του συστήματος. Θα διερευνηθεί η δυνατότητα σχεδιασμού μίας δομοστοιχειωτή αρχιτεκτονική εποπτικού ελέγχου με ανοχή στα σφάλματα. Θα υλοποιηθεί η δομοστοιχειωτή αρχιτεκτονική ελέγχου σε γλώσσα Ladder για χρήση σε PLC.In this diploma thesis the system of a reactor will be presented. Mathematical models of the individual subsystems of the reactor, the control valve, the pressure sensor and the button of the operator will be presented using finite deterministic automata. Mathematical models of the individual subsystems will be developed in the presence of sensor and actuator faults. The overall system model with the presence of faults will be developed. The possibility of describing the desired system behaviors with faults in the form of desired formal languages will be investigated. The properties of the desired languages regarding the overall automaton will be investigated. The possibility of designing a modular supervisory control architecture with fault tolerance will be explored. The modular control architecture will be implemented in Ladder language for use in PLC

Εποπτικός έλεγχος μίας γραμμής συναρμολόγησης αναφοράς για την οροφή αυτοκινήτων με παρουσία σφαλμάτων

Στην παρούσα διπλωματική εργασία θα παρουσιαστεί το σύστημα της γραμμής συναρμολόγησης της οροφής του πλαισίου (σκελετού) ενός αυτοκινήτου. Θα παρουσιαστούν τα μαθηματικά μοντέλα των επιμέρους υποσυστημάτων του συστήματος συναρμολόγησης, δηλαδή ο μεταφορέας, ο τροφοδότης του πλαισίου, ο τροφοδότης της οροφής, η πρέσα και ο εκφορτωτής. Θα αναπτυχθούν τα μαθηματικά μοντέλα των επιμέρους υποσυστημάτων του συστήματος συναρμολόγησης με την παρουσία σφαλμάτων ενεργοποιητών/αισθητήρων. Θα αναπτυχθεί το συνολικό μοντέλο του συστήματος με παρουσία σφαλμάτων. Θα παρουσιαστούν οι επιθυμητές συμπεριφορές σε μορφή κανόνων και σε μορφή επιθυμητών γλωσσών. Θα αποδειχτεί η ελεγξιμότητα των επιθυμητών γλωσσών ως προς το συνολικό αυτόματο του συστήματος. Θα σχεδιαστεί ένα σύνολο δυναμικών εποπτών με βάση τις επιθυμητές γλώσσες και θα σχεδιαστεί μία δομοστοιχειωτή αρχιτεκτονική εποπτικού ελέγχου με ανοχή σε σφάλματα.In this diploma thesis the system of an assembly line of the roof (frame) of a car will be presented. The mathematical models of the individual subsystems of the assembly system will be presented, i.e., the transporter, the chassis feeder, the roof feeder, the press and the unloader. Mathematical models of the individual subsystems of the assembly system will be developed in the presence of actuator / sensor faults. The overall system model with faults will be developed. The desired behaviors will be presented in the form of rules and in the form of desired languages. The controllability of the desired languages regarding the overall automaton of the system will be proved. A set of dynamic supervisors will be designed based on the desired languages and a modular supervisory control architecture with fault tolerance will be designed