Welcome and Introduction
Keith Marzullo (NSF)

Opening Remarks
Farnam Jahanian (NSF)

Moderator: David Corman (NSF)

Candidate Testbeds:

• Mobile Robots - Vijay Kumar (UPenn)
• Ground Vehicles - Bill Milam (Ford)
• Medical Devices - Julian Goldman (Partners HealthCare and Massachusetts General)
  Video 1: MD PnP Lab Walkthrough | Video 2: PCA Safety Demo MD PnP Lab
• Boeing SWARM - John Vian (Boeing
• Virtual Prototyping Testbed - Janos Sztipanovits (Vanderbilt)
• Industrial Internet - John Carbone (GE Global Research)

Q&A and Discussion

Academic Panel: "Academics on Use of Testbeds in Academic Research" 

• The Importance of CPS Testbeds - Ian Dobson (Iowa State)
• Hardware-in-the-loop Simulation Testbed for Model-Based Control and Integration of Automotive CPS - Xenofon Koutsoukos (Vanderbilt)
• Testbed for Medical Cyber-Physical Systems - Insup Lee (UPenn)

Q&A and Discussion

Moderator: David Corman (NSF)

Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems
Bert Tanner

Formal Synthesis with Learning of Environment Dynamics
Calin Belta (Boston U)

Credible Autocoding and Model=Based Control Design and Validation
Eric Feron (GA Tech)

A New Computation Task Model for Cyber-Physical Systems
Kang Shin (UMICH)

Embedded Fault Detection for Low-Cost, Safety-Critical Systems
Peter Seiler (Minnesota)

SmartUSA Challenge
Sokwoo Rhee (Presidential Innovation Fellow)

Q&A and Discussion

"Cyber-Physical Systems: The First Five Years"
Helen Gill (NSF-Retired)

Citation Presentation to Helen Gill
Shankar S. Sastry (UC Berkeley) and Janos Sztipanovits (Vanderbilt)

Moderator: Bruno Sinopoli (CMU)

A Substrate for CPS Design
Anuradha Annaswamy (MIT)

John Hatcliff (Kansas State)

Logical Foundations of Cyber-Physical Systems
André Platzer

Formally Analyzing Human-User Interactions with Cyber-Physical Systems
Sriram Sankaranarayanan (Colorado)

Q&A and Discussion

"What are the projects doing?"
"What makes them a Frontier project?
"How do you put together a team?"
"What questions are frontiers worthy?"

Moderator: Raj Rajkumar (CMU)

Panelists:

• Jessy Grizzle (UMICH)
• S. Shankar Sastry (UC Berkeley)
• Paulo Tabuada (UCLA)

Q&A and Discussion

Working Lunch

Industrial Internet Panel - "What It means for CPS?" Moving from the Internet of Things to the Industrial Internet"
Moderator: Joe Salvo (GE Global Research)

Panelists:

• Mark Ryland (Amazon Web Services - AWS)
• Alexander Damisch (Wind River)
• Chuck Speicher, Jr. (McAfee)
• Claude-Nicolas Fiechter (Purfresh)
• Ricky Watts (Wind River)

Discussion

Moderator: Jonathan Sprinkle (Arizona)

Panel Judges:
Joe Salvo (GE)
David Corman (NSF)
Sokwoo Rhee (NIST)
Rahul R. Vaid (Parami Capital Management) [remote via Skype]

PI Pitches (5 minutes each) 

• Aranya Chakrabortty (NCSU)
• Howard Chizeck (U Washington)
• Domitilla Del Vecchio (MIT)
• Eric Feron (GA Tech)
• Rahul Mangharam (UPenn)
• Neal Patwari (Utah)
• Hairong Qi (UT-Knoxville)
• Kai Shen (U Rochester)
• Marjorie Skubic (Missouri)
• Stavros Tripakis (UC Berkeley)
• Tommy Tucker (Tucker Innovations, Inc.)
• Hongwei Zhang (Wayne State)

Discussion

Moderator: S. Shankar Sastry (UC Berkeley)

Panelists:

• Dave Clark (MIT) - Remote Participation
• Darren Cofer (Rockwell Collins)
• David Mussington (Institute for Defense Analysis)

Discussion

Moderator: Marjorie Skubic (Missouri)

Panelists:

• Damon McCoy (George Mason)
• James McLurkin (Rice University)
• Teresa Wu (Arizona State)

Discussion