Ανάλυση και έλεγχος γραμμικών και μη γραμμικών συστημάτων με περιορισμούς μέσω πολυεδρικών συναρτήσεων Lyapunov

Abstract

This dissertation considers the problem of stability analysis and control of dynamical systems under constraints in the input and/or state vector. The theoretical tools used arise from Lyapunov stability theory, comparison systems theory and set theoretic methods and lead to the determination of stability conditions and development of systematic methods that solve the control problem of constrained systems of particular type. In specific, for linear discrete or continuous time systems, a novel method that leads to the solution of the initial condition set stabilization problem as well as the maximal controlled invariant set computation problem is presented. These results have been extended for the case of linear systems with polytopic uncertainty. Also, the category of auto regressive moving average (ARMA) models is investigated. First, conditions that guarantee stability for a preassigned initial conditions set for constrained ARMA models are established. These results are applied to the category of networked control systems (NCS), were a single linear state feedback control law is computed for the whole range of the input delay. Finally, the category of bilinear discrete time or continuous time systems is investigated. Initially, sufficient conditions which guarantee existence of polyhedral Lyapunov functions are presented. The problem studied here is the stabilization of an initial condition set in the presence of input and state constraints. The solution proposed is suboptimal and leads to the determination of a linear state feedback control law. The choice of Lyapunov functions leads to the determination of a polyhedral approximation of the domain of attraction as well as polyhedral positively invariant sets. The main benefits of choosing this type of functions is the nonconservative estimation of the domain of attraction and the establishment of stability conditions that lead to systematic control design methods through the solution of linear programming problems. This dissertation considers the problem of stability analysis and control of dynamical systems under constraints in the input and/or state vector. The theoretical tools used arise from Lyapunov stability theory, comparison systems theory and set theoretic methods and lead to the determination of stability conditions and development of systematic methods that solve the control problem of constrained systems of particular type. In specific, for linear discrete or continuous time systems, a novel method that leads to the solution of the initial condition set stabilization problem as well as the maximal controlled invariant set computation problem is presented. These results have been extended for the case of linear systems with polytopic uncertainty. Also, the category of auto regressive moving average (ARMA) models is investigated. First, conditions that guarantee stability for a preassigned initial conditions set for constrained ARMA models are established. These results are applied to the category of networked control systems (NCS), were a single linear state feedback control law is computed for the whole range of the input delay. Finally, the category of bilinear discrete time or continuous time systems is investigated. Initially, sufficient conditions which guarantee existence of polyhedral Lyapunov functions are presented. The problem studied here is the stabilization of an initial condition set in the presence of input and state constraints. The solution proposed is suboptimal and leads to the determination of a linear state feedback control law. The choice of Lyapunov functions leads to the determination of a polyhedral approximation of the domain of attraction as well as polyhedral positively invariant sets. The main benefits of choosing this type of functions is the nonconservativeestimation of the domain of attraction and the establishment of stability conditions that lead to systematic control design methods through the solution of linear programming problems.

