Model checking of a cobot welding cell shows synchronisation holds only under ideal timing assumptions, and the mismatch prompted a recalibration that improved real weld quality.
Title resolution pending
1 Pith paper cite this work, alongside 28 external citations. Polarity classification is still indexing.
1
Pith paper citing it
28
external citations · OpenAlex
fields
cs.RO 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Model Checking and Verification of Synchronisation Properties of Cobot Welding
Model checking of a cobot welding cell shows synchronisation holds only under ideal timing assumptions, and the mismatch prompted a recalibration that improved real weld quality.