Artificial Intelligence
An Open Environment for Real-Time Applications
Real-Time Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
A review of conflict detection and resolution modeling methods
IEEE Transactions on Intelligent Transportation Systems
A probabilistic approach to aircraft conflict detection
IEEE Transactions on Intelligent Transportation Systems
Guest editorial special issue on automated air traffic control systems
IEEE Transactions on Intelligent Transportation Systems
Safety verification of conflict resolution manoeuvres
IEEE Transactions on Intelligent Transportation Systems
Aircraft conflict prediction in the presence of a spatially correlated wind field
IEEE Transactions on Intelligent Transportation Systems
Monte Carlo Optimization for Conflict Resolution in Air Traffic Control
IEEE Transactions on Intelligent Transportation Systems
Sensor Fusion for Predicting Vehicles' Path for Collision Avoidance Systems
IEEE Transactions on Intelligent Transportation Systems
Conflict Resolution and Traffic Complexity of Multiple Intersecting Flows of Aircraft
IEEE Transactions on Intelligent Transportation Systems
Hi-index | 0.00 |
This paper addresses the high computational complexity of generating multistep conflict resolution advisories (RAs) in air traffic control. Because this problem is known to be NP-hard, one cannot expect algorithms that will solve every instance of the problem independent of its size. Thus, the goal is to develop more efficient algorithms that can analyze a wider space of possible RAs, for instance, horizontal maneuvers. This paper presents a study of the use of abstraction to such a problem. However, abstractions can lead to wrong decisions, e.g., tomaneuvers that result in unsafe states. Such abstractions are referred to as inconsistent. To avoid these kinds of problems, we use the so-called Q2 abstractions, which are derived from the specifications of a problem and are guaranteed to be consistent. To assess the usability of the Q2 approach to computing horizontal RAs, we analyze the impact of such abstractions on the computational cost of an exhaustive search algorithm and on the quality of RAs found. The results show that the use of the Q2 approach lowers the conflict-resolution computation time without losing much of the quality of solutions.