University of South Florida

file

Visible to the public Virtually Transparent Epidermal Imagery

Abstract:

We have been developing a novel virtually transparent epidermal imagery (VTEI) system for laparo-endoscopic single-site (LESS) surgery. The system uses a network of multiple, micro wireless cameras and multiview mosaicing technique to obtain a panoramic view of the surgery area. This view provides visual feedback to surgeons with large viewing angles and areas of interest so that the surgeons can improve the safety of surgical procedures by being better aware of where the surgical instruments are relative to tissue and organs.

file

Visible to the public Automatic Abstraction for Verification of Cyber-Physical Systems

Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical  environment, so a formal model must integrate all of these concerns.