Representações visuais têm sido adotadas na exploração de conjuntos de documentos, auxiliando a extração de conhecimento sem que seja necessária a análise individual de milhares de textos. Mapas de documentos, em particular, apresentam documentos individualmente representados espalhados em um espaço visual, refletindo suas relações de similaridade ou conexões. A construção destes mapas de documentos inclui, entre outras tarefas, o posicionamento dos textos e a identificação automática de áreas temáticas. Um desafio é a visualização de conjuntos dinâmicos de documentos. Na visualização de informação, é comum que alterações no conjunto de dados tenham um forte impacto na organização do espaço visual, dificultando a manutenção, por parte do usuário, de um mapa mental que o auxilie na interpretação dos dados apresentados e no acompanhamento das mudanças sofridas pelo conjunto de dados. Esta tese introduz um algoritmo para a construção dinâmica de mapas de documentos, capaz de manter uma disposição coerente à medida que elementos são adicionados ou removidos. O processo, inerentemente incremental e de baixa complexidade, utiliza um espaço bidimensional dividido em células, análogo a um tabuleiro de xadrez. Resultados consistentes foram alcançados em comparação com técnicas não incrementais de projeção de dados multidimensionais, tendo sido a técnica aplicada também em outros domínios, além de conjuntos de documentos. A visualização resultante não está sujeita a problemas de oclusão. A identificação de áreas temáticas é alcançada com técnicas de extração de regras de associação representativas para a identificação automática de tópicos. A combinação da extração de tópicos com a projeção incremental de dados em um processo integrado de mineração visual de textos compõe um espaço visual em que tópicos e áreas de interesse são destacados e atualizados à medida que o conjunto de dados é modificado / Visual representations are often adopted to explore document collections, assisting in knowledge extraction, and avoiding the thorough analysis of thousands of documents. Document maps present individual documents in visual spaces in such a way that their placement reflects similarity relations or connections between them. Building these maps requires, among other tasks, placing each document and identifying interesting areas or subsets. A current challenge is to visualize dynamic data sets. In Information Visualization, adding and removing data elements can strongly impact the underlying visual space. That can prevent a user from preserving a mental map that could assist her/him on understanding the content of a growing collection of documents or tracking changes on the underlying data set. This thesis presents a novel algorithm to create dynamic document maps, capable of maintaining a coherent disposition of elements, even for completely renewed sets. The process is inherently incremental, has low complexity and places elements on a 2D grid, analogous to a chess board. Consistent results were obtained as compared to (non-incremental) multidimensional scaling solutions, even when applied to visualizing domains other than document collections. Moreover, the corresponding visualization is not susceptible to occlusion. To assist users in indentifying interesting subsets, a topic extraction technique based on association rule mining was also developed. Together, they create a visual space where topics and interesting subsets are highlighted and constantly updated as the data set changes

Neste trabalho estudamos a estabilidade assintótica de Lagrange para duas classes de sistemas, sob as hipóteses de detetabilidade fraca e de limitação do custo medio a longo prazo. Para sistemas lineares com saltos markovianos com rudo aditivo, a equivalência entre estabilidade e as condições mencionadas sera provada. Para sistemas dinâmicos generalizados, provaremos a estabilidade sob uma condição adicional / In this work we study Lagrange asymptotic stability for two classes of systems, under conditions of weak detectability and boundedness of the long run average cost. For Markov jump linear systems with additive noise, the equivalence between stability and the aforementioned conditions is proved. For generalized dynamical systems, we prove stability under an additional condition

