• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 37
  • 19
  • 6
  • 5
  • 1
  • Tagged with
  • 77
  • 77
  • 43
  • 39
  • 18
  • 16
  • 16
  • 15
  • 14
  • 13
  • 13
  • 13
  • 12
  • 11
  • 11
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Robust adaptive control of rigid spacecraft attitude maneuvers

Dando, Aaron John January 2008 (has links)
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.
42

Sistemas lineares singulares sujeitos a saltos Markovianos / Singular linear systems subject to Markov jumps

Amanda Liz Pacífico Manfrim 08 October 2010 (has links)
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.
43

Controle robusto com realimentação derivativa de sistemas não lineares via LMI /

Moreira, Manoel Rodrigo. January 2011 (has links)
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
44

Controle robusto com realimentação derivativa de sistemas não lineares via LMI

Moreira, Manoel Rodrigo [UNESP] 28 February 2011 (has links) (PDF)
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)
45

Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants / Static analysis of control-command systems : floating-point and integer invariants

Maisonneuve, Vivien 06 February 2015 (has links)
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.
46

Conception et commande d'une interface haptique à retour d'effort pour la CAO / Design and control of a force feedback haptic interface for applications in CAD systems

Dang, Quoc-Viet 19 December 2013 (has links)
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.
47

[pt] ANÁLISE DE ESTABILIDADE APLICADA EM SISTEMAS MECÂNICOS, ELETROMAGNÉTICOS E ELETROMECÂNICOS COM EXCITAÇÃO PARAMÉTRICA / [en] STABILITY ANALYSIS APPLIED TO MECHANICAL, ELECTROMAGNETIC AND ELECTROMECHANICAL SYSTEMS WITH PARAMETRIC EXCITATION

NATASHA BARROS DE OLIVEIRA HIRSCHFELDT 05 January 2023 (has links)
[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.
48

Controle de uma plataforma de movimento de um simulador de vôo / Control of a flight simulator motion base

Becerra Vargas, Mauricio 27 November 2009 (has links)
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.
49

Propriedades recursivas em sistemas semidinâmicos impulsivos / Recursive properties in impulsive semidynamical systems

Jiménez, Manuel Francisco Zuloeta 06 December 2013 (has links)
A teoria de sistemas semidinâmicos impulsivos é um capítulo importante e moderno da teoria de sistemas dinâmicos topológicos. Sistemas impulsivos descrevem processos de evolução que sofrem variações de estado de curta duração e que podem ser consideradas instantâneas. Os sistemas impulsivos admitem vários fenômenos interessantes às vezes, por causa da sua irregularidade, e às vezes por causa da sua regularidade. Para muitos fenômenos naturais, os modelos determinísticos mais realistas são frequentemente descritos por sistemas que envolvem impulsos. Esta teoria vem sendo desenvolvida continuamente. O presente trabalho apresenta resultados originais sobre a teoria de conjuntos minimais, movimentos recorrentes, movimentos quase periódicos e fracamente quase periódicos, teoria de estabilidade de Lyapunov, teoria da quase estabilidade de Zhukovskij e, finalmente, a construção de trajetórias negativas para sistemas semidinâmicos com impulsos. Os resultados novos apresentados neste trabalho estão contidos em três artigos, dos quais dois já foram aceitos para publicação. Veja [13], [14] e [15] / The theory of impulsive semidynamical systems is an important and modern chapter of the theory of topological dynamical systems. Impulsive systems describe the evolution of process whose continuous dynamics are interrupted by abrupt changes of state. This kind of systems admits various interesting phenomena sometimes, because of their irregularity, and sometimes because of their regularity. In many natural phenomena, the real deterministic models are often described by systems which involve impulses. This theory has been developed continuously. This work presents original results involving the theory of minimal sets, recurrent motions, almost periodic and weakly almost periodic motions, the study of Lyapunov stability and Zhukovshij Quasi stability and the construction of negative trajectories for impulsive semidynamical systems. The new results presented in this work are contained in three papers namely [13], [14] and [15]
50

Qualitative Properties of Stochastic Hybrid Systems and Applications

Alwan, Mohamad January 2011 (has links)
Hybrid systems with or without stochastic noise and with or without time delay are addressed and the qualitative properties of these systems are investigated. The main contribution of this thesis is distributed in three parts. In Part I, nonlinear stochastic impulsive systems with time delay (SISD) with variable impulses are formulated and some of the fundamental properties of the systems, such as existence of local and global solution, uniqueness, and forward continuation of the solution are established. After that, stability and input-to-state stability (ISS) properties of SISD with fixed impulses are developed, where Razumikhin methodology is used. These results are then carried over to discussed the same qualitative properties of large scale SISD. Applications to automated control systems and control systems with faulty actuators are used to justify the proposed approaches. Part II is devoted to address ISS of stochastic ordinary and delay switched systems. To achieve a variety stability-like results, multiple Lyapunov technique as a tool is applied. Moreover, to organize the switching among the system modes, a newly developed initial-state-dependent dwell-time switching law and Markovian switching are separately employed. Part III deals with systems of differential equations with piecewise constant arguments with and without random noise. These systems are viewed as a special type of hybrid systems. Existence and uniqueness results are first obtained. Then, comparison principles are established which are later applied to develop some stability results of the systems.

Page generated in 0.4622 seconds