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.
Master’s thesis, Norwegian University of Life Sciences, Ås, Norway
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
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.