Com base em três modelos de mobilidade MapBasedMovement, RandomWayPoint e RandomWalk presentes no simulador The One, sugerimos e discutimos vários modelos es- tocásticos para mobilidade. Primeiramente, a dinâmica das unidades móveis é reduzida a um processo chamado grafo dinâmico, de forma que a configuração espacial das unidades móveis em cada instante de tempo está resumida em um grafo. Os vértices desse grafo são unidades móveis e não mudam conforme o tempo: consideramos um sistema fechado, as unidades não desaparecem e não aparecem novas. O elo entre duas unidades (vértices) em um instante de tempo significa um contato neste instante (a distância entre as unidades é menor que um raio de contato), assim o conjunto de elos muda durante a evolução do sistema. Em seguida, modelamos a evolução do grafo dinâmico como um conjunto de pro- cessos aleatórios binários de forma que cada componente do processo está associada com um par de unidades móveis indicando presença ou ausência de contato entre elas. Três componentes principais constroem o processo: (i) distribuição de tempo de intercontato, (ii) distribuição de tempo de contato, e (iii) independência/interação entre as unidades. Nesta Tese mostramos teoricamente e através de simulações como escolher todos os três componentes para três modelos de mobilidade mencionados acima na situação de baixa densidade de unidades móveis, chamado DTNs (Delay Tolerant Networks). Considerar a modelagem da mobilidade desse ponto de vista é novo e não existe na literatura, até onde sabemos. Existe uma discussão na literatura sobre o tempo de intercontato, mas não conhecemos os resultados e discussão sobre a distribuição do tempo de contato e a interdependência de processos de contatos. / Based on three mobility models MapBasedMovement, RandomWayPoint and Ran- domWalk present on The One Simulator we suggest and discuss various stochastic mo- dels for mobility. First the dynamics of mobile units is reduced to process called dynamic graph, so that the spatial configuration of mobile units in every moment of time is sum- med up in a graph. The vertices of this graph are mobile units and do not change with the time: consider a closed system, the units dont disappear and not appear new. The link between two units (vertices) in an instant of time means a contact right now (dis- tance between the units is less that the radius contact). So the set of links changes during the system evolution. As a second step, the evolution of dynamic graph model as a set of random processes. Each process component is associated with a pair of mobile units indicating presence or absence of contact between them. Three major components build process: (i) distribution of intercontact time , (ii) distribution of contact time, and (iii) Independence interaction between units. In this work we show theoretically and by si- mulation how to choose all three components for three mobility models mentioned above on the situation of low density of mobile units, called DTNs (Delay Tolerant Networks). Consider the mobility modeling from that point of view is new and does not exist in the literature for our knowledge. There is a discussion in the literature about the intercontact time, but we dont know the results and discussion on the distribution of contact time and the interdependence of contact process.

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-16Bitstream added on 2014-06-13T20:35:10Z : No. of bitstreams: 1 santos_jpm_me_sjrp.pdf: 844657 bytes, checksum: 7654e161686ed9a1d510f7e165e7627a (MD5) / Nesta dissertação vamos fazer uma análise do sistema pêndulo eletromecânico utilizando a teoria de perturbações através dos métodos da média e múltiplas escalas. Nosso objetivo é obter soluções analáticas aproximadas para o sistema e fazer análise dos casos de ressonâncias internas, alám de estudar a estabilidade dos estados estacionários. O sistema pêndulo eletromecânico tem uma dinâmica muito rica, pois apresenta curvas características dos efeitos de histerese, fenômenos de saltos nas amplitudes dos movimentos realizáveis, curvas com características mole e dura (softening e hardening) e, além disso, diversas ressonâncias internas. Devido a complexidade das equações do sistema pêndulo eletromecânico, elas são difíceis de serem tratadas analíticamente, já que existe iteração ressonante entre as três partes (bloco, motor e pêndulo), e não podemos restringir o estudo das interações ressonantes à apenas duas partes e desprezar a outra parte. Neste trabalho analisamos o caso em que existe interação ressonante entre o bloco e o motor, mas sem interação ressonante com o pêndulo, mas, no entanto, sem desprezar os efeitos do movimento do pêndulo. Em seguida, discutimos a possibilidade de efeitos de saltos nas amplitudes dos movimentos realizáveis, apresentamos alguns pontos onde o sistema perde a estabilidade, já que a discuss~ao sobre comportamento geral do sistema érestrito a variedade central, e analisamos a estabilidade dos pontos fixos tomando como exemplo o estudo feito por Kononenko. A estabilidade dos pontos fixos do sistema é feita pela utilização do critério R-H, juntamente com a teoria da variedade central já que, no caso analisado, existe auto valor zero / In this work we study the eletromechanical pendulum system with pertubation theory. We use the average method and the multiple scales method to get a approximate analytic solution for the problem, and analyse the various internal resonances and the stationary states stability. The eletromechanical pendulum is a very complex dynamical system and it shows very interesting e®ects such as histeresis, jump phenomenon, curves of hardening and softening type and, also, various kinds of internal resonances. The equations of the system are very complicated and so they are very hardy to study in an analytic way, because there is resonant interaction between the three components parts of the system and we can't restrict our study to interactions of just two parts of the system. In this work we analyse the case of resonant interaction between the block and the load without resonant interaction between the block and pendulum, but taking in account the pendulum e®ects. We treat the possibility of jump phenomenon, some points where the system loose stability are localized, and we analyse the stability of the stationary states as done by Kononenko. The analysis of stability of the stationary states is done by Routh-Hurwtiz criterion(R- H criterion) and center manifold, because the Jacobian matrix has an eigenvalue with zero real part

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-16Bitstream added on 2014-06-13T19:34:53Z : No. of bitstreams: 1 santos_jm_me_sjrp.pdf: 407078 bytes, checksum: 96bda75a3b280db0c6b8bdd488530e5a (MD5) / Osciladores eletromecânicos podem ser modelados matematicamente através da equação de Duffing ou equação de Van der Pol, mesmo que sejam sistemas de escala nanomética. Nesta dissertação analisamos um oscilador forçado sujeito a um amortecimento não-linear, que é representado pela equação de Duffing - Van der Pol. Em geral, não é fácil obter solução analítica exata para esta equação, então a análise é feita utilizando a teoria de perturbações para obter uma solução analítica aproximada. Para isso consideramos certos parâmetros do problema como sendo pequenos parâmetros, e obtemos a solução na forma de expansão direta. Devido o fato da frequência natural do sistema dinâmico depender do pequeno parâmetro, essa expansão é não uniforme, ou seja, apresenta termos seculares mistos (termos de Poisson), e além disso possui pequenos divisores. Essas inconveniências são eliminadas aplicando o método das múltiplas escalas e o método da média. Inicialmente os pequenos parâmetros são escolhidos de modo que o problema não perturbado se reduz a um oscilador harmônico forçado, e na escolha posterior o problema não perturbado é um oscilador linear amortecido e forçado. / Electromechanical oscillators can be mathematically modeled by a Du±ng equation or a Van der Pol equation, even if they are nanometric systems. In this work we studied a forced oscillator having nonlinear damping, that is represented by a Du±ng - Van der Pol equation. In general, it is not easy to get the exact analytical solution for this equation, then the analysis is done using the perturbation theory to get an approximate analytical solution. For this reason we considered that certain parameters of the problem are small parameters and we obtain the solution in the form of straightforward expansion. Due to the fact that natural frequency of the dynamic system depends on the small parameter, this expansion is not uniform, i.e. presents secular terms (Poisson terms) and also small-divisors. These inconveniences are eliminated using the method of multiple scales and the aver- aging method. Initially the small parameters are chosen so that the unperturbed problem is reduced to a forced harmonic oscillator, and in the subsequent choice the unperturbed is a forced oscillator having linear damping.

