Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2012 CPS PI Meeting
Home
Program Agenda
Posters & Abstracts
Organizers
Files
CPS-VO
»
NSF CPS PI Meetings
»
2012 CPS PI Meeting
» SESSION 1: SCIENCE OF CPS
Session 1: Science of CPS
file
Is it About Time for Control?
Submitted by tabuada on Thu, 10/11/2012 - 10:57am. Contributor:
Paulo Tabuada
CPS Domains
Avionics
Concurrency and Timing
Real-time Systems
Control
Systems Engineering
Wireless Sensing and Actuation
Real-Time Coordination
Transportation
CPS Technologies
National CPS PI Meeting 2012
2012
Session 1: Science of CPS
Academia
Presentation
file
Tutorial: Verification Technology
Submitted by John Rushby on Thu, 10/04/2012 - 9:50am. Contributor:
John Rushby
CPS Domains
Networked Control
Concurrency and Timing
Real-time Systems
Control
Systems Engineering
Modeling
Real-Time Coordination
Manufacturing
Validation and Verification
CPS Technologies
Foundations
SRI International
National CPS PI Meeting 2012
2012
Session 1: Science of CPS
Presentation
file
Model Synthesis New Challenges in Model Based Design
Submitted by Rajeev Alur on Wed, 10/03/2012 - 1:58pm. Contributor:
Rajeev Alur
CPS Domains
Medical Devices
Hybrid Models
Automotive
Design Automation Tools
Communication
Testing
Concurrency and Timing
Embedded Software
Platforms
Control
Systems Engineering
Modeling
Health Care
Robotics
Transportation
Simulation
Validation and Verification
CPS Technologies
Foundations
University of Pennsylvania
National CPS PI Meeting 2012
2012
Session 1: Science of CPS
Academia
Presentation
