Health Care

Applications of CPS technologies used in health care.
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 in- volves analog sensors and actuators; discrete software controllers; piecewise, non-linear, discon- tinuous biological tissues/media; and probabilistic human administrators.