Robotic Surgery
Robotic Surgery
复制标题
DOI：
10.1109/mra.2011.942112
复制
发表时间：
2011-09
期刊：
影响因子：
--
通讯作者：
R. Muradore;D. Bresolin;Luca Geretti;P. Fiorini;T. Villa
中科院分区：
文献类型：
--
作者：
R. Muradore;D. Bresolin;Luca Geretti;P. Fiorini;T. Villa
在本文中，我们讨论验证为自主机器人系统设计的控制系统属性的形式方法。在过去的几十年里，机器人技术在外科手术的进步中发挥了重要作用。手术室中机器人的使用催生了新的术语：机器人辅助手术、医疗机器人、康复机器人、远程手术、机器人辅助系统等。由于机器人手术是一个相对较新的研究领域，尽管医学界对此很感兴趣并且提出了迫切的要求，但还没有既定的方法将新的概念和操作程序引入外科实践中。
In this article, we discuss formal methods for the verification of properties of control systems designed for autonomous robotic systems. In the last few decades, robotics played a relevant role in the progress of surgery. The use of robots in the operating rooms has given rise to new terminologies: robot-assisted surgery, medical robotics, rehabilitation robotics, telesurgery, robotic assistive systems, and so on. Since robotic surgery is a relatively new field of investigation, there are no established methods for bringing new concepts and operational procedures to the surgical practice, in spite of the interest and pressing requests of the medical community.