Este trabalho apresenta estudos, ensaios e análises de resultados a respeito do comportamento à fadiga das estruturas de concreto armadas com barras isoladas e telas soldadas, começando pelas lajes de pontes, seus elementos mais sensíveis à fadiga. A parte experimental desta pesquisa consiste na investigação experimental do comportamento à fadiga de lajes de concreto armado, executadas com e sem pré-lajes armadas com barras de aço isoladas ou em tela soldada. Foram realizados ensaios de fadiga de barra ao ar em 36 corpos de prova de CA50 f10 mm, isoladas e em tela, com o objetivo de construir a Curva de Wöhler dessas barras de produção nacional. Além disso, foram ensaiadas 20 lajes executadas com e sem pré-lajes de concreto, montadas com diversas configurações de armadura, submetidas a ensaios estáticos e dinâmicos. A configuração de armadura adotada nas lajes da pesquisa foi baseada nas utilizadas com freqüência neste tipo de elemento das pontes. A escassez de dados precisos a respeito do comportamento de lajes armadas com barras ou com telas soldadas de fabricação brasileira submetidas a ações cíclicas conduziu ao propósito de se elaborar uma pesquisa de caráter experimental sobre esse tema, cujos resultados e conclusões pudessem fornecer informações mais precisas a respeito do desempenho das lajes. / This research presents the studies, tests and the analysis of the results about the behavior of concrete structures reinforced with rebars or steel mesh due to fatigue loading, starting with bridge slabs which are the most susceptible elements to fatigue. The experimental part of this research consists in testing the behavior due to fatigue of concrete slabs, with or without pre-slabs and reinforced with continuous bars or steel mesh. Axial testing in air of 36 specimens of CA50 f10 mm in continuous bars and mesh were made in order to build the Wöhler Curve for Brazilian conditions. Beyond that, tests were made in 20 concrete slabs with pre-slabs, with several reinforcements arrangement. The 20 slabs were submitted to static and dynamic loading. The reinforcement configuration was based on the commonly used for these elements. The scarcity of more precise data about the behavior of concrete slabs reinforced with rebars or welded mesh made in Brazil submitted to cycle loading was the major reason to make a research based on the testing results about this theme, which results and conclusions are capable of producing more accurate information about the behavior of the slabs.

