English
Related papers

Related papers: Tackling Air Traffic Conflicts as a Weighted CSP :…

200 papers

We present a hierarchical safe auto-taxiing framework to enhance the automated ground operations of multiple unmanned aircraft systems (multi-UAS). The auto-taxiing problem becomes particularly challenging due to (i) unknown disturbances,…

Robotics · Computer Science 2025-03-10 Kartik A. Pant , Li-Yu Lin , Worawis Sribunma , Sabine Brunswicker , James M. Goppert , Inseok Hwang

Multi-robot systems are integral to modern logistics, but their capabilities are often limited to tasks executable by individual agents. This paper addresses a critical gap in existing frameworks like Multi-Agent Path Finding (MAPF) and…

Multiagent Systems · Computer Science 2026-05-18 Ning Zhou , Nikolai W. F. Bode , Edmund R. Hunt

We present a novel complex number formulation along with tight convex relaxations for the aircraft conflict resolution problem. Our approach combines both speed and heading control and provides global optimality guarantees despite…

Computational Engineering, Finance, and Science · Computer Science 2017-09-20 David Rey , Hassan Hijazi

In this article, we report on the efficiency and effectiveness of multiagent reinforcement learning methods (MARL) for the computation of flight delays to resolve congestion problems in the Air Traffic Management (ATM) domain. Specifically,…

As industries increasingly adopt large robotic fleets, there is a pressing need for computationally efficient, practical, and optimal conflict-free path planning for multiple robots. Conflict-Based Search (CBS) is a popular method for…

Robotics · Computer Science 2025-01-30 Scott Fredriksson , Yifan Bai , Akshit Saradagi , George Nikolakopoulos

Escalating air traffic demand is driving the adoption of automation to support air traffic controllers, but existing approaches face a trade-off between safety assurance and interpretability. Optimisation-based methods such as reinforcement…

Artificial Intelligence · Computer Science 2026-01-12 Paul Kent , George De Ath , Martin Layton , Allen Hart , Richard Everson , Ben Carvell

Air traffic control is a real-time safety-critical decision making process in highly dynamic and stochastic environments. In today's aviation practice, a human air traffic controller monitors and directs many aircraft flying through its…

Machine Learning · Computer Science 2019-05-07 Marc Brittain , Peng Wei

Conflict-Based Search (CBS) is a popular multi-agent path finding (MAPF) solver that employs a low-level single agent planner and a high-level constraint tree to resolve conflicts. The vast majority of modern MAPF solvers focus on improving…

Artificial Intelligence · Computer Science 2024-03-26 Rishi Veerapaneni , Tushar Kusnur , Maxim Likhachev

Multi-agent motion planning (MAMP) is a critical challenge in applications such as connected autonomous vehicles and multi-robot systems. In this paper, we propose a space-time conflict resolution approach for MAMP. We formulate the problem…

Robotics · Computer Science 2023-05-02 Anirudh Chari , Rui Chen , Changliu Liu

This paper addresses the air traffic flow management research problem of determining reroute, ground delay and air delay for flights using stochastic weather forecast information. The overall goal is to minimize system-wide reroute and…

Optimization and Control · Mathematics 2019-03-12 Guodong Zhu , Peng Wei

Efficient performance of a number of engineering systems is achieved through different modes of operation - yielding systems described as "hybrid", containing both real-valued and discrete decision variables. Prominent examples of such…

Optimization and Control · Mathematics 2019-10-22 Ehsan Taheri , John L. Junkins , Ilya Kolmanovsky , Anouck Girard

Machine scheduling problems involving conflict jobs can be seen as a constrained version of the classical scheduling problem, in which some jobs are conflict in the sense that they cannot be proceeded simultaneously on different machines.…

Data Structures and Algorithms · Computer Science 2021-02-12 Minh Hoàng Hà , Dinh Quy Ta , Trung Thanh Nguyen

Efficient utilization of cooperating robots in the assembly of aircraft structures relies on balancing the workload of the robots and ensuring collision-free scheduling. We cast this problem as that of allocating a large number of…

The effectiveness of resource allocation under emergencies especially hurricane disasters is crucial. However, most researchers focus on emergency resource allocation in a ground transportation system. In this paper, we propose…

Multiagent Systems · Computer Science 2021-07-13 Kai Zhang , Yupeng Yang , Chengtao Xu , Dahai Liu , Houbing Song

Bipartite matching systems arise in many settings where agents or tasks from two distinct sets must be paired dynamically under compatibility constraints. We consider a high-dimensional bipartite matching system under uncertainty and seek…

Optimization and Control · Mathematics 2025-10-20 Baris Ata , Yaosheng Xu

A variant of the well-known Shortest Path Problem is studied in this paper, where pairs of conflicting arcs are provided, and for each conflicting pair a penalty is paid once neither or both of the arcs are selected. This configures a set…

Optimization and Control · Mathematics 2025-06-05 Roberto Montemanni , Derek H. Smith

Traditional Learning-To-Rank (LETOR) approaches, including pairwise methods like RankNet and LambdaMART, often fall short by solely focusing on pairwise comparisons, leading to sub-optimal global rankings. Conversely, deep learning based…

Artificial Intelligence · Computer Science 2025-03-25 Weixian Waylon Li , Yftah Ziser , Yifei Xie , Shay B. Cohen , Tiejun Ma

The development of urban-air-mobility (UAM) is rapidly progressing with spurs, and the demand for efficient transportation management systems is a rising need due to the multifaceted environmental uncertainties. Thus, this paper proposes a…

Multiagent Systems · Computer Science 2023-06-08 Chanyoung Park , Gyu Seon Kim , Soohyun Park , Soyi Jung , Joongheon Kim

Preflight planning for large-scale Unmanned Aerial Vehicle (UAV) fleets in dynamic, shared airspace presents significant challenges, including temporal No-Fly Zones (NFZs), heterogeneous vehicle profiles, and strict delivery deadlines.…

This paper discusses the effect of sequential conflict resolution maneuvers of an infinite aircraft flow through a finite control volume. Aircraft flow models are utilized to simulate traffic flows and determine stability. Pseudo-random…

Optimization and Control · Mathematics 2010-10-05 Troy Hand , Zhi-Hong Mao , Eric Feron