Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James A. et al. (2 more authors) (Accepted: 2022) Safety Controller Synthesis for a Mobile Manufacturing Cobot. In: Software Engineering and Formal Methods 2022:Proceedings. Software Engineering and Formal Methods, 28-30 Sep 2022, Humboldt University. Lecture Notes in Computer Science . Springer , DEU (In Press)
Abstract
We present a case study in which probabilistic model checking has been used to synthesise the correct-by-construction safety controller for a mobile collaborative robot (\emph{cobot}) deployed in a prototype manufacturing cell alongside a human operator. The case study used an ICONSYS iAM-R mobile cobot responsible for the execution of a complex machining process comprising tasks requiring the use of multiple machines at different locations within the cell. Within this process, the role of the safety controller was to ensure that the cobot carried out its tasks and movements between task locations without harming the human operator responsible for its supervision and for performing additional tasks. The paper describes our generalisable approach to synthesising the mobile cobot safety controller, and its evaluation using a digital twin of our experimental manufacturing cell at the University of Sheffield Advanced Manufacturing Research Centre in the UK.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 12 Aug 2022 11:50 |
Last Modified: | 11 Feb 2025 00:06 |
Status: | In Press |
Publisher: | Springer |
Series Name: | Lecture Notes in Computer Science |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:189758 |
Download
Filename: Safety_Controller_Synthesis_for_a_Mobile_Manufacturing_Cobot.pdf
Description: Safety Controller Synthesis for a Mobile Manufacturing Cobot