Surgical Process Mining with Test and Flip Net Synthesis

Benoît Caillaud 1, 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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. The paper presents preliminary results regarding 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-00872284
Contributor : Benoît Caillaud <>
Submitted on : Friday, October 11, 2013 - 3:56:45 PM
Last modification on : Thursday, November 15, 2018 - 11:58:48 AM
Long-term archiving on : Friday, April 7, 2017 - 10:01:20 AM

File

caillaud-art13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00872284, version 1

Citation

Benoît Caillaud. Surgical Process Mining with Test and Flip Net Synthesis. Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54. ⟨hal-00872284⟩

Share

Metrics

Record views

1994

Files downloads

296