Program Agenda
National Science Foundation - 2014 National Workshop on Transportation Cyber-Physical Systems
| Thursday, January 23, 2014 | Meeting Room | |
|---|---|---|
| 7:30 a.m. – 8:30 a.m. | Registration and Continental Breakfast | Riverview Foyer |
| 8:30 a.m. – 8:40 a.m. | Opening Remarks, Introductions, Workshop Goals: Keith Marzullo (NSF) | Riverview |
| 8:40 a.m. – 8:55 a.m. | Invited Talk – Government: David Kuehn (DOT) | Riverview |
| 8:55 a.m. – 9:10 a.m. | Invited Talk – Industry: John Capp (GM) | Riverview |
| 9:10 a.m. – 9:25 a.m. | Invited Talk – Academia: Raj Rajkumar (Carnegie Mellon & Workshop Chair) | Riverview |
| 9:25 a.m. – 9:40 a.m. | Break | Riverview Foyer |
| 9:40 a.m. – 11:55 a.m. | Session I: Connected Vehicles and Automation | |
| 9:40 a.m. – 10:25 a.m. | Invited Talks (Plenary): Ruzena Bajcsy (UC-Berkeley) / Umit Ozguner (Ohio State) / Panagiotis Tsiotras (GA Tech) | Riverview |
| 10:25 a.m. – 11:25 a.m. | Breakout Sessions (Parallel) | |
| 1. Controls and V2V: Tian He (Minnesota) - Moderator / Marco Pavone (Stanford) - Scribe \ Wei Yu (Towson) | Riverview | |
| 2. Safety and Dependability: Shige Wang (GM) - Moderator / Yaser Fallah (West Virginia) - Scribe | Archimedes | |
| 3. Human Factors: Paul Green (Michigan) - Moderator / Lili Du (Illinois Inst. of Tech) - Scribe | Tera | |
| 11:25 a.m. – 11:55 a.m. | Session I Breakout Summary Reports (Plenary) | Riverview |
| 11:55 a.m. – 12:55 p.m. | Lunch | Riverview Foyer |
| 12:55 p.m. – 3:10 p.m. | Session II: Aviation | |
| 12:55 p.m. – 1:40 p.m. | Invited Talks (Plenary): James Paunicka (Boeing) / Hamsa Balakrishnanan (MIT) /Parimal Kopardekar (NASA) | Riverview |
| 1:40 p.m. – 2:40 p.m. | Breakout Sessions (Parallel) | |
| 1. Aerial Networks: Natasha Neogi (NIA Net ) - Moderator / Yan Wan (North Texas) - Scribe | Riverview | |
| 2. UAVs: Christine Belcastro (NASA) - Moderator / Sumit Kumar Jha (Central Florida) - Scribe | Archimedes | |
| 3. Next-Gen Aviation: Kagan Tumer (Oregon State) - Moderator / Krishna Sampigethaya (Boeing) - Scribe | Tera | |
| 2:40 p.m. – 3:10 p.m. | Session II Breakout Summary Reports (Plenary) | |
| 3:10 p.m. – 3:25 p.m. | Break | Riverview Foyer |
| 3:25 p.m. – 5:25 p.m. | Session III: Infrastructure, Cloud-Based Systems, Green Approaches | |
| 3:25 p.m. – 3:55 p.m. | Invited Talks (Plenary): Wei Zhao (Macau-China) / Aniruddha Gokhale (Vanderbilt) | Riverview |
| 3:55 p.m. - 4:55 p.m. | Breakout Sessions (Parallel) | |
| 1. EVs and Personalization: Ralf Birken (Northeastern) - Moderator / Jie Fu (UPenn) - Scribe | Riverview | |
| 2. Integration: Nalini Venkatasubramanian (UC-Irvine) - Moderator / Wei Yu (Towson) - Scribe | Archimedes | |
| 3. Cloud Infrastructure: Joseph Loyall (BBN) - Moderator / Ting Zhu (Binghamton) - Scribe | Tera | |
| 4:55 p.m. – 5:25 p.m. | Session III Breakout Summary Reports (Plenary) | Riverview |
| 5:25 p.m. – 6:00 p.m. | Day 1 Wrap-Up/Review of Day 2 Proceedings | Riverview |
| 6:00 p.m. | End of Day 1 Sessions | |
| Friday, January 24, 2014 | ||
| 7:00 a.m. – 8:00 a.m. | Registration and Continental Breakfast | Riverview Foyer |
| 8:00 a.m. – 10:15 a.m. | Session IV: Model-Based Design, Verification and Validation | |
| 8:00 a.m. – 8:45 a.m. | Invited Talks (Plenary): Peter Seiler (Minnesota) / Phil Koopman (Carnegie Mellon) / Xenofon Koutsoukos (Vanderbilt) | Riverview |
| 8:45 a.m. – 9:45 a.m. | Breakout Sessions (Parallel) | |
| 1. Testing and Verification: Ken Butts (Toyota) - Moderator / Georgios Fainekos (Arizona State) - Scribe | Riverview | |
| 2. Model-Based Design: William Milam (Ford) - Moderator / Oleg Sokolsky (UPenn) - Scribe | Archimedes | |
| 3. Formal Methods: Dan Work (UIUC) - Moderator / Tom Fuhrman (GM) - Scribe | Tera | |
| 9:45 a.m. – 10:15 a.m. | Session IV: Breakout Summary Reports (Plenary) | Riverview |
| 10:15 a.m. – 10:30 a.m. | Break | Riverview Foyer |
| 10:30 a.m. – 12:45 p.m. | Session V: Cyber-Physical Security and Privacy | |
| 10:30 a.m. – 11:00 a.m. | Invited Talks (Plenary): Suhas Diggavi (UCLA) / Ulf Lindqvist (SRI) | Riverview |
| 11:00 a.m. – 12:00 p.m. | Breakout Sessions (Parallel) | |
| 1. Trustworthiness: Marco Gruteser (Rutgers) - Moderator / Sriram Chellappan (Missouri S&T) - Scribe | Riverview | |
| 2. Defense Strategies and Mechanisms: S. Felix Wu (UC-Davis) - Moderator / Stephane LaFortune (Michigan) - Scribe | Archimedes | |
| 3. Resilience: Saurabh Amin (MIT) - Moderator / Xenofon Koutsoukos (Vanderbilt) - Scribe | Tera | |
| 12:00 p.m. – 12:30 p.m. | Session V Breakout Summary Reports (Plenary) | Riverview |
| 12:30 p.m. – 1:00 p.m. | All Issues: Brainstorming and Report Outline (Plenary): Raj Rajkumar (CMU and Workshop Chair) | Riverview |
| 1:00 p.m. – 1:15 p.m. | NSF Feedback: David Corman (NSF) | Riverview |
| 1:15 p.m. | Workshop Adjourned | |
| --- Report Drafting Team --- | ||
| 1:15 p.m. – 3:15 p.m. | Working Lunch: Report Drafing: Raj Rajkumar (CMU and Workshop Chair) / David Corman (NSF) | Powilatis |
| 3:15 p.m. – 3:30 p.m. | Plan for Completion | |