Periodic signal modeling plays an important role in different fields. The unifying theme of this thesis is using nonlinear techniques to model periodic signals. The suggested techniques utilize the user pre-knowledge about the signal waveform. This gives these techniques an advantage as compared to others that do not consider such priors. The technique of Part I relies on the fact that a sine wave that is passed through a static nonlinear function produces a harmonic spectrum of overtones. Consequently, the estimated signal model can be parameterized as a known periodic function (with unknown frequency) in cascade with an unknown static nonlinearity. The unknown frequency and the parameters of the static nonlinearity are estimated simultaneously using the recursive prediction error method (RPEM). A treatment of the local convergence properties of the RPEM is provided. Also, an adaptive grid point algorithm is introduced to estimate the unknown frequency and the parameters of the static nonlinearity in a number of adaptively estimated grid points. This gives the RPEM more freedom to select the grid points and hence reduces modeling errors. Limit cycle oscillations problem are encountered in many applications. Therefore, mathematical modeling of limit cycles becomes an essential topic that helps to better understand and/or to avoid limit cycle oscillations in different fields. In Part II, a second-order nonlinear ODE is used to model the periodic signal as a limit cycle oscillation. The right hand side of the ODE model is parameterized using a polynomial function in the states, and then discretized to allow for the implementation of different identification algorithms. Hence, it is possible to obtain highly accurate models by only estimating a few parameters. In Part III, different user aspects for the two nonlinear approaches of the thesis are discussed. Finally, topics for future research are presented.

Two methods for control of swarms are described. The first of these methods, the Virtual Attractive-Repulsive (VARP) method, is based on potentials defined between swarm elements. The second control method, or the abstraction method, is based on controlling the macroscopic characteristics of a swarm. The derivation of a new control law based on the second method is described. Numerical simulation and analytical interpretation of the result is also presented.

Chatter is unwanted since it causes deteriorating effects on the milling process. Stability lobe diagrams are developed in order to determine the stable cutting conditions at which chatter-free machining can be made. The need of cutting away more chips to make milling operations quicker has brought the concept of high-speed milling. This increased the importance of estimating stability lobe diagrams of the milling process more accurately. The state-of-art chatter and spindle-toolholder-tool models predict the stability lobe diagram for milling process quite effectively. However, sometimes chatter might occur even at cutting conditions selected using theoretically obtained stability lobe diagrams. One of the reasons for that may be nonlinearities in the system. This being the motivation, in this work, nonlinearities at the bearings of spindle-toolholder-tool system are investigated. In this thesis, cubic nonlinearity is assumed to represent stiffness of a bearing in a spindle-toolholder-tool system. Effects of nonlinearity on stability lobe diagram of a milling process are studied by using the mathematical model developed for such a system. Frequency response function of spindle-toolholder-tool system without bearings is obtained using Timoshenko beam model. Then, bearings are modeled by using describing function theory and coupled to the dynamics of spindle-toolholder-tool modeled. Solution of the equations of motion of the system in frequency domain is obtained via Newton&#039 / s method with ALC. It is an effective frequency domain method in which turning points on frequency response function are traced. This is important for the system studied, as bearing nonlinearity may introduce turn backs in the response of the system. Case studies are carried out to study the effects of bearing nonlinearity on stability lobe diagram. The effects of the following factors are studied: Magnitude of cutting force, degree of nonlinearity and number of teeth on cutter. Displacement amplitude dependent stiffness of bearings affects the dynamic response due to rigid body modes of the system. It is observed that an increase in cutting force magnitude or in coefficient of bearing nonlinearity results in increase of natural frequencies, thus showing hardening behavior. Shifting of frequencies in the response curve shifts stability lobes related to the affected modes, to the right. For increased number of flutes on cutter, effect of nonlinearity at bearings on stability of the milling process becomes lower. Experimental studies to determine the changes in dynamics of a system during cutting are also carried out in this thesis. Inverse chatter analysis is conducted to obtain modal parameters of a single-degree-of-freedom system using the experiment data. Decrease in natural frequency is observed at high cutting speeds for the particular spindle used. This shift may be due to speed-dependent bearing dynamics and real time adjustment of preload on bearings.

VitalSmarts® Crucial Conversations™ general program theory might be a possible countermeasure addressing organizational culture and communication factors affecting quality and safety. This practice inquiry reports: a VitalSmarts® Crucial Conversations™ general program logic model, a major medical center's Crucial Conversations™ historical implementation program logic model, a clinical exemplar central line associated blood stream infection program logic model; and, findings that describe the fidelity of the major medical center's Crucial Conversations™ historical implementation and clinical exemplar central line associated blood stream infection program logic model to the VitalSmarts® Crucial Conversations™ general program logic model. The results demonstrated there was no fidelity between the major medical center's Crucial Conversations™ program logic model and the VitalSmarts® Crucial Conversations™ general program logic model. The clinical exemplar CLABSI program logic model and VitalSmarts® Crucial Conversations™ general program logic model fidelity differed in intended outcomes. The results might suggest that program adaptability along with program fidelity are factors that influence program strength, and these factors must be uniquely balanced within organizational dynamics to realize intended outcomes. The formative evaluation and program logic model might be a feasible methodology and applicable tool for exploring quality and safety within complex adaptive systems, such as organizational culture, where constraints possibly could exclude more rigorous scientific methodologies until factors are more understood.

