Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2013 CPS Principal Investigators' Meeting
Home
Program Agenda
Posters & Abstracts
Videos
Attendees
Invitees
Files
CPS-VO
»
NSF CPS PI Meetings
»
2013 CPS Principal Investigators' Meeting
» SESSION 3: CPS PI TALKS
Session 3: CPS PI Talks
file
SmartUSA Challenge - Sokwoo Rhee
Submitted by sokwoo on Tue, 10/22/2013 - 11:23am. Contributor:
Sokwoo Rhee
Secure Control Systems
Networked Control
SCADA Systems
Architectures
CPS Domains
Architectures
Automotive
Smart Grid
Avionics
Embedded Software
Testing
Communication
Platforms
Control
Systems Engineering
Energy
Wireless Sensing and Actuation
Critical Infrastructure
Health Care
Resilient Systems
Manufacturing
Science of System Integration
Science of Security
Transportation
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2013
2013
Session 3: CPS PI Talks
Academia
Presentation
file
Efficient Control Synthesis and Learning in Distributed CPS - Bert Tanner
Submitted by Herbert Tanner on Thu, 10/17/2013 - 4:19pm. Contributors:
Herbert Tanner
Calin Belta
Jeff Heinz
CPS Domains
Control
Systems Engineering
Modeling
Robotics
CPS Technologies
Education
Foundations
National CPS PI Meeting 2013
2013
Session 3: CPS PI Talks
Academia
Presentation
file
A New Computation Task Model for Cyber-Physical Systems - Kang Shin
Submitted by kgshin@eecs.umich... on Thu, 10/17/2013 - 4:19pm. Contributors:
Kang Shin
Jinkyu Lee
CPS Domains
Automotive
Models of Computation
Concurrency and Timing
Real-time Systems
Testing
Time Synchronization
Control
Modeling
Real-Time Coordination
Transportation
Validation and Verification
Foundations
National CPS PI Meeting 2013
2013
Session 3: CPS PI Talks
Academia
Presentation
file
Credible autocoding and model-based control design and validation - Eric Feron
Submitted by feron on Thu, 10/17/2013 - 4:19pm
CPS Domains
Certification
Avionics
Design Automation Tools
Communication
Control
Semantics
Systems Engineering
Modeling
Transportation
Simulation
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2013
2013
Session 3: CPS PI Talks
Academia
Presentation
file
Embedded Fault Detection for Low-Cost,Safety-Critical Systems - Peter Seiler
Submitted by pjseiler on Thu, 10/17/2013 - 4:19pm. Contributors:
Gary Balas
Peter Seiler
Mats Per Erik Heimdahl
Jaideep Srivastava
Antonia Zhai
Architectures
CPS Domains
Architectures
Avionics
Embedded Software
Space Systems
Testing
Defense
Control
Modeling
Systems Engineering
Wireless Sensing and Actuation
Simulation
Transportation
Validation and Verification
CPS Technologies
Foundations
0931931
National CPS PI Meeting 2013
2013
Session 3: CPS PI Talks
Academia
Presentation
file
Formal Synthesis with Learning of Environmental Dynamics - Calin Belta
Submitted by Calin Belta on Thu, 10/17/2013 - 4:19pm
CPS Domains
Networked Control
Hybrid Models
Control
Systems Engineering
Modeling
Robotics
CPS Technologies
Foundations
National CPS PI Meeting 2013
2013
Session 3: CPS PI Talks
Academia
Presentation
