Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
CPS Summit
Home
CPS Summit Overviews
CPS Summit I - 4/13/2015
CPS Summit II - 4/2016
CPS Summit Team
Files
CPS-VO
»
CPS Archives
»
CPS Summit
» APRIL 13 2015
April 13 2015
file
Collected Presentation List.pdf
Submitted by harald.ruess on Wed, 04/22/2015 - 9:07pm
CPS Domains
CPS Technologies
Foundations
CPS Week 2015
2015
Academia
Documentation
April 13 2015
file
Model-Based Systems Engineering for Networked CPS Research and Education.pdf
Submitted by John Baras on Wed, 04/22/2015 - 6:23pm. Contributor:
John Baras
CPS Domains
Networked Control
Control
Transportation
Validation and Verification
Foundations
CPS analysis
framework
integration
methods
networked CPS
synthesis
tools
CPS Week 2015
2015
Academia
Presentation
April 13 2015
file
NIST - Cyber-Physical Systems Program - Part 2.pdf
Submitted by Chris Greer on Wed, 04/22/2015 - 6:21pm. Contributor:
Chris Greer
CPS Domains
Concurrency and Timing
Critical Infrastructure
Foundations
NIST Public Working Group
Scalability
Smart City
test beds
timing
trustworthiness
CPS Week 2015
2015
Presentation
April 13 2015
file
Test Bed for Medical Cyber-‐Physical Systems.pdf
Submitted by Insup Lee on Wed, 04/22/2015 - 6:19pm. Contributor:
Insup Lee
CPS Domains
Medical Devices
Modeling
Health Care
Simulation
Validation and Verification
Foundations
closed-loop
Hardware
Safety
test beds
CPS Week 2015
2015
Academia
Position Paper
Publications
April 13 2015
file
A Conceptual Model of System of Systems.pdf
Submitted by Werner Damm on Wed, 04/22/2015 - 5:31pm. Contributors:
Werner Damm
Alberto Sangiovanni Vincentelli
Modeling
Foundations
distributed
large-scale
real-time
safety-critical
CPS Week 2015
2015
Academia
Presentation
April 13 2015
file
A Conceptual Model of System of Systems_White Paper.pdf
Submitted by Werner Damm on Wed, 04/22/2015 - 5:31pm. Contributors:
Werner Damm
Alberto Sangiovanni Vincentelli
CPS Domains
CPS Technologies
Foundations
framework
system of systems
CPS Week 2015
2015
Academia
Position Paper
Publications
April 13 2015
file
The CPS Challenge – Linking Physicality and Computation_White Paper.pdf
Submitted by Site Manager on Wed, 04/22/2015 - 5:31pm. Contributor:
Joseph Sifakis
CPS Domains
Modeling
Foundations
Computation
modeling
CPS Week 2015
2015
Academia
Position Paper
Publications
April 13 2015
file
Transatlantic CPS Summit Upgrade Strategic EU-US Cooperation on CPS Research.pdf
Submitted by broym on Wed, 04/22/2015 - 5:24pm. Contributor:
Manfred Broy
CPS Domains
CPS Technologies
Education
Foundations
CPS Week 2015
2015
Academia
Presentation
April 13 2015
file
Cyber-Physical Correctness Specification Validation and Verification.pdf
Submitted by broym on Wed, 04/22/2015 - 5:24pm. Contributor:
Manfred Broy
Validation and Verification
Foundations
correctness
Reliability
CPS Week 2015
2015
Academia
Presentation
April 13 2015
file
The CPS Challenge - Linking Physicality and Computation.pdf
Submitted by Site Manager on Wed, 04/22/2015 - 5:24pm. Contributor:
Joseph Sifakis
CPS Domains
Modeling
Foundations
Computation
framework
modeling
physicality
CPS Week 2015
2015
Academia
Presentation
April 13 2015
1
2
next ›
last »
