Corpus ID: 235422558

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

  title={Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration},
  author={Mario Gleirscher and R. Calinescu and James A. Douthwaite and Benjamin Lesage and Colin Paterson and J. Aitken and R. Alexander and James Law},
We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturing processes that use collaborative robots. In human-robot collaboration, software-based safety controllers are used to improve operational safety, e.g., by triggering shutdown mechanisms or emergency stops to avoid accidents. Complex robotic tasks and increasingly close human-robot interaction pose new challenges to… Expand


Formal model of human erroneous behavior for safety analysis in collaborative robotics
A rich non-deterministic formal model of operator behaviors that captures the hazardous situations resulting from human errors is proposed that allows safety engineers to refine their designs until all plausible erroneous behaviors are considered and mitigated. Expand
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration
This work presents an innovative methodology, called SAFER-HRC, centered around the logic language TRIO and the companion bounded satisfiability checker Zot, to assess the safety risks in an HRC application. Expand
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
A risk analysis methodology for collaborative robotic applications is proposed, which is compatible with well-known standards in the area and relies on formal verification techniques to automate the traditional risk analysis methods. Expand
Requirements for Safe Robots: Measurements, Analysis and New Insights
Physical human—robot interaction and cooperation has become a topic of increasing importance and of major focus in robotics research. An essential requirement of a robot designed for high mobilityExpand
Quantitative Safety Guarantees for Physical Human-Robot Interaction
A control scheme for robot manipulators is proposed that restricts the torque commands of a position control algorithm to values that comply to preset safety restrictions and limits the potential impact force of the robot in the case of a collision with a person. Expand
PuRSUE -from specification of robotic environments to synthesis of controllers
The PuRSUE (Planner for RobotS in Uncontrollable Environments) approach, which aims to support developers in the rigorous and systematic design of high-level run-time control strategies for robotic applications, is presented. Expand
Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges
In the immediate future, metrics related to safety and dependability have to be found in order to successfully introduce robots in everyday environments. The crucial issues needed to tackle theExpand
Synthesis for Robots: Guarantees and Feedback for Robot Behavior
The current state of formal synthesis for robotics is reviewed and the landscape of abstract language frameworks for specifying tasks in a mathematically precise language and automatically transforming these specifications into correct-by-construction robot controllers or into a proof that the task cannot be done. Expand
Survey on human–robot collaboration in industrial settings: Safety, intuitive interfaces and applications
An extensive review on human–robot collaboration in industrial environment is provided, with specific focus on issues related to physical and cognitive interaction, and the commercially available solutions are presented. Expand
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
A use case and a workflow for YAP, a research tool for risk modelling and discrete-event safety controller design, is described to derive a safety controller from hazard analysis and risk assessment, to define a design space for this controller, and to select a verified optimal controller instance from this design space. Expand