Ces travaux de thèse concernent l'analyse de la robustesse (stabilité et performance) de systèmes linéaires incertains de grande dimension avec une structure hiérarchique. Ces systèmes sont obtenus en interconnectant plusieurs sous-systèmes incertains à travers une topologie hiérarchique. L'analyse de la robustesse de ces systèmes est un problème à deux aspects : la robustesse et la grande dimension. La résolution efficace de ce problème en utilisant les approches usuelles est difficile, voire impossible, à cause de la complexité et de la grande taille du problème d'optimisation associé. La conséquence de cette complexité est une augmentation importante du temps de calcul nécessaire pour résoudre ce problème d'optimisation. Afin de réduire ce temps de calcul, les travaux existants ne considèrent que des classes particulières de systèmes linéaires incertains de grande dimension. De plus, la structure hiérarchique de ces systèmes n'est pas prise en compte, ce qui montre, de notre point de vue, les limitations de ces résultats. Notre objectif est d'exploiter la structure hiérarchique de ces systèmes afin de ramener la résolution du problème d'analyse de grande taille à la résolution d'un ensemble de problèmes d'analyse de faible taille, ce qui aura comme conséquence une diminution du temps de calcul. De plus, un autre avantage de cette approche est la possibilité de résoudre ces problèmes en même temps en utilisant le calcul parallèle. Afin de prendre en compte la structure hiérarchique du système incertain de grande dimension, nous modélisons ce dernier comme l'interconnexion de plusieurs sous-systèmes incertains qui sont eux-mêmes l'interconnexion d'autres sous-systèmes incertains, etc.. Cette technique récursive de modélisation est faite sur plusieurs niveaux hiérarchiques. Afin de réduire la complexité de la représentation des systèmes incertains, nous construisons une base de propriétés de dissipativité pour chaque sous-système incertain de chaque niveau hiérarchique. Cette base contient plusieurs éléments qui caractérisent des informations utiles sur le comportement de systèmes incertains. Des exemples de telles caractérisations sont : la caractérisation de la phase incertaine, la caractérisation du gain incertain, etc.. L'obtention de chaque élément est relaxée comme un problème d'optimisation convexe ou quasi-convexe sous contraintes LMI. L'analyse de la robustesse de systèmes incertains de grande dimension est ensuite faite de façon hiérarchique en propageant ces bases de propriétés de dissipativité d'un niveau hiérarchique à un autre. Nous proposons deux algorithmes d'analyse hiérarchique qui permettent de réduire le temps de calcul nécessaire pour analyser la robustesse de ces systèmes. Un avantage important de notre approche est la possibilité d'exécuter des parties de ces algorithmes de façon parallèle à chaque niveau hiérarchique ce qui diminuera de façon importante ce temps de calcul. Pour finir et dans le même contexte de système de grande dimension, nous nous intéressons à l'analyse de la performance dans les réseaux électriques et plus particulièrement «l'analyse du flux de puissances incertaines dans les réseaux électriques de distribution». Les sources d'énergies renouvelables comme les éoliennes et les panneaux solaires sont influencées par plusieurs facteurs : le vent, l'ensoleillement, etc.. Les puissances générées par ces sources sont alors intermittentes, variables et difficiles à prévoir. L'intégration de telles sources de puissance dans les réseaux électriques influencera les performances en introduisant des incertitudes sur les différentes tensions du réseau. L'analyse de l'impact des incertitudes de puissances sur les tensions est appelée «analyse du flux de puissances incertaines». La détermination de bornes sur les modules des différentes tensions est formulée comme un problème d'optimisation convexe sous contraintes LMI. / This PhD thesis concerns robustness analysis (stability and performance) of uncertain large scale systems with hierarchical structure. These systems are obtained by interconnecting several uncertain sub-systems through a hierarchical topology. Robustness analysis of these systems is a two aspect problem: robustness and large scale. The efficient resolution of this problem using usual approaches is difficult, even impossible, due to the high complexity and the large size of the associated optimization problem. The consequence of this complexity is an important increase of the computation time required to solve this optimization problem. In order to reduce this computation time, the existing results in the literature focus on particular classes of uncertain linear large scale systems. Furthermore, the hierarchical structure of the large scale system is not taken into account, which means, from our point of view, that these results have several limitations on different levels. Our objective is to exploit the hierarchical structure to obtain a set of small scale size optimization problems instead of one large scale optimization problem which will result in an important decrease in the computation time. Furthermore, another advantage of this approach is the possibility of solving these small scale optimization problems in the same time using parallel computing. In order to take into account the hierarchical structure, we model the uncertain large scale system as the interconnection of uncertain sub-systems which themselves are the interconnection of other uncertain sub-systems, etc.. This recursive modelling is performed at several hierarchical levels. In order to reduce the representation complexity of uncertain systems, we construct a basis of dissipativity properties for each uncertain sub-system at each hierarchical level. This basis contains several elements which characterize different useful information about uncertain system behaviour. Examples of such characterizations are: uncertain phase characterization, uncertain gain characterization, etc.. Obtaining each of these elements is relaxed as convex or quasi-convex optimization problem under LMI constraints. Robustness analysis of uncertain large scale systems is then performed in a hierarchical way by propagating these dissipativity property bases from one hierarchical level to another. We propose two hierarchical analysis algorithms which allow to reduce the computation time required to perform the robustness analysis of the large scale systems. Another key point of these algorithms is the possibility to be performed in parallel at each hierarchical level. The advantage of performing robustness analysis in parallel is an important decrease of the required computation time. Finally and within the same context of robustness analysis of uncertain large scale systems, we are interested in robustness analysis of power networks and more precisely in "the uncertain power flow analysis in distribution networks". The renewable energy resources such as solar panels and wind turbines are influenced by many factors: wind, solar irradiance, etc.. Therefore, the power generated by these resources is intermittent, variable and difficult to predict. The integration of such resources in power networks will influence the network performances by introducing uncertainties on the different network voltages. The analysis of the impact of power uncertainties on the voltages is called "uncertain power flow analysis". Obtaining the boundaries for the different modulus of these voltages is formulated as a convex optimization problem under LMI constraints

