Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2017 NSF Cyber-Physical Systems Principal Investigators' Meeting
Home
Plenary Program Agenda
Agendas-MWs/BoFs/Lunch
Lightning Talks
Posters/Videos
Demonstrations
Attendees & Registrants
Files
CPS-VO
»
NSF CPS PI Meetings
»
2017 NSF Cyber-Physical Systems Principal Investigators' Meeting
» SESSION 6: CPS FRONTIERS PROJECTS PANEL
Session 6: CPS Frontiers Projects Panel
file
CPS: Frontier: Collaborative Research: bioCPS for Engineering Living Cells
Submitted by Calin Belta on Wed, 11/15/2017 - 1:55am. Contributors:
Calin Belta
Doug Densmore
Vijay Kumar
Ron Weiss
Demarcus Briers
Sambeeta Das
Nicholas DeLateur
Elizabeth Hunter
Rachael Ivison
Curtis Madsen
Noushin Mehdipour
Edward Steager
Brian Teague
Prashant Vaidyanathan
Junmin Wang
Massachusetts Institute of Technology
Boston University
University of Pennsylvania
SRI International
Session 6: CPS Frontiers Projects Panel
file
CyberCardia: Compositional, Approximate, and Quantitative Reasoning for Medical CPS
Submitted by Scott Smolka on Wed, 11/15/2017 - 1:55am. Contributor:
Scott Smolka
1446832
Session 6: CPS Frontiers Projects Panel
Academia
Presentation
file
Frontier: Collaborative Research:Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Submitted by tabuada on Wed, 11/15/2017 - 1:55am. Contributors:
Jessy Grizzle
Aaron Ames
Paulo Tabuada
Hartmut Geyer
Huei Peng
Necmiye Ozay
Ram Vasudevan
University of Michigan
University of California at Los Angeles
Carnegie Mellon University
CalTech
1239037
1239055
1239085
1239143
Session 6: CPS Frontiers Projects Panel
file
SONYC: A Cyber-Physical System for Monitoring, Analysis and Mitigation of Urban Noise Pollution
Submitted by Anish Arora on Wed, 11/15/2017 - 1:55am. Contributors:
Juan Pablo Bello
Claudio Silva
Oded Nov
R. Luke DuBois
Anish Arora
1544573
New York University
The Ohio State University
Session 6: CPS Frontiers Projects Panel
file
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Submitted by saseshia on Wed, 11/15/2017 - 1:55am. Contributors:
Sanjit A. Seshia
Ruzena Bajcsy
Thomas Griffiths
Björn Hartmann
S. Shankar Sastry
Claire J. Tomlin
Richard Murray
Cynthia Sturton
University of California Berkeley
University of North Carolina at Chapel Hill
CalTech
1544714
1545126
1544924
Session 6: CPS Frontiers Projects Panel
Presentation
file
FORCES: Foundations of Resilient Cyber-Physical Systems
Submitted by S. Shankar Sastry on Wed, 11/15/2017 - 1:55am. Contributors:
S. Shankar Sastry
Alexandre Bayen
Dawn Song
Claire Tomlin
Saurabh Amin
Hari Balakrishnan
Asuman Ozdaglar
Xenofon Koutsoukos
Gabor Karsai
Janos Sztipanovits
UC Berkeley
Massachusetts Institute of Technology
Vanderbilt University
University of Michigan
1238959
1238962
1239054
1239166
Session 6: CPS Frontiers Projects Panel
Academia
Presentation
file
Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Submitted by tabuada on Wed, 11/15/2017 - 1:55am. Contributors:
Jessy Grizzle
Aaron Ames
Paulo Tabuada
Hartmut Geyer
Huei Peng
Necmiye Ozay
Ram Vasudevan
University of Michigan
CalTech
Carnegie Mellon University
University of California at Los Angeles
1239037
1239055
1239085
1239143
Session 6: CPS Frontiers Projects Panel
Presentation
file
ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time
Submitted by Anthony Rowe on Wed, 11/15/2017 - 1:55am. Contributors:
Anthony Rowe
Raj Rajkumar
Mani Srivastava
Sudhakar Pamarti
Joao Hespanha
Rajesh Gupta
Neal Patwari
Thomas Schmid
University of California at Los Angeles
Carnegie Mellon University
University of California at Santa Barbara
1329644
1329650
1329755
Session 6: CPS Frontiers Projects Panel
Academia
Presentation
file
CPS: Frontier: Collaborative Research: bioCPS for Engineering Living Cells
Submitted by Calin Belta on Wed, 11/15/2017 - 1:55am. Contributors:
Calin Belta
Doug Densmore
Vijay Kumar
Ron Weiss
Demarcus Briers
Sambeeta Das
Nicholas DeLateur
Elizabeth Hunter
Rachael Ivison
Curtis Madsen
Noushin Mehdipour
Edward Steager
Brian Teague
Prashant Vaidyanathan
Junmin Wang
Boston University
University of Pennsylvania
Massachusetts Institute of Technology
Session 6: CPS Frontiers Projects Panel
file
Software defined control for smart manufacturing systems
Submitted by zmao on Wed, 11/15/2017 - 1:55am. Contributors:
Kira Barton
Z. Morley Mao
James Moyne
Sayan Mitra
Sibin Mohan
Elaine Shi
University of Michigan
University of Illinois
Cornell University
1544678
Session 6: CPS Frontiers Projects Panel
Presentation
