In the first part of this thesis we transfer a result of Guillopé et al. concerning the number of zeros of the Selberg zeta function for convex cocompact Schottky groups to the setting of certain types of graph directed Markov systems (GDMS). For these systems the zeta function will be a type of Ruelle zeta function. We show that for a finitely generated primitive conformal GDMS S, which satisfies the strong separation condition (SSC) and the nestedness condition (NC), we have for each c>0 that the following holds, for each w \in\$C$ with Re(w)>-c, |\Im(w)|>1 and for all k \in\$N$ sufficiently large: log | zeta(w) | <<e {delta(S).log(Im|w|)} and card{w \in\ Q(k) | zeta(w)=0} << k {delta(S)}. Here, Q(k)\subset\%C$ denotes a certain box of height k, and delta(S) refers to the Hausdorff dimension of the limit set of S. In the second part of this thesis we show that in any dimension m \in\$N$ there are GDMSs for which the Hausdorff dimension of the uniformly radial limit set is equal to a given arbitrary number d \in\(0,m) and the Hausdorff dimension of the Jørgensen limit set is equal to a given arbitrary number j \in\ [0,m). Furthermore, we derive various relations between the exponents of convergence and the Hausdorff dimensions of certain different types of limit sets for iterated function systems (IFS), GDMSs, pseudo GDMSs and normal subsystems of finitely generated GDMSs. Finally, we apply our results to Kleinian groups and generalise a result of Patterson by showing that in any dimension m \in\$N$ there are Kleinian groups for which the Hausdorff dimension of their uniformly radial limit set is less than a given arbitrary number d \in\ (0,m) and the Hausdorff dimension of their Jørgensen limit set is equal to a given arbitrary number j \in\ [0,m).

O filtro de Kalman é amplamente conhecido e utilizado em aplicações, em virtude de apresentar diversas propriedades interessantes. Este trabalho aborda uma das características mais importantes, a estabilidade do filtro de Kalman aplicado a sistemas lineares discretos com saltos Markovianos. Sistemas desta classe são muito empregados em problemas práticos. Neste trabalho mostramos que o conceito de controlabilidade fraca e detetabilidade estocástica são condições suficientes para estabilidade do filtro de Kalman com relação a condição inicial. No que se refere a estabilidade no sentido mais usual, apresentamos resultados parciais, dependentes de uma condição adicional sobre a cadeia de Markov, bem como uma conjectura. O estudo da estabilidade do filtro de Kalman é relevante, pois filtros instáveis oferecem estimativas de baixa qualidade. O tema tem interesse teórico inerente e é bastante relevante para aplicações.O filtro de Kalman é amplamente conhecido e utilizado em aplicações, em virtude de apresentar diversas propriedades interessantes. Este trabalho aborda uma das características mais importantes, a estabilidade do filtro de Kalman aplicado a sistemas lineares discretos com saltos Markovianos. Sistemas desta classe são muito empregados em problemas práticos. Neste trabalho mostramos que o conceito de controlabilidade fraca e detetabilidade estocástica são condições suficientes para estabilidade do filtro de Kalman com relação a condição inicial. No que se refere a estabilidade no sentido mais usual, apresentamos resultados parciais, dependentes de uma condição adicional sobre a cadeia de Markov, bem como uma conjectura. O estudo da estabilidade do filtro de Kalman é relevante, pois filtros instáveis oferecem estimativas de baixa qualidade. O tema tem interesse teórico inerente e é bastante relevante para aplicações / Kalman filters present several interesting features that make them relevant for many applications. In this work we study one of the main issues in Kalman filtering - stability. We deal with Kalman filters for Markov jump linear systems, a class of systems with applications in many different areas. We consider the concepts of weak controllability and stochastic detectability and we show that they ensure stability of the Kalman filter with respect to the initial condition. As for the stability, we present some results relying in a conjecture and an additional condition on the Markov chain. The study of the stability of the Kalman filter is important, since unstable filters may lead to poor estimates. The stability issue has inherent theoretical interest and is relevant for applications

