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.
Submitted by Matthew Might
on
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.
Submitted by Matthew Might
on