Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos (2003)
- Authors:
- USP affiliated author: OLIVEIRA, ITALO ROMANI DE - EP
- School: EP
- Sigla do Departamento: PCS
- Subjects: TEORIA DOS AUTÔMATOS; TRÁFEGO AÉREO (SEGURANÇA); CONTROLE (TEORIA DE SISTEMAS E CONTROLE)
- Language: Português
- Abstract: 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.
- Imprenta:
- Data da defesa: 10.07.2003
-
ABNT
OLIVEIRA, Ítalo Romani de; CUGNASCA, Paulo Sérgio. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003.Universidade de São Paulo, São Paulo, 2003. -
APA
Oliveira, Í. R. de, & Cugnasca, P. S. (2003). Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. Universidade de São Paulo, São Paulo. -
NLM
Oliveira ÍR de, Cugnasca PS. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003 ; -
Vancouver
Oliveira ÍR de, Cugnasca PS. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003 ; - Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida
- Previewing air traffic conflict:: system modeling by hybrid automata
- Desenvolvimento de um portal para pesquisas aeronáuticas utilizando o sistema de portal dinâmico mambo
- Modelagem de dados para gerenciamento de tráfego aéreo
- Simulação de tráfego aéreo através do RAMS Plus 5.24
- Técnica de aceleração do método de simulação Monte Carlos: sistema de partículas interagentes
- Multi-agent tools for air traffic management
- Previsão de conflito de tráfego aéreo: modelagem por autômatos híbridos
- Gerenciamento de chegadas em terminais de tráfego aéreo utilizando informação antecipada e reprogramação automática do sistema de gerenciamento de vôo de aeronaves
- Mais segurança no ar
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas