Proceedings of the 35th conference on Winter simulation: driving innovation
Causal analysis of the ACAS/TCAS sociotechnical system
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Cybernetics and Systems Analysis
Theory and implementation of path planning by negotiation for decentralized agents
Robotics and Autonomous Systems
Brief paper: A framework and automotive application of collision avoidance decision making
Automatica (Journal of IFAC)
Safety and Liveness in Intelligent Intersections
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Services for fault-tolerant conflict resolution in air traffic management
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Brief paper: Fast conflict detection using probability flow
Automatica (Journal of IFAC)
Information inconsistencies detection using a rule-map technique
Expert Systems with Applications: An International Journal
Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009
A fuzzy based aircraft collision avoidance system
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Robotics and Autonomous Systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Formal verification of an optimal air traffic conflict resolution and recovery algorithm
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Human centered design in the air traffic control system
Journal of Intelligent Manufacturing
Near real-time fuel-optimal en route conflict resolution
IEEE Transactions on Intelligent Transportation Systems
IEEE Transactions on Intelligent Transportation Systems
Integrated simulation environment for unmanned autonomous systems: towards a conceptual framework
Modelling and Simulation in Engineering
Target tracking and obstacle avoidance for multi-agent networks with input constraints
International Journal of Automation and Computing
Symmetry of Solutions to the Optimal Exit Time Control Problem
SIAM Journal on Control and Optimization
A mobile computing approach for navigation purposes
W2GIS'06 Proceedings of the 6th international conference on Web and Wireless Geographical Information Systems
Conflict Detection and Resolution Method for Cooperating Unmanned Aerial Vehicles
Journal of Intelligent and Robotic Systems
Air-traffic control in approach sectors: simulation examples and optimisation
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Distributed reactive collision avoidance
Autonomous Robots
Pareto-optimal coordination of multiple robots with safety guarantees
Autonomous Robots
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Operationalization of norms for aircraft approach and departure in the SKY-Scanner DSS
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Pattern based priority assignment for multi aircraft conflicts in autonomous ATM
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
A taxonomy of UAS separation maneuvers and their automated execution
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
Efficient conflict resolution method in air traffic management based on the speed assignment
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
Journal of Parallel and Distributed Computing
Journal of Intelligent and Robotic Systems
A distributed protocol for motion coordination in free-range vehicular systems
Automatica (Journal of IFAC)
4D trajectory planning in ATM with an anytime stochastic approach
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Traffic-separation & collision-avoidance strategy to promote civil applications of UAVs
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Formalization of Bernstein Polynomials and Applications to Global Optimization
Journal of Automated Reasoning
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
Journal of Computer and Systems Sciences International
Journal of Intelligent and Robotic Systems
Aircraft deconfliction with speed regulation: new models from mixed-integer optimization
Journal of Global Optimization
Intelligent control of an autonomous cooperative of UAVs
Intelligent Decision Technologies
Hi-index | 0.01 |
A number of methods have been proposed to automate air traffic conflict detection and resolution (CDR), but there has been little cohesive discussion or comparative evaluation of approaches. The paper presents a survey of 68 CDR modeling methods, several of which are currently in use or under operational evaluation. A framework that articulates the basic functions of CDR is used to categorize the models. The taxonomy includes: dimensions of state information (vertical, horizontal, or three-dimensional, 3-D); method of dynamic state propagation (nominal, worst case, or probabilistic); conflict detection threshold; conflict resolution method (prescribed, optimized, force field, or manual); maneuvering dimensions (speed change, lateral, vertical, or combined manoeuvres); and management of multiple aircraft conflicts (pairwise or global). An overview of important considerations for these and other CDR functions is provided, and the current system design process is critiqued