Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James et al. (5 more authors) (2021) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2022 The Author(s). Published by Elsevier B.V.
Keywords: software engineering,controller synthesis,formal verification,probabilistic model checking,code generation,risk modelling,human-robot collaboration,cobot safety,manufacturing automation,digital twin
Dates:
  • Published (online): 4 April 2022
  • Published: 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 09 Jun 2021 11:30
Last Modified: 16 Nov 2022 00:36
Published Version: https://doi.org/10.1016/j.scico.2022.102809
Status: Published online
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.scico.2022.102809

Downloads

Filename: ctrsyn_preprint.pdf

Description: ctrsyn-preprint

Licence: CC-BY 2.5

Filename: 1_s2.0_S0167642322000429_main.pdf

Description: 1-s2.0-S0167642322000429-main

Licence: CC-BY 2.5

Share / Export

Statistics