Hybrid control models of next generation air traffic management