Whereas in classic robotic applications there is a clear segregation between robots and operators, novel robotic and cyber-physical systems have evolved in size and functionality to include the collaboration with human operators within common workspaces. This new application field, often referred to as Human-Robot Collaboration (HRC), raises new challenges to guarantee system safety, due to the presence of operators. We present an innovative methodology, called SAFER-HRC, centered around our logic language TRIO and the companion bounded satisfiability checker Zot, to assess the safety risks in an HRC application. The methodology starts from a generic modular model and customizes it for the target system; it then analyses hazards according to known standards, to study the safety of the collaborative environment.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration



    Erscheinungsdatum :

    01.01.2016



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629




    Physically-Proximal Human-Robot Collaboration: Enhancing Safety and Efficiency Through Intent Prediction

    McGhan, C. / Atkins, E. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2009


    Enhancing Spacecraft Safety Through Formal Verification of Attitude Control Systems

    Song, Chi / Peng, Zhuoyue / Hu, Yang et al. | Springer Verlag | 2025


    HUMAN-ROBOT COLLABORATION

    FELIP LEON JAVIER / AHUJA NILESH / CAMPOS MACIAS LEOBARDO et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    Industrial Human-Robot Collaboration: Maximizing Performance While Maintaining Safety

    Weitschat, Roman | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019

    Freier Zugriff