Orientador: Tiago de Carvalho / Resumo: O objetivo desta dissertação é abordar aspectos qualitativos de sistemas de equações diferenciais ordinárias e sistemas contínuos suaves por partes aplicados à dinâmica do Vírus da Imunodeficiência Humana (HIV). Neste trabalho, apresentamos um modelo matemático que descreve a dinâmica do HIV no corpo humano e o analisamos através da matriz da próxima geração e teoria de estabilidade, com a finalidade de prever se a doença fica ou não controlada. Posteriormente, estudamos um sistema de equações diferenciais ordinárias usado para modelar a dinâmica do vírus para diferentes tipos de tratamentos. Tal modelo foi explorado qualitativamente de duas maneiras: por um sistema contínuo (pelo método de Korobeinikov) e por um descontínuo (pelas convenções de Filippov). Analisamos o comportamento dinâmico de terapias antirretrovirais, visando a diminuição das concentrações virais no sangue, de acordo com a análise da estabilidade realizada. / Abstract: The goal of this dissertation is to study qualitative aspects about systems of ordinary differential equations and piecewise smooth systems applied to the dynamic of Human Immunodeficiency Virus (HIV). In this work, we present a mathematical model that describes the dynamic of HIV in the human body and we analyze this model by next-generation matrix and stability theory in order to predict if the disease becomes stable, and thus stop virus transmission. In addition, we studied another system of ordinary differential equations that were proposed to model the HIV dynamics assuming different therapies. We have explored qualitatively the model by two distinct approaches: a continuous system (by Korobeinikov method) and a discontinuous system (by Filippov theory). Due to the stability analysis, it was possible to understand the dynamics of anti-retroviral therapies, which are responsible for decreasing the concentration of detectable HIV in blood. / Mestre

En automatique, l'obtention d'un modèle du système est la pierre angulaire des procédures comme la synthèse d'une commande, la détection des défaillances, la prédiction... Cette thèse traite de l'identification d'une classe de systèmes complexes, les systèmes dynamiques hybrides. Ces systèmes impliquent l'interaction de comportements continus et discrets. Le but est de construire un modèle à partir de mesures expérimentales d'entrée et de sortie. Une nouvelle approche pour l'identification de systèmes hybrides linéaires basée sur les propriétés géométriques des systèmes hybrides dans l'espace des paramètres est proposée. Un nouvel algorithme est ensuite proposé pour le calcul de la solution la plus parcimonieuse (ou creuse) de systèmes d'équations linéaires sous-déterminés. Celui-ci permet d'améliorer une approche d'identification basée sur l'optimisation de la parcimonie du vecteur d'erreur. De plus, de nouvelles approches, basées sur des modèles à noyaux, sont proposées pour l'identification de systèmes hybrides non linéaires et de systèmes lisses par morceaux / In automatic control, obtaining a model is always the cornerstone of the synthesis procedures such as controller design, fault detection or prediction... This thesis deals with the identification of a class of complex systems, hybrid dynamical systems. These systems involve the interaction of continuous and discrete behaviors. The goal is to build a model from experimental measurements of the system inputs and outputs. A new approach for the identification of linear hybrid systems based on the geometric properties of hybrid systems in the parameter space is proposed. A new algorithm is then proposed to recover the sparsest solutions of underdetermined systems of linear equations. This allows us to improve an identification approach based on the error sparsification. In addition, new approaches based on kernel models are proposed for the identification of nonlinear hybrid systems and piecewise smooth systems