Το αντικείμενο της διατριβής αφορά την ανάλυση και τον έλεγχο δυναμικών συστημάτων με περιορισμούς στο διάνυσμα της εισόδου ή/και στις μεταβλητές κατάστασης. Τα θεωρητικά εργαλεία που χρησιμοποιήθηκαν για την εξαγωγή των αποτελεσμάτων προέρχονται από τη θεωρία ευστάθειας Lyapunov, την αρχή σύγκρισης συστημάτων και τη θεωρία συνόλων, και οδήγησαν στην εδραίωση συνθηκών ευστάθειας και την ανάπτυξη συστηματικών μεθόδων εύρεσης λύσης στο πρόβλημα ελέγχου συγκεκριμένων κατηγοριών δυναμικών συστημάτων με περιορισμούς. Πιο συγκεκριμένα, για την κατηγορία των γραμμικών συστημάτων συνεχούς και διακριτού χρόνου, προτάθηκε μια νέα μέθοδος επίλυσης του προβλήματος ευσταθειοποίησης συνόλου αρχικών συνθηκών και του υπολογισμού του μέγιστου θετικά αμετάβλητου ή αμετάβλητου με έλεγχο συνόλου παρουσία περιορισμών στις εισόδους ή/και στις καταστάσεις. Τα αποτελέσματα επεκτάθηκαν και στην κατηγορία των γραμμικών συστημάτων με πολυτοπική αβεβαιότητα. Επίσης, μελετήθηκε η κατηγορία των αυτοανάδρομων μοντέλων κινούμενου μέσου όρου (ARMA models). Αρχικά εδραιώθηκαν συνθήκες που εγγυώνται ευστάθεια για ένα συγκεκριμένο σύνολο αρχικών συνθηκών παρουσία περιορισμών. Τα αποτελέσματα αυτά εφαρμόστηκαν στην κατηγορία των δικτυωμένων συστημάτων ελέγχου (NCS), όπου υπολογίστηκε ένας κοινός γραμμικός νόμος ελέγχου ανατροφοδότησης κατάστασης για όλο το εύρος της καθυστέρησης της εισόδου. Τέλος, μελετήθηκε η κατηγορία των διγραμμικών συστημάτων συνεχούς και διακριτού χρόνου. Αρχικά διατυπώθηκαν ικανές συνθήκες ύπαρξης πολυεδρικών συναρτήσεων Lyapunov για αυτήν την κατηγορία συστημάτων. Το πρόβλημα που μελετήθηκε είναι η ευσταθειοποίηση μιας συγκεκριμένης περιοχής του χώρου κατάστασης παρουσία περιορισμών στις εισόδους και τις καταστάσεις και προτάθηκε μια υποβέλτιστη λύση που οδηγεί στον υπολογισμό γραμμικού νόμου ελέγχου ανατροφοδότησης κατάστασης. Όλα τα αποτελέσματα προκύπτουν από την επιλογή πολυεδρικών συναρτήσεων Lyapunov οι οποίες οδηγούν στο χαρακτηρισμό πολυεδρικών εκτιμήσεων της περιοχής ελκτικότητας και θετικά αμετάβλητων συνόλων. Τα κυριότερα οφέλη της επιλογής τέτοιων συναρτήσεων είναι η μη συντηρητική εκτίμησης της περιοχή ευστάθειας και η εδραίωση συνθηκών που οδηγούν σε συστηματικές μεθόδους επίλυσης των προβλημάτων ανάλυσης και ελέγχου, η λύση των οποίων προκύπτει από τη λύση γραμμικών προβλημάτων βελτιστοποίησης.This dissertation considers the problem of stability analysis and control of dynamical systems under constraints in the input and/or state vector. The theoretical tools used arise from Lyapunov stability theory, comparison systems theory and set theoretic methods and lead to the determination of stability conditions and development of systematic methods that solve the control problem of constrained systems of particular type. In specific, for linear discrete or continuous time systems, a novel method that leads to the solution of the initial condition set stabilization problem as well as the maximal controlled invariant set computation problem is presented. These results have been extended for the case of linear systems with polytopic uncertainty. Also, the category of auto regressive moving average (ARMA) models is investigated. First, conditions that guarantee stability for a preassigned initial conditions set for constrained ARMA models are established. These results are applied to the category of networked control systems (NCS), were a single linear state feedback control law is computed for the whole range of the input delay. Finally, the category of bilinear discrete time or continuous time systems is investigated. Initially, sufficient conditions which guarantee existence of polyhedral Lyapunov functions are presented. The problem studied here is the stabilization of an initial condition set in the presence of input and state constraints. The solution proposed is suboptimal and leads to the determination of a linear state feedback control law. The choice of Lyapunov functions leads to the determination of a polyhedral approximation of the domain of attraction as well as polyhedral positively invariant sets. The main benefits of choosing this type of functions is the nonconservative estimation of the domain of attraction and the establishment of stability conditions that lead to systematic control design methods through the solution of linear programming problems.