Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2014 NSF Cyber-Physical Systems Principal Investigators' Meeting
Home
Program Agenda with Slides
Posters/Abstracts/Videos
Attendees
Registrants
Program Committee
Files
CPS-VO
»
NSF CPS PI Meetings
»
2014 NSF Cyber-Physical Systems Principal Investigators' Meeting
» SESSION 3
Session 3
file
CPS Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure, & Efficient Knowledge of Time Across the System Stack
Submitted by msrivastava on Thu, 11/06/2014 - 5:44pm. Contributors:
Mani Srivastava
Rajesh Gupta
Joao Hespanha
Sudhakar Pamarti
Neal Patwari
Raj Rajkumar
Anthony Rowe
Thomas Schmid
Architectures
Networked Control
Concurrency and Timing
Platforms
Time Synchronization
Control
Wireless Sensing and Actuation
Simulation
CPS Technologies
Foundations
Carnegie Mellon University
The University of Utah
UCLA
UCSB
UCSD
National CPS PI Meeting 2014
2014
Session 3
Academia
Presentation
ROSELINE
file
CPS Frontiers: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Submitted by jessygrizzle on Thu, 11/06/2014 - 5:44pm. Contributors:
Jessy Grizzle
Aaron Ames
Hartmut Geyer
Huei Peng
Paulo Tabuada
Necmiye Ozay
CPS Domains
Automotive
Certification
Testing
Control
Wireless Sensing and Actuation
Robotics
Transportation
Simulation
Validation and Verification
CPS Technologies
Education
Foundations
automotive systems
bipedal robots
Carnegie Mellon University
Feedback control systems
Ford Motor Company
Texas A&M University
Toyota
UCLA
University of Michigan
National CPS PI Meeting 2014
2014
Session 3
Academia
Industry
Presentation
Dynamic CPS
file
CPS Frontiers: Collaborative Research: Foundations of Resilient Cyber-Physical Systems (FORCES)
Submitted by Claire Tomlin on Thu, 11/06/2014 - 5:44pm. Contributors:
Claire Tomlin
S. Shankar Sastry
Saurabh Amin
Xenofon Koutsoukos
Demosthenis Teneketzis
CPS Domains
Energy Sector
Transportation Systems Sector
Automotive
Avionics
Control
Energy
Modeling
Critical Infrastructure
Wireless Sensing and Actuation
Real-Time Coordination
Resilient Systems
Manufacturing
Transportation
CPS Technologies
Foundations
Massachusetts Institute of Technology
University of California Berkeley
University of Michigan
Vanderbilt University
National CPS PI Meeting 2014
2014
Session 3
Academia
Presentation
FORCES
