Antoni, Sven-ThomasSven-ThomasAntoniLehmann, SaschaSaschaLehmannSchupp, SibylleSibylleSchuppSchlaefer, AlexanderAlexanderSchlaefer2020-01-142020-01-142019CURAC 2019 - Tagungsband : 18. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie e.V. ; 19.-21. September 2019, Reutlingen, Seite 83 - 88 (2019)http://hdl.handle.net/11420/4367Robotic 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 insertionenInformatikConference PaperOther