An optimal control problem for automatic air collision avoidance. - Yutaka Ikeda; Jacob Kay (CDC, 2003)