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, alt itudes, and velocities, The safe resolution of trajectory conflicts be tween aircraft is necessary to the success of such a distributed contr ol system, In this paper, we present a method to synthesize provably s afe conflict resolution maneuvers. The method models the aircraft and the maneuver as a hybrid control system and calculates the maximal set of safe initial conditions for each aircraft so that separation is as sured in the presence of uncertainties in the actions of the other air craft, Examples of maneuvers using both speed and heading changes are worked out in detail.