A modular digital twinning framework for safety assurance of collaborative robotics

Douthwaite, J.A., Lesage, B., Gleirscher, M. et al. (4 more authors) (2021) A modular digital twinning framework for safety assurance of collaborative robotics. Frontiers in Robotics and AI, 8. 758099. ISSN 2296-9144

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2021 Douthwaite, Lesage, Gleirscher, Calinescu, Aitken, Alexander and Law. This is an open-access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
Keywords: collaborative robot safety; digital twins; modular framework; risk-informed software synthesis; probabilistic model checking; automated code generation; human-robot collaboration; robotics
Dates:
  • Accepted: 19 November 2021
  • Published (online): 10 December 2021
  • Published: 10 December 2021
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
LLOYDS REGISTER FOUNDATIONnan
Engineering and Physical Sciences Research CouncilEP/V026747/1
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCILEP/V026747/1
UNIVERSITY OF YORKUNSPECIFIED
Depositing User: Symplectic Sheffield
Date Deposited: 12 Jan 2022 17:27
Last Modified: 12 Jan 2022 17:27
Status: Published
Publisher: Frontiers Media SA
Refereed: Yes
Identification Number: https://doi.org/10.3389/frobt.2021.758099
Related URLs:

Export

Statistics