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.
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration
01.01.2016
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
DDC: | 629 |
British Library Conference Proceedings | 2009
|Enhancing Spacecraft Safety Through Formal Verification of Attitude Control Systems
Springer Verlag | 2025
|Industrial Human-Robot Collaboration: Maximizing Performance While Maintaining Safety
Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
|