Made available in DSpace on 2015-03-03T15:07:34Z (GMT). No. of bitstreams: 1 BrenoMMA_DISSERT.pdf: 2152939 bytes, checksum: 11e98e5a221057a9bd3545dd9b777bb5 (MD5) Previous issue date: 2012-04-12 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This research aims at developing a variable structure adaptive backstepping controller (VS-ABC) by using state observers for SISO (Single Input Single Output), linear and time invariant systems with relative degree one. Therefore, the lters were replaced by a Luenberger Adaptive Observer and the control algorithm uses switching laws. The presented simulations compare the controller performance, considering when the state variables are estimated by an observer, with the case that the variables are available for measurement. Even with numerous performance advantages, adaptive backstepping controllers still have very complex algorithms, especially when the system state variables are not measured, since the use of lters on the plant input and output is not something trivial. As an attempt to make the controller design more intuitive, an adaptive observer as an alternative to commonly used K lters can be used. Furthermore, since the states variables are considered known, the controller has a reduction on the dependence of the unknown plant parameters on the design. Also, switching laws could be used in the controller instead of the traditional integral adaptive laws because they improve the system transient performance and increase the robustness against external disturbances in the plant input / Esta pesquisa objetiva desenvolver um controlador adaptativo backstepping a estrutura vari?vel (Variable Structure Adaptive Backstepping Controller, VS-ABC) utilizando observadores de estado para plantas monovari?veis, lineares e invariantes no tempo com grau relativo unit?rio. Para isso, os filtros K foram substitu?dos por um Observador Adaptativo de Luenberger e o algoritmo de controle utiliza leis chaveadas. As simula??es apresentadas comparam o desempenho do controlador quando as vari?veis de estado s?o estimadas por um observador, com o caso em que as vari?veis est?o dispon?veis para medic?o. Os controladores adaptativos backstepping mesmo com v?rias vantagens de desempenho, ainda possuem algoritmos muito complexos, principalmente quando n?o s?o medidas as vari?veis de estado do sistema, pois o uso de filtros nos sinais de entrada e sa?da da planta n?o ? algo trivial. Na inten??o de tornar o projeto do controlador mais intuitivo, pode-se utilizar um observador adaptativo em alternativa aos comumente utilizados filtros K. Al?m disso, o controlador tem uma menor depend?ncia dos par?metros desconhecidos da planta na fase de projeto, ja que as vari?veis de estado s?o consideradas conhecidas. E ainda, leis chaveadas podem ser utilizadas no controlador em vez das leis integrais tradicionais porque melhoram o desempenho transit?rio do sistema e aumentam a robustez perante dist?rbios externos na entrada da planta

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-03-03T13:37:53Z No. of bitstreams: 1 eduardodasilvacastro.pdf: 10234661 bytes, checksum: c58d694820eabc593fe5f1b06aa4f93d (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-03-06T20:14:38Z (GMT) No. of bitstreams: 1 eduardodasilvacastro.pdf: 10234661 bytes, checksum: c58d694820eabc593fe5f1b06aa4f93d (MD5) / Made available in DSpace on 2017-03-06T20:14:38Z (GMT). No. of bitstreams: 1 eduardodasilvacastro.pdf: 10234661 bytes, checksum: c58d694820eabc593fe5f1b06aa4f93d (MD5) Previous issue date: 2011-02-02 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Com o desenvolvimento de novas tecnologias nas áreas de materiais, equipamentos eletrônicos e computação, a concepção de projetos estruturais vem sendo alterada. Estruturas cada vez mais leves e esbeltas vêm sendo construídas, o que, em alguns casos, tem levado a problemas de vibrações excessivas. Como forma de solucionar tais problemas pode-se empregar técnicas de controle ativo. O controle ativo estrutural consiste basicamente em impor forças de controle à estrutura visando a redução das amplitudes de vibração. Normalmente utiliza-se atuadores como macacos hidráulicos para a imposição das forças de controle. Uma das ferramentas mais importantes usadas na concepção de um sistema de controle ativo são os algoritmos numéricos usados no cálculo das forças de controle. Em geral estes algoritmos são baseados na resposta monitorada da estrutura e a eficácia do sistema de controle está diretamente ligada à qualidade dos algoritmos empregados. Dentre os algoritmos usados no controle ativo estão aqueles decorrentes do controle ótimo, definido por um regulador quadrático para sistemas de comportamento linear. Nesse caso, para o cálculo das forças de controle é necessária a determinação da matriz de Riccati, obtida através de métodos tais como: o algoritmo de Potter, o método da retro-integração temporal, o algoritmo LQR e o algoritmo baseado no método de Newton- Raphson, proposto nesta dissertação de mestrado. Um dos grandes obstáculos para a aplicação do controle ótimo em estruturas reais é que, em geral, os algoritmos de controle demandam o monitoramento de todos os graus de liberade (GLs) da estrutura. Alternativamente, pode-se utilizar métodos para a estimativa das respostas dinâmicas dos GLs não monitorados tais como os algoritmos denominados observadores apresentados neste trabalho. Finalmente pode-se afirmar que os ruídos inerentes aos sinais dos GLs monitorados podem prejudicar a qualidade do controle ativo. Desta forma faz-se também neste trabalho a avaliação da aplicação do filtro Kalman-Bucy visando a redução das perturbações geradas pelos ruídos em sistemas de controle ativo. Em suma, faz-se nesse trabalho uma avaliação de algoritmos numéricos aplicados ao controle ativo de vibrações mecânicas onde três aspectos inerentes aos algoritmos de controle são abordados: 1) exatidão no cálculo da matriz de Riccati; 2) eficiência do uso de algoritmos com a metodologia dos observadores de estado para estimativa de GLs não monitorados; 3) eficiência do uso do filtro de Kalman-Bucy para a redução de perturbações do sistema de controle geradas por ruídos. Os resultados obtidos mostram que o uso do algoritmo de Newton-Raphson, proposto neste trabalho, apresenta valores mais precisos para a determinação da Matriz de Riccati, levando a maiores reduções de vibrações com maiores magnitudes de forças de controle. Nota-se também que a técnica dos observadores de estado e do filtro de Kalman-Bucy se mostram eficientes nos sistemas de controle analisados. / With the development of new technologies in materials, electronics and computing, the conception of structural projects has been changed. Structures are getting lighter and slender, which in some cases, leads to vibration problems. Those problems can be solved with techniques of active control. The structural active control consists basically on imposing control forces on a structure aiming to reduce the amplitude of vibration. Usually hydraulic actuators are used for the imposition of control forces. One of the most important tool used in an active control system conception are numerical algorithms employed in the calculation of controlling forces. In general these algorithms are based on the response sensors of the structure and the efficiency of the control system is directly related to the quality of the employed algorithms. Among the algorithms used in active control are those arising from optimal control, wich are defined by a quadratic regulator for linear system. In this case, for the calculation of controlling forces is necessary to determine Riccati matrix, which may be obtained by means of Potter’s algorithm, the method of backward integration in time, the LQR algorithm and the algorithm based on Newton-Raphson method, proposed in this dissertation. One of the greatest obstacles for the application of optimal control in real structures is the need for control algorithms, in general, to request a monitoring of all degrees of freedom (DFs) of the structure. Alternatively, one way use methods for estimating the dynamic response of non-sensored DFs. This work presents the analysis of algorithms called state observers used in active control of structures. Finally it can be affirmed that the noise inherent to the DFs signs monitored may harm the quality of the active control. Thus it is also evaluated the implementation of Kalman-Bucy filter in order to reduce the disturbances generated by the noise in control system with state observers. In short, this work is an evaluation of numerical algorithms applied to active control of vibration and the aspects related to control algorithm are: 1) accuracy in the calculation of the Riccati matrix; 2) efficiency in the use of algorithms with the methodology of state observers to estimate unmonitored DFs, 3) influence of noise on the efficiency of active control of structures with state observers. The presented results support the conclusion that the proposed Newton-Raphson algorithm provides more precise values for the Riccati Matrix determination, leading to a better performance of control system. It was also noticed that the techniques of state observers and Kalman-Bucy filter had also good performance for the studied models.