Este trabalho apresenta o desenvolvimento de metodologia para avaliar a utilização do Sistema de Posicionamento Global (GPS) como ferramenta de pesquisa no estudo do comportamento dinâmico de obras viárias. Para ser caracterizado como um instrumento de medição, foi estudada a potencialidade de um método, que se fundamenta numa forma específica de coleta e processamento de dados GPS; análise dos resíduos resultantes do processamento da dupla diferença de fase e aplicação de análise espectral para filtragem de informações indesejáveis (multicaminhamento dos sinais GPS). A coleta envolve um oscilador eletro-mecânico, especialmente projetado, que permite calibrar as medidas de amplitude e freqüência das oscilações mensuráveis pela obra sob teste. Inúmeros experimentos foram realizados em ambientes de reflexões e difrações variáveis e com diversos tipos de receptores e antenas GPS. Alguns ensaios foram realizados utilizando, simultaneamente, equipamentos como transdutores de deslocamento, acelerômetros e estações totais. Comparando os resultados obtidos, mesmo com valores prescritos em normas e códigos, afirma-se que o GPS, sob o método de coleta de dados testado, é um instrumento confiável para detecção e caracterização do comportamento dinâmico de estruturas, apresentado confiabilidade para as medições realizadas, da ordem de décimos de milímetro. Quanto à detecção das freqüências, as mais baixas ficam comprometidas pela presença do multicaminhamento e as mais elevadas têm a detecção limitada pela máxima taxa de coleta dos receptores (Lei de Nyquist) / This work presents the development of a methodology to appraise the use of Global Positioning System (GPS) as a tool for researching of dynamic behavior of road transport structures. To be characterized as an instrument for measuring it was studied the potentiality of one method which includes a specific mode of GPS data collection; analyses of double difference phase residuals and application of spectral analyses and filtering for excluding undesirable information (multipath). The GPS data collected applies an electro-mechanical oscillator, specially built for that, which permits to calibrate the measures of frequency and amplitude of structure’s oscillations under dynamic load test. Several field tests were carried out in vicinities with high and low capacity of causing signal reflections and diffractions and with different types of GPS receivers and GPS antennas. A couple of fields were carried out using, at the same time, transducers of displacement, accelerometers and total stations. Comparing these results obtained even with values of codes, it is affirmed that GPS, under the data collection method tested, it is a trustworthy instrument for detection and characterization of dynamic behavior of structures, presenting reliability of measures ranging around tenths of millimeters. The very low frequencies are highly degraded by multipath and very high frequencies have its detection limited by the receiver data rate (Theorem’s Nyquist)

