[131443]
Title: An Online Model Checking Approach to Soft-Tissue Detection for Rupture CURAC 2019 Tagungsband Reutlingen
Written by: S.-T. Antoni and S. Lehmann and S. Schupp and A. Schlaefer
in: CURAC 2019 Tagungsband Reutlingen Sep 2019
Volume: 1 Number:
on pages: 83-88
Chapter:
Editor:
Publisher:
Series:
Address:
Edition:
ISBN:
how published:
Organization:
School:
Institution:
Type:
DOI:
URL: https://www.curac.org/images/advportfoliopro/images/CURAC2019/Tagungsband_Reutlingen
ARXIVID:
PMID:

[www] [BibTex]

Note:

Abstract: 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

To top