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
Taxonomic Search: john OR hollerbach, Poster, 2011
5 results
Results
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
1.29 MB
0 views
90 downloads
Download
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
file
Toward a Science of Cyber-Physical System Integration
Submitted by
Katie Dey
on Wed, 11/02/2011 - 3:38pm. Contributors:
Janos Sztipanovits
Xenofon Koutsoukos
Gabor Karsai
Nicholas Kottenstette
Panos Antsaklis
Vijay Gupta
Bill Goodwine
John Baras
Shige Wang
2.38 MB
0 views
11 downloads
Download
Automotive
Composition
Science of System Integration
Transportation
automotive control systems
General Motors R&D
ISIS- Vanderbilt University
model-based design
passivity-based design
Science of Integration for Cyber-Physical Systems
system integration
University of Maryland at College Park
University of Notre Dame
National CPS PI Meeting 2011
Poster
Academia
Poster Session: Day 1
file
Timing-Centric Software
Submitted by
admin
on Mon, 08/01/2011 - 10:17am. Contributors:
Edward A. Lee
Sanjit Seshia
1.51 MB
0 views
10 downloads
Download
Embedded Software
University of California at Berkeley
National CPS PI Meeting 2011
Poster
Academia
Poster Session: Day 1
file
Assuring the Safety, Security and Reliability of Medical Device Cyber-Physical Systems
Submitted by
Insup Lee
on Sun, 07/31/2011 - 7:01pm. Contributor:
Insup Lee
1.41 MB
0 views
37 downloads
Download
Medical Devices
University of Pennsylvania
National CPS PI Meeting 2011
Poster
Academia
Poster Session: Day 1
file
Infrastructure and Technology Innovations for Medical Device Coordination
Submitted by
Katie Dey
on Wed, 11/02/2011 - 3:12pm. Contributors:
Insup Lee
John Hatcliff
3.71 MB
0 views
122 downloads
Download
University of Pennsylvania
Kansas State University
National CPS PI Meeting 2011
Poster
Academia
Poster Session: Day 1
Current search
[×]
john
OR
hollerbach
[×]
Document Type
: Poster
[×]
CPS Events
: 2011
Guided search
Click a term to refine your current search.
Group
2011 CPS PI Meeting
(5)
Topics
Automotive
(1)
Medical Devices
(1)
Composition
(1)
Embedded Software
(1)
Robotics
(1)
Science of System Integration
(1)
Transportation
(1)
Validation and Verification
(1)
Keywords
abstract interpretation
(1)
automotive control systems
(1)
flow networks
(1)
General Motors R&D
(1)
hybrid automata
(1)
hybrid systems
(1)
ISIS- Vanderbilt University
(1)
Kansas State University
(1)
medical robotics
(1)
model-based design
(1)
model-checking
(1)
passivity-based design
(1)
Science of Integration for Cyber-Physical Systems
(1)
system integration
(1)
tumor ablation
(1)
more...
Content type
File
(5)
Document Type
:
all
» Poster
CPS Events
:
all
» 2011
National CPS PI Meeting 2011
(5)
Contributor(s)
Bill Goodwine
(1)
Dennis Parker
(1)
Edward A. Lee
(1)
Gabor Karsai
(1)
Ganesh Gopalakrishnan
(1)
Insup Lee
(2)
Janos Sztipanovits
(1)
John Baras
(1)
John Hatcliff
(1)
John Hollerbach
(1)
Matthew Might
(1)
Nicholas Kottenstette
(1)
Panos Antsaklis
(1)
Sanjit Seshia
(1)
Shige Wang
(1)
Vijay Gupta
(1)
Xenofon Koutsoukos
(1)
Document Source
Academia
(5)
Author
admin
(2)
Insup Lee
(1)
Katie Dey
(2)
Date authored
2011
(5)
Keyword search
Search within results
More options
