Unmanned Systems (US) increase their potential when combined into teams, so-called Multi-Robot-Systems (MRS). This potential can be maximized through heterogeneity among the different team members and autonomy of each individual US. At the same time, however, autonomy also constitutes a risk, as it means that the human being no longer retains total control. It is therefore important that all autonomous US within a MRS behave safely during operation. There are different verification techniques that are in principle suitable to ensure this safety. Despite their differences, they all have in common that they rely on an exhaustive and adequately formalized knowledge base of safety requirements to carry out a verification process. Safety-relevant knowledge that has not fully been acquired and formalized is thus not available for verification and is very difficult to integrate retrospectively.This paper presents an approach to acquire and formalize this knowledge in a methodical and objective manner. Applicable to different modalities (air, land water), this interdisciplinary approach allows to identify relevant legal regulations as sources of knowledge, to extract knowledge regarding the safe behavior of MRS from these regulations, to formalize this knowledge and to align and link it in a multimodal way. This generates a unified and formalized connecting point for different verification techniques to ensure the safe operation of heterogeneous MRS.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Acquisition and Formalization of Knowledge to Ensure Safe Behavior of Heterogenous Unmanned Autonomous Systems - An Interdisciplinary Approach




    Publication date :

    2023-06-06


    Size :

    1087276 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Learning Pedestrian Actions to Ensure Safe Autonomous Driving

    Huang, Jia / Gautam, Alvika / Saripalli, Srikanth | IEEE | 2023


    Learning Pedestrian Actions to Ensure Safe Autonomous Driving

    Huang, Jia / Gautam, Alvika / Saripalli, Srikanth | ArXiv | 2023

    Free access

    Knowledge Acquisition for Autonomous Systems

    Lum, Henry / Heer, Ewald | AIAA | 1989


    Knowledge acquisition for autonomous systems

    Lum, Henry / Heer, Ewald | NTRS | 1988


    Autonomous Surface Site Establishment to Ensure Safe Crew Arrival and Operations

    Jones, Christopher A. / Bender, Theresa / Diaz, Manuel J. et al. | AIAA | 2018