An official website of the United States government
Airspace geofencing is a key capability for low-altitude Unmanned Aircraft System (UAS) Traffic Management (UTM). Geofenced airspace volumes can be allocated to safely contain compatible UAS flight operations within a fly-zone (keep-in geofence) and ensure the avoidance of no-fly zones (keep-out geofences). This paper presents the application of three-dimensional flight volumization algorithms to support airspace geofence management for UTM. Layered polygon geofence volumes enclose user-input waypoint-based 3-D flight trajectories, and a family of flight trajectory solutions designed to avoid keep-out geofence volumes is proposed using computational geometry. Geofencing and path planning solutions are analyzed in an accurately mapped urban environment. Urban map data processing algorithms are presented. Monte Carlo simulations statistically validate our algorithms, and runtime statistics are tabulated. Benchmark evaluation results in a Manhattan, New York City low-altitude environment compare our geofenced dynamic path planning solutions against a fixed airway corridor design. A case study with UAS route deconfliction is presented, illustrating how the proposed geofencing pipeline supports multi-vehicle deconfliction. This paper contributes to the nascent theory and the practice of dynamic airspace geofencing in support of UTM.
more »
« less
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems
The key concept for safe and efficient traffic management for Unmanned Aircraft Systems (UAS) is the notion of operation volume (OV). An OV is a 4-dimensional block of airspace and time, which can express an aircraft’s intent, and can be used for planning, de-confliction, and traffic management. While there are several high-level simulators for UAS Traffic Management (UTM), we are lacking a frame- work for creating, manipulating, and reasoning about OVs for heterogeneous air vehicles. In this paper, we address this and present SkyTrakx—a software toolkit for simulation and verification of UTM scenarios based on OVs. First, we illustrate a use case of SkyTrakx by presenting a specific air traffic coordination protocol. This protocol communicates OVs between participating aircraft and an airspace manager for traffic routing. We show how existing formal verification tools, Dafny and Dione, can assist in automatically checking key properties of the protocol. Second, we show how the OVs can be computed for heterogeneous air vehicles like quadcopters and fixed-wing aircraft using another verification technique, namely reachability analysis. Finally, we show that SkyTrakx can be used to simulate complex scenarios involving heterogeneous vehicles, for testing and performance evaluation in terms of workload and response delays analysis. Our experiments delineate the trade-off between performance and workload across different strategies for generating OVs.
more »
« less
- PAR ID:
- 10313892
- Date Published:
- Journal Name:
- EEE International Intelligent Transportation Systems Conference (ITSC)
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Advanced air mobility (AAM) has introduced a new mode of air transportation that can be integrated, providing services including air taxis, which can quickly transport people and cargo from one place to another. However, urban airspace is already congested with commercial air traffic, so there is a need for an efficient and autonomous airspace management system. Establishing structured air corridors and enabling UAS-to-UAS (U2U) communications are essential to achieve autonomy. Air corridors are designated airspace primarily reserved for AAM traffic, which will streamline the movement of unmanned aircraft systems (UAS). Meanwhile, U2U communications facilitate efficient collision avoidance strategies (CAS). A key aspect of this system is the development of CAS, which requires advanced communication protocols to monitor traffic patterns and detect potential collisions. This paper explores designing and implementing CAS using U2U communications. Use cases for U2U communications include merging, minimum separation, information relay, collaborative sensing, and rerouting. All these use cases demand real-time solutions for managing traffic conflicts involving multiple UAS. The CAS discussed in this paper utilizes U2U communications to mitigate the risk of collisions in the airspace and demonstrates how U2U communications can assist in efficient AAM traffic management through simulations.more » « less
-
Safety and efficiency are primary goals of air traffic management. With the integration of unmanned aerial vehicles (UAVs) into the airspace, UAV traffic management (UTM) has attracted significant interest in the research community to maintain the capacity of three-dimensional (3D) airspace, provide information, and avoid collisions. We propose a new decision-making architecture for UAVs to avoid collision by formulating the problem into a multi-agent game in a 3D airspace. In the proposed game-theoretic approach, the Ego UAV plays a repeated two-player normal-form game, and the payoff functions are designed to capture both the safety and efficiency of feasible actions. An optimal decision in the form of Nash equilibrium (NE) is obtained. Simulation studies are conducted to demonstrate the performance of the proposed game-theoretic collision avoidance approach in several representative multi-UAV scenarios.more » « less
-
Air traffic control (ATC) is a safety-critical service system that demands constant attention from ground air traffic controllers (ATCos) to maintain daily aviation operations. The workload of the ATCos can have negative effects on operational safety and airspace usage. To avoid overloading and ensure an acceptable workload level for the ATCos, it is important to predict the ATCos’ workload accurately for mitigation actions. In this paper, we first perform a review of research on ATCo workload, mostly from the air traffic perspective. Then, we briefly introduce the setup of the human-in-the-loop (HITL) simulations with retired ATCos, where the air traffic data and workload labels are obtained. The simulations are conducted under three Phoenix approach scenarios while the human ATCos are requested to self-evaluate their workload ratings (i.e., low-1 to high-7). Preliminary data analysis is conducted. Next, we propose a graph-based deep-learning framework with conformal prediction to identify the ATCo workload levels. The number of aircraft under the controller’s control varies both spatially and temporally, resulting in dynamically evolving graphs. The experiment results suggest that (a) besides the traffic density feature, the traffic conflict feature contributes to the workload prediction capabilities (i.e., minimum horizontal/vertical separation distance); (b) directly learning from the spatiotemporal graph layout of airspace with graph neural network can achieve higher prediction accuracy, compare to hand-crafted traffic complexity features; (c) conformal prediction is a valuable tool to further boost model prediction accuracy, resulting a range of predicted workload labels. The code used is available at Link.more » « less
-
With the advancing development of Advanced Air Mobility (AAM), there is a collaborative effort to increase safety in the airspace. AAM is an advancing field of aviation that aims to contribute to the safe transportation of goods and people using aerial vehicles. When aerial vehicles are operating in high-density locations such as urban areas, it can become crucial to incorporate collision avoidance systems. Currently, there are available pilot advisory systems such as Traffic Collision and Avoidance Systems (TCAS) providing assistance to manned aircraft, although there are currently no collision avoidance systems for autonomous flights. Standards Organizations such as the Institute of Electrical and Electronics Engineers (IEEE), Radio Technical Commission for Aeronautics (RTCA), and General Aviation Manufacturers Association (GAMA) are working to develop cooperative autonomous flights using UAS-to-UAS Communication in structured and unstructured airspaces. This paper presents a new approach for collision avoidance strategies within structured airspace known as “digital traffic lights”. The digital traffic lights are deployed over an area of land, controlling all UAVs that enter a potential collision zone and providing specific directions to mitigate a collision in the airspace. This strategy is proven through the results demonstrated through simulation in a Cesium Environment. With the deployment of the system, collision avoidance can be achieved for autonomous flights in all airspaces.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.1109/ITSC48978.2021.9564492
