English
Related papers

Related papers: Aircraft Ground Taxiing Deduction and Conflict Ear…

200 papers

Accurate recognition of aviation commands is vital for flight safety and efficiency, as pilots must follow air traffic control instructions precisely. This paper addresses challenges in speech command recognition, such as noisy environments…

Sound · Computer Science 2024-07-01 Yuanxi Lin , Tonglin Zhou , Yang Xiao

The transactional conflict problem arises in transactional systems whenever two or more concurrent transactions clash on a data item. While the standard solution to such conflicts is to immediately abort one of the transactions, some…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-04 Dan Alistarh , Syed Kamran Haider , Raphael Kübler , Giorgi Nadiradze

Traffic collision avoidance systems (TCAS) are used in order to avoid incidences of mid-air collisions between aircraft. We present a game-theoretic approach of a TCAS designed for autonomous unmanned aerial vehicles (UAVs). A variant of…

Robotics · Computer Science 2016-03-18 Michalis Smyrnakis , Jonathan M. Aitken , Sandor M. Veres

Since flight delay hurts passengers, airlines, and airports, its prediction becomes crucial for the decision-making of all stakeholders in the aviation industry and thus has been attempted by various previous research. However, previous…

Machine Learning · Computer Science 2024-10-08 Ke Liu , Kaijing Ding , Xi Cheng , Guanhao Xu , Xin Hu , Tong Liu , Siyuan Feng , Binze Cai , Jianan Chen , Hui Lin , Jilin Song , Chen Zhu

Unmanned aerial vehicles (UAVs) are a relatively new technology. Their application can often involve complex and unseen problems. For instance, they can work in a cooperative-based environment under the supervision of a ground station to…

A distributed control of vehicle platooning is referred to as distributed consensus (DC) since many autonomous vehicles (AVs) reach a consensus to move as one body with the same velocity and inter-distance. For DC control to be stable,…

Information Theory · Computer Science 2022-11-14 Jihoon Lee , Yonghoon Jang , Hansol Kim , Seong-Lyun Kim , Seung-Woo Ko

With the rising use of aircrafts for operations ranging from disaster-relief to warfare, there is a growing risk of adversarial attacks. Malicious entities often only require the location of the aircraft for these attacks. Current…

Cryptography and Security · Computer Science 2023-12-04 Yaman Jandali , Nojan Sheybani , Farinaz Koushanfar

When pushing the speed limit for aggressive off-road navigation on uneven terrain, it is inevitable that vehicles may become airborne from time to time. During time-sensitive tasks, being able to fly over challenging terrain can also save…

Robotics · Computer Science 2026-02-16 Anuj Pokhrel , Aniket Datar , Xuesu Xiao

Separation provision and collision avoidance to avoid other air traffic are fundamental components of the layered conflict management system to ensure safe and efficient operations. Pilots have visual-based separation responsibilities to…

Computational Engineering, Finance, and Science · Computer Science 2023-07-13 Ngaire Underhill , Evan Maki , Bilal Gill , Andrew Weinert

This article is devoted to addressing the cloud control of connected vehicles, specifically focusing on analyzing the effect of bi-directional communication-induced delays. To mitigate the adverse effects of such delays, a novel…

Systems and Control · Electrical Eng. & Systems 2023-12-12 Ji-An Pan , Qing Xu , Keqiang Li , Chunying Yang , Jianqiang Wang

This paper investigates the problem of impact-time-control and proposes a learning-based computational guidance algorithm to solve this problem. The proposed guidance algorithm is developed based on a general prediction-correction concept:…

Machine Learning · Computer Science 2021-05-31 Zichao Liu , Jiang Wang , Shaoming He , Hyo-Sang Shin , Antonios Tsourdos

Formation flight is when multiple objects fly together in a coordination. Various automatic control methods have been used for the autonomous execution of formation flight of aerial vehicles. In this paper, the capacity of the model…

Robotics · Computer Science 2023-12-05 Harun Celik , Dilara Kilinc

In the present scenario of domestic flights in USA, there have been numerous instances of flight delays and cancellations. In the United States, the American Airlines, Inc. have been one of the most entrusted and the world's largest airline…

Machine Learning · Computer Science 2019-03-19 Navoneel Chakrabarty

Horizontal collaboration between operators can save traffic operation costs, a concept that has been particularly validated in the logistics field. Due to the increasing transportation demand and the introduction of charging times for…

Optimization and Control · Mathematics 2024-09-04 Dan-Wen Bao , Jia-Yi Zhou , Di Kang , Zhuo Chen

Low delay is an explicit requirement for applications such as cloud gaming and video conferencing. Delay-based congestion control can achieve the same throughput but significantly smaller delay than loss-based one and is thus ideal for…

Networking and Internet Architecture · Computer Science 2021-02-22 Maximilian Bachl , Joachim Fabini , Tanja Zseby

Electric vertical takeoff and landing (eVTOL) aircraft operating in high-density urban airspace must maintain safe separation through tactical conflict resolution, yet the energy cost of such maneuvers has not been systematically…

Systems and Control · Electrical Eng. & Systems 2026-04-08 Alex Zongo , Peng Wei

The effects of traffic congestion are adverse, primarily including air pollution, commuter stress, and an increase in vehicle operating costs and accidents on the road. In efforts to alleviate these problems in metropolitan cities,…

Computers and Society · Computer Science 2020-06-22 Suchithra Rajendran , Emily Pagel

Large language models often struggle to recognize their knowledge limits in closed-book question answering, leading to confident hallucinations. While decomposed prompting is typically used to improve accuracy, we investigate its impact on…

Computation and Language · Computer Science 2026-02-05 Dhruv Madhwal , Lyuxin David Zhang , Dan Roth , Tomer Wolfson , Vivek Gupta

A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework's aim is to set out a procedure for proving that the mathematically designed control system of the aircraft satisfies…

Systems and Control · Electrical Eng. & Systems 2020-06-22 Omar A. Jasim , Sandor M. Veres

Multiple parafoil landing is an enabling technology for massive supply delivery missions. However, it is still an open question to design a collision-free, computation-efficient guidance and control method for unpowered parafoils. To…

Robotics · Computer Science 2025-05-27 Zhenyu Wei , Zhijiang Shao , Lorenz T. Biegler