Verified synthesis of optimal safety controllers for human-robot collaboration

Verified synthesis of optimal safety controllers for human-robot collaboration

We present a tool-supported approach to the synthesis, verification, and testing of the control software responsible for the safety of human-robot interaction in manufacturing processes that use collaborative robots. In human-robot collaboration, software-based safety controllers are used to improve...

Full description

Bibliographic Details
Main Authors: Aitken, J. (Author), Alexander, R. (Author), Calinescu, R. (Author), Douthwaite, J. (Author), Gleirscher, M. (Author), Law, J. (Author), Lesage, B. (Author), Paterson, C. (Author)
Format: Article
Language:English
Published: Elsevier B.V. 2022
Subjects:
Accident prevention
Automation
Collaborative robot safety
Collaborative robots
Computer aided design
Controllers
Design automations
Digital twins
Formal verification
Human-robot collaboration
Humans-robot interactions
Machine design
Man machine systems
Manufacture
Model checking
Probabilistic model checking
Probabilistic model-checking
Reverse engineering
Risk analysis
Risk assessment
Risk-informed design automation
Robot programming
Robot safety
Safety controller
Safety testing
Software testing
Online Access:View Fulltext in Publisher

Internet

View Fulltext in Publisher

Similar Items