Run-time Monitoring for Robot-Assisted Surgery
Publication date
2025-01-19
Authors
Gogoladze, Kristina
Alechina, Natasha
Hu, Zhaoyang Jacopo
Xu, Haozheng
van Jaarsveld, Romy
Ruurda, Jelle P.
Editors
Advisors
Supervisors
DOI
Document Type
/dk/atira/pure/researchoutput/researchoutputtypes/contributiontojournal/conferencearticle
Metadata
Show full item recordCollections
License
cc_by
Abstract
We present a proposal to support surgeons during robot-assisted surgery. Our approach is based on run-time monitoring for properties that should hold during the surgery, and issuing a warning to the surgeon if they are violated. We outline the general approach involving properties that require both visual input from the cameras as well as kinematic information obtained from the robot’s manipulators. Then we describe preliminary work on monitoring using purely kinematic information.
Keywords
Linear temporal logic, Robot-assisted surgery, Runtime verification, General Computer Science
Citation
Gogoladze, K, Alechina, N, Hu, Z J, Xu, H, van Jaarsveld, R & Ruurda, J P 2025, 'Run-time Monitoring for Robot-Assisted Surgery', CEUR Workshop Proceedings, vol. 3904, pp. 127-133. < https://ceur-ws.org/Vol-3904/ >