Robotic Surgery

• Published in: IEEE robotics & automation magazine Vol. 18; no. 3; pp. 24 - 32
• Main Authors: Muradore, R., Bresolin, D., Geretti, L., Fiorini, P., Villa, T.
• Format: Journal Article
• Language: English
• Published: New York, NY IEEE 01.09.2011; Institute of Electrical and Electronics Engineers; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Applied sciences; Biological and medical sciences; Communities; Computer science; control theory; systems; Control theory. Systems; Exact sciences and technology; Formal method; Medical; Medical sciences; Medical services; Medical treatment; Mobile robots; Rehabilitation; Robot control; Robotics; Robots; Surgery; Surgery (general aspects). Transplantations, organ and tissue grafts. Graft diseases; Telerobotics; Terminology; Surgery; Robotics; Formal verification
• ISSN: 1070-9932; 1558-223X
• DOI: 10.1109/MRA.2011.942112

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.