Dynamische Systeme mit Gedächtnis spielen in verschiedensten Anwendungen und Forschungsgebieten eine wesentliche Rolle. Gedächtnis bedeutet dabei, dass das zukünftige Systemverhalten nicht nur durch den aktuellen Zustand festgelegt wird, sondern im Allgemeinen auch durch vergangenen Zustände. Ein prominenter Vertreter für dieses Verhalten ist die Hysterese. Aufgrund der unterschiedlichen Mechanismen, welche zum Auftreten von Hysterese führen können, haben sich eine Vielzahl an Modellen etabliert, um diese zu beschreiben und zu modellieren. Zwei häufig verwendete Modelle sind dabei das Random Field Ising-Model und das Preisach-Model. Beide Modelle unterscheiden sich grundlegend in der Art, wie es zu Hysterese kommt. Während beim Random Field Ising-Model Hysterese aufgrund der Wechselwirkung benachbarter Spins auftritt, benutzt das Preisach-Model hingegen eine Vielzahl an elementaren bistabilen Relais, um komplexes hysteretisches Verhalten abzubilden. Trotz dieser Unterschiedlichkeit zeigen beide Modelle ähnliche Eigenschaften wie return point memory und wipe-out. Wir wollen in dieser Arbeit das dynamische Verhalten eines einfachen harmonischen Oszillators untersuchen, welcher mithilfe eines Feedback-Loops an ein hysteretisches Spinsystem gekoppelt wird. Es soll das Verhalten dieses Hybrid-Systems, das sowohl aus kontinuierlichen als auch aus diskreten Variablen besteht, für verschieden große Spinsysteme untersucht werden. Wir konzentrieren uns dabei auf drei vereinfachte Spinkonfigurationen. Dies ermöglicht uns, unter Verwendung der Preisach-Theorie, den Limes eines unendlich großen Spinsystems analytisch zu beschreiben. Wir zeigen, dass sich das Verhalten von dynamischen Systemen gekoppelt an ein endliches Spinsystem im Allgemeinen von Systemen gekoppelt an ein unendliches Spinsystem unterscheidet. Im Zuge dessen werden wir eine Methode vorstellen, um Lyapunov Spektren für dynamische Systeme mit preisachartiger Hysterese und glatter Dichte zu bestimmen. Wir zeigen weiterhin, dass bestimmte relevante Größen wie fraktale Dimension und Magnetisierung im Allgemeinen kein selbstmittelndes Verhalten aufweisen. Diese Resultate können erhebliche Auswirkungen auf die Vergleichbarkeit und Interpretation von Theorie und Experiment bei dynamischen Systemen mit Hysterese haben. / Dynamical systems with memory play a huge role in technical applications as well as in different research fields. In general memory means, the systems' behavior is not only determined by its last state, but also by the history of previous states. One prominent example of such behavior is the hysteresis. Caused by the many reasons for hysteretic behavior, multiple models for hysteresis have been developed over the past hundred years. Two commonly used models are the Random Field Ising Model and the Preisach model. Both models differ in the way, how the memory is build into the system. Whereas, the Random Field Ising Model shows hysteresis because of the interaction between nearby spins, the complex hysteresis of the Preisach model is build by a superposition of elementary bi-stable relays. Besides these differences, both models show similar hysteric behavior like return point memory and wipe-out. In this work, we want to investigate the dynamical behavior of a simple harmonic oscillator coupled to Ising spins in a closed loop way, showing hysteresis. The system consists of discrete and continuous degrees of freedom, and therefore it has a hybrid character. Concentrating on three simplified spin interactions, on one hand we investigate the dynamical properties of the system for a varying finite number of spins and on the other hand we use the Preisach model to calculate the limit of an infinite number of spins. We find, that dynamical systems coupled to a finite and infinite number of spins, respectively, in general behave differently. Thereby, we develop a method to determine the whole Lyapunov spectrum for systems with Preisach like hysteresis and a smooth density. Furthermore, we show that some dynamical properties like the fractal dimension and the magnetization in general do not show self-averaging. These findings could have a huge impact on the comparability and interpretation of theoretical and experimental results in the context of dynamical systems with hysteresis.

Submitted by CLAYTON EDUARDO LENTE DA SILVA null (claedu@gmail.com) on 2016-06-02T17:41:44Z No. of bitstreams: 1 TeseFinalClayton.pdf: 1339813 bytes, checksum: 78fb3fb4fd37414af7b1a14dd1d3a122 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-06-06T16:37:20Z (GMT) No. of bitstreams: 1 silva_cel_dr_sjrp.pdf: 1339813 bytes, checksum: 78fb3fb4fd37414af7b1a14dd1d3a122 (MD5) / Made available in DSpace on 2016-06-06T16:37:20Z (GMT). No. of bitstreams: 1 silva_cel_dr_sjrp.pdf: 1339813 bytes, checksum: 78fb3fb4fd37414af7b1a14dd1d3a122 (MD5) Previous issue date: 2016-05-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Nesta tese estudamos sistemas dinâmicos não suaves autônomos e não autônomos. Consideramos inicialmente sistemas quadráticos positivamente limitados autônomos planares e damos condições sobre os campos para que o sistema de Filippov correspondente seja limitado. Também estudamos uma classe de sistemas quadráticos e provamos que, sob algumas restrições nos coeficientes da parte linear, os sistemas de Filippov relacionados são limitados. Em seguida, consideramos sistemas não autônomos e damos condições para a existência de soluções periódicas de uma classe de equações diferenciais ordinárias não autônomas. Por fim, consideramos equações diferenciais ordinárias não autônomas de segunda ordem genéricas, relacionadas a sistemas não suaves e não autônomos, estudamos o conceito de solução destas equações e damos condições analíticas que são satisfeitas por soluções típicas, como as soluções deslizantes, por exemplo. A unicidade de soluções para estas equações também é estudada. / In this thesis we study autonomous and non-autonomous non-smooth dynamical systems. We initially consider planar autonomous positively bounded quadratic systems. We give conditions on the vector fields for that the correspondent Filippov system be bounded. We also study a class of quadratic systems and we prove that, under some restrictions on the coefficients of linear part, the related Filippov systems are bounded. We then consider non-autonomous systems and we give conditions for the existence of periodic solutions of a certain class of non-autonomous ordinary differential equations. Finally we consider generic non-autonomous second order differential equations and we study the concept of solution of these equations and determine analytical conditions that are satisfied by typical solutions, sliding solutions for instance. Moreover, the uniqueness of solutions for these equations is studied.