Automation enhances the capabilities of unmanned aerial vehicles (UAVs) by enabling self-determined behavior, while reducing the need for extensive human involvement. Future concepts envision a single human operator commanding multiple autonomous UAVs with minimal supervision. Despite advances in automation, there remains a demand for a “human in command” to assume overall responsibility, driven by concerns about UAV safety and regulatory compliance. In response to these challenges, a method for runtime verification of UAVs using a knowledge-based system is introduced. This method empowers human operators to identify unsafe behavior without assuming full control of the UAV. Aspects of automated formalization, updating and processing of knowledge elements at runtime, coupled with an automatic reasoning process, are considered. The result is an ontology-based approach for runtime verification, addressing the growing complexity of UAVs and the need to ensure safety in the context of evolving aviation regulations.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Rule-Based Verification of Autonomous Unmanned Aerial Vehicles


    Beteiligte:


    Erscheinungsdatum :

    2024




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    Autonomous Control of Unmanned Aerial Vehicles

    Becerra, Victor | TIBKAT | 2019

    Freier Zugriff

    Autonomous control of unmanned aerial vehicles

    DUGGAN DAVID S / FELIO DAVID A / PATE BILLY B et al. | Europäisches Patentamt | 2015

    Freier Zugriff

    Autonomous Operation Of Unmanned Aerial Vehicles

    ZHU JACK LOUIS / GRASBERGER CHRISTOPHER BRIAN / BACHRACH ABRAHAM GALTON et al. | Europäisches Patentamt | 2024

    Freier Zugriff

    Autonomous Control of Unmanned Aerial Vehicles

    Becerra, Victor | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2019

    Freier Zugriff

    Using unmanned aerial vehicles to inspect autonomous vehicles

    MYERS SCOTT VINCENT / CRAWFORD MARK / BANVAIT HARPREETSINGH et al. | Europäisches Patentamt | 2021

    Freier Zugriff