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. Report.

Abstract

Metadata

Authors/Creators:
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: 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: 25 Oct 2021 23:06
Status: Published
Refereed: No

Download

Filename: ctrsyn_preprint.pdf

Description: ctrsyn-preprint

Share / Export