Run-time Monitoring for Robot-Assisted Surgery

Kristina Gogoladze; Natasha Alechina; Zhaoyang Jacopo Hu; Haozheng Xu; Romy van Jaarsveld; Jelle P. Ruurda

Run-time Monitoring for Robot-Assisted Surgery

Kristina Gogoladze^*, Natasha Alechina, Zhaoyang Jacopo Hu, Haozheng Xu, Romy van Jaarsveld, Jelle P. Ruurda

^*Corresponding author for this work

Sub Intelligent Systems

Research output: Contribution to journal › Conference article › Academic › peer-review

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.

Original language	English
Pages (from-to)	127-133
Number of pages	7
Journal	CEUR Workshop Proceedings
Volume	3904
Publication status	Published - 19 Jan 2025
Event	6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024 - Bolzano, Italy Duration: 28 Nov 2024 → 29 Nov 2024

Bibliographical note

Publisher Copyright:
© 2024 Copyright for this paper by its authors.

Funding

We gratefully acknowledge funding by NWO project Run-time verification for robot-assisted surgery, OCENW.M.21.377.

Funders	Funder number
Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Keywords

Linear temporal logic
Robot-assisted surgery
Runtime verification

Access to Document

Run-time Monitoring for Robot-Assisted SurgeryFinal published version, 839 KBLicence: CC BY

https://ceur-ws.org/Vol-3904/Licence: CC BY

Cite this

@article{6ea701c6e90341cfbe8a6a320a0a44e3,

title = "Run-time Monitoring for Robot-Assisted Surgery",

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{\textquoteright}s manipulators. Then we describe preliminary work on monitoring using purely kinematic information.",

keywords = "Linear temporal logic, Robot-assisted surgery, Runtime verification",

author = "Kristina Gogoladze and Natasha Alechina and Hu, {Zhaoyang Jacopo} and Haozheng Xu and {van Jaarsveld}, Romy and Ruurda, {Jelle P.}",

note = "Publisher Copyright: {\textcopyright} 2024 Copyright for this paper by its authors.; 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024 ; Conference date: 28-11-2024 Through 29-11-2024",

year = "2025",

month = jan,

day = "19",

language = "English",

volume = "3904",

pages = "127--133",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR WS",

}

TY - JOUR

T1 - Run-time Monitoring for Robot-Assisted Surgery

AU - Gogoladze, Kristina

AU - Alechina, Natasha

AU - Hu, Zhaoyang Jacopo

AU - Xu, Haozheng

AU - van Jaarsveld, Romy

AU - Ruurda, Jelle P.

PY - 2025/1/19

Y1 - 2025/1/19

N2 - 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.

AB - 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.

KW - Linear temporal logic

KW - Robot-assisted surgery

KW - Runtime verification

UR - http://www.scopus.com/inward/record.url?scp=85216696328&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85216696328

SN - 1613-0073

VL - 3904

SP - 127

EP - 133

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024

Y2 - 28 November 2024 through 29 November 2024

ER -

Run-time Monitoring for Robot-Assisted Surgery

Abstract

Bibliographical note

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this