The rise of advanced air mobility (AAM) is expected to become a multibillion-dollar industry in the near future. Market-based mechanisms are touted to be an integral part of AAM operations, which comprise heterogeneous operators with private valuations. In this work, we study the problem of designing a mechanism to coordinate the movement of electric vertical take-off and landing (eVTOL) aircraft, operated by multiple operators each having heterogeneous valuations associated with their fleet, between vertiports, while enforcing the arrival, departure, and parking constraints at vertiports. Particularly, we propose an incentive-compatible and individually rational vertiport reservation mechanism that maximizes a social welfare metric, which encapsulates the objective of maximizing the overall valuations of all operators while minimizing the congestion at vertiports. Additionally, we improve the computational tractability of designing the reservation mechanism by proposing a mixed binary linear programming approach that is based on constructing network flow graph corresponding to the underlying problem.

翻译：先进空中交通（AAM）的兴起预计将在不久的将来成为一个价值数十亿美元的产业。基于市场的机制被推崇为AAM运营不可或缺的一部分，其运营涉及具有私有估值的异构运营商。在本工作中，我们研究设计一种机制的问题，该机制用于协调由多个运营商运营的电动垂直起降（eVTOL）飞机在垂直起降场之间的移动，每个运营商都拥有与其机队相关的异构估值，同时强制执行垂直起降场的到达、起飞和停放约束。具体而言，我们提出了一种激励相容且个体理性的垂直起降场预约机制，该机制最大化一个社会福利度量，该度量封装了最大化所有运营商总估值同时最小化垂直起降场拥堵的目标。此外，我们通过提出一种基于构建与底层问题对应的网络流图的混合二进制线性规划方法，提高了设计该预约机制的计算可处理性。