Optimal Control Of Hybrid Systems In Air Traffic Applications