Safety Controller Synthesis for Collaborative Robots

@article{Gleirscher2020SafetyCS,
  title={Safety Controller Synthesis for Collaborative Robots},
  author={Mario Gleirscher and R. Calinescu},
  journal={2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS)},
  year={2020},
  pages={83-92}
}
  • Mario Gleirscher, R. Calinescu
  • Published 2020
  • Computer Science, Engineering
  • 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS)
In human-robot collaboration (HRC), software-based automatic safety controllers (ASCs) are used in various forms (e.g. shutdown mechanisms, emergency brakes, interlocks) to improve operational safety. Complex robotic tasks and increasingly close human-robot interaction pose new challenges to ASC developers and certification authorities. Key among these challenges is the need to assure the correctness of ASCs under reasonably weak assumptions. To address this need, we introduce and evaluate a… Expand
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
Deep Learning Application in Broadcast Tennis Video Annotation
  • Kan Jiang, M. Izadi, Zhaoyu Liu, Jin Song Dong
  • Computer Science
  • 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS)
  • 2020
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

References

SHOWING 1-10 OF 45 REFERENCES
Quantitative Safety Guarantees for Physical Human-Robot Interaction
Characterizing Task-Based Human–Robot Collaboration Safety in Manufacturing
Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges
Towards a planning-based framework for symbiotic human-robot collaboration
An atlas of physical human-robot interaction
...
1
2
3
4
5
...