" The chemical engineering literature is dominated by physical and (bio)-chemical processes that exhibit complex nonlinear behavior, and as a consequence, the associated requirements of their analysis, optimization, control and monitoring pose considerable challenges in the face of emerging competitive pressures on the chemical, petrochemical and pharmaceutical industries. The above operational requirements are now increasingly imposed on processes that exhibit inherently nonlinear behavior over a wide range of operating conditions, rendering the employment of linear process control and monitoring methods rather inadequate. At the same time, increased research efforts are now concentrated on the development of new process control and supervisory systems that could be digitally implemented with the aid of powerful computer software codes. In particular, it is widely recognized that the important objective of process performance reliability can be met through a comprehensive framework for process control and monitoring. From: (i) a process safety point of view, the more reliable the process control and monitoring scheme employed and the earlier the detection of an operationally hazardous problem, the greater the intervening power of the process engineering team to correct it and restore operational order (ii) a product quality point of view, the earlier detection of an operational problem might prevent the unnecessary production of o-spec products, and subsequently minimize cost. The present work proposes a new methodological perspective and a novel set of systematic analytical tools aiming at the synthesis and tuning of well-performing digital controllers and the development of monitoring algorithms for nonlinear processes. In particular, the main thematic and research axis traced are: (i) The systematic integrated synthesis and tuning of advanced model-based digital controllers using techniques conceptually inspired by Zubov’s advanced stability theory. (ii) The rigorous quantitative characterization and monitoring of the asymptotic behavior of complex nonlinear processes using the notion of invariant manifolds and functional equations theory. (iii) The systematic design of nonlinear state observer-based process monitoring systems to accurately reconstruct unmeasurable process variables in the presence of time-scale multiplicity. (iv) The design of robust nonlinear digital observers for chemical reaction systems in the presence of model uncertainty. "

This dissertation seeks to merge the ideas from robust control theory such as H-Infinity control design and the Small Gain Theorem, L stability theory and Lyapunov stability from nonlinear control, and recent theoretical achievements in adaptive control. The fusion of frequency domain and linear time domain ideas allows the derivation of an H-Infinity Norm Minimization Approach (H-Infinity-NMA) for adaptive control architecture that permits a control designer to simplify the adaptive tuning process and tune the uncertainty compensation characteristics via linear control design techniques, band limit the adaptive control signal, efficiently handle redundant actuators, and handle unmatched uncertainty and matched uncertainty in a single design framework. The two stage design framework is similar to that used in robust control, but without sacrificing performance. The first stage of the design considers an ideal system with the system uncertainty completely known. For this system, a control law is designed using linear H-Infinity theory. Then in the second stage, an adaptive process is implemented that emulates the behavior of the ideal system. If the linear H-Infinity design is applied to control the emulated system, it then guarantees closed loop system stability of the actual system. All of this is accomplished while providing notions of transient performance bounds between the ideal system and the true system. Extensions to the theory include architectures for a class of output feedback systems, limiting the authority of an adaptive control system, and a method for improving the performance of an adaptive system with slow dynamics without any modification terms. Applications focus on using aerodynamic flow control for aircraft flight control and the Crew Launch Vehicle.