Au cours de cette thèse, le problème général de la conception de méthodes couplées de contrôle et d'estimation pour des systèmes dynamiques non linéaires a été étudié. La cible principale était la navigation par corrélation de terrain (TAN en anglais), où le problème était de guider et d’estimer la position 3D d’un drone survolant une zone connue. Dans cette application, on suppose que les seules données disponibles sont la vitesse du système, une mesure de la différence entre l'altitude absolue du drone et l'altitude du sol survolé et une carte du sol. La TAN est un bon exemple d'application non linéaire dans laquelle le principe de séparation ne peut pas être appliqué. En réalité, la qualité des observations dépend du contrôle et plus précisément de la zone survolée par le drone. Par conséquent, il existe un besoin de méthodes couplées d'estimation et de contrôle. Il est à noter que le problème d'estimation créé par TAN est en soi difficile à analyser et à résoudre. En particulier, les sujets suivants ont été traités:• Conception d'observateur non linéaire et commande en retour de sortie pour la TAN avec des cartes au terrain analytiquesdans un cadre déterministe à temps continu.• La modélisation conjointe du filtrage optimal non linéaire et du contrôle optimal stochastique en temps discretavec des informations imparfaites.• la conception de schémas de contrôle prédictif stochastique duaux associés à un filtre particulaire et leur implémentation numérique pour la TAN. / During this PhD, the general problem of designing coupled control and estimation methods for nonlinear dynamical systems has been investigated. The main target application was terrain-aided navigation (TAN), where the problem is to guide and estimate the 3D position of a drone flying over a known area. In this application, it is assumed that the only available data are the speed of the system, a measurement of the difference between the absolute altitude of the drone and the altitude of the ground flied over and a map of the ground. TAN is a good example of a nonlinear application where the separation principle cannot be applied. Actually, the quality of the observations depends on the control and more precisely on the area that is flied over by the drone. Therefore, there is a need for coupled estimation and control methods. It is to be noted that the estimation problem created by TAN is in itself difficult to analyse and solve. In particular, the following topics have been treated:• Nonlinear observer design and outputfeedback control for TAN with analytical ground mapsin a deterministic continuous-time framework.• The joint modelling of nonlinear optimal filtering and discrete-time stochastic optimal controlwith imperfect information.• The design of output-feedback Explicit dual stochastic MPC schemes coupled with a particlefilter and their numerical implementation to TAN.

