Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2010 NSF CPS PI Meeting
Home
Program Agenda
Posters & Abstracts
Members
Registrants
Modboard
Files
CPS-VO
»
NSF CPS PI Meetings
»
2010 NSF CPS PI Meeting
» 2015
2015
file
BioCPS for Engineering Living Cells
Submitted by Calin Belta on Tue, 11/17/2015 - 8:43am. Contributors:
Calin Belta
Doug Densmore
Vijay Kumar
Ron Weiss
Design Automation Tools
Modeling
Simulation
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
BioCPS
file
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
Submitted by Scott Smolka on Tue, 11/17/2015 - 8:43am. Contributors:
Scott Smolka
Rance Cleaveland
James Glimm
Radu Grosu
Edmund M. Clarke
Sicun Gao
Rahul Mangharam
Sanjay Dixit
Arnab Ray
Flavio Fenton
Elizabeth Cherry
Richard Gray
Quantitative Verification
Modeling
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
CyberHeart
file
Science of System Integration for CPS
Submitted by Janos.Sztipanovits on Tue, 11/17/2015 - 8:43am. Contributors:
Janos Sztipanovits
Shige Wang
John Baras
Panos Antsaklis
Xenofon Koutsoukos
Design Automation Tools
Modeling
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
SoI
file
Tackling Local Challenges Through Smart Cities
Submitted by Dan.Correa on Tue, 11/17/2015 - 8:38am. Contributor:
Dan Correa
Energy Sector
Healthcare and Public Health Sector
Transportation Systems Sector
Testing
Critical Infrastructure
2015PIMTG
Session 1
National CPS PI Meeting 2015
2015
2015
Session 1
file
Human-Machine Interaction with Mobility Enhancing Soft Exosuits
Submitted by walshharvard on Mon, 11/16/2015 - 6:01pm. Contributor:
Conor Walsh
2015PIMTG
Session 5
2015
Session 5
« first
‹ previous
1
2
3
4
5