Este trabalho é em parte baseado no livro The Stability and Control of Discrete Processes de Joseph P. LaSalle. Nós estudamos equações como x(n+1) = T(x(n)), onde T : \' R POT. m\' \' SETA\' \'R POT. m\' é uma aplicação contínua, com o sistema dinâmico associado \'PI\' (n,x) := \' T POT. n\' (x). Nós fornecemos condições suficientes para a estabilidade de equilíbrios usando o método direto de Liapunov. Também consideramos sistemas discretos da forma x(n+1)=T(n, x(n),\'lâmbda\' ) dependendo de uma parâmetro \' lâmbda\' e apresentamos resultados obtendo estimativas de atratores. Finalmente, nós apresentamos algumas simulações de sistemas acoplados como uma aplicação em sistemas de comunicação / This work is in part based on the book The Stability and Control of Discrete Processes of Joseph P. LaSalle. We studing equations as x(n+1) = T(x(n)), where T : \' R POT.m\' \' ARROW\' \' \' R POT.m\' is continuous transformation, with the associated dynamic system \'PI\' (n,x) := \' T POT.n\' (x). We provide suddicient conditions for stability of equilibria, using Liapunov direct method. We also consider nonautonomous discrete systems of the form x(n + 1) = T(n, x(n), \' lâmbda\') depending on the parameter \'lâmbda\' and present results obtaining uniform estimatives of attractors. We finally we present some simulations on synchronization of coupled systems as an application on communication systems