O filtro de Kalman é amplamente conhecido e utilizado em aplicações, em virtude de apresentar diversas propriedades interessantes. Este trabalho aborda uma das características mais importantes, a estabilidade do filtro de Kalman aplicado a sistemas lineares discretos com saltos Markovianos. Sistemas desta classe são muito empregados em problemas práticos. Neste trabalho mostramos que o conceito de controlabilidade fraca e detetabilidade estocástica são condições suficientes para estabilidade do filtro de Kalman com relação a condição inicial. No que se refere a estabilidade no sentido mais usual, apresentamos resultados parciais, dependentes de uma condição adicional sobre a cadeia de Markov, bem como uma conjectura. O estudo da estabilidade do filtro de Kalman é relevante, pois filtros instáveis oferecem estimativas de baixa qualidade. O tema tem interesse teórico inerente e é bastante relevante para aplicações.O filtro de Kalman é amplamente conhecido e utilizado em aplicações, em virtude de apresentar diversas propriedades interessantes. Este trabalho aborda uma das características mais importantes, a estabilidade do filtro de Kalman aplicado a sistemas lineares discretos com saltos Markovianos. Sistemas desta classe são muito empregados em problemas práticos. Neste trabalho mostramos que o conceito de controlabilidade fraca e detetabilidade estocástica são condições suficientes para estabilidade do filtro de Kalman com relação a condição inicial. No que se refere a estabilidade no sentido mais usual, apresentamos resultados parciais, dependentes de uma condição adicional sobre a cadeia de Markov, bem como uma conjectura. O estudo da estabilidade do filtro de Kalman é relevante, pois filtros instáveis oferecem estimativas de baixa qualidade. O tema tem interesse teórico inerente e é bastante relevante para aplicações / Kalman filters present several interesting features that make them relevant for many applications. In this work we study one of the main issues in Kalman filtering - stability. We deal with Kalman filters for Markov jump linear systems, a class of systems with applications in many different areas. We consider the concepts of weak controllability and stochastic detectability and we show that they ensure stability of the Kalman filter with respect to the initial condition. As for the stability, we present some results relying in a conjecture and an additional condition on the Markov chain. The study of the stability of the Kalman filter is important, since unstable filters may lead to poor estimates. The stability issue has inherent theoretical interest and is relevant for applications

Due, in part, to the nowadays considerable body of theoretical results for Markov Jump Linear Systems (MJLS), there has been recently an intense interplay between the classical switch systems and MJLS theory. Although the development of these theories came up independently, in a broad way MJLS can be seen as a class of switch systems with a stochastic switching mecanism. Motivated by the diversity of methods of these theories and its potentiality in the treatment of systems with requires tolerance to failure (the so-called safety-critical and highintegrity systems), it is our intention in this dissertation to make up a synthesis of the most relevant methods, setting against the two theories. In view of the huge amount of results of these theories, we focus here just on the stability problem. We begin presenting well known tools such as common Lyapunov functions and others which are related to involving classes of linear subsistems with certain particularities such as commutativity and solubility of Lie algebra. Rigth after, we present the concept of average dwell time, part Lyapunov functions and results about design of switch. Using the average dwell time at the linear systems with stable and unstable systems with the rules already demonstrated we claim some results about stability that applied at linear systems with markovian switch. / Devido em parte, ao considerável corpo de resultados teóricos para Sistemas Lineares com Saltos Markovianos (SLMS), tem havido recentemente uma intensa interação entre a teoria clássica de sistemas com chaveamento (switched systems) e a teoria de SLSM. Apesar do desenvolvimento dessas teorias terem acontecido essencialmente de maneira independentes, num sentido amplo SLMS pode ser visto como um sistema com chaveamento cujo mecanismo de chaveamento é estocástico. Motivados pela diversidade de métodos dessas teorias e sua enorme potencialidade no tratamento de sistemas que exigem comportamentos tolerantes a falhas (faz parte do que se denomina na literatura especializada como safety-critical and high integrity systems) é nossa intenção nesta dissertaçãoo fazer uma síntese dos métodos mais relevantes, contrapondo as duas teorias. Tendo em vista a enorme quantidade de resultados, focaremos apenas o problema de estabilidade. Começaremos o estudo com critérios já conhecidos como a construção de uma função comum de Lyapunov para os sistemas e outros que dizem respeito à estabilidade em classes de subsistemas lineares que possuem certas particularidades como comutatividade e solubilidade da álgebra de Lie gerada pela coleção de matrizes. Em seguida, apresentaremos os conceitos de tempo médio de habitação, funções de Lyapunov por partes e os resultados sobre design de switch. Através do estudo do tempo médio de habitação em sistemas lineares com matrizes estáveis e instáveis, juntamente com os critérios já estudados referentes às classes de subsistemas para as quais é possível a construção de uma função comum de Lyapunov, chegamos a alguns resultados para estabilidade, que aplicamos ao caso de chaveamento Markoviano.

