Program Agenda

Visible to the public 

Meeting archives: 2010 | 2011 | 2012 | 2013 | 2014 | 2015

WEDNESDAY, OCTOBER 16, 2013
1800 - 2100 Early Registration
THURSDAY, OCTOBER 17, 2013
0800 - 1700 Registration | CPS-VO Help Desk
0800 - 09:00 Continental Breakfast
0900 - 0920

Welcome and Introduction
Keith Marzullo (NSF)

Opening Remarks
Farnam Jahanian (NSF)

SESSION 1: PLENARY
0920 - 1000 Industry Keynote
Ken Gabriel (Motorola)
1000 - 1040 Science of CPS Keynote: Control Computing and Communication
Karl Åström (Lund-Sweden)
1040 - 1100  Break
1100 - 1140 Science of CPS Keynote: Differential Privacy in Cyber-Physical Systems
George Pappas (UPenn)
1140 - 1210 Lunch Pick-Up
1210 - 1225 Working Lunch

FHWA and CPS
David Kuehn (FHWA)
SESSION 2: CPS TESTBEDS
1225 - 1340

Moderator: David Corman (NSF)

Candidate Testbeds:

Q&A and Discussion

1340 -  1400 AVM Program
Nathan Wiedenman (DARPA)
1400 - 1445

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

Q&A and Discussion

1445 - 1515  Break
SESSION 3: CPS PI TALKS
1515 - 1630

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

1630 - 1635 Break (Transition to Poster Session)
1635 - 1835 
(or Until)
Poster Session / Show and Tell
FRIDAY, OCTOBER 18, 2013
0700 - 1700 Registration
0800 - 1700 CPS-VO Help Desk
0700 - 0800 Continental Breakfast
0800 - 0802  Opening Remarks
Janos Sztipanovits (Vanderbilt)
SESSION 4: PLENARY
0802 - 0832

"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)

SESSION 5: CPS PI TALKS
0832 - 0945

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

0945 - 1000  Break
SESSION 6: FRONTIER PROJECTS & CPS LARGE PANEL DISCUSSION
1000 - 1100

"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:

Q&A and Discussion

1100 - 1130  Lunch Pick Up
1130 - 1230

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

1230 - 1235 Break
1235 - 1445 Poster Session
PARALLEL SESSIONS

SESSION 7: INNOVATORS FORUM
 

SESSION 8: CPS SECURITY PANEL DISCUSSION -
SECURING CPS AND DESIGNING IN SECURITY
1445 - 1555

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) 

Discussion

Moderator: S. Shankar Sastry (UC Berkeley)

Panelists:

Discussion

SESSION 9: DIVERSITY IN CPS PANEL
1555 - 1645

Moderator: Marjorie Skubic (Missouri)

Panelists:

Discussion

1645 - 1650 Closing Remarks
David Corman (NSF)
1650 2013 CPS PI Meeting Adjourned