Previewing air traffic conflict:: system modeling by hybrid automata (2003)
- Autores:
- Autores USP: CUGNASCA, PAULO SERGIO - EP ; OLIVEIRA, ITALO ROMANI DE - EP
- Unidade: EP
- Assunto: CONTROLE DE TRÁFEGO (AUTOMAÇÃO)
- Idioma: Inglês
- Imprenta:
- Fonte:
- Título do periódico: Revista de Engenharia de Computação e Sistemas Digitais,
- ISSN: 1678-8435
- Volume/Número/Paginação/Ano: v. 1, n. 1, p. 69-76
-
ABNT
OLIVEIRA, Ítalo Romani de e CUGNASCA, Paulo Sérgio. Previewing air traffic conflict:: system modeling by hybrid automata. Revista de Engenharia de Computação e Sistemas Digitais, v. 1, n. 1, p. 69-76, 2003Tradução . . Disponível em: http://www.pcs.poli.usp.br/revista/. Acesso em: 20 set. 2024. -
APA
Oliveira, Í. R. de, & Cugnasca, P. S. (2003). Previewing air traffic conflict:: system modeling by hybrid automata. Revista de Engenharia de Computação e Sistemas Digitais,, 1( 1), 69-76. Recuperado de http://www.pcs.poli.usp.br/revista/ -
NLM
Oliveira ÍR de, Cugnasca PS. Previewing air traffic conflict:: system modeling by hybrid automata [Internet]. Revista de Engenharia de Computação e Sistemas Digitais,. 2003 ; 1( 1): 69-76.[citado 2024 set. 20 ] Available from: http://www.pcs.poli.usp.br/revista/ -
Vancouver
Oliveira ÍR de, Cugnasca PS. Previewing air traffic conflict:: system modeling by hybrid automata [Internet]. Revista de Engenharia de Computação e Sistemas Digitais,. 2003 ; 1( 1): 69-76.[citado 2024 set. 20 ] Available from: http://www.pcs.poli.usp.br/revista/ - Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos
- Técnica de aceleração do método de simulação Monte Carlos: sistema de partículas interagentes
- Simulação de tráfego aéreo através do RAMS Plus 5.24
- Previsão de conflito de tráfego aéreo: modelagem por autômatos híbridos
- Desenvolvimento de um portal para pesquisas aeronáuticas utilizando o sistema de portal dinâmico mambo
- Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos
- 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
- 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
- Análise de risco de segurança da informação como fator de avaliação de disponibilidade de sistemas críticos de controle do espaço aéreo
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas