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

This item is provided by the institution :
/aggregator-openarchives/portal/institutions/uoa   

Repository :
Pergamos Digital Library   

see the original item page
in the repository's web site and access all digital files if the item*



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

Μάρκου Κωνσταντίνος (EL)
Markou Konstantinos (EN)

born_digital_postgraduate_thesis
Διπλωματική Εργασία (EL)
Postgraduate Thesis (EN)

2023


Στην παρούσα διπλωματική εργασία θα παρουσιαστεί ένα βιομηχανικό σύστημα κατεργασίας της βιβλιογραφίας. Αρχικά θα παρουσιαστεί η μοντελοποίηση όλων των υποσυστημάτων του συστήματος με χρήση πεπερασμένων ντετερμινιστικών αυτόματων. Στη συνέχεια μέσω της παράλληλης σύνδεσης θα παρουσιαστεί το συνολικό μοντέλο του συστήματος. Θα πραγματοποιηθεί η προσομοίωση του συνολικού αυτόματου. Η επιθυμητή συμπεριφορά του βιομηχανικού συστήματος τόσο από πλευράς συντονισμού των υποσυστημάτων όσο και από πλευράς προδιαγραφών ασφαλείας θα παρουσιαστεί στη μορφή κανόνων. Στη συνέχεια η επιθυμητή συμπεριφορά θα παρουσιαστεί στη μορφή κανονικών γλωσσών για τις οποίες θα αποδειχτεί η ελεγξιμότητας σε ότι αφορά το συνολικό αυτόματο. Σύμφωνα με τις επιθυμητές κανονικές γλώσσες θα πραγματοποιηθεί ο σχεδιασμός μίας δομοστοιχειωτής αρχιτεκτονικής ελέγχου η οποία αποφεύγει τον εγκλωβισμό. Συνεπώς θα σχεδιαστούν επόπτες ελεγκτές οι οποίοι σημαδεύουν και παράγουν τις επιθυμητές κανονικές γλώσσες. Τέλος θα πραγματοποιηθεί η προσομοίωση του ελεγχόμενου αυτόματου. (EL)
In this diploma thesis, an industrial manufacturing system of the bibliography will be presented. Initially, the modeling of all subsystems of the system using finite deterministic automata will be presented. Then through the parallel composition the overall model of the system will be presented. The total automaton will be simulated. The desired behavior of the industrial system regarding the subsystem’s coordination and the safety specifications will be presented in the form of rules. Then the desired behavior will be presented in the form of regular languages where the controllability of the desired languages regarding the total automaton will be proved. According to the desired regular languages, the design of a modular nonblocking control architecture will be designed. Therefore, supervisors will be designed which mark and produce the desired regular languages. Finally, the controlled automaton will be simulated. (EN)

Τεχνολογία – Πληροφορική

Τεχνολογία – Πληροφορική (EL)
Technology - Computer science (EN)

Greek

Τμήμα Γενικό » ΠΜΣ Προηγμένα Συστήματα Ελέγχου και Ρομποτικής » Κατεύθυνση Προηγμένα Συστήματα Ελέγχου και Ρομποτικής
Βιβλιοθήκη και Κέντρο Πληροφόρησης » Βιβλιοθήκη Σχολής Αγροτικής Ανάπτυξης, Διατροφής και Αειφορίας

https://creativecommons.org/licenses/by-nc/4.0/




*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)