Referenced Items are not available for this document.
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.
Published in:
Robotics & Automation Magazine, IEEE
(Volume:18
,
Issue:
3
)
Date of Publication: Sept. 2011
- Page(s):
- 24 - 32
- ISSN :
- 1070-9932
- INSPEC Accession Number:
- 12227729
- Digital Object Identifier :
- 10.1109/MRA.2011.942112
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 12 September 2011
- Issue Date :
- Sept. 2011
- Sponsored by :
- IEEE Robotics and Automation Society
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
