Urban air mobility (UAM) refers to air transportation services in and over an urban area and has the potential to revolutionize mobility solutions. However, due to the projected scale of operations, current air traffic management (ATM) techniques are not viable. Increasingly autonomous systems are a pathway to accelerate the realization of UAM operations but must be fielded safely and efficiently. The heavily regulated, safety critical nature of aviation may lead to multiple, competing safety constraints that can be traded off based on the operational context. In this paper, we design a framework which allows for the scalable planning of a UAM ATM system. We formalize safety oriented constraints derived from FAA regulations by encoding them as temporal logic formulae. We then propose a method for UAM ATM that is both scalable and minimally violates the temporal logic constraints. Numerical results show that the runtime for our proposed algorithm is suitable for very large problems and is backed by theoretical guarantees of correctness with respect to given temporal logic constraints.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Minimum-Violation Traffic Management for Urban Air Mobility


    Contributors:

    Conference:

    NASA Formal Methods Symposium 2021 ; 2021 ; VIRTUAL, US


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Minimum-Violation Traffic Management for Urban Air Mobility

    Bharadwaj, Suda / Wongpiromsarn, Tichakorn / Neogi, Natasha et al. | British Library Conference Proceedings | 2021


    TRAFFIC VIOLATION MANAGEMENT SYSTEM AND TRAFFIC VIOLATION MANAGEMENT METHOD

    TAKIZAWA KOJI / UENO HIROKI / TANIGUCHI MASAHIRO | European Patent Office | 2016

    Free access

    TRAFFIC VIOLATION MANAGEMENT SYSTEM AND TRAFFIC VIOLATION MANAGEMENT METHOD

    TAKIZAWA KOJI / UENO HIROKI / TANIGUCHI MASAHIRO | European Patent Office | 2016

    Free access

    TRAFFIC VIOLATION MANAGEMENT SYSTEM AND TRAFFIC VIOLATION MANAGEMENT METHOD

    TAKIZAWA KOJI / UENO HIROTERU / TANIGUCHI MASAHIRO | European Patent Office | 2016

    Free access

    TRAFFIC VIOLATION MANAGEMENT SYSTEM AND TRAFFIC VIOLATION MANAGEMENT METHOD

    TAKIZAWA KOJI / UENO HIROTERU / TANIGUCHI MASAHIRO | European Patent Office | 2016

    Free access