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 8
Session 8
file
Cyber Enabled Manufacturing Systems (CeMs) for Small Lot Manufacture
Submitted by drmoser on Fri, 11/07/2014 - 1:50pm. Contributors:
J. Beaman
A. Mok
R. Moser
J. Murthy
CPS Domains
Testing
Control
Modeling
Real-Time Coordination
Manufacturing
Validation and Verification
Foundations
The University of Texas at Austin
National CPS PI Meeting 2014
2014
Session 8
Presentation
file
Statistical Model Checking of High-Dimensional Cyber-Controlled Systems
Submitted by Geir Dullerud on Fri, 11/07/2014 - 1:50pm. Contributors:
Geir Dullerud
Mahesh Viswanathan
Matthew West
Modeling
Simulation
Validation and Verification
Education
Foundations
University of Illinois at Urbana-Champaign
National CPS PI Meeting 2014
2014
Session 8
Academia
Presentation
file
Integrated Modeling, Analysis, and Synthesis of Miniature Medical Devices
Submitted by Pietro Valdastri on Fri, 11/07/2014 - 1:50pm. Contributors:
Pietro Valdastri
Akos Ledeczi
Peter Volgyesi
Robert J. Webster III
CPS Domains
Medical Devices
Health Care
Robotics
CPS Technologies
Capsule Endoscopy
Robotic Endoscopy
robotic surgery
ISIS- Vanderbilt University
STORM Lab-Vanderbilt University
MedLab-Vanderbilt University
National CPS PI Meeting 2014
2014
Session 8
Academia
Presentation
file
Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop
Submitted by Edgar Lobaton on Fri, 11/07/2014 - 1:50pm. Contributors:
Edgar Lobaton
Francesco Borrelli
Ruzena Bajcsy
Edward Vul
CPS Domains
Automotive
Testing
Control
Modeling
Wireless Sensing and Actuation
Real-Time Coordination
Transportation
Simulation
Validation and Verification
CPS Technologies
Foundations
provably safe
Humans in the loop
University of California at Berkeley
University of California San Diego
North Carolina State University
Hyundai Motor Company
Ford Motor Company
Volvo Cars
National CPS PI Meeting 2014
2014
Session 8
Academia
Presentation