Orientador: Gilberto Pechoto de Melo / Resumo: O uso da metodologia de observadores de estado para detecção de dano requer a análise da observabilidade do modelo físico-matemático do sistema e aponta para a necessidade de posicionar sensores de forma otimizada. Visto que plataformas veiculares podem se apresentar como sistemas com amortecimento não proporcional, é apresentada uma metodologia para o cálculo de índices de posicionamento H2 para este tipo de sistema. Para a plataforma veicular analisada com amortecimento proporcional, índices de posicionamento H2 são comparados com índices grammianos, sendo demonstrado que ambos resultam em uma mesma configuração ótima de sensores. A análise da observabilidade é conduzida a partir dos principais modos de vibrar , sendo utilizada a norma H2 para definição de quais modos devem ser retidos no modelo reduzido. Observadores robustos, atuando em paralelo com o sistema, são utilizados para localização e quantificação da severidade do dano. É mostrado que, para plataformas veiculares excitadas pela base com deslocamentos do tipo degrau, um índice de dano que compara as saídas medidas e estimadas permite alcançar este objetivo. / Abstract: The use of state observer's methodology for damage detection requires the observability analysis of the physical-mathematical model of the system and points to the need of positioning sensors optimally. Since vehicle platforms can be presented as systems with non-proportional damping, a methodology for calculating H2 positioning indices for this type of system is presented. For the vehicle platform analyzed with proportional damping, H2 positioning indices are compared with Grammian indices, showing that both result in the same optimal sensor con guration. The observability analysis is conducted from the main modes of vibration, using the H2 norm to define which modes should be retained in the reduced model. Robust observers acting in parallel with the system are used to locate and quantify the severity of the damage. It is shown that, for vehicle platforms stimulated by the base with step-type displacements, a damage index that compares the measured and estimated outputs reaches this goal. / Mestre

Modern information technology increases the use of computers in training systems as well as in command-and-control systems in military services and public-safety organizations. This computerization combined with new threats present a challenging complexity. Situational awareness in evolving distributed operations and follow-up in training systems depends on humans in the field reporting observations of events. The use of this observer-reported information can be largely improved by implementation of models supporting both reporting and computer representation of objects and phenomena in operations. This thesis characterises and describes observer model-based data collection in distributed tactical operations, where multiple, dispersed units work to achieve common goals. Reconstruction and exploration of multimedia representations of operations is becoming an established means for supporting taskforce training. We explore how modelling of operational processes and entities can support observer data collection and increase information content in mission histories. We use realistic exercises for testing developed models, methods and tools for observer data collection and transfer results to live operations. The main contribution of this thesis is the systematic description of the model-based approach to using observers for data collection. Methodological aspects in using humans to collect data to be used in information systems, and also modelling aspects for phenomena occurring in emergency response and communication areas contribute to the body of research. We describe a general methodology for using human observers to collect adequate data for use in information systems. In addition, we describe methods and tools to collect data on the chain of medical attendance in emergency response exercises, and on command-and-control processes in several domains.

