Highlights Formal representation of multi-drone missions with spatial, temporal and reactive requirements. Trajectory planning optimization for robustly satisfying such multi-drone missions. Case studies in urban and rural scenarios over long mission horizons. Scalability beyond state-of-art, and a graphical interface for easily specifying missions.

    Abstract In this work, we present an integrated Framework for Autonomous Drone Safety (FADS). The demand for safe and efficient mobility of people and goods is growing rapidly, in line with the growth in population in US urban centers. In response, new technologies to meet these urban mobility demands are also rapidly maturing in preparation for future full-scale deployment. As surface congestion increases and the technology surrounding unmanned aerial systems (UAS) matures, more people are looking to the urban airspace and Urban Air Mobility (UAM) as a piece of the puzzle to promote mobility in cities. However, the lack of coordination between UAS stakeholders, federal UAS safety regulations, and researchers developing UAS algorithms continues to be a critical barrier to widespread UAS adoption. FADS takes into account federal UAS safety requirements, UAM challenge scenarios, contingency events, as well as stakeholder-specific operational requirements. FADS formalizes these requirements, through Signal Temporal Logic (STL) representations, and a trajectory planning optimization for multi-rotor UAS fleets guarantees robust and continuous-time satisfaction of the requirements and mission objectives. The intuitive FADS user interface makes it easy to plan missions in a variety of environments; we demonstrate this through several rural and urban environment-based case studies. FADS holistically integrates high-level stakeholder objectives with low-level trajectory planning; combined with a user-friendly interface, FADS reduces the complexity of stakeholder coordination within the UAM context.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning


    Beteiligte:
    Pant, Yash Vardhan (Autor:in) / Li, Max Z. (Autor:in) / Rodionova, Alena (Autor:in) / Quaye, Rhudii A. (Autor:in) / Abbas, Houssam (Autor:in) / Ryerson, Megan S. (Autor:in) / Mangharam, Rahul (Autor:in)


    Erscheinungsdatum :

    2021-06-18




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Safe Trajectory Planning for Safety Critical Drone Delivery

    Almozel, Amin / Feron, Eric M. / Saber, Safa I. et al. | AIAA | 2023


    Safe Trajectory Planning for Safety Critical Drone Delivery

    Almozel, Amin / Feron, Eric M. / Saber, Safa I. et al. | TIBKAT | 2023


    Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking

    Kloock, Maximilian / He, Qingyun / Kowalewski, Stefan et al. | IEEE | 2021



    A Temporal CNN-based Approach for Autonomous Drone Racing

    Rojas-Perez, L. Oyuki / Martinez-Carranza, J. | IEEE | 2019