Air Traffic Management systems analysis and design - Publications

Automation Procedures for Air Traffic Management: A Token-based Approach (pdf)
S. Devasia, M. Heymann and G.Meyer,
pp. 736-741, Proceedings American Control Conference, Anchorage, AK, May 8-10, 2002.

An Agent Based Framework for Control of Merging Air Traffic (pdf)
Michael Heymann, George Meyer, and Stefan Resmerita,
Proceedings 16th IFAC Symposium on Automatic Control in Aerospace,
St. Petersburg, Russia, June, 2004.