Les travaux de recherche présentés dans ce mémoire portent sur la synthèse d'observateurs intervalles pour la commande tolérante aux fautes de systèmes incertains. La présence de défauts, d'incertitudes et de perturbations peut provoquer des réactions indésirables du système commandé. Dans ce contexte, nous avons développé deux approches de commande tolérante aux fautes basées sur des observateurs intervalles dans le cas où les défauts et les incertitudes sont inconnus mais bornés. La première approche, dite passive, permet de garantir la stabilité du système en boucle fermée y compris en présence de défauts actionneurs et/ou composants. La seconde approche, dite active, permet de compenser l'effet des défauts et d'assurer la stabilité et les performances désirées du système. Ces contributions sont validées par des simulations numériques. / The research work presented in this thesis focuses on the design of interval observers for fault-tolerant control of uncertain systems. The presence of faults, uncertainties and disturbances in automated systems often causes undesirable reactions. In this context, two approaches of fault tolerant control have been developed based on interval observers in the case where the faults and the uncertainties are unknown but bounded. The first approach is passive and consists in ensuring the closed loop system stability even in the presence of actuator and/or component faults. The second approach, an active one, compensates the fault effect and ensures the system stability and desired performances. These contributions are validated through numerical simulations.

Science experiences during the preschool years is important because it helps build brain development in children, and improves school readiness. This exploratory study examined several characteristics of teachers and classrooms to see if any factors predicted time spent on science. Over 120 teachers participated, with teachers from Head Starts, university child development laboratories, home-based preschools, and other private preschool programs. Findings suggest that preschool teachers are quite comfortable with teaching science, but science activities are reported to occur infrequently—one to three times a month. Teachers with higher levels of education and comfort levels with science are reported to be more likely to spend time on science. Additionally, comfort levels with science had the greatest impact on time spent on science after accounting for teacher and classroom demographics. These results suggest that helping teachers feel more comfortable teaching science should be an important target for professional development practices and preservice education.

La problématique traitée dans cette thèse vise à développer une stratégie efficace de détection et de classification des impacts en présence d'incertitudes de modélisation du robot et de son environnement et en utilisant un nombre minimal de capteurs, notamment en l'absence de capteur d’effort.La première partie de la thèse porte sur la détection d'un impact pouvant avoir lieu à n'importe quel endroit du bras robotique et à n'importe quel moment de sa trajectoire. Les méthodes de détection d’impacts sont généralement basées sur un modèle dynamique du système, ce qui les rend sujettes au compromis entre sensibilité de détection et robustesse aux incertitudes de modélisation. A cet égard, une méthodologie quantitative a d'abord été mise au point pour rendre explicite la contribution des erreurs induites par les incertitudes de modèle. Cette méthodologie a été appliquée à différentes stratégies de détection, basées soit sur une estimation directe du couple extérieur, soit sur l'utilisation d'observateurs de perturbation, dans le cas d’une modélisation parfaitement rigide ou à articulations flexibles. Une comparaison du type et de la structure des erreurs qui en découlent et de leurs conséquences sur la détection d'impacts en a été déduite. Dans une deuxième étape, de nouvelles stratégies de détection d'impacts ont été conçues: les effets dynamiques des impacts sont isolés en déterminant la marge d'erreur maximale due aux incertitudes de modèle à l’aide d’une approche stochastique.Une fois l'impact détecté et afin de déclencher la réaction post-impact du robot la plus appropriée, la deuxième partie de la thèse aborde l'étape de classification. En particulier, la distinction entre un contact intentionnel (l'opérateur interagit intentionnellement avec le robot, par exemple pour reconfigurer la tâche) et un contact non-désiré (un sujet humain heurte accidentellement le robot), ainsi que la localisation du contact sur le robot, est étudiée en utilisant des techniques d'apprentissage supervisé et plus spécifiquement des réseaux de neurones feedforward. La généralisation à plusieurs sujet humains et à différentes trajectoires du robot a été étudiée. / The present thesis aims to develop an efficient strategy for impact detection and classification in the presence of modeling uncertainties of the robot and its environment and using a minimum number of sensors, in particular in the absence of force/torque sensor.The first part of the thesis deals with the detection of an impact that can occur at any location along the robot arm and at any moment during the robot trajectory. Impact detection methods are commonly based on a dynamic model of the system, making them subject to the trade-off between sensitivity of detection and robustness to modeling uncertainties. In this respect, a quantitative methodology has first been developed to make explicit the contribution of the errors induced by model uncertainties. This methodology has been applied to various detection strategies, based either on a direct estimate of the external torque or using disturbance observers, in the perfectly rigid case or in the elastic-joint case. A comparison of the type and structure of the errors involved and their consequences on the impact detection has been deduced. In a second step, novel impact detection strategies have been designed: the dynamic effects of the impacts are isolated by determining the maximal error range due to modeling uncertainties using a stochastic approach.Once the impact has been detected and in order to trigger the most appropriate post-impact robot reaction, the second part of the thesis focuses on the classification step. In particular, the distinction between an intentional contact (the human operator intentionally interacts with the robot, for example to reconfigure the task) and an undesired contact (a human subject accidentally runs into the robot), as well as the localization of the contact on the robot, is investigated using supervised learning techniques and more specifically feedforward neural networks. The challenge of generalizing to several human subjects and robot trajectories has been investigated.

