A stochastic control approach to flight path monitoring