Scrub nurse robot system - Intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery

IEEE Transactions on Industrial Electronics

Volumn 52, Issue 5, 2005, Pages 1227-1235

  Miyawaki, Fujio ^a   Masamune, Ken ^a,b   Suzuki, Satoshi ^a   Yoshimitsu, Kitaro ^a   Vain, Jüri ^c  

^a TOKYO DENKI UNIVERSITY   (Japan)

^b UNIVERSITY OF TOKYO   (Japan)

^c TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

Author keywords

Endoscopic surgery; Human adaptive mechatronics (HAM); Intraoperative motion analysis; Model checking; Scrub nurse robot (SNR); Timed automata

Indexed keywords

ADAPTIVE SYSTEMS; AUTOMATA THEORY; ENDOSCOPY; MATHEMATICAL MODELS; MECHATRONICS; MOTION ESTIMATION; MOTION PLANNING; ROBOT APPLICATIONS; SURGERY;

ENDOSCOPIC SURGERY; HUMAN-ADAPTIVE MECHATRONICS (HAM); INTRAOPERATIVE MOTION ANALYSIS; SCRUB NURSE ROBOT (SNR); TIMED AUTOMATA;

INTELLIGENT ROBOTS;

EID: 27144497824     PISSN: 02780046     EISSN: None     Source Type: Journal    
DOI: 10.1109/TIE.2005.855692     Document Type: Article

References (11)

1. G. S. Guthart and J. J. K. Salisbury, "The intuitive telesurgery system: overview and application," in Proc. IEEE Int. Conf. Robotics and Automation, San Francisco, CA, 2000, pp. 618-621.
2. D. H. Boehm, H. Reichenspurner, C. Detter, M. Arnold, H. Gulbins, B. Meisner, and B. Reichart, "Clinical use of a computer-enhanced surgical robotic system for endoscopic coronary artery bypass grafting on the beating heart," J. Thoracic Cardiovasc. Surg., vol. 48, pp. 198-202, 2000.
3. K. Cleary and C. Nguyen, "State of the art in surgical robotics: clinical applications and technology challenges," Comput. Aided Surg., vol. 6, pp. 312-328, 2001.
4. K. Masamune, G. Fichtinger, A. Patriciu, R. C. Susil, R. H. Taylor, L. R. Kavoussi, J. H. Anderson, I. Sakuma, T. Dohi, and D. Stoianovici, "System for robotically assisted percutaneous procedures with computed tomography guidance," Comput. Aided Surg., vol. 6, pp. 370-383, 2001.
5. M. D. Rossetti, A. Kumar, and R. A. Felder, "Mobile robot simulation of clinical laboratory deliveries," in Proc. 1998 Winter Simulation Conf., Washington, DC, 1998, pp. 1415-1422.
6. T. Hune, K. Larsen, and P. Pettersson, "Guided synthesis of control programs using UPPAAL," in Proc. IEEE ICDCS Inte. Workshop Distributed Systems Verification and Validation, 2000, pp. E15-E22.
7. R. Alur, C. Courcoubetis, and D. Dill, "Model-checking for real-time systems," in Proc. 5th Symp. Logic in Computer Science (LICS'90), 1990, pp. 414-425.
8. M. O. Möller, H. Rueß, and M. Sorea, "Predicate abstraction for dense real-time systems," Electron. Notes Theor. Comput, Sci., vol. 65, pp. 1-20, 2002.
9. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA: MIT Press, 2000.
10. R. Alur, T. A. Henzinger, and M. Y. Vardi, "Parametric real-time reasoning," in Proc. 25th Annu. Symp. Theory of Computing, 1993, pp. 592-601.
11. O. Maler, A. Pnueli, and J. Sifakis, On the Synthesis of Discrete Controllers for Timed Systems. Berlin, Germany: Springer-Verlag, 1995, vol. 900, Theoretical Aspects of Computer Science, LNCS, pp. 229-242.