Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2015 NSF Cyber-Physical Systems Principal Investigators' Meeting
Home
Program Agenda
Posters/Videos/Abstracts
Speaker Bios
Attendees
Registrants
Program Committee
Files
CPS-VO
»
NSF CPS PI Meetings
»
2015 NSF Cyber-Physical Systems Principal Investigators' Meeting
» SESSION 3
Session 3
file
ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack
Submitted by msrivastava on Tue, 11/17/2015 - 9:53am. Contributors:
Mani Srivastava
Joao Hespanha
Rajesh Gupta
Sudhakar Pamarti
Neal Patwari
Raj Rajkumar
Anthony Rowe
Thomas Schmid
Concurrency and Timing
Wireless Sensing and Actuation
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
ROSELINE
file
Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Submitted by jessygrizzle on Tue, 11/17/2015 - 9:52am. Contributors:
Jessy Grizzle
Hartmut Geyer
Aaron Ames
Paulo Tabuada
Control
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
Dynamic CPS
file
FORCES Highlights
Submitted by S. Shankar Sastry on Tue, 11/17/2015 - 9:43am. Contributors:
Shankar Sastry
Saurabh Amin
Hamsa Balakrishnan
Alex Bayen
Ian Hisken
Gabor Karsai
Xenofon Koutsoukos
Asuman Ozdaglar
Larry Rohrbough
Dawn Song
Janos Sztipanovits
Aimee Tabor
Demosthenis Teneketzis
Claire Tomlin
Agriculture
Automotive
Design Automation Tools
Concurrency and Timing
Real-time Systems
Control
Systems Engineering
Critical Infrastructure
Real-Time Coordination
Resilient Systems
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
FORCES
file
BioCPS for Engineering Living Cells
Submitted by Calin Belta on Tue, 11/17/2015 - 9:43am. Contributors:
Calin Belta
Doug Densmore
Vijay Kumar
Ron Weiss
Design Automation Tools
Modeling
Simulation
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
BioCPS
file
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
Submitted by Scott Smolka on Tue, 11/17/2015 - 9:43am. Contributors:
Scott Smolka
Rance Cleaveland
James Glimm
Radu Grosu
Edmund M. Clarke
Sicun Gao
Rahul Mangharam
Sanjay Dixit
Arnab Ray
Flavio Fenton
Elizabeth Cherry
Richard Gray
Quantitative Verification
Modeling
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
CyberHeart
file
Science of System Integration for CPS
Submitted by Janos.Sztipanovits on Tue, 11/17/2015 - 9:43am. Contributors:
Janos Sztipanovits
Shige Wang
John Baras
Panos Antsaklis
Xenofon Koutsoukos
Design Automation Tools
Modeling
2015PIMTG
Session 3
National CPS PI Meeting 2015
2015
Session 3
Academia
SoI