Στη παρούσα διπλωματική εργασία ασχολούμαστε με την αποδοτική επίλυση ταινιακών και γενικών, αραιών γραμμικών συστημάτων σε παράλληλες αρχιτεκτονικές μέσω της οικογένειας αλγορίθμων Spike. Ζητούμενο είναι η βελτίωση (μείωση) του χρόνου επίλυσης μέσω τεχνικών επίλυσης γραμμικών συστημάτων με πολλά δεξιά μέλη. Πιο συγκεκριμένα, επικεντρωνόμαστε στην επίλυση της εξίσωσης μητρώου $AX=F$ (1) όπου $A\in \mathbb{R}^{n\times n}$ είναι το μητρώο συντελεστών και το οποίο είναι αραιό ή/και ταινιακό, $F\in \mathbb{R}^{n\times s}$ είναι ένα μητρώο με $s$ στήλες το οποίο ονομάζεται μητρώο δεξιών μελών και $X\in \mathbb{R}^{n\times s}$ είναι η λύση του συστήματος. Μια σημαντική μέθοδος για την παράλληλη επίλυση της παραπάνω εξίσωσης, είναι η μέθοδος Spike και οι παραλλαγές της. Η μέθοδος Spike βασίζεται στη τεχνική διαίρει και βασίλευε και αποτελείται από δυο φάσεις: α) επίλυση ανεξάρτητων υπο-προβλημάτων τοπικά σε κάθε επεξεργαστή, και β) επίλυση ενός πολύ μικρότερου προβλήματος το οποίο απαιτεί επικοινωνία μεταξύ των επεξεργαστών. Οι δύο φάσεις συνδυάζονται ώστε να παραχθεί η τελική λύση $X$. Η συνεισφορά της διπλωματικής εργασίας έγκειται στην επιτάχυνση της οικογένειας αλγορίθμων Spike για την επίλυση της εξίσωσης (1) μέσω της μελέτης, το σχεδιασμό και την υλοποίηση νέων, περισσότερο αποδοτικών αλγοριθμικών σχημάτων τα οποία βασίζονται σε τεχνικές επίλυσης γραμμικών συστημάτων με πολλά δεξιά μέλη. Αυτά τα νέα αλγοριθμικά σχήματα έχουν ως στόχο τη βελτίωση του χρόνου επίλυσης των γραμμικών συστημάτων καθώς και άλλα οφέλη όπως η αποδοτικότερη χρήση μνήμης. / In this thesis we focus on the efficient solution of general banded and general sparse linear systems on parallel architectures by exploiting the Spike family of algorithms. The equation of interest can be written in matrix form as $ AX = F $ (1) where $ A \ in \ mathbb {R} ^ {n \ times n} $ is the coefficient matrix, which is also sparse and / or banded, $ F \ in \ mathbb {R} ^ {n \ times s} $ is a matrix with $ s $ columns called matrix of the right hand sides and $ X \ in \ mathbb {R} ^ {n \ times s} $ is the solution of the system. An important method for the parallel solution of the above equation, is the Spike method and its variants. The Spike method is based on the divide and conquer technique and consists of two phases: a) solution of local, independent sub-problems in each processor, and b) solution of a much smaller problem which requires communication among the processors. The two phases are combined to produce the final solution $ X $. The contribution of this thesis is the acceleration of the Spike method for the solution of the matrix equation in (1) by studying, designing and implementing new, more efficient algorithmic schemes which are based on techniques used for the effective solution of linear systems with multiple right hand sides. These new algorithmic schemes were designed to improve the solving time of the linear systems as well as to provide other benefits such as more efficient use of memory.

Το αντικείμενο της διατριβής αφορά την ανάλυση και τον έλεγχο δυναμικών συστημάτων με περιορισμούς στο διάνυσμα της εισόδου ή/ και στις μεταβλητές κατάστασης. Τα θεωρητικά εργαλεία που χρησιμοποιήθηκαν για την εξαγωγή των αποτελεσμάτων προέρχονται από τη θεωρία ευστάθειας 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.

Title: Optimization Problems under (max, min)-Linear Constraints and Some Related Topics. Author: Mahmoud Gad Department/Institue: Department of Probability and Mathematical Statis- tics Supervisor of the doctoral thesis: 1. Prof. RNDr. Karel Zimmermann,DrSc 2. Prof. Dr. Assem Tharwat, Cairo University, Egypt Abstract: Problems on algebraic structures, in which pairs of operations such as (max, +) or (max, min) replace addition and multiplication of the classical linear algebra have appeared in the literature approximately since the sixties of the last century. The first publications on these algebraic structures ap- peared by Shimbel [37] who applied these ideas to communication networks, Cunninghame-Green [12, 13], Vorobjov [40] and Gidffer [18] applied these alge- braic structures to problems of machine-time scheduling. A systematic theory of such algebraic structures was published probable for the first time in [14]. In recently appeared book [4] the readers can find latest results concerning theory and algorithms for (max, +)-linear systems of equations and inequalities. Since operation max replacing addition in no more a group, but a semigroup oppera- tion, it is a substantial difference between solving systems with variables on one side and systems with variables occuring on both sides of the equations....

Nous nous intéressons à l'utilisation d'approximations de rang faible pour réduire le coût des solveurs creux directs multifrontaux. Parmi les différents formats matriciels qui ont été proposés pour exploiter la propriété de rang faible dans les solveurs multifrontaux, nous nous concentrons sur le format Block Low-Rank (BLR) dont la simplicité et la flexibilité permettent de l'utiliser facilement dans un solveur multifrontal algébrique et généraliste. Nous présentons différentes variantes de la factorisation BLR, selon comment les mises à jour de rang faible sont effectuées, et comment le pivotage numérique est géré. D'abord, nous étudions la complexité théorique du format BLR qui, contrairement à d'autres formats comme les formats hiérarchiques, était inconnue jusqu'à présent. Nous prouvons que la complexité théorique de la factorisation multifrontale BLR est asymptotiquement inférieure à celle du solveur de rang plein. Nous montrons ensuite comment les variantes BLR peuvent encore réduire cette complexité. Nous étayons nos bornes de complexité par une étude expérimentale. Après avoir montré que les solveurs multifrontaux BLR peuvent atteindre une faible complexité, nous nous intéressons au problème de la convertir en gains de performance réels sur les architectures modernes. Nous présentons d'abord une factorisation BLR multithreadée, et analysons sa performance dans des environnements multicœurs à mémoire partagée. Nous montrons que les variantes BLR sont cruciales pour exploiter efficacement les machines multicœurs en améliorant l'intensité arithmétique et la scalabilité de la factorisation. Nous considérons ensuite à la factorisation BLR sur des architectures à mémoire distribuée. Les algorithmes présentés dans cette thèse ont été implémentés dans le solveur MUMPS. Nous illustrons l'utilisation de notre approche dans trois applications industrielles provenant des géosciences et de la mécanique des structures. Nous comparons également notre solveur avec STRUMPACK, basé sur des approximations Hierarchically Semi-Separable. Nous concluons cette thèse en rapportant un résultat sur un problème de très grande taille (130 millions d'inconnues) qui illustre les futurs défis posés par le passage à l'échelle des solveurs multifrontaux BLR. / We investigate the use of low-rank approximations to reduce the cost of sparse direct multifrontal solvers. Among the different matrix representations that have been proposed to exploit the low-rank property within multifrontal solvers, we focus on the Block Low-Rank (BLR) format whose simplicity and flexibility make it easy to use in a general purpose, algebraic multifrontal solver. We present different variants of the BLR factorization, depending on how the low-rank updates are performed and on the constraints to handle numerical pivoting. We first investigate the theoretical complexity of the BLR format which, unlike other formats such as hierarchical ones, was previously unknown. We prove that the theoretical complexity of the BLR multifrontal factorization is asymptotically lower than that of the full-rank solver. We then show how the BLR variants can further reduce that complexity. We provide an experimental study with numerical results to support our complexity bounds. After proving that BLR multifrontal solvers can achieve a low complexity, we turn to the problem of translating that low complexity in actual performance gains on modern architectures. We first present a multithreaded BLR factorization, and analyze its performance in shared-memory multicore environments on a large set of real-life problems. We put forward several algorithmic properties of the BLR variants necessary to efficiently exploit multicore systems by improving the arithmetic intensity and the scalability of the BLR factorization. We then move on to the distributed-memory BLR factorization, for which additional challenges are identified and addressed. The algorithms presented throughout this thesis have been implemented within the MUMPS solver. We illustrate the use of our approach in three industrial applications coming from geosciences and structural mechanics. We also compare our solver with the STRUMPACK package, based on Hierarchically Semi-Separable approximations. We conclude this thesis by reporting results on a very large problem (130 millions of unknowns) which illustrates future challenges posed by BLR multifrontal solvers at scale.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper has as its main purpose to highlight some mathematical concepts, which are behind the ranking given by a research made on the website mostly used in the world: Google. At the beginning, we briefly approached some High School’s concepts, such as: Matrices, Linear Systems and Probability. After that, we presented some basic notions related to Directed Graphs and Markov Chains of Discrete Time. From this last one, we gave more emphasis to the Steady State Vector because it ensures foreknowledge results from long-term. These concepts are extremely important to our paper, because they will be used to explain the involvement of Mathematic behind the web search “Google”. Then, we tried to detail the ranking operation of the search pages on Google, i.e., how the results of a research are classified, determining which results are presented in a sequential way in order of relevance. Finally we obtained “PageRank”, an algorithm which creates what we call Google’s Matrices and ranks the pages of a search. We finished making a brief comment about the historical arising of the web searches, from their founders to the rise and hegemony of Google. / O presente trabalho tem como objetivo destacar alguns conceitos matemáticos que estão por trás do ranqueamento dado por uma pesquisa feita no site de busca mais usados do mundo, o “Google”. Inicialmente abordamos de forma breve alguns conteúdos da matemática do ensino médio, a exemplo de: matrizes, sistemas lineares, probabilidades. Em seguida são introduzidas noções básicas de grafos dirigidos e cadeias de Markov de tempo discreto; essa última, é dada uma ênfase ao vetor estado estacionário, por ele garantir resultados de previsão de longo prazo. Esses conceitos são de grande importância em nosso trabalho, pois serão usados para explicar o envolvimento da matemática por trás do site de buscas “Google”. Na sequência, buscamos detalhar o funcionamento do ranqueamento das páginas de uma busca no “Google”, isto é, como são classificados os resultados de uma pesquisa, determinando quais resultados serão apresentados de modo sequencial em ordem de relevância. Finalmente, chegamos na obtenção do “PageRank”, algoritmo que gera a chamada Matriz do Google e ranqueia as páginas de uma busca. Encerramos com um breve histórico do surgimento dos sites de buscas, desde os seus fundadores até a ascensão e hegemonia do Google.

Made available in DSpace on 2014-07-29T16:02:18Z (GMT). No. of bitstreams: 1 Dissertacao Tharsis Souza Silva.pdf: 1389814 bytes, checksum: c28dfe55ac776a4de30d43875907dc64 (MD5) Previous issue date: 2011-03-25 / In this work, we consider classes of discontinuous piecewise linear systems in the plane and continuous in the space. In the plane, we analyze systems of focus-focus (FF), focusparabolic (FP) and parabolic-parabolic (PP) type, separated by the straight line x = 0, and we prove that can appear until two limit cycles depending of parameters variations. Also we study a specific system, piecewise, with two saddles (one fixed in the origin and the other in the neighborhood of point (1;1)) separated by the straight line y= -x+1, and we show that can appear until two limit cycles depending of parameters variations. Finally, we examine a continuous piecewise linear system in R³ and we prove the existence of invariant cones and, through this structures, we determine some stable and unstable behavior. / Neste trabalho, consideramos classes de sistemas lineares por partes descontínuos no plano e contínuos no espaço. No plano, analisamos sistemas do tipo foco-foco (FF), parabólico-foco (PF) e parabólico-parabólico (PP) separados pela reta x = 0 e demonstramos que podem aparecer até dois ciclos limite, dependendo de variações de parâmetros. Também estudamos um sistema específico, linear por partes, com duas selas (uma sela fixa na origem e outra na vizinhança do ponto (1;1)) separadas pela reta y= -x+1 , e mostramos que podem aparecer até dois ciclos limite dependendo de variações de parâmetros. Por fim, examinamos um sistema linear por partes contínuo em R³ e demonstramos a existência de cones invariantes e, através destas estruturas, determinamos alguns comportamentos estáveis e instáveis.

