Detection and Prediction of Adverse and Anomalous Events in Medical Robots

Adverse and anomalous (A&A) events are a serious concern in medical robots. We describe a system that can rapidly detect such events and predict their occurrence. As part of this system, we describe simulation, data collection and user interface tools we build for a robot for small animal biopsies. The data we collect consists of both the hardware state of the robot and variables in the software controller. We use this data to train dynamic Bayesian network models of the joint hardware-software state-space dynamics of the robot. Our empirical evaluation shows that (i) our models can accurately model normal behavior of the robot, (ii) they can rapidly detect anomalous behavior once it starts, (iii) they can accurately predict a future A&A event within a time window of it starting and (iv) the use of additional software variables beyond the hardware state of the robot is important in being able to detect and predict certain kinds of events.

[1]  Metin Akay,et al.  Wiley encyclopedia of biomedical engineering , 2006 .

[2]  Sebastian Thrun,et al.  Real-time fault diagnosis [robot fault diagnosis] , 2004, IEEE Robotics & Automation Magazine.

[3]  Nilanjan Sarkar,et al.  Robust Fault Detection of a Robotic Manipulator , 2007, Int. J. Robotics Res..

[4]  Eric P Estey,et al.  Robotic prostatectomy: The new standard of care or a marketing success? , 2013, Canadian Urological Association journal = Journal de l'Association des urologues du Canada.

[5]  Ozkan Bebek,et al.  Kinematic calibration of a parallel robot for small animal biopsies , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[6]  Y. Matsuoka,et al.  Robotics for surgery. , 1999, Annual review of biomedical engineering.

[7]  Raoul Praful Jetley,et al.  A formal methods approach to medical device review , 2006, Computer.

[8]  Russell H. Taylor,et al.  Computer-Integrated Surgery: Technology and Clinical Applications , 1995 .

[9]  Barrett Franklin Robotic surgical systems. , 2006, Biomedical instrumentation & technology.

[10]  Jonathan Jacky,et al.  Model-Based Software Testing and Analysis with C# , 2007 .

[11]  Nir Friedman,et al.  Learning Bayesian Network Structure from Massive Datasets: The "Sparse Candidate" Algorithm , 1999, UAI.

[12]  J. Ross Quinlan,et al.  C4.5: Programs for Machine Learning , 1992 .

[13]  Brian C. Williams,et al.  Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior , 2005, AAAI.

[14]  Of references. , 1966, JAMA.

[15]  P. A. C. Varley Techniques for development of safety-related software for surgical robots , 1999, IEEE Transactions on Information Technology in Biomedicine.

[16]  Bob Djavan,et al.  Open Versus Laparoscopic Versus Robot-Assisted Laparoscopic Prostatectomy: The European and US Experience. , 2010, Reviews in urology.

[17]  Russell H. Taylor,et al.  Medical robotics in computer-integrated surgery , 2003, IEEE Trans. Robotics Autom..

[18]  C. K. Tan,et al.  On safety enhancements for medical robots , 1996 .

[19]  Vijay K. Goel,et al.  Wiley Encyclopedia of Biomedical Engineering, vols 1-6 , 2007 .

[20]  James A. Whittaker,et al.  Model‐Based Software Testing , 2002 .

[21]  Philippe Poignet,et al.  Medically safe and sound [human-friendly robot dependability] , 2004, IEEE Robotics & Automation Magazine.

[22]  Leo Breiman,et al.  Classification and Regression Trees , 1984 .

[23]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[24]  Wan Sing Ng,et al.  Hazard analysis of EUCLIDIAN: An image-guided robotic brachytherapy system , 2007, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[25]  Bruce H. Krogh,et al.  Parameter Synthesis for Hybrid Systems with an Application to Simulink Models , 2009, HSCC.

[26]  S. B. Ellenby Safety issues concerning medical robotics , 1994 .

[27]  Robyn R. Lutz,et al.  Operational anomalies as a cause of safety-critical requirements evolution , 2003, J. Syst. Softw..

[28]  Keiji Kanazawa,et al.  A model for reasoning about persistence and causation , 1989 .

[29]  Murat Cenk Cavusoglu,et al.  Modeling of needle-tissue interaction forces during surgical suturing , 2012, 2012 IEEE International Conference on Robotics and Automation.

[30]  Alessandro De Luca,et al.  Relaxed fault detection and isolation: An application to a nonlinear case study , 2006, Autom..

[31]  Michael R. Lyu,et al.  Handbook of software reliability engineering , 1996 .

[32]  Andy Podgurski,et al.  Causal inference for statistical fault localization , 2010, ISSTA '10.

[33]  Ozkan Bebek,et al.  Design of a small animal biopsy robot , 2008, 2008 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[34]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

[35]  Lerner Ej Computer-integrated surgery. , 1997, New Jersey medicine : the journal of the Medical Society of New Jersey.

[36]  Koushik Sen,et al.  DART: directed automated random testing , 2005, PLDI '05.

[37]  Whole Grain Label Statements Guidance for Industry and FDA Staff , 2006 .

[38]  Ian D. Walker,et al.  Fault identification for robot manipulators , 2005, IEEE Transactions on Robotics.

[39]  Chee-Keong Kwoh,et al.  The safety issues of medical robotics , 2001, Reliab. Eng. Syst. Saf..