The formalization of system engineering models and approaches.
file
Abstract
The original goals of this project were to take an existing open surgical robot testbed (the RAVEN robot), and to create a robust infrastructure for cyber-physical systems with which to extend traditional real-time control and teleoperation concepts. This is done by adding three new interfaces to the system: