Timed-automata-based model for laparoscopic surgery and intraoperative motion recognition of a surgeon as the interface connecting the surgical scenario and the real operating room

International Journal of Computer Assisted Radiology and Surgery

Volumn 1, Issue SUPPL. 7, 2006, Pages 442-445

  Ohnuma, K ^a   Masamune, K ^b   Yoshimitsu, K ^a   Sadahiro, T ^a   Vain, J ^c   Fukui, Y ^a   Miyawaki, F ^a  

^a TOKYO DENKI UNIVERSITY   (Japan)

^b UNIVERSITY OF TOKYO   (Japan)

^c TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

Author keywords

Intraoperative motion analysis; Laparoscopic surgery; Scrub nurse robot (SNR); Surgical scenario; Timed automata

Indexed keywords

EID: 33748976519     PISSN: 18616410     EISSN: 18616429     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. Cleaty K, Ngyuyen C (2001) State of the art in surgical robotics: clinical applications and technology challenges. Comp Aided Surg 6:312-328
2. Masamune K et al (2001) System for robotically assisted percutaneous procedures with computed tomography guidance. Comput Aided Surg 6:370-383
3. Yoshimitsu K, Tanaka T, Ohnuma K et al (2005) Prototype development of scrub nurse robot for laparoscopic surgery. Int Congr Ser 1281 Elsevier Science 845-850
4. Worn H. Mühling J (2001) Computer and robot based operation theatre of the future in cranio facial surgery. Int Congr Ser 1230 Elsevier Science 707-712
5. Schorr O et al (2004) Supporting operation planning by workflows. ICS 1268 Elsevier 1345
6. Alur R, Dill DL (1994) A theory of timed automata. Theor Comp Sci 126:183-235
7. Ohnuma K et al (2005) Surgical scenario for laparoscopic surgery with timed automata. Int Congr Ser 1281 Elsevier Science 1345
8. Uppaal tool HP, http://www.uppaal.com