Checking Safe Trajectories of Aircraft Using Hybrid Automata.

Ítalo Romani de Oliveira Paulo Sérgio Cugnasca

Published in: SAFECOMP (2002)

Keyphrases

hybrid automata
finite state automata
trajectory data
air force
moving objects
machine learning
spatio temporal
hidden markov models
positive and negative
flight data
civil aviation