Verified synthesis of optimal safety controllers for human-robot collaboration

Gleirscher, M., Calinescu, R., Douthwaite, J. orcid.org/0000-0002-7149-0372 et al. (5 more authors) (Submitted: 2021) Verified synthesis of optimal safety controllers for human-robot collaboration. arXiv. (Submitted)

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2021 The Authors. Pre-print available under the terms of the CC-BY-NC-ND licence (https://creativecommons.org/licenses/by-nc-nd/4.0/).
Keywords: risk-informed controller synthesis; formal verification; probabilistic model checking; code generation; collaborative robot safety; digital twins
Dates:
  • Submitted: 11 June 2021
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Funding Information:
FunderGrant number
Lloyds Register FoundationN/A
University of YorkN/A
Depositing User: Symplectic Sheffield
Date Deposited: 30 Jun 2021 09:37
Last Modified: 30 Jun 2021 09:37
Published Version: https://arxiv.org/abs/2106.06604
Status: Submitted
Related URLs:

Download

Export

Statistics