In this dissertation we study graph directed Markov systems (GDMS) and limit sets associated with these systems. Given a GDMS S, by the Hausdorff dimension spectrum of S we mean the set of all positive real numbers which are the Hausdorff dimension of the limit set generated by a subsystem of S. We say that S has full Hausdorff dimension spectrum (full HD spectrum), if the dimension spectrum is the interval [0, h], where h is the Hausdorff dimension of the limit set of S. We give necessary conditions for a finitely primitive conformal GDMS to have full HD spectrum. A GDMS is said to be regular if the Hausdorff dimension of its limit set is also the zero of the topological pressure function. We show that every number in the Hausdorff dimension spectrum is the Hausdorff dimension of a regular subsystem. In the particular case of a conformal iterated function system we show that the Hausdorff dimension spectrum is compact. We introduce several new systems: the nearest integer GDMS, the Gauss-like continued fraction system, and the Renyi-like continued fraction system. We prove that these systems have full HD spectrum. A special attention is given to the backward continued fraction system that we introduce and we prove that it has full HD spectrum. This system turns out to be a parabolic iterated function system and this makes the analysis more involved. Several examples have been constructed in the past of systems not having full HD spectrum. We give an example of such a system whose limit set has positive Lebesgue measure.

Made available in DSpace on 2015-03-04T18:51:12Z (GMT). No. of bitstreams: 1 Dissertacao Daniela Paula.pdf: 457309 bytes, checksum: 2cece1f133cd1224c92821fe3bd36e8b (MD5) Previous issue date: 2009-07-27 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / Due, in part, to the nowadays considerable body of theoretical results for Markov Jump Linear Systems (MJLS), there has been recently an intense interplay between the classical switch systems and MJLS theory. Although the development of these theories came up independently, in a broad way MJLS can be seen as a class of switch systems with a stochastic switching mecanism. Motivated by the diversity of methods of these theories and its potentiality in the treatment of systems with requires tolerance to failure (the so-called safety-critical and highintegrity systems), it is our intention in this dissertation to make up a synthesis of the most relevant methods, setting against the two theories. In view of the huge amount of results of these theories, we focus here just on the stability problem. We begin presenting well known tools such as common Lyapunov functions and others which are related to involving classes of linear subsistems with certain particularities such as commutativity and solubility of Lie algebra. Rigth after, we present the concept of average dwell time, part Lyapunov functions and results about design of switch. Using the average dwell time at the linear systems with stable and unstable systems with the rules already demonstrated we claim some results about stability that applied at linear systems with markovian switch. / Devido em parte, ao considerável corpo de resultados teóricos para Sistemas Lineares com Saltos Markovianos (SLMS), tem havido recentemente uma intensa interação entre a teoria clássica de sistemas com chaveamento (switched systems) e a teoria de SLSM. Apesar do desenvolvimento dessas teorias terem acontecido essencialmente de maneira independentes, num sentido amplo SLMS pode ser visto como um sistema com chaveamento cujo mecanismo de chaveamento é estocástico. Motivados pela diversidade de métodos dessas teorias e sua enorme potencialidade no tratamento de sistemas que exigem comportamentos tolerantes a falhas (faz parte do que se denomina na literatura especializada como safety-critical and high integrity systems) é nossa intenção nesta dissertaçãoo fazer uma síntese dos métodos mais relevantes, contrapondo as duas teorias. Tendo em vista a enorme quantidade de resultados, focaremos apenas o problema de estabilidade. Começaremos o estudo com critérios já conhecidos como a construção de uma função comum de Lyapunov para os sistemas e outros que dizem respeito à estabilidade em classes de subsistemas lineares que possuem certas particularidades como comutatividade e solubilidade da álgebra de Lie gerada pela coleção de matrizes. Em seguida, apresentaremos os conceitos de tempo médio de habitação, funções de Lyapunov por partes e os resultados sobre design de switch. Através do estudo do tempo médio de habitação em sistemas lineares com matrizes estáveis e instáveis, juntamente com os critérios já estudados referentes às classes de subsistemas para as quais é possível a construção de uma função comum de Lyapunov, chegamos a alguns resultados para estabilidade, que aplicamos ao caso de chaveamento Markoviano.