Este trabalho é em parte baseado no livro The Stability and Control of Discrete Processes de Joseph P. LaSalle. Nós estudamos equações como x(n+1) = T(x(n)), onde T : \' R POT. m\' \' SETA\' \'R POT. m\' é uma aplicação contínua, com o sistema dinâmico associado \'PI\' (n,x) := \' T POT. n\' (x). Nós fornecemos condições suficientes para a estabilidade de equilíbrios usando o método direto de Liapunov. Também consideramos sistemas discretos da forma x(n+1)=T(n, x(n),\'lâmbda\' ) dependendo de uma parâmetro \' lâmbda\' e apresentamos resultados obtendo estimativas de atratores. Finalmente, nós apresentamos algumas simulações de sistemas acoplados como uma aplicação em sistemas de comunicação / This work is in part based on the book The Stability and Control of Discrete Processes of Joseph P. LaSalle. We studing equations as x(n+1) = T(x(n)), where T : \' R POT.m\' \' ARROW\' \' \' R POT.m\' is continuous transformation, with the associated dynamic system \'PI\' (n,x) := \' T POT.n\' (x). We provide suddicient conditions for stability of equilibria, using Liapunov direct method. We also consider nonautonomous discrete systems of the form x(n + 1) = T(n, x(n), \' lâmbda\') depending on the parameter \'lâmbda\' and present results obtaining uniform estimatives of attractors. We finally we present some simulations on synchronization of coupled systems as an application on communication systems

Orientador: Celso Pascoli Bottura / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T18:33:31Z (GMT). No. of bitstreams: 1 DelRealTamariz_Annabell_D.pdf: 5783881 bytes, checksum: 21a1a2e27552398a982a934513988a24 (MD5) Previous issue date: 2005 / Resumo: Este estudo apresenta contribuições para modelagem computacional de dados multivariáveis no espaço de estado, tanto com sistemas lineares invariantes como com variantes no tempo. Propomos para modelagem determinística-estocástica de dados ruidosos, o Algoritmo MOESP_AOKI. Propomos, utilizando Redes Neurais Recorrentes multicamadas, algoritmos para resolver a Equação Algébrica de Riccati Discreta bem como a Inequação Algébrica de Riccati Discreta, via Desigualdades Matriciais Lineares. Propomos um esquema de controle adaptativo com Escalonamento de Ganhos, baseado em Redes Neurais, para sistemas multivariáveis discretos variantes no tempo, identificados pelo algoritmo MOESP_VAR, também proposto nesta tese. Em síntese, uma estrutura de controle inteligente para sistemas discretos multivariáveis variantes no tempo, através de uma abordagem que pode ser chamada ILPV (Intelligent Linear Parameter Varying), é proposta e implementada. Um controlador LPV Inteligente, para dados computacionalmente modelados pelo algoritmo MOESP_VAR, é concretizado, implementado e testado com bons resultados / Abstract: This study presents contributions for state space multivariable computational data modelling with discrete time invariant as well as with time varying linear systems. A proposal for Deterministic-Estocastica Modelling of noisy data, MOESP_AOKI Algorithm, is made. We present proposals forsolving the Discrete-Time Algebraic Riccati Equation as well as the associate Linear Matrix Inequalityusing a multilayer Recurrent Neural Network approaches. An Intelligent Linear Parameter Varying(ILPV) control approach for multivariable discrete Linear Time Varying (LTV) systems identified bythe MOESP_VAR algorithm, are both proposed. A gain scheduling adaptive control scheme based on neural networks is designed to tune on-line the optimal controllers. In synthesis, an Intelligent Linear Parameter Varying (ILPV) Control approach for multivariable discrete Linear Time Varying Systems (LTV), identified by the algorithm MOESP_VAR, is proposed. This way an Intelligent LPV Control for multivariable data computationally modeled via the MOESP_VAR algorithm is structured, implemented and tested with good results / Doutorado / Automação / Doutor em Engenharia Elétrica