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.
Type de document :
Communication dans un congrès
Robin Bergenthum and Josep Carmona. Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54, 2013
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00872284
Contributeur : Benoît Caillaud <>
Soumis le : vendredi 11 octobre 2013 - 15:56:45
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : vendredi 7 avril 2017 - 10:01:20

Fichier

caillaud-art13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00872284, version 1

Citation

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

Partager

Métriques

Consultations de la notice

1601

Téléchargements de fichiers

262