Services for fault-tolerant conflict resolution in air traffic management

Airborne Self-Separation is a new concept of dynamic management of air traffic flow, where pilots are allowed to select their flight paths in real-time. In this new operational concept, each aircraft is guided by an automated decision procedure and, based on the available information, enters into negotiations with surrounding aircraft in order to coordinate actions and avoid collisions. In this work, we explore the possibility of combining an approach based on Satisficing Game Theory together with fault-tolerant protocols to obtain a robust approach for conflict resolution and air traffic optimization in the context of Airborne Self-Separation.

[1]  J. M. Hoekstra,et al.  Free Flight in a Crowded Airspace? , 2000 .

[2]  Bert G. J. Bakker,et al.  Safety risk simulation of an airborne self separati on concept of operation , 2007 .

[3]  Rachid Guerraoui,et al.  The Generic Consensus Service , 2001, IEEE Trans. Software Eng..

[4]  J. Groeneweg.  Free Flight in a Crowded Airspace , 2000 .

[5]  T. Perry.  In search of the future of air traffic control , 1997 .

[6]  Stefan Resmerita,et al.  Conflict resolution in multi-agent systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[7]  James K. Kuchar,et al.  A review of conflict detection and resolution modeling methods , 2000, IEEE Trans. Intell. Transp. Syst..

[8]  Wynn C. Stirling,et al.  Social utility Functions-part I: theory , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[9]  Antonio Bicchi,et al.  Conflict resolution problems for air traffic management systems solved with mixed integer programming , 2002, IEEE Trans. Intell. Transp. Syst..

[10]  Zhi-Hong Mao,et al.  Stability of intersecting aircraft flows using heading-change maneuvers for conflict avoidance , 2005, IEEE Transactions on Intelligent Transportation Systems.

[11]  Roy Friedman,et al.  Efficient Byzantine broadcast in wireless ad-hoc networks , 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

[12]  J.K. Archibald,et al.  A satisficing approach to free flight , 2005, Proceedings. 2005 IEEE Networking, Sensing and Control, 2005..

[13]  A. Varga,et al.  THE OMNET++ DISCRETE EVENT SIMULATION SYSTEM , 2003 .

[14]  Miguel Correia,et al.  Intrusion Tolerance in Wireless Environments: An Experimental Evaluation , 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).

[15]  Inseok Hwang,et al.  Protocol-Based Conflict Resolution for Air Traffic Control , 2007 .

[16]  Murat Demirbas,et al.  Consensus and collision detectors in wireless Ad Hoc networks , 2005, PODC '05.

[17]  Joseph S. B. Mitchell,et al.  SYSTEM PERFORMANCE CHARACTERISTICS OF CENTRALIZED AND DECENTRALIZED AIR TRAFFIC SEPARATION STRATEGIES , 2001 .

[18]  Andres G. Zellweger,et al.  Free Flight in a Crowded Airspace , 2001 .

[19]  Nitin H. Vaidya,et al.  Reliable broadcast in radio networks: the bounded collision case , 2006, PODC '06.

[20]  V. Nanni.  Satisficing game theory for distributed conflict resolution and traffic optimisation: A simulation tool and experimental results , 2007 .

[21]  André Schiper,et al.  Consensus: The Big Misunderstanding , 1997 .

[22]  Bruce D Nordwall.  FREE FLIGHT: ATC MODEL FOR THE NEXT 50 YEARS. , 1995 .