Distributed Control Architecture for Automated Surgical Task Execution with Coordinated Robot Arms

Abstract The paper describes a robot control and coordination framework for the automation of surgical tasks. In the proposed framework, surgeons are supported by autonomous robotic assistants and do not teleoperate robots, unless in case of exceptions in the tasks of the robots. Such robots perform basic surgical actions by combining sensing, dexterity and cognitive capabilities. The goal is achieved thanks to rigorous assessment of surgical requirements, formal specification of robotic system behavior, including multiple arm coordination and human/system interaction, and control software development with state-of-the-art component-based technologies. The paper presents an experimental setup composed of two robots operating on a US-compatible phantom, demonstrating the feasibility of the approach.

[1]  V. Santinelli,et al.  Robotic magnetic navigation for atrial fibrillation ablation. , 2006, Journal of the American College of Cardiology.

[2]  Sompol Permpongkosol,et al.  Percutaneous renal cryoablation. , 2006, Urology.

[3]  Luciano Baresi,et al.  Fuzzy Goals for Requirements-Driven Adaptation , 2010, 2010 18th IEEE International Requirements Engineering Conference.

[4]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[5]  Marcello Bonfè,et al.  Verification of Behavioral Substitutability in Object-Oriented Models for Industrial Controllers , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[6]  Gerd Hirzinger,et al.  Planning and control of a teleoperation system for research in minimally invasive robotic surgery , 2009, 2009 IEEE International Conference on Robotics and Automation.

[7]  Darius Burschka,et al.  Automation of Manual Tasks for Minimally Invasive Surgery , 2008, Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08).

[8]  Riccardo Muradore,et al.  Real-time biopsy needle tip estimation in 2D ultrasound images , 2013, 2013 IEEE International Conference on Robotics and Automation.

[9]  Cristian Secchi,et al.  An algorithm for planning the number and the pose of the iceballs in cryoablation , 2013, 2013 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

[10]  Herman Bruyninckx,et al.  Coordinating Robotic Tasks and Systems with rFSM Statecharts , 2012 .

[11]  Kenneth L. McMillan,et al.  Symbolic model checking: an approach to the state explosion problem , 1992 .

[12]  M. Bonfe,et al.  Towards automated surgical robotics: A requirements engineering approach , 2012, 2012 4th IEEE RAS & EMBS International Conference on Biomedical Robotics and Biomechatronics (BioRob).

[13]  Gregory D. Hager,et al.  3D thread tracking for robotic assistance in tele-surgery , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[14]  M. Kruusmaa,et al.  Development of high fidelity liver and kidney phantom organs for use with robotic surgical systems , 2012, International Conference on Biomedical Robotics and Biomechatronics.