Orientador: Juan Francisco Camino dos SantosDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia MecânicaResumo: O controle do movimento de robôs móveis em altas velocidades e sob condições adversas do solo é um problema difícil, pois as rodas do robô podem estar sujeitas a diferentes tipos de deslizamento. O deslizamento lateral é um problema particularmente complicado quando se lida com robôs móveis de tração diferencial, já que suas rodas não podem produzir movimento nessa direção. Este trabalho apresenta uma aplicação de alguns resultados da Teoria de Lyapunov para sistemas não lineares perturbados. A abordagem proposta pode ser vista como um método de análise de controladores cinemáticos de robôs móveis sujeitos a deslizamentos laterais e longitudinais. Um exemplo de aplicação é dado ao se analisar a estabilidade de um robô móvel de tração diferencial quando este é controlado por uma lei adaptativa não linear cinemática capaz de estimar o deslizamento longitudinal. É mostrado que sob condições razoáveis, as soluções da dinâmica do erro de postura do robô são uniformemente finalmente limitadas. Simulações numéricas são apresentadas para ilustrar esse exemplo. Para tratar um problema de otimização que surge durante a análise de estabilidade, técnicas de decomposição em soma de quadrados (SOS) para otimização polinomial são estudadas e aplicadas. Um estudo minucioso dos recursos computacionais necessários para a resolução de problemas de decomposição SOS também é apresentadoAbstract: Motion control of mobile robots at high speeds and under adverse ground conditions is a difficult problem because the robots¿ wheels may be subject to different kinds of slip. Lateral slip is a particularly complicated problem for differential drive mobile robots to deal with, since their wheels cannot directly produce movement in that direction. This work presents an application of some results from Lyapunov Theory for nonlinear perturbed systems. The proposed approach can be seen as a method for analyzing kinematic controllers of mobile robots subject to longitudinal and lateral slip. An example of application is given by analyzing the stability of a differential drive mobile robot when it is controlled by an adaptive nonlinear kinematic controller capable of estimating longitudinal slip. It is shown that under reasonable conditions, the solutions to the robot¿s posture error dynamics are uniformly ultimately bounded. Numerical simulations are presented to illustrate this example. To tackle an optimization problem which arises during the stability analysis, SOS techniques for polynomial optimization are studied and applied. A thorough study of the computational resources required for solving SOS problems is also presentedMestradoMecanica dos Sólidos e Projeto MecanicoMestre em Engenharia Mecânica33003017CAPES