Esta pesquisa de doutorado apresenta resultados em três áreas distintas: (i) Ciência da Computação e Estatística -- devido ao desenvolvimento de uma nova solução para o problema de seleção de características, um problema conhecido em Reconhecimento de Padrões; (ii) Bioinformática -- em razão da construção de um método baseado em um \\textit de algoritmos, incluindo o de seleção de características, visando abordar o problema de identificação de arquiteturas de redes de expressão gênica; e (iii) Biologia -- ao relacionar o estrógeno com uma nova função biológica, após analisar informações extraídas de séries temporais de \\textit pelas novas ferramentas computacionais-estatísticas desenvolvidas. O estrógeno possui um importante papel nos tecidos reprodutivos. O crescimento das gândulas mamárias e do endométrio durante a gravidez e o ciclo menstrual são estrógeno dependentes. O crescimento das células tumorais nesses órgãos podem ser estimuladas pela simples presença de estrógeno; mais de $300$ genes são conhecidos por terem regulação positiva ou negativa devido a sua presença. A motivação inicial desta pesquisa foi a construção de um método que possa servir de ferramenta para a identificação de genes que tenham seu nível de expressão alterado a partir de uma resposta induzida por estrógeno, mais precisamente, um método para modelar os inter-relacionamentos entre os diversos genes dependentes do estrógeno. Apresentamos um novo \\textit de algoritmos que, a partir de dados temporais de \\textit e um conjunto inicial de genes que compartilham algumas características comuns, denominados de \\textit{genes sementes}, devolve como saída a arquitetura de uma rede gênica representada por um grafo dirigido. Para cada nó da rede, uma tabela de predição do gene representado pelo nó em função dos seus genes preditores (genes que apontam para ele) pode ser obtida. O método foi aplicado em estudo de série-temporal de \\textit para uma cultura de células \\textit submetidas a tratamento com estrógeno, e uma possível rede de regulação foi obtida. Encontrar o melhor subconjunto preditor de genes para um dado gene pode ser estudado como um problema de seleção de características, no qual o espaço de busca pode ser representado por um reticulado Booleano e cada um de seus elementos representa um subconjunto candidato. Uma característica importante desse problema é o fato de que para cada elemento existe uma função custo associada, e esta possui forma de curva em U para qualquer cadeia maximal do reticulado. Para esse problema, apresentamos um nova solução, o algoritmo ewindex. Esse algoritmo é um método do tipo \\textit, o qual utiliza a estrutura do reticulado Booleano e a característica de curva em U da função custo para explorar um subconjunto do espaço de busca equivalente à busca completa. Nosso método obteve excelentes resultados em eficiência e valores quando comparado com as heurísticas mais utilizadas (SFFS e SFS). A partir de um método baseado no \\textit e de um conjunto inicial de genes regulados \\textit pelo estrógeno, identificamos uma evidência de envolvimento do estrógeno em um processo biológico ainda não relacionado: a adesão celular. Esse resultado pode direcionar os estudos sobre estrógeno e câncer à investigação de processo metastático, o qual é influenciado por genes relacionados à adesão celular. / This Phd. research presents in three distinct areas: (i) Computer Science and Statistics -- on the development of a new solution for the feature selection problem which is an important problem in Pattern Recognition; (ii) Bioinformatics -- for the construction of a pipeline of algorithms, including the feature selection solution, to address the problem of identification the architecture of a genetic expression network and; (iii) Biology -- relating estrogen to a new biological function, from the results obtained by the new computational-statistic tools developed and applied to a time-series microarray data. Estrogen has an important role in reproductive tissues. The growth mammary glands and endometrial growing during menstrual cycle and pregnancy are estrogen dependent. The growth of tumor cells in those organs can be stimulated by the simple presence of estrogen. Over $300$ genes are known by their positive or negative regulation by estrogen. The initial motivation of this research was the construction of a method that can serve as a tool for the identification of genes that have changed their level of expression changed by a response induced by estrogen, more specifically, a method to model the inter-relationships between the several genes dependent on estrogen. We present a new pipeline of algorithms that from the data of a time-series microarray experiment and from an initial set of genes that share some common characteristics, known as \\textit{seed genes}, gives as an output an architecture of the genetic expression network represented by a directed graph. For each node of the network, a prediction table of the gene, represented by the node, in function of its predictors genes (genes that link to it) can be obtained. The method was applied in a study of time-series microarray for a cell line \\textit submitted to a estrogen treatment and a possible regulation network was obtained. Finding the best predictor subset of genes for a given gene can be studied as a problem of feature selection where the search space can be represented by a Boolean lattice and each one of its elements represents a possible subset. An important characteristic of this problem is: for each element in the lattice there is a cost function associated to it and this function has a U-shape in any maximal chain of the search space. For this problem we present a new solution, the \\textit algorithm. This algorithm is a branch-and-bound solution which uses the structure of the Boolean lattice and U-shaped curves to explore a subset of the search space that is equivalent to the full search. Our method obtained excellent results in performance and values when compared with the most commonly used heuristics (SFFS and SFS). From a method based on the pipeline of algorithms and from an initial set of genes direct regulated by estrogen, we identified an evidence of involvement of estrogen in a biological process not yet related to estrogen: the cell adhesion. This result can guide studies on estrogen and cancer to research in metastatic process, which is affected by cell adhesion related genes.

