Formal Verification of Medical CPS: A Laser Incision Case Study
TCPS, Volume 2, Issue 4, 2018, Pages 35:1-35:29.
Formal verification hybrid systems surgical robotics
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
Full Text (Upload PDF)
PPT (Upload PPT)