Orientador: Laurence Duarte Colvara / Banca: Carlos Roberto Minussi / Banca: Wagner Peron Ferreira / Resumo: Este trabalho apresenta um estudo sobre a relação entre os principais tipos de bifurcações que ocorrem em sistemas elétricos de potência e em quais ocasiões elas podem ocorrer em máquinas síncronas com ou sem RAT (Regulador Automático de Tensão). Para explorar tais fenômenos, primeiramente o sistema é modelado, sendo utilizado para o caso MBI (Máquina - Barramento In nito) o modelo um eixo e, então, a matriz de estado é calculada para a análise dos autovalores. Para os sistemas multimáquinas estudados, são incluídos dois enrolamentos amortecedores nos eixos d ¡ q. São então apresentados os métodos de análise de estabilidade transitória convencionais, amplamente utilizados, conhecidos como método Tradicional e Método Direto. As condições para a ocorrência de bifurcações são analisadas utilizando os coe - cientes linearizados do modelo de He ron-Phillips para o caso MBI, onde é mostrado que se espera perder a estabilidade para o sistema com regulador automático de tensão através de uma bifurcação de Hopf e para o caso sem RAT através de uma bifurcação Sela-Nó. Por m, é analisado o ciclo-limite para o caso de uma máquina - barramento in nito e para sistemas multimáquinas através do modelo não-linear. A região de estabilidade é analisada no plano de fase, sendo mostrada a necessidade de incluir a variação de uxo no enrolamento de campo para uma análise correta da estabilidade. É também mostrado que este ciclo-limite pode reduzir a fronteira de estabilidade calculada pelo método convencional. / Abstract: The aim of this study is the relation among main types of bifurcations that occur in electrical power systems and the circumstances they can happen with the synchronous machines considered with or without AVR (Automatic Voltage Regulator). To explore such phenomena, the system is rst modeled with the synchronous machines described by the one axis model for the MIB (Machine - In nite Bus) case , and so the state matrix is computed for the analysis of its eigenvalues. For multimachine systems case two windings dampers are included in d-q axes. The conditions for the occurrence of bifurcations are analyzed using the coe cients of the He ron-Phillips model for MIB case, where it is shown that one expects the system with automatic voltage regulator lose synchronism through a Hopf bifurcation and for the case without RAT through a Saddle- Node Bifurcation. Finally, the nonlinear model is accounted for in order to consider the limit-cycle for the case of one machine - in nite bus case as well as for multimachine system. Since internal voltage a ects the boundary of the stability region it must be considered. Then the phase portrait does not su ce and the trajectories must to be observed in a sub space de ned with the internal voltage. It is also shown that this limit-cycle can reduce the boundary of stability calculated by means of the direct method. / Mestre

Este trabalho consiste na investigação, síntese e validação prática de um sistema de controle robusto baseado na minimização das normas H2 e H∞, por meio da utilização de desigualdades matriciais lineares, para a estabilização de um processo multivariável. Propõe-se a utilização de um sistema não-linear com duas entradas e duas saídas, que consistem no controle de variáveis de temperatura e nível de fluido em um reservatório. Serão apresentados os principais aspectos estruturais e tecnológicos do sistema a ser utilizado, assim como os fundamentos de estratégias de controle robusto moderno. As estruturas de controle serão implementadas por meio de controlador programável para automação CompactRIO, em conjunto com o software de desenvolvimento LabVIEW. / This work consists of the investigation, synthesis and practical validation of a robust control system based on minimization of H2 and H∞ norms, using linear matrix inequalities, for stabilization of a multivariable process. A study case on a nonlinear system with two imputs and two outputs is proposed, which consists of the control of temperature variables and fluid level in a reservoir. The main structural and system technology to be used and the fundamentals of modern control strategies will be presented. Control structures will be implemented by the programmable automation controller CompactRIO, together with LabVIEW software development.

Este trabalho aborda o problema de análise de estabilidade e estabilização de sistemas não-lineares racionais sujeitos a saturação. A abordagem utilizada neste estudo é baseada em representações algébricas diferenciais (DAR) de sistemas racionais e na versão modificada da condição de setor generalizada para lidar com a saturação. Inicialmente, métodos para caracterizar a estabilidade de sistemas em tempo discreto sujeitos a perturbações são propostos. Neste contexto, apresentam-se abordagens na forma de desigualdades matriciais lineares (do inglês, Linear Matrix Inequalities) para o cálculo de estimativas da região de atração do sistema, bem como limites para uma classe de perturbações admissíveis ℓ2 de forma a garantir que as trajetórias sejam limitadas e estimativas do ganho ℓ2 do sistema. Duas abordagens são consideradas: a primeira é baseada em uma única função de Lyapunov quadrática e a segunda considerando funções de Lyapunov quadráticas por partes. Em seguida, técnicas para síntese de compensadores anti-windup são propostas com o objetivo de aumentar a região de atração de sistemas em tempo contínuo. As condições são desenvolvidas e incorporadas em um algoritmo iterativo, sendo que a cada iteração é resolvido um problema de otimização convexa com restrições na forma de LMIs. Tais resultados são estendidos para lidar com sistemas incertos e sistemas sujeitos a perturbações. Com o objetivo de evitar métodos iterativos e facilitar a aplicação em sistemas multivariáveis propõe-se uma nova abordagem para sintetizar este tipo de compensador (diretamente na forma de LMIs). Extensões dos resultados são apresentadas para tratar sistemas em tempo discreto. Por fim, é apresentada uma abordagem para síntese de realimentação estática de estados. Estes métodos são baseados em condições de estabilização local permitindo, simultaneamente, calcular o ganho de realimentação de estados e uma função de Lyapunov que leva a uma estimativa maximizada da região de atração do sistema em malha fechada. Propõe-se também uma extensão dos resultados abordando sistemas em tempo discreto. Exemplos numéricos são apresentados com o objetivo de ilustrar a aplicação e verificar a eficiência dos métodos propostos. / This work addresses the problem of stability analysis and stabilization of nonlinear rational systems subject to saturation. The approach used in this study is based on the differential algebraic representation (DAR) of rational systems and on a modified version of the generalized sector condition to deal with saturation. First, methods to characterize the stability of discrete-time systems subject to disturbances are proposed. In this context, approaches based on linear matrix inequalities to compute estimates of the region of attraction of the system, as well as limits for a class of admissible ℓ2 disturbances to ensure bounded trajectories and estimates of the ℓ2-gain of the system are presented. Two approaches are considered: the first one based on a single quadratic Lyapunov function and the second one considering piecewise quadratic Lyapunov functions. Then, techniques for the synthesis of anti-windup compensators are proposed in order to enlarge the region of attraction of continuous-time systems. The conditions are developed and incorporated into an iterative algorithm, where at each iteration, a convex optimization problem with LMI constraints is solved. These results are extended to deal with uncertain systems and systems subject to disturbances. In order to avoid iterative methods and facilitate the application to multivariable systems, a new approach to synthesize this type of compensator (directly in terms of LMI) is proposed. Extensions of the results are also presented to deal with discrete-time systems. Finally, a method for the synthesis of static state feedback gains is proposed. This method is based on local stabilization conditions which allow to calculate the state feedback gain and a Lyapunov function leading to a maximized estimate of the region of attraction of the closed-loop system. The extension of these results for the case of discrete-time systems is also addressed. Numerical examples are presented in order to illustrate the application and to verify the efficiency of the proposed methods.

Esta tese foca no problema de estimação de estado e de identificação de parâametros para modelos afins por partes. Modelos afins por partes são obtidos quando o domínio do estado ou da entrada do sistema e particionado em regiões e, para cada região, um submodelo linear ou afim e utilizado para descrever a dinâmica do sistema. Propomos um algoritmo para estimação recursiva de estados e um algoritmo de identificação de parâmetros para uma classe de modelos afins por partes. Propomos um estimador de estados Bayesiano que utiliza o filtro de Kalman em cada um dos submodelos. Neste estimador, a função distribuição cumulativa e utilizada para calcular a distribuição a posteriori do estado assim como a probabilidade de cada submodelo. Já o método de identificação proposto utiliza o algoritmo EM (Expectation Maximization algorithm) para identificar os parâmetros do modelo. A função distribuição cumulativa e utilizada para calcular a probabilidade de cada submodelo a partir da medida do sistema. Em seguida, utilizamos o filtro de Kalman suavizado para estimar o estado e calcular uma função substituta da função likelihood. Tal função e então utilizada para identificar os parâmetros do modelo. O estimador proposto foi utilizado para estimar o estado do modelo não linear para vibrações causadas por folgas. Foram realizadas simulações, onde comparamos o método proposto ao filtro de Kalman estendido e o filtro de partículas. O algoritmo de identificação foi utilizado para identificar os parâmetros do modelo do jato JAS 39 Gripen, assim como, o modelos não linear de vibrações causadas por folgas. / This thesis focuses on the state estimation and parameter identi cation problems of piecewise a ne models. Piecewise a ne models are obtained when the state domain or the input domain are partitioned into regions and, for each region, a linear or a ne submodel is used to describe the system dynamics. We propose a recursive state estimation algorithm and a parameter identi cation algorithm to a class of piecewise a ne models. We propose a Bayesian state estimate which uses the Kalman lter in each submodel. In the this estimator, the cumulative distribution is used to compute the posterior distribution of the state as well as the probability of each submodel. On the other hand, the proposed identi cation method uses the Expectation Maximization (EM) algorithm to identify the model parameters. We use the cumulative distribution to compute the probability of each submodel based on the system measurements. Subsequently, we use the Kalman smoother to estimate the state and compute a surrogate function for the likelihood function. This function is used to estimate the model parameters. The proposed estimator was used to estimate the state of the nonlinear model for vibrations caused by clearances. Numerical simulations were performed, where we have compared the proposed method to the extended Kalman lter and the particle lter. The identi cation algorithm was used to identify the model parameters of the JAS 39 Gripen aircraft as well as the nonlinear model for vibrations caused by clearances.

