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.


    Access

    Download


    Export, share and cite



    Title :

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



    Publication date :

    2016-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    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. | European Patent Office | 2021

    Free access

    Industrial Human-Robot Collaboration: Maximizing Performance While Maintaining Safety

    Weitschat, Roman | German Aerospace Center (DLR) | 2019

    Free access