Author :
Muradore, Riccardo ; Bresolin, Davide ; Geretti, Luca ; Fiorini, Paolo ; Villa, Tiziano
Author_Institution :
Dept. of Comput. Sci., Univ. of Verona, Verona, Italy
Abstract :
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.
Keywords :
medical robotics; mobile robots; patient rehabilitation; surgery; telerobotics; autonomous robotic system; control system; formal method; medical robotics; property verification; rehabilitation robotics; robot-assisted surgery; robotic assistive systems; robotic surgery; telesurgery; Medical services; Medical treatment; Mobile robots; Robot control; Surgery; Telerobotics;
Journal_Title :
Robotics & Automation Magazine, IEEE
DOI :
10.1109/MRA.2011.942112
