English
Related papers

Related papers: Understanding Realistic Attacks on Airborne Collis…

200 papers

Many wireless communications systems found in aircraft lack standard security mechanisms, leaving them fundamentally vulnerable to attack. With affordable software-defined radios available, a novel threat has emerged, allowing a wide range…

Cryptography and Security · Computer Science 2019-05-21 Matthew Smith , Martin Strohmeier , Jon Harman , Vincent Lenders , Ivan Martinovic

Aircraft collision avoidance systems is critical to modern aviation. These systems are designed to predict potential collisions between aircraft and recommend appropriate avoidance actions. Creating effective collision avoidance systems…

The design of aircraft collision avoidance algorithms is a subtle but important challenge that merits the need for provable safety guarantees. Obtaining such guarantees is nontrivial given the unpredictability of the interplay of the…

Logic in Computer Science · Computer Science 2022-11-23 Rachel Cleaveland , Stefan Mitsch , André Platzer

The decision logic for the ACAS X family of aircraft collision avoidance systems is represented as a large numeric table. Due to storage constraints of certified avionics hardware, neural networks have been suggested as a way to…

Systems and Control · Electrical Eng. & Systems 2020-05-07 Kyle D. Julian , Mykel J. Kochenderfer

Aircraft collision avoidance systems have long been a key factor in keeping our airspace safe. Over the past decade, the FAA has supported the development of a new family of collision avoidance systems called the Airborne Collision…

A growing number of vehicles are being transformed into semi-autonomous vehicles (Level 2 autonomy) by relying on advanced driver assistance systems (ADAS) to improve the driving experience. However, the increasing complexity and…

Software Engineering · Computer Science 2022-07-06 Xugui Zhou , Anna Schmedding , Haotian Ren , Lishan Yang , Philip Schowitz , Evgenia Smirni , Homa Alemzadeh

The proliferation of unmanned aircraft systems (UAS) has caused airspace regulation authorities to examine the interoperability of these aircraft with collision avoidance systems initially designed for large transport category aircraft.…

Artificial Intelligence · Computer Science 2022-12-05 Cooper Cone , Michael Owen , Luis Alvarez , Marc Brittain

The next generation of aircraft collision avoidance systems frame the problem as a Markov decision process and use dynamic programming to optimize the alerting logic. The resulting system uses a large lookup table to determine advisories…

Systems and Control · Computer Science 2019-03-05 Kyle D. Julian , Shivam Sharma , Jean-Baptiste Jeannin , Mykel J. Kochenderfer

In a modern vehicle, there are over seventy Electronics Control Units (ECUs). For an in-vehicle network, ECUs communicate with each other by following a standard communication protocol, such as Controller Area Network (CAN). However, an…

Machine Learning · Computer Science 2020-09-01 Yi Li , Jing Lin , Kaiqi Xiong

Traffic Collision Avoidance Systems (TCAS) are safety-critical systems required on most commercial aircrafts in service today. However, TCAS was not designed to account for malicious actors. While in the past it may have been infeasible for…

Signal Processing · Electrical Eng. & Systems 2020-06-29 Paul M. Berges , Basavesh Ammanaghatta Shivakumar , Timothy Graziano , Ryan Gerdes , Z. Berkay Celik

Adaptive Cruise Control (ACC) is a widely used driver assistance technology for maintaining the desired speed and safe distance to the leading vehicle. This paper evaluates the security of the deep neural network (DNN) based ACC systems…

Cryptography and Security · Computer Science 2025-01-06 Xugui Zhou , Anqi Chen , Maxfield Kouzel , Haotian Ren , Morgan McCarty , Cristina Nita-Rotaru , Homa Alemzadeh

ACAS Xu is an air-to-air collision avoidance system designed for unmanned aircraft that issues horizontal turn advisories to avoid an intruder aircraft. Due the use of a large lookup table in the design, a neural network compression of the…

Numerical Analysis · Mathematics 2022-06-28 Stanley Bak , Hoang-Dung Tran

Collision avoidance is a key factor in enabling the integration of unmanned aerial vehicle into real life use, whether it is in military or civil application. For a long time there have been a large number of works to address this problem;…

Systems and Control · Computer Science 2015-09-01 Hung Pham , Scott A. Smolka , Scott D. Stoller , Dung Phan , Junxing Yang

With advancements in technology, commercial aircraft formation flying is becoming increasingly feasible as an efficient and environmentally friendly flight method. However, gaps remain in practical implementation, particularly in collision…

Systems and Control · Electrical Eng. & Systems 2024-12-02 Songqiying Yang , Ania Adil , Eric Feron

Every year, many people are killed and injured in highway traffic accidents. In order to reduce such casualties, collisions warning systems has been studied extensively. These systems are built by taking the driver reaction times into…

Networking and Internet Architecture · Computer Science 2019-03-05 Ali Rakhshan , Hossein Pishro-Nik , Donald L. Fisher , Mohammad Nekoui

Collision avoidance requires tradeoffs in planning time horizons. Depending on the planner, safety cannot always be guaranteed in uncertain environments given map updates. To mitigate situations where the planner leads the vehicle into a…

Robotics · Computer Science 2022-06-22 Jasmine Cheng , Xuning Yang , Nathan Michael

In this paper, we propose a reachable set based collision avoidance algorithm for unmanned aerial vehicles (UAVs). UAVs have been deployed for agriculture research and management, surveillance and sensor coverage for threat detection and…

Systems and Control · Computer Science 2016-09-27 Yuchen Zhou , John S. Baras

With the advent of vehicles equipped with advanced driver-assistance systems, such as adaptive cruise control (ACC) and other automated driving features, the potential for cyberattacks on these automated vehicles (AVs) has emerged. While…

Multiagent Systems · Computer Science 2025-01-03 Tianyi Li , Mingfeng Shang , Shian Wang , Raphael Stern

While automated vehicles (AVs) are expected to revolutionize future transportation systems, emerging AV technologies open a door for malicious actors to compromise intelligent vehicles. As the first generation of AVs, adaptive cruise…

Dynamical Systems · Mathematics 2024-01-15 Shian Wang , Mingfeng Shang , Raphael Stern

The Adaptive Cruise Control (ACC) system automatically adjusts the vehicle speed to maintain a safe distance between the vehicle and the lead (ahead) vehicle. The controller's decision to accelerate or decelerate is computed using the…

Cryptography and Security · Computer Science 2023-02-03 Mubark B. Jedh , Lotfi ben Othmane , Arun K. Somani
‹ Prev 1 2 3 10 Next ›