| TUESDAY, OCTOBER 2 | |||
| 6:00pm – 9:00pm | Early Registration | ||
| WEDNESDAY, OCTOBER 3 | |||
| 7:00am – 5:00pm | Registration | ||
| 8:00am – 5:00pm | CPS-VO Help Desk | ||
| 7:00am – 8:15am | Continental Breakfast | ||
| 8:15am – 8:17am | Welcome and Introduction Keith Marzullo (NSF) | ||
| 8:17am – 8:30am | Opening Remarks Tom Peterson (NSF) Farnam Jahanian (NSF): 2012 CPS PI Meeting Welcome | ||
| 8:30am – 8:50am | Government Keynote Vijay Kumar (OSTP) | ||
| 8:50am – 9:25am | Industry Keynote: Technologies for Cyber-Physical Systems Jim Truchard (National Instruments) | ||
| 9:25am –10:00am | Science Keynote: Science of Cyber-Physical Systems - Bridging CS and Control George Pappas (UPenn) | ||
| 10:00am –10:20am | Break | ||
| SESSION 1: SCIENCE OF CPS Session Chair: Helen Gill (NSF) | |||
| 10:20am – 10:35am | Is It About Time for Control Paulo Tabuada (UCLA | ||
| 10:35am –10:50am | Bruno Sinopoli (CMU) | ||
| 10:50am – 11:05am | Model Synthesis: New Challenges in Model Based Design Rajeev Alur (UPenn) | ||
| 11:05am – 11:40am | Panel Discussion: Panelists: | ||
| 11:40am – 12:15pm | Break for Lunch Pickup | ||
| 12:15pm – 1:15pm | Challenges on Autonomy, Verification, and Distributed Decision and Action Panelists: | ||
| 1:15pm – 2:00pm | Tutorial: Formal Verification Technology John Rushby (SRI) | ||
| SESSION 2: TECHNOLOGY FOR CPS Session Chair: Kishan Baheti (NSF) | |||
| 2:00pm – 2:15pm | StarExec - A Web Service for Evaluating Logic Solvers Aaron Stump (U of Iowa) | ||
| 2:15pm – 2:30pm | Advanced Transportation Systems Raj Rajkumar (CMU) | ||
| 2:30pm – 2:45pm | Credible Autocoding and Verification of Embedded Software (CrAVES) Arnaud Venet (CMU West) w/ Eric Feron (GA Tech) | ||
| 2:45pm – 3:30pm | Panel Discussion: Panelists: | ||
| 3:30pm – 5:30pm | Poster Session | ||
| 5:30pm – 7:30pm | Dinner (On your own) | ||
| 7:30pm – 9:30pm | Birds of a Feather Group Meetings | ||
| Emerging Tools and Methods for CPS Moderator: Nina Amla (NSF) Co-Moderator: Sol Greenspan (NSF) Sicun Gao (CMU), Xenofon Koutsoukos (Vanderbilt), Aaron Stump (U Iowa) | The New Clockwork for Time-Critical CPS Moderator: Ted Baker (NSF) Edward A. Lee (UC Berkeley), Al Mok (UT) | iCorps Moderator: Thyagarajan Nandagopal (NSF) | |
| THURSDAY, OCTOBER 4 | |||
| 7:00am – 5:00pm | Registration | ||
| 8:00am – 5:00pm | CPS-VO Help Desk | ||
| 7:30am – 5pm | Registration | ||
| 8:15am – 8:45am | Government Discussion: Session Chair: Susan Kemnitzer (NSF) Foundations for Innovation in Cyber-Physical Systems Shyam Sunder (NIST) Some Interagency Coordination in Cyber-Physical Systems Keith Marzullo (NSF) | ||
| 8:45am – 9:30am | Science Keynote: Cyber-Physical Systems Design Using Dissipativity and Symmetry Panos Antsaklis (UND) | ||
| 9:30am – 10:05am | Framing the CPS Issues in Manufacturing and Design CPS in Design and Manufacturing Bruce Kramer (NSF/CMMI) Towards the Future of "Making": Convergence Karthik Ramani (Purdue) | ||
| 10:05am – 10:20am | Break | ||
| SESSION 3: DESIGN AND MANUFACTURING Session Chair: Bruce Kramer (NSF/CMMI) | |||
| 10:20am – 10:30am | Internet-Enabled Manufacturing - Fabbit: Fabrication and Brokering through Information Technology Paul Wright (UC Berkeley) | ||
| 10:30am – 10:40am | Design Environments and Manufacturing Integration Mark Traband (PSU) | ||
| 10:40am – 10:50am | Industry Capabilities and Needs Brian Murray (UTRC) | ||
| 10:50am – 11:40am | Panel Discussion: Panelists: | ||
| 11:40am – 12:15pm | Break for Lunch Pickup | ||
| 12:15pm – 1:15pm | Conversation with Government: Examples for CPS Initiatives Panelists: | ||
| 1:15pm – 1:30pm | CPS-VO Update: The CPS-VO Collaboration Platform Chris vanBuskirk (Vanderbilt) | ||
| 1:30pm – 3:30pm | Poster Session | ||
| PARALLEL SESSIONS: | HEALTH AND MEDICAL Session Chair: Sylvia Spengler (NSF) | ENERGY Session Chair: Ted Baker (NSF) | TRANSPORTATION CPS Session Chair: Ralph Wachter (NSF) |
| 3:30pm – 3:45pm | Julian Goldman (Partners & Mass. Gen. Hosp.) | The Future Power Grid: Resilience and Systemic Risk Munther Dahleh (MIT) | Active Safety Control in Automotive Cyber-Physical Systems Francesco Borrelli (UC Berkeley) |
| 3:45pm – 4:00pm | Medical CPS: Opportunities and Challenges Oleg Sokolsky (UPenn) | Information and Computation Hierarchy for Smart Grids Lang Tong (Cornell) | Designing Decision-Support Systems for Air Traffic Flow Management: A Cyber-Physical Systems Challenge Sandip Roy (WSU) |
| 4:00pm – 4:15pm | Feedback-Driven Assay Interpretation Using Digital Microfluidic Biochips Philip Brisk (UC Riverside) | Francesco Bullo (UCSB) | CPS and the Mobile Tsunami Hari Balakrishnan (MIT) |
| 4:15pm – 5:00pm | Panel Discussion: Panelists: | Panel Discussion: Panelists: | Panel Discussion: Panelists: |
| 5:00pm – 7:30pm | Dinner (On your own) | ||
7:30pm – 9:30pm | Birds of a Feather Group Meetings | ||
| Energy Moderator: Randy Katz (UC Berkeley) Francesco Bullo (UCSB) Munther Dahleh (MIT) Santiago Grijalva (GA Tech) Tim Heidel (ARPA-E) Cesar Silva Monroy (Sandia) Amit Narayan (Stanford) Wenzhan Song (Georgia State University) Lang Tong (Cornell) | Medical Moderator: Marc Rigas (NSF) Co-Moderator: Vinay Pai (NIH/NIBIB) Philip Brisk (UC Riverside) Julian Goldman (Partners & Mass. Gen. Hosp.) Paul Jones (FDA) Kamran Sayrafian (NIST) Oleg Sokolsky (U Penn) Sandy Weininger (FDA) | Transportation Moderator: Raj Rajkumar (CMU) Yuri Gawdiak (NASA/JPDO) Jake Hinchman (AFRL) Brian Hulbert (AFRL) David Kuehn (FHWA) Claire Tomlin (UC Berkeley) Andres Zellweger (FAA/JPDO) | |
| FRIDAY, OCTOBER 5 | |||
| 7:00am – Noon | Registration | ||
| 8:00am – 12:15pm | CPS-VO Help Desk | ||
| 7:30am – 8:30am | Continental Breakfast | ||
| 8:30am – 9:30am | International Panel: CPS Research Agenda Panelists: | ||
| 9:30am – 10:15am | International Conversation: Mechanisms for Collaboration in CPS Panelists: | ||
| 10:15am – 10:30am | Break | ||
| 10:30am – 11:00am | Education Keynote: Teaching Embedded Systems Foundation of Cyber-Physical Systems Peter Marwedel (TU Dortmund) | ||
| 11:00am – 11:45am | Education Keynote: Introducing Embedded Systems: A Cyber-Physical Systems Approach Edward A. Lee (UC Berkeley) | ||
| 11:45am – 12:15pm | Box Lunch Pickup | ||
| 12:15pm – 1:45pm | Education Breakouts Breakout 1: | ||
| 1:45pm – 3:00pm | Education Breakout Reports | ||
| 3:00pm | Meeting Adjourned | ||