Program
2012 CPS PI Meeting - Agenda
| 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) |
| 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 |
| 10:20am – 11:40am | 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: Moderator: TBD Panelists: Rajeev Alur (UPenn), Bill Goodwine (UND), Al Mok (UT), George Pappas (UPenn), Bruno Sinopoli (CMU), Paulo Tabuada (UCLA) |
| 11:40am – 12:15pm | Break for Lunch Pickup |
| 12:15pm – 1:15pm | Challenges on Autonomy, Verification, and Distributed Decision and Action Moderator: Ruzena Bajcsy (UC Berkeley) Panelists: Anuradha Annaswamy (MIT), Hamsa Balakrishnan (MIT), Yuri Gawdiak (FAA/JPDO), Jake Hinchman (AFRL), Dawn Tilbury (U Mich), Andres Zellweger (FAA/JPDO) |
| 1:15pm – 2:00pm | Tutorial: Verification Technology John Rushby (SRI) |
| 2:00pm – 3:30pm | 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 | Arnaud Venet (CMU West) w Eric Feron (GA Tech) |
| 2:45pm – 3:30pm |
Panel Discussion: |
| 3:30pm – 5:30pm | Poster Session |
| 5:30pm – 7:30pm | Dinner (On your own) |
| 7:30pm – 9:30pm |
Birds of a Feather Group Meetings Co-Moderator: Sol Greenspan (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) Shyam Sunder (NIST) Keith Marzullo (NSF) |
| 8:45am – 9:30am | Science Keynote: Panos Antsaklis (UND) |
| 9:30am – 10:05am | Framing the CPS Issues in Manufacturing and Design Bruce Kramer (NSF/CMMI) and Karthik Ramani (Purdue) |
| 10:05am – 10:20am | Break |
| 10:20am – 11:40am | Session 3: Design and Manufacturing Session Chair: Bruce Kramer (NSF/CMMI) |
| 10:20am – 10:30am |
Internet-Enabled Manufacturing |
| 10:30am – 10:40am |
Design Environments and Manufacturing Integration |
| 10:40am – 10:50am |
Industry Capabilities and Needs |
| 10:50am – 11:40am |
Panel Discussion: |
| 11:40am – 12:15pm | Break for Lunch Pickup |
| 12:15pm – 1:15pm | Conversation with Government: Examples for CPS Initiatives Moderator: Al Wavering (NIST) Panelists: Paul Eremenko (DARPA), Tim Heidel (ARPA-E), Paul Jones (FDA), David Kuehn (FHWA), Brad Martin (NSA/ODNI), Bob Pearce (NASA) |
| 1:15pm – 1:30pm | CPS-VO Update Chris vanBuskirk (Vanderbilt) |
| 1:30pm – 3:30pm | Poster Session |
| 3:30pm – 5:00pm | Parallel Sessions: Health and Medical — Energy — Transportation |
| Health and Medical Session Chair: Sylvia Spengler (NSF) |
|
| 3:30pm – 3:45pm | Julian Goldman (Partners & Mass. Gen. Hosp.) |
| 3:45pm – 4:00pm | Oleg Sokolsky (UPenn) |
| 4:00pm – 4:15pm | Philip Brisk (UC Riverside) |
| 4:15pm – 5:00pm | Panel Discussion: Moderator: Grace Peng (NIH) Panelists: Philip Brisk (UC Riverside), Julian Goldman (Partners & Mass Gen. Hosp.), Paul Jones (FDA), Kamran Sayrafian (NIST), Oleg Sokolsky (U Penn), Sandy Weininger (FDA) |
| Energy Session Chair: Ted Baker (NSF) |
|
| 3:30pm – 3:45pm | Munther Dahleh (MIT) |
| 3:45pm – 4:00pm | Lang Tong (Cornell) |
| 4:00pm – 4:15pm | Francesco Bullo (UCSB) |
| 4:15pm – 5:00pm | Panel Discussion: Moderator: Tim Heidel (ARPA-E) Panelists: Francesco Bullo (UCSB), Munther Dahleh (MIT), Santiago Grijalva (GT), Randy Katz (UC Berkeley), Steven Low (Caltech), Amit Narayan (Stanford), Lang Tong (Cornell) |
| Transportation CPS Session Chair: Ralph Wachter (NSF) |
|
| 3:30pm – 3:45pm | Francesco Borrelli (UC Berkeley) |
| 3:45pm – 4:00pm | Sandip Roy (WSU) |
| 4:00pm – 4:15pm | Hari Balakrishnan (MIT) |
| 4:15pm – 5:0pm | Panel Discussion: (2-minute quota for position statements) Moderator: David Kuehn (FHWA) Panelists: Hari Balakrishnan (MIT), Francesco Borelli (UC Berkeley), Ed Griffor (Chrysler), David Homan (AFRL), David Kuehn (FHWA), Bill Milam (Ford), Paul Miner (NASA), Sandip Roy (WSU), Shige Wang (General Motors) |
| 5:00pm – 7:30pm | Dinner (On your own) |
| 7:30pm – 9:30pm |
Birds of a Feather Group Meetings 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) 2. Medical Co-Moderator: Vinay Pai (NIH/NIBIB) 3. Transportation |
| 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 |
| 9:30am – 10:15am | International Conversation: Mechanisms for Collaboration in CPS Moderator: Sankar Basu (NSF) Panelists: Alkis Konstantellos (EU), Yuzuru Tanaka (Hokkaido University), Bonnie Thompson (NSF), Ken Whang (NSF), Feng Zhao (MSR Beijing) |
| 10:15am – 10:30am | Break |
| 10:30am – 11:00am | Education Keynote: CPS Education in Europe Peter Marwedel (TU Dortmund) |
| 11:00am – 11:45am | Education Keynote: Edward A. Lee (UC Berkeley) |
| 11:45am – 12:15pm | Box Lunch Pickup |
| 12:15pm – 1:45pm | Education Breakouts Breakout 1: Moderator: Magnus Egerstedt (GA Tech) Breakout 2: Moderator: Rajesh Gupta (UCSD) Breakout 3: Moderator: Peter Marwedel (TU Dortmund) |
| 1:45pm – 3:00pm | Education Breakout Reports |
| 2012 CPS PI Meeting Adjourned | |