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.
CITATION STYLE
de Oliveira, Õ. R., & Cugnasca, P. S. (2002). Checking safe trajectories of aircraft using hybrid automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2434, pp. 224–235). Springer Verlag. https://doi.org/10.1007/3-540-45732-1_22
Mendeley helps you to discover research relevant for your work.