Cette thèse concerne des systèmes hybrides et le théorème des petits-gains. Plus précisément, d'une part, nous avons calculé les lois de commande hybrides pour les systèmes non-linéaires lesquels les techniques de synthèse par backstepping ne s'applique pas et nous avons réussi à combiner les lois de commande locales et globales pour la stabilisation d'un ensemble «proche» de l'origine. La seconde contribution est sur ​​le théorème des petits-gains, en traitant avec des systèmes pour lesquels les conditions des petits-gains sont satisfaites seulement au niveau régional. Nous avons réussi à combiner ces conditions régionales pour le petit-gain pour la stabilité asymptotique et pour la presque stabilité asymptotique globale. / This theses concerns hybrid systems and small gain theorems. More precisely, firstly we computed hybrid stabilizers for nonlinear control systems for which the backstepping techniques do not apply, and we succeeded to combine local feedback laws and global controllers stabilizing a set "close" to the origin. The second contribution is on small gains theorem, by dealing with systems for which small gains conditions are satisfied only regionally. We were able to combine such region-dependent small-gain conditions for the global asymptotic stability and for the almost global asymptotic stability.

Made available in DSpace on 2014-06-11T19:22:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-07-01Bitstream added on 2014-06-13T18:49:54Z : No. of bitstreams: 1 araujo_mt_me_sjrp.pdf: 1105011 bytes, checksum: 8882d04f0f922d97e919cd8dd4e66abb (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho versa sobre difusão anômala, especificamente a proposição e solução exata e aproximada de um conjunto de equações não lineares de difusão. Primeiramente é apresentada a solução de dois sistemas sujeitos a difusão normal para explicitar a restrição que há em métodos de solução para a equação de difusão não linear. Em seguida, focamos o trabalho em processos anômalos mostrando, inicialmente a solução estacionária que maximiza a entropia de Tsallis. Sua solução exata é uma gaussiana generalizada que unifica o comportamento tipo lei de potência e exponencial alongada. Para um dos casos solucionados é incluído na equação um termo de fonte dependente da parte temporal da probabilidade. As soluções analíticas encontradas são analisadas para diferentes valores de não linearidade, caracterizando processos sub ou super difusivos, embora ao se considerar uma equação não linear, uma escolha conveniente na dependência temporal dos coeficientes também conduz a esses processos. Neste caso, equações não lineares com solução não gaussiana podem conduzir à difusão usual, da mesma forma que surgem anomalias em processos descritos por equações lineares e solução gaussiana. Por fim, a equação do tipo Fokker- Planck não linear é solucionada através do emprego de método numérico visando uma forma alternativa para analisar sistemas que não permitem obter uma solução exata da equação / This work describes anomalous diffusion, specifically the proposition and exact and approximate solution of a set of nonlinear equations of diffusion. First is shown the solution solve of two systems subject to normal diffusion to exhibit the restriction that exist in solution methods for nonlinear diffusion equation. After, we focus on the work showing anomalous processes, initially stationary solution which maximizes the entropy purpose of Tsallis. Its exact solution is a generalized Gaussian that unifies behavior power law and stretched exponential. For one of the solved cases is included in the equation a source term dependent on the temporal part of probability. The analytical solutions found are analyzed for different values of nonlinearity characterizing diffusion processes under or over, although when considering a nonlinear equation, a convenient choice in the time dependence of the coefficients also leads to these processes. In this case, nonlinear equations with non-Gaussian solution can lead to the usual diffusion, similar anomalies that arise in processes described by linear equations and Gaussian solution. Finally, the equation of nonlinear Fokker-Planck is solved by employing numerical method seeking an alternative way to analyze systems that do not achieve an exact solution of the equation