Options
An online model checking approach to soft-tissue detection for rupture
Publikationstyp
Conference Paper
Date Issued
2019-09
Sprache
English
Author(s)
TORE-URI
Start Page
83
End Page
88
Citation
CURAC 2019 - Tagungsband : 18. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie e.V.: 83 - 88 (2019)
Contribution to Conference
Publisher
Hochschule Reutlingen, Fakultät Informatik
Robotic needle insertion based on haptic feedback can be imprecise and error\-prone, especially for sudden force changes in case of ruptures. To predict rupture events early during tissue deformation, knowledge is required about the type and characteristics of the tissues involved. Several approaches to this exist and increase system complexity by including additional sensors or imaging modalities. We introduce a new approach based on formal model checking, which allows us to identify tissue by a directed search through the state space of a needle insertion model. Using force data measured at the needle shaft during cutting motion, our method identifies the most probable tissue iteratively at run\-time, based on a priori information of possible tissues. In a case study of needle insertions into gelatin phantoms with varying gelatin\-water ratios, our approach allowed 90.7% correct identifications and may thus be considered to identify tissue during robotic needle insertion
DDC Class
004: Informatik