Made available in DSpace on 2014-06-11T19:27:14Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-09-24Bitstream added on 2014-06-13T20:55:55Z : No. of bitstreams: 1 bueno_dd_me_ilha.pdf: 2346457 bytes, checksum: 53a7ababeeced81edd91bb8ef04b1c0f (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Este trabalho apresenta o projeto do regulador linear quadrático (LQR – do inglês Linear Quadratic Regulator) para atenuar vibrações em estruturas mecânicas. Estas estruturas, com atuadores e sensores acoplados, são denominadas estruturas inteligentes. Os projetos de controladores ativos são resolvidos utilizando desigualdades matriciais lineares (LMIs – do inglês Linear Matrix Inequalities). Assim, é possível projetar controladores robustos considerando incertezas paramétricas na planta a ser controlada. São utilizados atuadores e sensores piezelétricos (PZTs) para aplicações em estruturas flexíveis dos tipos vigas e placas e, também, atuadores de pilha para aplicações em estruturas do tipo treliça. O problema do posicionamento ótimo dos atuadores e sensores piezelétricos também é resolvido utilizando as normas de sistemas H2, H , Hankel e as matrizes grammianas de observabilidade e controlabilidade. O modelo matemático da estrutura inteligente é obtido a partir do Método dos Elementos Finitos e, também, utilizando o Método de Identificação de Subespaços através de dados experimentais. O problema de posicionamento ótimo dos atuadores e sensores e o controle ativo de vibração são apresentados em simulações numéricas e experimentais. Os resultados mostram que os controladores robustos aumentam o amortecimento estrutural minimizando as amplitudes de vibração. / This work presents the Linear Quadratic Regulator design to vibration attenuation in mechanical structures. These structures are named Smart Structures because they use actuators and sensors electromechanically coupled. Active controller designs are solved using Linear Matrix Inequalities. So, it is possible to consider polytopic uncertainties. Piezoelectric actuators and sensors are used for applications in flexible structures as beams and plates and, also, stack actuators for applications in truss structures. Optimal placement problem of piezoelectric actuators and sensors also solved using H2, H , Hankel system norms and controllability and observability grammian matrices. The mathematical model of the smart structure is obtained through Finite Element Method and, also, through Numerical State Space of Subspace System Identification (Subspace Method) by experimental data. The optimal placement of actuator and sensor and the active vibration control is numerically and experimentally implemented. Results show that the robust controllers increase the structural damping minimizing magnitude of vibrations.

Made available in DSpace on 2014-06-11T19:22:32Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-11-19Bitstream added on 2014-06-13T18:49:32Z : No. of bitstreams: 1 menezes_mm_me_ilha.pdf: 769292 bytes, checksum: 4b80be15a6104228fa9612312498644f (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho apresenta estudos referentes à estabilidade a pequenas perturbações do SEP, considerando a atuação de FACTS para o amortecimento das oscilações eletromecânicas de baixa frequência. São abordados os dispositivos FACTS TCSC (Thyristor Controlled Series Capacitor) e o SSSC (Static Synchronous Series Compensator). É realizada a representação e modelagem dos dispositivos FACTS no SEP inserindo no Modelo Sensibilidade de Potência. Para melhorar o desempenho do SEP no que se refere à estabilidade a pequenas perturbações, controladores suplementares são propostos para aumentar o desempenho dos dispositivos TCSC e SSSC, introduzindo o amortecimento necessário ao SEP. Adicionam-se os controladores suplementares POD no modelo modificado para os dispositivos TCSC e SSSC para verificar sua atuação. Para encontrar a melhor localização para instalação dos dispositivos é usado a teoria dos resíduos. Esta mesma teoria é usada também para o ajuste dos parâmetros dos controlares juntamente com outro ajuste feito através de Redes Neurais Artificiais (RNA), que é proposto como alternativa de comparação ao método dos resíduos. Simulações são efetuadas em um sistema teste simétrico para se verificar resultados e a eficácia do controlador POD (parâmetros ajustados pela RNA proposta), acoplados aos dispositivos FACTS, na manutenção da estabilidade a pequenas perturbações do SEP. Palavras-chave: Controladores POD. Estabilidade de sistema de potência. Redes neurais artificiais. TCSC e SSSC / This work presents studies referred to short term Electric Power System (EPS) perturbations, considering the actuation of FACTS devices for low frequency electromechanical oscillation damping. The devices considered are: FACTS TCSC (Thyristor Controlled Series Capacitor) and the SSSC (Static Synchronous Series Compensator). It is representation and modeling FACTS devices in the EPS inserting in the Power Sensitivity Model. To improve the performance of the EPS considering the short term perturbations, additional controllers are proposed to increase the performance of the TCSC and SSSC devices, introducing the necessary damping to the EPS. The additional POD controller is added to the modified model for TCSC and SSSC devices to verify the acting. The residual theory is used to find the best location to install the devices. The same theory is used to adjust the parameters of the controllers and an adjustment with Artificial Neural Networks (ANN) is proposed as an alternative to the residual method. Simulations are effectuated for a symmetric test system to verify the efficiency of the POD controller (parameters adjusted by the ANN proposed), coupled with the FACTS devices, to maintain the stability considering the short term perturbations

Comprovadamente, o sistema de suspensão veicular passivo é uma proposta confiável e econômica de solução tanto para redução dos níveis de vibração do chassi e da roda, quanto para a redução dos níveis de aceleração do chassi. Embora este sistema seja amplamente empregado nos veículos, ele apresenta a desvantagem que seus parâmetros não podem ser modificados de acordo com as variações geradas pela pista. Com isso surge o emprego da utilização do sistema de suspensão ativa, que possibilita a variação dos parâmetros da suspensão a tempo real, no entanto, o emprego deste tipo de suspensão requer um elevado nível de energia para o funcionamento correto de seus atuadores, acarretando na inviabilidade de algumas aplicações. Para solucionar as desvantagens encontradas para o sistema de suspensão passivo e ativo, surge o sistema de suspensão semiativo, que reúne as vantagens do sistema ativo, porém com um menor consumo de energia, gerando consequentemente uma opção de controle confiável e econômica de solução para os problemas de dirigibilidade e conforto veicular. O presente trabalho pretende realizar duas avaliações, sendo a primeira, a avaliação e comparação de um sistema de suspensão passivo com o desempenho de quatro controladores semiativos (on/off, skyhook, groundhook e híbrido) e a segunda é testar os mesmos controladores, porém considerando a dinâmica de um amortecedor magnético-reológico através do modelo de LuGre. Estes controladores serão aplicados a um modelo não linear de um quarto de carro com dois graus de liberdade, sendo as suas variáveis estimadas, através de um observador de estados não linear. A análise para a comparação dos sistemas será realizada através de simulações numéricas utilizando o software MatLab®. As simulações dos distúrbios gerados pela pista serão realizadas através de uma função degrau e uma função pulso com o objetivo de avaliar o desempenho de cada controlador. Após a implementação dos algoritmos de controle, foi possível verificar que o sistema de suspensão semiativo, frente às excitações propostas, apresentou um desempenho superior em relação ao conforto. Contudo, não tão significativas quanto ao do conforto, o sistema controlável também, comparativamente ao sistema passivo, apresentou melhoras no requisito dirigibilidade. / Proven, the passive vehicle suspension system is a reliable and cost-effective solution solution for both chassis and wheel vibration levels reduction and chassis acceleration levels reduction. Although this system is widely used in vehicles, it has the disadvantage that its parameters can not be modified according to the variations generated by the track. This results in the use of the active suspension system, which allows the variation of the parameters of the suspension in real time, however, the use of this type of suspension requires a high level of energy for the correct operation of its actuators, resulting in the unfeasibility of some applications. To solve the disadvantages found for the passive and active suspension system, the semiactive suspension system arises, which combines the advantages of the active system, but with a lower energy consumption, consequently generating a reliable and economical solution control option to the problems of maneuverability and vehicular comfort. The present work intends to perform two evaluations, the first being the evaluation and comparison of a passive suspension system with the performance of four semi-active controllers (on/off, skyhook, groundhook and hybrid) and the second is to test the same controllers, but considering the dynamics of a magneticrheological damper through the LuGre model. These controllers will be applied to a nonlinear model of a quarter-car with two degrees of freedom, with its variables being estimated through a nonlinear state observer. The analysis for the comparison of the systems will be performed through numerical simulations using MatLab® software. The simulations of the disturbances generated by the track will be performed through a step function and a pulse function in order to evaluate the performance of each controller. After the implementation of the control algorithms, it was possible to verify that the system of semi-active suspension against the proposed excitations presented a superior performance in relation to comfort. However, not as significant as comfort, the controllable system alo compared to the passive system, presented improvements in the steerability requirement.

Este trabalho propõe a utilização de uma técnica de controle PID adaptativo gaussiano (GAPID) com o objetivo de aumentar o desempenho do controle PID tradicional aplicado a um conversor Buck. A função gaussiana utilizada para definir os ganhos adaptativos tem características como: é uma função suave e com derivadas suaves, possui limites inferior e superior bem definidos e possui concavidade ajustável. Pelo fato de ser uma função suave, ajuda a evitar problemas relacionados às transições abruptas dos ganhos, comumente encontradas em outros métodos adaptativos. Entretanto, não há uma metodologia algébrica para obter os ganhos adaptativos, visto que originalmente o conjunto de parâmetros do GAPID é composto por oito elementos. Para tanto, utilizaram-se técnicas como otimização através de metaheurísticas bio-inspiradas, métricas avaliativas de desempenho, alteração no método de obtenção do tempo de acomodação, com o objetivo de aumentar o desempenho deste controlador (GAPID) e obter os ganhos adaptativos. O uso do conjunto de oito elementos na otimização gerou soluções ótimas, porém, muito especializadas, levando o controlador a não se comportar bem quando as condições de operação mudam. Desta forma, é proposto um vínculo entre os parâmetros não lineares das curvas gaussianas com os parâmetros lineares do controlador PID, que demonstrou gerar soluções quase tão boas quanto com parâmetros livres e menos especializadas, com comportamento mais homogêneo face a mudanças no ponto de operação do controlador e trazendo como principal vantagem a utilização dos mesmos requisitos de projeto do PID tradicional, o que facilitaria a migração do controlador PID para o GAPID dentro da maioria das indústrias. Os resultados obtidos, tanto na simulação quanto no protótipo foram semelhantes. Isso se deve ao cuidado com a modelagem e o rigor nos procedimentos de projeto, implementados da mesma forma no modelo e no protótipo. / This work proposes the use of a Gaussian adaptive PID control technique (GAPID) in order to increase the performance of the traditional PID control applied to a Buck converter. The Gaussian function used to define adaptive gains has characteristics such as; it is a smooth function with smooth derivatives, it has well defined lower and upper bounded and it has the adjustable concavity. Because it is a smooth function, it helps avoid problems related to abrupt gains transition, commonly found in other adaptive methods. However, there is no algebraic methodology to obtain the adaptive gains, since originally the GAPID parameter set consists of eight elements. Therefore, was used techniques such as optimization through bio-inspired metaheuristics, performance evaluation metrics, and change in the method to obtaining the settling-time, in order to increase the performance of this controller (GAPID) and obtain the adaptive gains. The use of the eight elements in the optimization generated optimized but very specialized solutions, causing the controller not to behave well when the operating conditions change. In this way, a link between the nonlinear parameters of the gaussian curves and the linear parameters of the PID controller was proposed, which demonstrated to generate solutions almost as good as with free and less specialized parameters, with a more homogeneous behavior in relation to changes in the operating point of the controller and bringing as a main advantage the use of the same traditional PID design requirements, which would facilitate the migration of PID controller to GAPID within most industries. The results obtained in both the simulation and the prototype were similar. This is due to careful modeling and rigor in design procedures, implemented in the same way in the model and the prototype.

Este trabalho propõe a utilização de uma técnica de controle PID adaptativo gaussiano (GAPID) com o objetivo de aumentar o desempenho do controle PID tradicional aplicado a um conversor Buck. A função gaussiana utilizada para definir os ganhos adaptativos tem características como: é uma função suave e com derivadas suaves, possui limites inferior e superior bem definidos e possui concavidade ajustável. Pelo fato de ser uma função suave, ajuda a evitar problemas relacionados às transições abruptas dos ganhos, comumente encontradas em outros métodos adaptativos. Entretanto, não há uma metodologia algébrica para obter os ganhos adaptativos, visto que originalmente o conjunto de parâmetros do GAPID é composto por oito elementos. Para tanto, utilizaram-se técnicas como otimização através de metaheurísticas bio-inspiradas, métricas avaliativas de desempenho, alteração no método de obtenção do tempo de acomodação, com o objetivo de aumentar o desempenho deste controlador (GAPID) e obter os ganhos adaptativos. O uso do conjunto de oito elementos na otimização gerou soluções ótimas, porém, muito especializadas, levando o controlador a não se comportar bem quando as condições de operação mudam. Desta forma, é proposto um vínculo entre os parâmetros não lineares das curvas gaussianas com os parâmetros lineares do controlador PID, que demonstrou gerar soluções quase tão boas quanto com parâmetros livres e menos especializadas, com comportamento mais homogêneo face a mudanças no ponto de operação do controlador e trazendo como principal vantagem a utilização dos mesmos requisitos de projeto do PID tradicional, o que facilitaria a migração do controlador PID para o GAPID dentro da maioria das indústrias. Os resultados obtidos, tanto na simulação quanto no protótipo foram semelhantes. Isso se deve ao cuidado com a modelagem e o rigor nos procedimentos de projeto, implementados da mesma forma no modelo e no protótipo. / This work proposes the use of a Gaussian adaptive PID control technique (GAPID) in order to increase the performance of the traditional PID control applied to a Buck converter. The Gaussian function used to define adaptive gains has characteristics such as; it is a smooth function with smooth derivatives, it has well defined lower and upper bounded and it has the adjustable concavity. Because it is a smooth function, it helps avoid problems related to abrupt gains transition, commonly found in other adaptive methods. However, there is no algebraic methodology to obtain the adaptive gains, since originally the GAPID parameter set consists of eight elements. Therefore, was used techniques such as optimization through bio-inspired metaheuristics, performance evaluation metrics, and change in the method to obtaining the settling-time, in order to increase the performance of this controller (GAPID) and obtain the adaptive gains. The use of the eight elements in the optimization generated optimized but very specialized solutions, causing the controller not to behave well when the operating conditions change. In this way, a link between the nonlinear parameters of the gaussian curves and the linear parameters of the PID controller was proposed, which demonstrated to generate solutions almost as good as with free and less specialized parameters, with a more homogeneous behavior in relation to changes in the operating point of the controller and bringing as a main advantage the use of the same traditional PID design requirements, which would facilitate the migration of PID controller to GAPID within most industries. The results obtained in both the simulation and the prototype were similar. This is due to careful modeling and rigor in design procedures, implemented in the same way in the model and the prototype.

Made available in DSpace on 2014-12-17T14:56:19Z (GMT). No. of bitstreams: 1 JanEMGP_DISSERT.pdf: 3028317 bytes, checksum: 5eeb8ec6954b59f2853f263ffa4c4d9c (MD5) Previous issue date: 2014-05-16 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / The area of research and development involving the PID tune of controllers is an active area in the academic and industrial sectors yet. All this due to the wide use of PID controllers in the industry (96% of all controllers in the industry is still PID). Controllers well tuned and tools to monitor their performance over time with the possibility of selftuning, become an item almost obligatory to maintain processes with high productivity and low cost. In a globalized world, it is essential for their self survival. Although there are several new tools and techniques that make PID tune, in this paper will explore the PID tune using the relay method, due its good acceptance in the industrial environment. In addition, we will discuss some techniques for evaluation of control loops, as IAE, ISE, Goodhart, the variation of the control signal and index Harris, which are necessary to propose new tuning for control loops that have a low performance. Will be proposed in this paper a tool for tuning and self tuning PID. Will be proposed in this paper a PID auto-tuning software using a relay method. In particular, will be highlighted the relay method with hysteresis. This method has shown tunings with satisfactory performance when applied to the didactic, simulated and real plants / O campo de pesquisa e desenvolvimento de softwares envolvendo a sintonia de controladores PID, ainda ? uma ?rea ativa dentro do meio acad?mico e industrial. Tudo isso devido ? larga utiliza??o de controladores PID na ind?stria (96% de todos os controladores na ind?stria ainda ? PID). Ter controladores bem sintonizados e com ferramentas que possam acompanhar seus desempenhos ao longo do tempo com a possibilidade de ressintoniz?-los, ou ainda autossintoniz?-los, passar a ser um item quase que obrigat?rio para manter processos com alta produtividade e baixo custo. J? que em um mundo globalizado, o n?vel mais acirrado de concorr?ncia entre as empresas, atualmente, est? no custeio e na produtividade. Apesar de existirem diversas novas t?cnicas e ferramentas que fazem sintonia de controladores PID, neste trabalho ser? explorada esta sintonia utilizando o m?todo do rel?, devido a sua boa aceita??o no ambiente industrial, simplicidade e robustez. Al?m disto, abordaremos algumas t?cnicas para avalia??o de desempenho de malhas de controle de processos, tais como IAE, ISE, Goodhart, Vari?ncia de sinais e ?ndice de Harris. Ser? proposta neste trabalho uma ferramenta de sintonia e autossintonia PID (usando o m?todo do rel?), em especial o m?todo do rel? com histerese. Este m?todo tem apresentado sintonias com desempenhos satisfat?rios quando aplicados em plantas simuladas e reais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho apresenta a proposta e análise de um Inversor Ponte Completa Bidirecional (IPCB) aplicado a microrredes CC (corrente contínua) no que tange ao seu desempenho na injeção de potência ativa na rede em corrente alternada (CA) e à regulação da tensão no barramento CC diante das inerentes intermitências observadas em geradores fotovoltaicos, as quais não devem provocar distúrbios nas cargas conectadas à Microrrede CC. A estratégia de controle digital é implementada a partir de um DSP (Digital Signal Processor) contando com um controlador do tipo Proporcional Ressonante (P+Res) aliado a um controle corretor de componentes harmônicas de ordem 3, 5 e 7 da corrente imposta na rede elétrica para os dois modos de operação do sistema, o que possibilita a adequação da qualidade de energia às normas internacionais IEEE 1547 (injeção) e IEC 61.000-3-2 (retificação). Por fim, faz-se a análise qualitativa e quantitativa do sistema proposto contendo ainda as especificações de projeto além dos resultados de simulação e experimentais obtidos com a construção de um protótipo de 2,2 kWp. / This work presents the proposal and analysis of a Bidirectional Full-Bridge Inverter (BFBI) applied to DC (direct current) microgrids in terms to its performance in active power injection into the AC (alternating current) grid and DC bus voltage regulation front of the inherent intermittences observed in photovoltaic generators, which should not cause disturbances in the dc loads. The digital control strategy is implemented from a DSP (Digital Signal Processor) with Proportional Resonant (P + Res) controller combined with 3th, 5th and 7th Harmonic Correction in the current imposed on the grid for the two modes of operation, which enables the adjustment in power quality to IEEE 1547 (injection) and IEC 61.000-3-2 (rectification) international standards. Finally, this work present the qualitative and quantitative analysis of the proposed system, still containing the design specifications, simulation and experimental results obtained with the construction of a 2.2 kWp prototype. / Dissertação (Mestrado)

abstract: Urban water systems face sustainability challenges ranging from water quality, leaks, over-use, energy consumption, and long-term supply concerns. Resiliency challenges include the capacity to respond to drought, managing pipe deterioration, responding to natural disasters, and preventing terrorism. One strategy to enhance sustainability and resiliency is the development and adoption of smart water grids. A smart water grid incorporates networked monitoring and control devices into its structure, which provides diverse, real-time information about the system, as well as enhanced control. Data provide input for modeling and analysis, which informs control decisions, allowing for improvement in sustainability and resiliency. While smart water grids hold much potential, there are also potential tradeoffs and adoption challenges. More publicly available cost-benefit analyses are needed, as well as system-level research and application, rather than the current focus on individual technologies. This thesis seeks to fill one of these gaps by analyzing the cost and environmental benefits of smart irrigation controllers. Smart irrigation controllers can save water by adapting watering schedules to climate and soil conditions. The potential benefit of smart irrigation controllers is particularly high in southwestern U.S. states, where the arid climate makes water scarcer and increases watering needs of landscapes. To inform the technology development process, a design for environment (DfE) method was developed, which overlays economic and environmental performance parameters under different operating conditions. This method is applied to characterize design goals for controller price and water savings that smart irrigation controllers must meet to yield life cycle carbon dioxide reductions and economic savings in southwestern U.S. states, accounting for regional variability in electricity and water prices and carbon overhead. Results from applying the model to smart irrigation controllers in the Southwest suggest that some areas are significantly easier to design for. / Dissertation/Thesis / M.S. Civil and Environmental Engineering 2012

Os sistemas produtivos (SPs) podem utilizar controladores programáveis (CPs) como dispositivos de realização do controle. Neste contexto, programas de controle executados por estes CPs podem ser desenvolvidos de forma que não estejam em conformidade com as especificações de projeto, o que poderá provocar o surgimento de erros funcionais associados à execução de tais programas de controle, erros estes que podem levar os SPs sob controle a um estado que poderá implicar em acidentes envolvendo equipamentos, pessoas e o meio-ambiente. Esta questão tem motivado o surgimento de diversas abordagens para identificar a existência de erros em programas de controle de CPs, de forma a permitir a correção destes erros e garantir, conseqüentemente, maior confiabilidade operacional. O presente trabalho tem por objetivo identificar a existência de erros em programas de controle baseados em LD (Ladder Diagram). Para isto, propõe-se um procedimento de desenvolvimento de modelos baseados em máquinas de estados finitos estendidas (MEFEs), que são gerados a partir do mapeamento de cada um dos rungs contidos no programa de controle que se deseja identificar erros. Uma vez desenvolvidos os modelos em MEFEs, torna-se possível a utilização de uma ferramenta computacional de verificação, própria para estabelecer se os modelos verificados satisfazem determinadas proposições estabelecidas em lógica temporal. Uma proposição em lógica temporal está relacionada a um estado específico do programa de controle modelado, sendo que o objetivo da verificação é o de estabelecer se a proposição estipulada é atendida ou não. Se um determinado estado específico for, por exemplo, um estado indesejado do programa de controle modelado, e este estado for possível de ser alcançado como resultado do processo de verificação realizado, isto impactará na não conformidade do programa de controle com as especificações comportamentais estipuladas na forma de proposição em lógica temporal, indicando haver, portanto, um erro neste programa de controle modelado. Palavras-chave: Controladores programáveis. Linguagem de programação LD. Modelagem e verificação de máquinas de estados finitos estendidas (MEFEs). / Productive systems (PS) can use programmable logic controllers (PLCs) as the devices of accomplishment of the control. In this context, control programs executed by these PLCs can be developed in a way so that they can be in non-conformity with the project specifications, and this fact may result in functional errors related to the control programs execution. These errors can take the PS under control to a state which can lead into accidents involving equipment, people and the environment. This fact has motivated the appearance of different approaches so as to identify the existence of these errors in PLC control programs so that they can be corrected and assure a greater operational reliability. This work aims at identifying the existence of errors in control programs based on Ladder Diagram (LD). In order to accomplish that, a modeling procedure that generates extended finite state machines (EFSMs) is proposed from the mapping of each one of the rungs in the control program whose errors are to be identified. Once the models based on EFSMs are developed it becomes possible to use a computational verification tool, specifically designed to determine if the verified models fulfill determined propositions established in temporal logic. A proposition in temporal logic is related to a specific state of the modeled control program and the objective of the verification is to establish whether the proposition is fulfilled or not. If a determined specific state, for example, is an unwanted state of the modeled control program and if this state is reachable as a result of the verification process, this will impact in the non-conformity of the control program with the behavior specifications established in a temporal logic proposition, indicating an error in this modeled control program.

A língua franca utilizada na comunicação piloto-controlador ainda é pouco conhecida no meio acadêmico. Poucos estudos têm sido dedicados ao seu contexto de uso e ao mapeamento de suas características lingüísticas principais. Esta pesquisa acadêmica apresenta um estudo mais acurado da atividade de controlador de tráfego aéreo, no que se refere ao uso dessa linguagem de especialidade, além de desenvolver um estudo descritivo da língua franca utilizada na comunicação piloto-controlador para a identificação de suas características lingüísticas principais, com o recorte para a produção de material didático. Por meio da utilização do método do Professor André Camlong, a ferramenta computacional denominada STABLEX, fazemos uma análise descritiva, objetiva e indutiva de um corpus lingüístico, constituído dessa linguagem de especialidade. O que se pretende é oferecer subsídios aos professores de língua estrangeira para a produção do seu próprio material didático para o ensino dessa linguagem. É fato que, em determinados contextos de ensino, a necessidade de aprendizagem dos alunos é tão específica, que os materiais prontos para consumo, disponibilizados nas prateleiras das livrarias ou pelas editoras, não são suficientes, cabendo ao professor a tarefa de elaborá-los. No entanto, essa tarefa não tem se mostrado amistosa, já que o professor não dispõe de \"guias de orientação\", cientificamente justificáveis, para fazê-la. Assim sendo, o processo de elaboração torna-se intuitivo e empírico e, na grande maioria das vezes, restringese à adoção de fórmulas já consagradas de apresentação dos conteúdos. Acreditamos ser fundamental o correto entendimento das reais necessidades lingüísticas de um determinado público-alvo, para que haja mais condições de se estabelecerem processos mais ricos e eficientes de ensino e aprendizagem de qualquer língua estrangeira. / The lingua franca used in the communication between pilots and controllers is still not well known in the academic community. Few studies about its use and mapping of its main linguistic characteristics have been made. This theoretical research introduces an accurate study on the language used in the activity of air traffic controllers and develops a descriptive study of the lingua franca used in the communication between pilots and controllers, in order to identify its main linguistic characteristics towards material production. By using the method developed by Professor André Camlong and the computational tool STABLEX, an objective descriptive and inductive analysis of a linguistic corpus constituted by the language used in the ATC specialty has been conducted. The aim of this work is to provide language teachers with subsides for ATC material production hence helping teachers to elaborate materials that meet the very specific needs of their students based on the real needs of the stakeholders so as they can establish a more fruitful and efficient language teaching and learning process.