MRgHIFU

file

Visible to the public Safety-Oriented Hybrid Verification of Medical Robotics

Abstract:

Motivation and goal: The whole-system design and modeling of complex medical robotics involves analog sensors and actuators; discrete software controllers; piecewise, non-linear, discontinuous biological tissues/media; and probabilistic human administrators.

In the best case, the failure of such systems risks limb. In the worst, life.