A Decentralized Framework to Support UAS Merging and Spacing Operations in Urban Canyons

Balachandran, Swee; Manderino, Christopher; Muñoz, César; Consiglio, Maria

doi:10.1109/icuas48674.2020.9213973

Cited by 6 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The loss of safe separation can have catastrophic consequences such as near mid-air collisions (NMAC) [34] and wake-vortex induced rolls [40]. Centralized techniques for air traffic management, that require either human air traffic controllers or dedicated ground stations for coordinating the safe operation of aircraft, will be insufficient as they are prone to human errors [58] and failures, and are economically infeasible [7]. Therefore, there is a need for developing decentralized UAS traffic management (UTM) protocols and standards for future UAM operations that will allow aircraft to autonomously coordinate and maintain safe separation.…”

Section: Introductionmentioning

confidence: 99%

Formal Guarantees of Timely Progress for Distributed Knowledge Propagation

Paul

Patterson

Varela

2021

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Autonomous air traffic management (ATM) operations for urban air mobility (UAM) will necessitate the use of distributed protocols for decentralized coordination between aircraft. As UAM operations are time-critical, it will be imperative to have formal guarantees of progress for the distributed protocols used in ATM. Under asynchronous settings, message transmission and processing delays are unbounded, making it impossible to provide deterministic bounds on the time required to make progress. We present an approach for formally guaranteeing timely progress in a Two-Phase Acknowledge distributed knowledge propagation protocol by probabilistically modeling the delays using theories of the Multicopy Two-Hop Relay protocol and the M/M/1 queue system. The guarantee states a probabilistic upper bound to the time for progress as a function of the probabilities of the total transmission and processing delays being less than two given values. We also showcase the development of a library of formal theories, that is tailored towards reasoning about timely progress in distributed protocols deployed in airborne networks, in the Athena proof assistant.

show abstract

Section: Introductionmentioning

confidence: 99%