Dans cette thèse, nous nous intéressons à la problématique de la vérification formelle des systèmes critiques temps réel, c’est-à-dire des systèmes dont l’exécution dépend de certaines contraintes temporelles. La spécification formelle des exigences pour de tels systèmes, ainsi que leur vérification, reste une tâche très compliquée, surtout pour les non experts. Plusieurs solutions ont été proposées pour faciliter la spécification et la vérification des systèmes temps-réels. Un premier type d’approche est basée sur la définition d’un ensemble de patrons de spécification qui représentent les propriétés les plus utilisées en pratique. Cependant, ce type de solutions n’est pas toujours supporté par un outillage de vérification efficace, dans le sens que les auteurs de ces langages de patrons ne fournissent pas directement une implantation pour leur langage. Un second type d’approches repose sur l’utilisation du formalisme des logiques temporelles pour spécifier les propriétés à vérifier et sur les techniques de model-checking pour leur vérification. S’agissant de systèmes temps-réels, il est dans ce cas nécessaire d’utiliser des extensions temporisées des logiques temporelles. Cependant, ces approches donnent le plus souvent lieu à des problèmes de model-checking qui sont indécidable, ou dont la complexité en pratique est très élevée. Dans ce travail, nous suivons la première approche et proposons un langage de patrons de propriétés temps-réels accompagnés d’un outil de vérification par model- checking. Nous apportons plusieurs contributions à ce domaine. Nous proposons un cadre théorique complet pour la spécification et la vérification de patrons de propriétés temps réel. Notre approche a été implantée dans le contexte du langage de modélisation Fiacre. Enfin, nous définissons deux méthodes complémentaires permettant de vérifier la correction de notre approche de vérification / The formal verification of critical, reactive systems is a very complicated task, especially for non experts. In this work, we more particularly address the problem of real time systems, that is in the situation where the correctness of the system depends upon timing constraints, such as the “timeliness” of some interactions. Many solutions have been proposed to ease the specification and the verification of such systems. An interesting approach—that we follow in this thesis—is based on the definition of specification patterns, that is sets of general, reusable templates for commonly occurring classes of properties. However, patterns are rarely implemented, in the sense that the designers of specification languages rarely provide an effective verification method for checking a pattern on a system. The most common technique is to rely on a timed extension of a temporal logic to define the semantics of patterns and then to use a model-checker for this logic. However, this approach may be inadequate, in particular if patterns require the use of a logic associated to an undecidable model-checking problem or to an algorithm with a very high practical complexity. We make several contributions. We propose a complete theoretical framework to specify and check real time properties on the formal model of a system. First, our framework provides a set of real time specification patterns. We provide a verification technique based on the use of observers that has been implemented in a tool for the Fiacre modelling language. Finally, we provide two methods to check the correctness of our verification approach; a “semantics”—theoretical— method as well as a “graphical”-practical- method

No description available.