Formal verification of robotic surgery tasks by reachability analysis

    Microprocessors and Microsystems: Embedded Hardware Design, Volume 39, Issue 8, 2015.

    Cited by: 10|Bibtex|Views1|Links
    EI

    Abstract:

    In this paper we discuss the application of formal methods for the verification of properties of control systems designed for autonomous robotic systems. We illustrate our proposal in the context of surgery by considering the automatic execution of a simple action such as puncturing. To prove that a sequence of subtasks planned on pre-ope...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments