Conflict resolution for air traffic management: a study in multiagent hybrid systems

Air traffic management (ATM) of the future allows for the possibility of free flight, in which aircraft choose their own optimal routes, altitudes, and velocities. The safe resolution of trajectory conflicts between aircraft is necessary to the success of such a distributed control system. In this paper, we present a method to synthesize provably safe conflict resolution manoeuvres. The method models the aircraft and the manoeuvre as a hybrid control system and calculates the maximal set of safe initial conditions for each aircraft so that separation is assured in the presence of uncertainties in the actions of the other aircraft. Examples of manoeuvres using both speed and heading changes are worked out in detail.

[1]  R. Isaacs.  Differential Games: A Mathematical Theory with Applications to Warfare and Pursuit, Control and Optimization , 1999 .

[2]  T. Margaria,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 1998, Lecture Notes in Computer Science.

[3]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[4]  K. S. Lindsay,et al.  Assessment of field trials, algorithmic performance, and benefits of the User Request Evaluation Tool (URET) conflict probe , 1997, 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings.

[5]  S. Shankar Sastry,et al.  Generation of conflict resolution manoeuvres for air traffic management , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.

[6]  Yiyuan Zhao,et al.  Deterministic resolution of two aircraft conflict in free flight , 1997 .

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

[8]  John Lygeros,et al.  Multiobjective Hybrid Controller Synthesis , 1997, HART.

[9]  Feng Lin,et al.  Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.

[10]  Heinz Erzberger,et al.  Conflict probability estimation for free flight , 1997 .

[11]  John Lygeros,et al.  A verified hybrid controller for automated vehicles , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[12]  S. Kahne,et al.  Air traffic management: evolution with technology , 1996 .

[13]  Tysen Mueller,et al.  Free flight conflict detection and resolution analysis , 1996 .

[14]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[15]  Stavros Tripakis,et al.  The Tool KRONOS , 1996, Hybrid Systems.

[16]  James A. Sethian,et al.  Theory, algorithms, and applications of level set methods for propagating interfaces , 1996, Acta Numerica.

[17]  Henny B. Sipma,et al.  STeP: The Stanford Temporal Prover (Educational Release) User''s Manual , 1995 .

[18]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[19]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[20]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[21]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[22]  Akash Deshpande,et al.  Control of hybrid systems , 1994 .

[23]  Pravin Varaiya,et al.  Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.

[24]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[25]  Heinz Erzberger,et al.  Design of Center-TRACON Automation System , 1993 .

[26]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[27]  James K. Kuchar,et al.  Prototype Conflict Alerting Logic for Free Flight , 1997 .

[28]  Shankar,et al.  Generation of Con ict Resolution Maneuvers for Air Tra cManagement , 1997 .

[29]  S. Shankar Sastry,et al.  Towards Continuous Abstractions of Dynamical and Control Systems , 1996, Hybrid Systems.

[30]  S. Sastry,et al.  Hybrid Control Models of Next Generarion AIr Traffic Management , 1996, Hybrid Systems.

[31]  J. Lygeros.  Hierarchical, Hybrid Control of Large Scale Systems , 1996 .

[32]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

[33]  Thomas A. Henzinger,et al.  Hybrid Systems III , 1995, Lecture Notes in Computer Science.

[34]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[35]  Steve Green,et al.  CONFLICT-FREE TRAJECTORY PLANNING FOR AIR TRAFFIC CONTROL AUTOMATION. , 1994 .

[36]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

[37]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[38]  Panos J. Antsaklis,et al.  Event Identification and Intelligent Hybrid Control , 1992, Hybrid Systems.

[39]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[40]  Jozef Hooman,et al.  A Compositional Approach to the Design of Hybrid Systems , 1992, Hybrid Systems.

[41]  W. Harman.  TCAS: A system for preventing midair collisions , 1989 .