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

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

Authors:
- Oliveira, Ítalo Romani de
- Cugnasca, Paulo Sérgio (Orientador)
Autor USP: OLIVEIRA, ITALO ROMANI DE - EP
Unidade: 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:
- Publisher place: São Paulo
- Date published: 2003
Data da defesa: 10.07.2003

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

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 ;