Accessibility setting

Section: New Results

Surgical Process Mining with Test and Flip Net Synthesis

Participant : Benoît Caillaud.

Surgical process modeling aims at providing an explicit representation of surgical procedural knowledge. Surgical process models are inferred from a set of surgical procedure recordings, and represent in a concise manner concurrency, causality and conflict relations between actions. In the context of the S3PM project (Section  8.1 ), we have investigated the use of test and flip nets, a mild extension of flip-flop nets, to represent surgical process models. A test and flip net synthesis algorithm, based on linear algebraic methods in the $Z/2Z$ ring is detailed. Experimental results regarding the use of this synthesis algorithm to automate the construction of simple surgical process models are also presented.