In this thesis novel feedback attitude control algorithms and attitude estimation algorithms are developed for a three-axis stabilised spacecraft attitude control system. The spacecraft models considered include a rigid-body spacecraft equipped with (i) external control torque devices, and (ii) a redundant reaction wheel configuration. The attitude sensor suite comprises a three-axis magnetometer and three-axis rate gyroscope assembly. The quaternion parameters (also called Euler symmetric parameters), which globally avoid singularities but are subject to a unity-norm constraint, are selected as the primary attitude coordinates. There are four novel contributions presented in this thesis. The first novel contribution is the development of a robust control strategy for spacecraft attitude tracking maneuvers, in the presence of dynamic model uncertainty in the spacecraft inertia matrix, actuator magnitude constraints, bounded persistent external disturbances, and state estimation error. The novel component of this algorithm is the incorporation of state estimation error into the stability analysis. The proposed control law contains a parameter which is dynamically adjusted to ensure global asymptotic stability of the overall closedloop system, in the presence of these specific system non-idealities. A stability proof is presented which is based on Lyapunov's direct method, in conjunction with Barbalat's lemma. The control design approach also ensures minimum angular path maneuvers, since the attitude quaternion parameters are not unique. The second novel contribution is the development of a robust direct adaptive control strategy for spacecraft attitude tracking maneuvers, in the presence of dynamic model uncertainty in the spacecraft inertia matrix. The novel aspect of this algorithm is the incorporation of a composite parameter update strategy, which ensures global exponential convergence of the closed-loop system. A stability proof is presented which is based on Lyapunov's direct method, in conjunction with Barbalat's lemma. The exponential convergence results provided by this control strategy require persistently exciting reference trajectory commands. The control design approach also ensures minimum angular path maneuvers. The third novel contribution is the development of an optimal control strategy for spacecraft attitude maneuvers, based on a rigid body spacecraft model including a redundant reaction wheel assembly. The novel component of this strategy is the proposal of a performance index which represents the total electrical energy consumed by the reaction wheel over the maneuver interval. Pontraygin's minimum principle is applied to formulate the necessary conditions for optimality, in which the control torques are subject to timevarying magnitude constraints. The presence of singular sub-arcs in the statespace and their associated singular controls are investigated using Kelley's necessary condition. The two-point boundary-value problem (TPBVP) is formulated using Pontrayagin's minimum principle. The fourth novel contribution is an attitude estimation algorithm which estimates the spacecraft attitude parameters and sensor bias parameters from three-axis magnetometer and three-axis rate gyroscope measurement data. The novel aspect of this algorithm is the assumption that the state filtering probability density function (PDF) is Gaussian distributed. This Gaussian PDF assumption is also applied to the magnetometer measurement model. Propagation of the filtering PDF between sensor measurements is performed using the Fokker-Planck equation, and Bayes theorem incorporates measurement update information. The use of direction cosine matrix elements as the attitude coordinates avoids any singularity issues associated with the measurement update and estimation error covariance representation.

Esta tese trata das propriedades estruturais e do controle de sistemas lineares singulares sujeitos a saltos Markovianos (SLSSM). Três questões fundamentais são consideradas para esta classe de sistemas. A primeira estabelece condições necessárias para que o sistema seja estocasticamente regular em um período de tempo determinado. A segunda trata da estabilidade exponencial estocástica de SLSSM. Equações de Lyapunov acopladas generalizadas são deduzidas para caracterizar estabilidade deste tipo de sistema. Em virtude da complexidade das soluções numéricas dessas equações, cada equação de Lyapunov do conjunto acoplado está em função de duas variáveis desconhecidas, estamos propondo um algoritmo para resolver este problema. A terceira questão diz respeito à síntese de um regulador para este tipo de sistema singular definida em termos de equações algébricas generalizadas de Riccati acopladas. / This thesis deals with the structural features and with the control of singular linear systems with Markovian jump parameters (SLSMJP). Three fundamental questions are considered to this class of systems. The first provides necessary conditions to characterize stochastic regularity in a determined period of time. The second deals with exponential stability of SLSMJP. Coupled generalized Lyapunov Equations are deduced to check the stability of this class of systems. In virtue of the complexity of the numerical solutions of these equations, there exist two unknown variables for each equation of the set of coupled Lyapunov equations, we are proposing an algorithm to solve this problem. The third question is related with the synthesis of a regulator for this class of singular systems defined in terms of coupled algebraic generalized Riccati equations.

