2013 CPS PI Meeting Agenda | Cyber-Physical Systems Virtual Organization

2013 CPS PI Meeting Agenda

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: 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
1340 - 1400	AVM Program Nathan Wiedenman (DARPA)
1400 - 1445	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
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: Jessy Grizzle (UMICH) S. Shankar Sastry (UC Berkeley) Paulo Tabuada (UCLA) 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) 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
SESSION 9: DIVERSITY IN CPS PANEL
1555 - 1645	Moderator: Marjorie Skubic (Missouri) Panelists: Damon McCoy (George Mason) James McLurkin (Rice University) Teresa Wu (Arizona State) Discussion
1645 - 1650	Closing Remarks David Corman (NSF)
1650	2013 CPS PI Meeting Adjourned