Este trabalho apresenta um estudo de dados com resposta em intervalos limitados, mais especificamente no intervalo [0,1], como no caso de taxas e proporções. Em diversos casos práticos esta estrutura de dados apresenta uma quantidade não negligenciável de valores extremos (0 e 1) e que modelos usuais não são adequados para sua análise. Para esta situação propomos, por meio de um enfoque Bayesiano, modelos de regressão beta inflacionado de zeros e uns (BIZU) e modelos de regressão Tobit duplamente censurado adaptados nesse intervalo. Técnicas de diagnóstico e qualidade do ajuste também são discutidas. Apresentamos a análise desta estrutura de dados no contexto de série de tempo por meio da abordagem Bayesiana de modelos dinâmicos. Estudos de comportamento e previsão de séries de tempo foram explorados utilizando técnicas de Monte Carlo sequencial, conhecidas como filtro de partículas. Particularidades e competitividade entre as duas classes de modelos também foram discutidas. / This paper presents a study focused on observations in a limited interval , more specifically in [0,1] , such as rate and proportion data. In many practical cases this data structure has a considerable amount of extreme values (0 and 1) and usual classical models are not suitable for this type of data set. We propose two class of regression models to deal with this context: beta inflated of zeros and ones (BIZU) models and Tobit doubly censored models adapted in this interval. Fit quality and diagnostic techniques are also discussed. Time series of proportions are also developed through Bayesian dynamic models. Forecasting and behavioral analysis were explored using sequential Monte Carlo techniques, known as particle filters. Particularities and competitiveness between the two classes of models were also discussed as well.

A importância da geração de energia elétrica hidráulica, dentro dos requisitos de qualidade e fornecimento com índices de confiabilidade cada vez mais exigentes, tem se tornada acentuada, principalmente em atendimento às necessidades de consumo em todas as áreas de atividades produtivas. Têm-se notado que as tecnologias desenvolvidas aliadas às mudanças socioeconômicas trouxeram uma evolução e reestruturação, tanto no setor industrial produtivo como no setor elétrico (concessionárias de energia elétrica e fornecedores de sistemas e equipamentos para usinas hidrelétricas e subestações), com aumento significativo da especialização e da complexidade da automação dos processos envolvidos, onde falhas são consideradas inaceitáveis. Em consequência, têm-se exigido soluções técnicas eficazes e com investimentos reduzidos. Desta forma, a Automação Elétrica, que faz parte dos sistemas de Comando, Controle, Comunicação e Informação altamente integrados (C3I), têm demonstrado uma participação fundamental no atual cenário deste segmento. Então, de maneira a tratar adequadamente esta complexidade, tornar as soluções técnicas cada vez mais seguras e facilitar o estudo e projeto de novos sistemas de controle nesta área, este trabalho apresenta uma metodologia para modelagem e análise de Sistemas de Controle envolvidos na geração hidráulica de energia elétrica. Este trabalho tem como principais desenvolvimentos: uma metodologia que envolve a teoria de controle de SDED juntamente com conceitos e pesquisas na área de Engenharia de Software e um formalismo em Rede de Petri Interpretada por Sinais (RPIS) em conjunto com o paradigma de Orientação a Objetos (OO), representado pela proposta de uma nova RP, a RPIS_OO (Rede de Petri Interpretada por Sinais Orientada a Objetos). Destarte, espera-se que a metodologia e a nova RP propostas nesta tese contribuam na especificação e construção dos algoritmos de controle dos sistemas que participam na automação da geração de energia elétrica hidráulica, como também, no aprimoramento de novas abordagens para o desenvolvimento de sistemas de automação elétrica, representando atualmente o estado da arte nesta área. / The importance of hydroelectric power generation, considering the increasingly demanding supply and quality requirements, has become more pronounced especially seeing the great consumption needs on all productive areas. It\'s noticeable that technology developed with socioeconomic changes have brought evolution and a restructuring both in the industrial and electrical sector (electric companies and power plant equipment manufacturers), with a notable increase in specialization and complexity of the automation of these activities, where faults are considered unacceptable. A demand for more efficient technical solutions and reduced investments has therefore increased greatly. Electrical automation technology as part of highly integrated command, control, communication and information (C3I) systems has demonstrated a crucial involvement in the context of this segment. In order to handle this evolving complexity, creating more secure technical solutions and further research and development of new control systems for this sector, this work introduces a new methodology for modeling and analysis of power plant control systems. A methodology involving the theory of Discrete Event Dynamic Systems (DEDS) and concepts of Software Engineering is presented, as well as a new formalism based on Signal Interpreted Petri Nets (SIPN) together with Object-Oriented Paradigm (OOP) named Object-Oriented Signal Interpreted Petri Nets (OOSIPN). The intention is that methodology proposed in this thesis contributes to the correct specification and construction of control algorithms for power plant control systems, as well as the state of the art in this research area in the form of a new approach to development of such automation systems.