Orientador: Marcelo Carvalho Minhoto Teixeira / Banca: Edvaldo Assunção / Banca: Celso Pascoli Bottura / Resumo: Em alguns problemas práticos, por exemplo, no controle de vibrações de sistemas mecânicos utilizando acelerômetros como sensores, é mais fácil obter a da derivada do vetor de estado do que o vetor de estado. Esta dissertação mostra que plantas lineares e invariantes no tempo descritas pelas matrizes {A,B,C,D}, cuja saída é a derivada do vetor de estado, são não observáveis e não estabilizáveis com realimentação da saída, quando det(A)=0. A impossibilidade de rejeição de distúrbios constantes, somados à entrada da planta quando det(A) 6= 0, realimentando-se a saída com controladores estáticos, foi também demonstrada. Adicionalmente, são propostas novas técnicas de controle para uma classe de sistemas não lineares com incertezas variantes no tempo. Condições na forma de desigualdades matriciais lineares, em inglês Linear Matrix Inequalities (LMIs), para o projeto de sistemas de controle empregando realimentação derivativa estática da derivada do vetor de estado, que ao mesmo tempo estabiliza a planta e maximiza o limite de incerteza do termo não linear, são estabelecidas com base em funções quadráticas de Lyapunov. Posteriormente estendem-se as condições de estabilidade robusta para sistemas não lineares com incertezas variantes no tempo e incertezas politópicas, que podem também representar falhas estruturais. O projeto do controlador é realizado através de condições baseadas em LMIs que, quando factíveis, podem ser resolvidas facilmente utilizando técnicas de programação convexa. Essa metodologia permite a inclusão de restrições de desempenho no projeto, como por exemplo, na taxa de decaimento e na norma de ganho dos controladores, de modo a atender às restrições do projeto. São apresentadas análises e resultados considerando o sinal de controle nulo e empregando realimentação derivativa estática do vetor de estado... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In some practical problems, for instance in the control of mechanical systems using accelerometers as sensors, it is easier to obtain the state-derivative vectors than the state vectors. This dissertation shows that (i) linear time-invariant plants given by the state-space model matrices {A,B,C,D} with output equal to the state-derivative vector are not observable and can not be stabilizable by using an output feedback if det(A) = 0 and (ii) the rejection of a constant disturbance added to the input of the aforementioned plants, considering det(A) 6= 0, and a static output feedback controller is not possible. The proposed results can be useful in the analysis and design of control systems with state-derivative feedback. Additionally, a new procedure for the control of a class of nonlinear systems with time-varying uncertainties using static statederivative feedback is proposed. Conditions based on Linear Matrix Inequalities (LMIs) for the design of robust controllers using state-derivative feedback, which simultaneously stabilizes the system and maximizes the uncertainty bound of the nonlinear term are proposed. Robust stability conditions for nonlinear systems with uncertainties and time-varying polytopic uncertainties, known as structural failures, are also presented. The controller design are based on LMIs which, when feasible, can be easily solved using convex programming techniques. This methodology allows the inclusion of performance constraints on the design, such as the decay rate and gain bounds in order to meet the design requirements. The dissertation considered cases where the control signal is equal to zero and with a state-derivative feedback. The elaboration of the theory for systems with n nonlinearities is illustrated through examples covering a single nonlinearity, with and without two polytopic uncertainties (and structural failures), and two nonlinearities... (Complete abstract click electronic access below) / Mestre

Made available in DSpace on 2014-06-11T19:22:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-02-28Bitstream added on 2014-06-13T18:49:28Z : No. of bitstreams: 1 moreira_mr_me_ilha.pdf: 1357345 bytes, checksum: 0cd0261b936a9aacf1f408322f1ec3be (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Em alguns problemas práticos, por exemplo, no controle de vibrações de sistemas mecânicos utilizando acelerômetros como sensores, é mais fácil obter a da derivada do vetor de estado do que o vetor de estado. Esta dissertação mostra que plantas lineares e invariantes no tempo descritas pelas matrizes {A,B,C,D}, cuja saída é a derivada do vetor de estado, são não observáveis e não estabilizáveis com realimentação da saída, quando det(A)=0. A impossibilidade de rejeição de distúrbios constantes, somados à entrada da planta quando det(A) 6= 0, realimentando-se a saída com controladores estáticos, foi também demonstrada. Adicionalmente, são propostas novas técnicas de controle para uma classe de sistemas não lineares com incertezas variantes no tempo. Condições na forma de desigualdades matriciais lineares, em inglês Linear Matrix Inequalities (LMIs), para o projeto de sistemas de controle empregando realimentação derivativa estática da derivada do vetor de estado, que ao mesmo tempo estabiliza a planta e maximiza o limite de incerteza do termo não linear, são estabelecidas com base em funções quadráticas de Lyapunov. Posteriormente estendem-se as condições de estabilidade robusta para sistemas não lineares com incertezas variantes no tempo e incertezas politópicas, que podem também representar falhas estruturais. O projeto do controlador é realizado através de condições baseadas em LMIs que, quando factíveis, podem ser resolvidas facilmente utilizando técnicas de programação convexa. Essa metodologia permite a inclusão de restrições de desempenho no projeto, como por exemplo, na taxa de decaimento e na norma de ganho dos controladores, de modo a atender às restrições do projeto. São apresentadas análises e resultados considerando o sinal de controle nulo e empregando realimentação derivativa estática do vetor de estado... / In some practical problems, for instance in the control of mechanical systems using accelerometers as sensors, it is easier to obtain the state-derivative vectors than the state vectors. This dissertation shows that (i) linear time-invariant plants given by the state-space model matrices {A,B,C,D} with output equal to the state-derivative vector are not observable and can not be stabilizable by using an output feedback if det(A) = 0 and (ii) the rejection of a constant disturbance added to the input of the aforementioned plants, considering det(A) 6= 0, and a static output feedback controller is not possible. The proposed results can be useful in the analysis and design of control systems with state-derivative feedback. Additionally, a new procedure for the control of a class of nonlinear systems with time-varying uncertainties using static statederivative feedback is proposed. Conditions based on Linear Matrix Inequalities (LMIs) for the design of robust controllers using state-derivative feedback, which simultaneously stabilizes the system and maximizes the uncertainty bound of the nonlinear term are proposed. Robust stability conditions for nonlinear systems with uncertainties and time-varying polytopic uncertainties, known as structural failures, are also presented. The controller design are based on LMIs which, when feasible, can be easily solved using convex programming techniques. This methodology allows the inclusion of performance constraints on the design, such as the decay rate and gain bounds in order to meet the design requirements. The dissertation considered cases where the control signal is equal to zero and with a state-derivative feedback. The elaboration of the theory for systems with n nonlinearities is illustrated through examples covering a single nonlinearity, with and without two polytopic uncertainties (and structural failures), and two nonlinearities... (Complete abstract click electronic access below)

Un logiciel critique est un logiciel dont le mauvais fonctionnement peut avoir un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens.L'ingénierie logicielle pour les systèmes critiques est particulièrement difficile et combine différentes méthodes pour garantir la qualité des logiciels produits.Parmi celles-ci, les méthodes formelles peuvent être utilisées pour prouver qu'un logiciel respecte ses spécifications.Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûreté de programmes critiques, et plus particulièrement des propriétés numériques de logiciels embarqués dans des systèmes de contrôle-commande.La première partie de cette thèse est consacrée aux preuves de stabilité au sens de Lyapunov.Ces preuves s'appuient sur des calculs en nombres réels, et ne sont pas valables pour décrire le comportement d'un programme exécuté sur une plateforme à arithmétique machine.Nous présentons un cadre théorique générique pour adapter les arguments des preuves de stabilité de Lyapunov aux arithmétiques machine.Un outil effectue automatiquement la traduction de la preuve en nombres réels vers une preuve en nombres a virgule flottante.La seconde partie de la thèse porte sur l'analyse des relations affines, en utilisant une interprétation abstraite basée sur l'approximation des valuations associées aux points de contrôle d'un programme par des polyèdres convexes.Nous présentons ALICe, un framework permettant de comparer différentes techniques de génération d'invariants.Il s'accompagne d'une collection de cas de tests tirés de publications sur l'analyse de programmes, et s'interface avec trois outils utilisant différents algorithmes de calcul d'invariants: Aspic, iscc et PIPS.Afin d'affiner les résultats de PIPS, deux techniques de restructuration de code sont introduites, et plusieurs améliorations sont apportées aux algorithmes de génération d'invariants et évaluées à l'aide d'ALICe. / A critical software is a software whose malfunction may result in death or serious injury to people, loss or severe damage to equipment or environmental harm.Software engineering for critical systems is particularly difficult, and combines different methods to ensure the quality of produced software.Among them, formal methods can be used to prove that a software obeys its specifications.This thesis falls within the context of the validation of safety properties for critical software, and more specifically, of numerical properties for embedded software in control-command systems.The first part of this thesis deals with Lyapunov stability proofs.These proofs rely on computations with real numbers, and do not accurately describe the behavior of a program run on a platform with machine arithmetic.We introduce a generic, theoretical framework to adapt the arguments of Lyapunov stability proofs to machine arithmetic.A tool automatically translates the proof on real numbers to a proof with floating-point numbers.The second part of the thesis focuses on linear relation analysis, using an abstract interpretation based on the approximation by convex polyhedrons of valuations associated with each control point in a program.We present ALICe, a framework to compare different invariant generation techniques.It comes with a collection of test cases taken from the program analysis literature, and interfaces with three tools, that rely on different algorithms to compute invariants: Aspic, iscc and PIPS.To refine PIPS results, two code restructuring techniques are introduced, and several improvements are made to the invariant generation algorithms and evaluated using ALICe.

Les interfaces haptiques à retour d’effort sont des dispositifs robotiques capables deproduire des forces à destination de l’utilisateur en téléopération et en réalité virtuelle. L’utilisation d’interface à retour d’effort en Conception Assistée par Ordinateur (CAO) offre de nouvelles perspectives pour la création et la conception de formes 3D grâce à une interactivité à la fois visuelle et kinesthésique. Elles permettent à la fois de visualiser, de manipuler en temps réel des objets virtuels et d’en ressentir les efforts (liés aux contacts, à la déformation, etc.).Les travaux présentés dans cette thèse contribuent au développement d’interfaces àretour d’effort pour répondre au mieux aux besoins de la CAO. Dans ce mémoire, l’accent est placé sur la problématique de la stabilité et son exploitation pour la commande de l’interface mais aussi pour la conception électromécanique. L’ensemble des travaux porte sur une interface à un degré de liberté.Dans un premier temps, différents facteurs liés au système mécanique (amortissement, modes vibratoires) et à l’environnement virtuel (échantillonnage, retard. . .) agissant sur la stabilité d’une interface sont mis en évidence à l’aide de critères fréquentiels. Ensuite, la conception d’une interface (choix et dimensionnement des composants) est ramenée sous forme d’un problème d’optimisation incluant une contrainte liée à la stabilité (en termes de domaine d’utilisation) et un critère de maximisation de la transparence (en termesd’inertie du dispositif).Dans un second temps, l’architecture de commande des dispositifs haptiques est étudiée. À l’aide d’une nouvelle condition de stabilité asymptotique pour les systèmes en temps discret à retard variable et en utilisant un observateur d’état augmenté comme alternative à l’utilisation standard de la méthode des différences finies arrières, la synthèse d’une nouvelle architecture de commande est proposée.La dernière partie du mémoire aborde la description du banc d’essai expérimental développé pendant le travail de thèse ainsi que les résultats des tests réalisés. / Force feedback haptic interfaces are robotic devices which are able to produce forces for the user in a teleoperation or virtual reality context. The integration of force feedback haptic interfaces in Computer-Aided Design (CAD) systems offers new perspectives for modeling and design of 3D objects by combining both visual and kinesthetic interaction. It allows viewing and manipulating virtual objects in real-time with a sense of touch (linked to contact, deformation, etc.).The works presented in this thesis contribute to the development of a force feedbackhaptic device to meet the needs of CAD at the best. In this thesis manuscript, the emphasis is put on the stability issue and its exploitation for the control of the device but also for the electromechanical conception. All the presented works concern an interface with one degree of freedom. First, several factors relative to the mechanic system (physical damping, vibration modes) and to the virtual environment (sampling period, delay-time, etc.) acting on the interface stability are highlighted through frequency domain stability criteria. Then, the interface design (choice and sizing of components) is expressed on the form of an optimization problem including a constraint linked to stability (in terms of application area).In a second part, the control architecture of haptic devices is studied. Using a newstability criterion for systems in discrete time with variable delay and an augmented state observer as an alternative to the standard finite difference scheme, the synthesis of novel control architecture is proposed.The last part of the manuscript deals with the description of the experimental testbench developed during the thesis period together with the results of some realized tests.

[pt] Excitação paramétrica se dá a partir de coeficientes variantes no tempo na dinâmica de um sistema. Este tipo de excitação tem sido um amplo tema de pesquisa desde os campos da mecânica e eletrônica até dinâmica de fluidos. Ela aparece em problemas envolvendo sistemas dinâmicos, por exemplo, como uma forma de controle de vibrações em sistemas auto excitados, tornando este assunto digno de mais investigações. Abordando estabilidade no sentido de Lyapunov, esta dissertação fornece uma base didática de estabilidade desde conceitos básicos, como pontos de equilíbrio e planos de fase, até conceitos mais avançados, como excitação paramétrica e teoria de Floquet. Os objetos de estudo aqui são sistemas lineares com parâmetros periódicos no tempo, o que permite usar a teoria de Floquet para fazer afirmações a respeito da estabilidade da solução trivial do sistema. Vários exemplos são discutidos fazendo uso de um procedimento numérico desenvolvido para construir mapas de estabilidade e planos de fase. Os exemplos apresentados abrangem sistemas mecânicos, eletromagnéticos e eletromecânicos. Fazendo uso de mapas de estabilidade, diversas características de análise de estabilidade são abordadas. Duas estratégias diferentes para avaliar a estabilidade da solução trivial são comparadas: multiplicadores de Floquet e valor máximo dos expoentes característicos de Lyapunov. / [en] Parametric excitation is a type of excitation that arises from timevarying coefficients in a system s dynamics. More specifically, this dissertation deals with time-periodic coefficients. This type of excitation has been an extended topic of research from the fields of mechanics and electronics to fluid dynamics. It appears in problems involving dynamical systems, for example, as a way of controlling vibrations in self-excited systems, making this subject worthy of more investigations. By approaching stability in the sense of Lyapunov, this dissertation provides a didactic stability background from basic concepts, such as equilibrium points and phase diagrams, to more advanced ones, like parametric excitation and Floquet theory. The objects of study here are linear systems with time-periodic parameters. Floquet theory is used to make stability statements about the system s trivial solution. Several examples are discussed by making use of a developed numerical procedure to construct stability maps and phase diagrams. The examples presented herein encompass mechanical, electromagnetic and electromechanical systems. By making use of stability maps, several features that can be discussed in stability analysis are approached. Two different strategies to evaluate the stability of the trivial solution are compared: Floquet multipliers and the maximum value of Lyapunov characteristic exponents.

Este trabalho apresenta o desenvolvimento e as análises de técnicas de controle aplicadas a uma base de movimento de um simulador de vôo. Nos primeiros capítulos são abordados aspectos relacionados com a simulação de movimentos. Uma breve descrição da dinâmica da aeronave e o desenvolvimento do algoritmo de movimento (washout filter) são apresentados. O modelo dinâmico da base de movimento é desenvolvido baseado num manipulador paralelo de seis graus de liberdade chamado de plataforma de Stewart acionado eletricamente. As equações de movimento do atuador eletromecânico são incluídas no modelo dinâmico da plataforma. O controle baseado na dinâmica inversa é uma alternativa para abordar o controle de sistema mecânicos não lineares como a plataforma de Stewart. Porém, essa técnica considera o conhecimento exato do modelo dinâmico do sistema, portanto, a dinâmica não modelada, as incertezas paramétricas e as perturbações externas podem degradar o desempenho do controlador. Além disso, o custo computacional pago pelo cálculo do modelo dinâmico realizado online é muito alto. Nesse contexto, duas estratégias de controle foram aplicadas na malha externa da estrutura de controle baseada na dinâmica inversa para o controle de aceleração na presença de incertezas paramétricas e da dinâmica não modelada, os quais foram introduzidas intencionalmente no processo de aproximar o modelo dinâmico com o objetivo de simplificar a implementação do controle baseado na dinâmica inversa. Na primeira estratégia, o termo robusto de controle foi projetado, provando a estabilidade do sistema linearizado por meio da teoria de estabilidade de Lyapunov. Este controle apresenta o fenômeno conhecido como chattering e então foi adotada uma função de saturação para substituir a lei de controle. Na segunda estratégia, o termo robusto de controle foi projetado considerando um problema de rejeição de distúrbio via controle H \'INFINITO\', onde o controlador considera as incertezas como distúrbios afetando o sistema linearizado resultante da aplicação do controle baseado na dinâmica inversa. Finalmente, três tipos de testes foram realizados para avaliar o sistema de controle: função descritiva, limiar dinâmico e algumas manobras da aeronave calculadas a partir do modelo dinâmico e transformadas através do algoritmo de movimento. As duas estratégias de controle foram comparadas. / This work presents the development and analysis of control techniques applied to a flight simulator motion base. The first chapters deal with subjects related to motion simulation. A brief description of the aircraft dynamic model and the development of the motion algorithm (washout filter) are presented. The motion base dynamics is derived based on a six degree of freedom parallel manipulator driven by electromechanical actuators. The six degree of freedom parallel manipulator is called Stewart platform. The motion equations of the electromechanical actuators are included in the motion base dynamics. Inverse dynamics control is an approach to nonlinear control design, nonetheless, this technique is based on the assumption of exact cancellation of nonlinear terms, therefore, parametric uncertainty, unmodeled dynamics and external disturbances may deteriorate the controller performance. In addition, a high computational burden is paid by computing on-line the complete dynamic model of the motion-base. Robustness can be regained by applying robust control tecniques in the outer loop control structure. In this context, two control strategies were applied in the outer loop of the inverse dynamics control structure linearized system for robust acceleration tracking in the presence of parametric uncertainty and unmodeled dynamic, which are intentionally introduced in the process of approximating the dynamic model in order to simplify the implementation of this approach, the inverse dynamic control. Both control strategies consist of introducing an additional term to the inverse dynamics controller which provides robustness to the control system. In the first strategy, the robust control term was designed proving the stability of the linearized system in the presence of uncertainties, using the Lyapunov stability theory. This control term presents a phenomenon known as chattering. Therefore, a saturation function was adopted to replace the control law. In the second strategy, the robust term was designed for a disturbance rejection problem via H \'INFINITE\' control, where the controller considers the uncertaities as disturbances affecting the linearized system resulting from the application of the inverse dynamic control. Finally, describing function, dynamic threshold and some maneuvers computed from the washout filter were used to evaluate the performance of the controllers. Both approaches were compared.