Detection and Prediction of Adverse and Anomalous Events in Medical Robots
暂无分享,去创建一个
Feng Cao | Andy Podgurski | Soumya Ray | Kai Liang | Murat Cenk Cavusoglu | Mark Renfrew | Zhuofu Bai
[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..