Αντίπαλες τακτικές ελέγχου για κυβερνοφυσικά συστήματα

Περίληψη

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

Περίληψη σε άλλη γλώσσα

This dissertation addresses the design of attack scenarios along with the development of suitable attack detection methods using control-theoretic tools, thus giving rise to adversary control tactics in cyber-physical systems. The main characteristic of the systems under consideration is the existence of operational constraints, which are associated with both the control input and the state vector. The constraints are polyhedral in nature and represent saturation bounds, when it comes to the control input, and safety or performance criteria, when it comes to the state vector. We demonstrate that these constraints can be exploited for the design of effective attacks using tools from the classical control theory, such as the polyhedral Lyapunov functions, in conjunction with modern optimization techniques. Furthermore, it is shown that based on the same constraints we can develop enhanced attack detection methods with the help of set-theoretic tools, such as the robust invariant sets. Th ...
περισσότερα

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/47370
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/47370
ND
47370
Εναλλακτικός τίτλος
Adversary control tactics for cyberphysical systems
Συγγραφέας
Κοντουράς, Ευστάθιος του Χριστόδουλος
Ημερομηνία
2020
Ίδρυμα
Πανεπιστήμιο Πατρών. Σχολή Πολυτεχνική. Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών. Τομέας Συστημάτων και Αυτομάτου Ελέγχου
Εξεταστική επιτροπή
Μπιτσώρης Γεώργιος
Αλεξανδρίδης Αντώνιος
Καζάκος Δημοσθένης
Τζες Αντώνιος
Κούσουλας Νικόλαος
Κωνσταντόπουλος Γεώργιος
Μητρονίκας Επαμεινώνδας
Φασόης Σπήλιος
Επιστημονικό πεδίο
Επιστήμες Μηχανικού και Τεχνολογία
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Λέξεις-κλειδιά
Θεωρία ελέγχου; Δυναμικά συστήματα; Συστήματα ηλεκτρικής ενέργειας; Μοντελοποίηση κυβερνοεπιθέσεων; Ανίχνευση κυβερνοεπιθέσεων; Συνολοθεωρητικές μέθοδοι
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
xxviii, 564 σ., πιν., σχημ., γραφ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)