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]  I. Mazin,et al.  Theory , 1934 .

[2]  Rufus Isaacs,et al.  Differential Games , 1965 .

[3]  Editors , 1986, Brain Research Bulletin.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[27]  John Lygeros,et al.  Hybrid Control Models of Next Generarion AIr Traffic Management , 1996, Hybrid Systems.

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

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

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

[31]  John Lygeros,et al.  Hierarchical, Hybrid Control of Large Scale Systems , 1996 .

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

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

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

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

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

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

[38]  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.

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

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

[41]  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.