Distributed Control Architecture for Automated Surgical Task Execution with Coordinated Robot Arms
暂无分享,去创建一个
Riccardo Muradore | Paolo Fiorini | Marcello Bonfe | Cristian Secchi | Federica Ferraguti | Nicola Preda | Giovanni Lorenzi | Luisa Repele | R. Muradore | P. Fiorini | F. Ferraguti | C. Secchi | M. Bonfè | G. Lorenzi | Nicola Preda | Luisa Repele
[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.