Privacy Preserving Mechanisms for Coordinating Airspace Usage in Advanced Air Mobility

Chinmay Maheshwari,Maria G. Mendoza,Victoria Marie Tuck,Pan-Yang Su,Victor L. Qin,Sanjit A. Seshia,Hamsa Balakrishnan,Shankar Sastry
2024-11-06
Abstract:Advanced Air Mobility (AAM) operations are expected to transform air transportation while challenging current air traffic management practices. By introducing a novel market-based mechanism, we address the problem of on-demand allocation of capacity-constrained airspace to AAM vehicles with heterogeneous and private valuations. We model airspace and air infrastructure as a collection of contiguous regions with constraints on the number of vehicles that simultaneously enter, stay, or exit each region. Vehicles request access to the airspace with trajectories spanning multiple regions at different times. We use the graph structure of our airspace model to formulate the allocation problem as a path allocation problem on a time-extended graph. To ensure the cost information of AAM vehicles remains private, we introduce a novel mechanism that allocates each vehicle a budget of "air-credits" and anonymously charges prices for traversing the edges of the time-extended graph. We seek to compute a competitive equilibrium that ensures that: (i) capacity constraints are satisfied, (ii) a strictly positive resource price implies that the sector capacity is fully utilized, and (iii) the allocation is integral and optimal for each AAM vehicle given current prices, without requiring access to individual vehicle utilities. However, a competitive equilibrium with integral allocations may not always exist. We provide sufficient conditions for the existence and computation of a fractional-competitive equilibrium, where allocations can be fractional. Building on these theoretical insights, we propose a distributed, iterative, two-step algorithm that: 1) computes a fractional competitive equilibrium, and 2) derives an integral allocation from this equilibrium. We validate the effectiveness of our approach in allocating trajectories for two emerging urban air mobility services: drone delivery and air taxis.
Systems and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to effectively allocate limited airspace resources to Advanced Air Mobility (AAM) vehicles with heterogeneity and private value assessment in Advanced Air Mobility (AAM) operations while protecting privacy. Specifically, the paper proposes a market mechanism aiming at: 1. **Privacy protection**: Ensure that the cost information of AAM vehicles (i.e., their valuations for timely access to airspace) remains private and is not disclosed to any other entities. 2. **Efficient allocation**: Maximize the private value of each AAM vehicle while meeting airspace capacity constraints, achieving efficient use of resources. 3. **Dynamic adaptation**: Support the demand for on - demand access to airspace and adapt to the dynamic and flexible characteristics of AAM operations. To achieve these goals, the paper models airspace and infrastructure as a series of continuous regions (or sectors), each with specific capacity constraints that limit the number of AAM vehicles entering, staying in, or leaving the region simultaneously. AAM vehicles apply for airspace access rights by submitting trajectory requests containing multiple time points. The paper further formalizes the allocation problem of these trajectories as a path allocation problem on a time - extended graph. To solve the problems of privacy protection and resource allocation, the paper introduces a new mechanism that uses "air - credits", a virtual currency, to anonymously charge for traversing the edges in the time - extended graph. The goal of the paper is to calculate a competitive equilibrium, ensuring that: - The airspace capacity constraints are met. - If the price of a certain resource is strictly greater than zero, the capacity of that resource is fully utilized. - The allocation is integer and optimal for each AAM vehicle at the current price without accessing the utility function of a single vehicle. However, an integer competitive equilibrium may not exist. Therefore, the paper provides sufficient conditions for the existence of a fractional competitive equilibrium and proposes a distributed, iterative two - step algorithm to calculate the fractional competitive equilibrium and derive an integer allocation from it. This method has been verified in two emerging urban air traffic services - drone delivery and air taxi.