Formal Verification of Medical CPS: A Laser Incision Case Study

    TCPS, Volume 2, Issue 4, 2018, Pages 35:1-35:29.

    Cited by: 0|Bibtex|Views8|Links
    EI
    Keywords:
    Formal verification hybrid systems surgical robotics

    Abstract:

    The use of robots in operating rooms improves safety and decreases patient recovery time and surgeon fatigue, but it introduces new potential hazards that can lead to severe injury or even the loss of human life. Thus, safety has been perceived as a crucial system property since the early days by the industry, the medical community, and t...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments