This work is focused on the formalized reasoning of operational volumes as it relates to the current and future technologies developed by NASA to aid in wildfire fighting operations. One such technology is the unmanned aircraft system pilot kit (UASP-kit) developed by the Scalable Traffic Management for Emergency Response Operations (STEReO) project at NASA, which is used to increase situation awareness for a ground operator in the field. The UASP-kit utilizes operational volumes which represent mission areas and alerting volumes, to alert when another aircraft is within one of these volumes from received ADS-B data. This work is focused on developing a rigorous foundation for the concept of operational volumes for modeling and prototyping operations in such a tool as the UASP-kit. This includes establishing a class of algorithms to detect when an object is in an operational volume, and when an operational volume is intersecting or contained within another. Additionally, this work is focused on providing rigorous proof in an interactive theorem prover that the algorithms work as intended. Scenarios are presented that model current UASP-kit operations and extend past the current capabilities of the technology to modeling more complex scenarios such as mission planning.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formalized Reasoning of Operational Volumes for Wildland Fire Fighting


    Beteiligte:
    J. T. Slagel (Autor:in) / M. Davis (Autor:in) / N. Neogi (Autor:in)

    Erscheinungsdatum :

    2023


    Format / Umfang :

    14 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Formalized Reasoning of Operational Volumes for Wildland Fire Fighting

    Slagel, Tanner / Davis, Maria / Neogi, Natasha A. | AIAA | 2023


    Operational modes for hybrid fire fighting vehicle

    SHIVELY JASON / NEWLIN SETH / KAY DAVID et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    OPERATIONAL MODES FOR ELECTRIFIED FIRE FIGHTING VEHICLE

    SHIVELY JASON / NEWLIN SETH / KAY DAVID et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    Operational modes for hybrid fire fighting vehicle

    SHIVELY JASON / NEWLIN SETH / KAY DAVID et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    OPERATIONAL MODES FOR HYBRID FIRE FIGHTING VEHICLE

    SHIVELY JASON / NEWLIN SETH / KAY DAVID et al. | Europäisches Patentamt | 2021

    Freier Zugriff