File
CPS: Frontier: Collaborative Research: bioCPS for Engineering Living Cells
Calin Belta Submitted by Calin Belta on November 15th, 2017
File
Frontier: Collaborative Research:Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Paulo Tabuada Submitted by Paulo Tabuada on November 15th, 2017
File
SONYC: A Cyber-Physical System for Monitoring, Analysis and Mitigation of Urban Noise Pollution
Anish Arora Submitted by Anish Arora on November 15th, 2017
File
CyberCardia: Compositional, Approximate, and Quantitative Reasoning for Medical CPS
Submitted by Scott Smolka on November 15th, 2017
File
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Submitted by Sanjit Seshia on November 15th, 2017
File
Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Paulo Tabuada Submitted by Paulo Tabuada on November 15th, 2017
File
FORCES: Foundations of Resilient Cyber-Physical Systems
S. Sastry Submitted by S. Sastry on November 15th, 2017
File
ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time
Submitted by Anthony Rowe on November 15th, 2017
File
CPS: Frontier: Collaborative Research: bioCPS for Engineering Living Cells
Calin Belta Submitted by Calin Belta on November 15th, 2017
File
Software defined control for smart manufacturing systems
Submitted by Z. Morley Mao on November 15th, 2017
Subscribe to Session 6: CPS Frontiers Projects Panel