Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos.

• Ano de defesa: 2003
• Autor(a) principal: Oliveira, Italo Romani de
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Air traffic (Safety); Atom theory; Control (Systems and control theory); Controle (Teoria de sistemas e controle); Teoria dos atômatos; Tráfego aéreo (Segurança)
• Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17102024-113659/

Esta dissertação apresenta a aplicação da linguagem matemática dos Autômatos Híbridos para verificação de segurança em sistemas de controle de tráfego aéreo. Dentre estes sistemas, foi escolhido um caso específico, que consiste num sistema hipotético para a detecção de conflito de trajetórias em confluência de aeronaves, para ser estudado com maior detalhe. Para atingir este objetivo, primeiro o conteúdo matemático formal é apresentado; em seguida é explicado o contexto de aplicação, que constitui-se no Serviço de Tráfego Aéreo, tendo em vista sua evolução em face do Projeto CNS/ATM (Communication, Navigation, Surveillance / Air Traffic Management) e, antes de abordar o estudo de caso específico, apresenta-se uma visão geral da utilização dos Autômatos Híbridos em Sistemas de Controle de Tráfego Aéreo.