Location of Repository

Checking safe trajectories of aircraft using hybrid automata

By Ítalo Romani De Oliveira and Paulo Sérgio Cugnasca

Abstract

The air traffic management system is under generalized upgrading process. New requirements of safety arise based on several emerging technologies. This work presents a model to automatically verify safety of actions taken by human traffic controllers in frequent situations. The model uses the formalism of hybrid automata, and consists basically on segmenting the space of routes and associating each segment to a location of the automaton. Some kind of trajectory optimisation is also possible with this model.

Year: 2011
OAI identifier: oai:CiteSeerX.psu:10.1.1.198.4464
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cnsatm.pcs.usp.br/a... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.