17 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.RO2024★ 1 cited
Model Checking and Verification of Synchronisation Properties of Cobot Welding
Yvonne Murray, Henrik Nordlie, David A. Anisi +2
This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must…
cs.RO2021★ 17 cited
Safety assurance of an industrial robotic control system using hardware/software co-verification
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro +2
As a general trend in industrial robotics, an increasing number of safety functions are being developed or re-engineered to be handled in software rather than by physical hardware…