Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
abstract interpretation
file
Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics
Submitted by
Katie Dey
on Fri, 11/04/2011 - 11:50am. Contributors:
Matthew Might
Ganesh Gopalakrishnan
John Hollerbach
Dennis Parker
Login
or
register
to post comments
Download
71.32 KB
PDF document
0 views
127 downloads
Robotics
Validation and Verification
flow networks
hybrid systems
tumor ablation
medical robotics
University of Utah
model-checking
abstract interpretation
hybrid automata
National CPS PI Meeting 2011
Academia
Project Abstracts
file
Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics
Submitted by
admin
on Sun, 07/31/2011 - 6:44pm. Contributors:
Matthew Might
Ganesh Gopalakrishnan
John Hollerbach
Dennis Parker
Login
or
register
to post comments
Download
1.29 MB
PDF document
0 views
164 downloads
Robotics
Validation and Verification
University of Utah
medical robotics
tumor ablation
hybrid systems
flow networks
model-checking
abstract interpretation
hybrid automata
National CPS PI Meeting 2011
Poster
Academia
Poster Session: Day 1
