Program

2012 CPS PI Meeting - Agenda

Visible to the public 

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
Jim Truchard (National Instruments)Technologies for Cyber Physical Systems
9:25am –10:00am Science Keynote
George Pappas (UPenn)Science of Cyber-Physical Systems: Bridging CS and Control
10:00am –10:20am Break
10:20am – 11:40am Session 1: Science of CPS
Session Chair: Helen Gill (NSF)
10:20am – 10:35am Paulo Tabuada (UCLA)Is It About Time for Control
10:35am –10:50am Bruno Sinopoli (CMU)
10:50am – 11:05am Rajeev Alur (UPenn)Model Synthesis: New Challenges in Model Based Design
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), Autonomy, Authority, and Human Interaction

Panelists:
Anuradha Annaswamy (MIT), Challenges on Autonomy, Verification and Distributed Decision, and Action
Hamsa Balakrishnan (MIT), Autonomy, Authority, and Human Interaction Challenges in Air Transportation Systems
Yuri Gawdiak (FAA/JPDO), Challenges to Autonomy Organizational Perspective
Jake Hinchman (AFRL), The Future Trends of Autonomy
Dawn Tilbury (U Mich), Manufacturing Systems Examples
Andres Zellweger (FAA/JPDO)

1:15pm – 2:00pm Tutorial
John Rushby (SRI), Formal Verification Technology
2:00pm – 3:30pm Session 2: Technology for CPS
Session Chair: Kishan Baheti (NSF)
2:00pm – 2:15pm Aaron Stump (U of Iowa)StarExec - A Web Service for Evaluating Logic Solvers
2:15pm – 2:30pm Raj Rajkumar (CMU)Advanced Transportation Systems
2:30pm – 2:45pm Arnaud Venet (CMU West) w Eric Feron (GA Tech), Credible Autocoding and Verification of Embedded Software (CrAVES)
2:45pm – 3:30pm

Panel Discussion:
Moderator: Paul Miner (NASA)

Panelists:
Sandeep Neema (Vanderbilt) 
Raj Rajkumar (CMU)
John Rushby (SRI)
Cesare Tinelli (U Iowa)
Jim Truchard (NI)
Arnaud Venet (CMU West)

3:30pm – 5:30pm Poster Session
5:30pm – 7:30pm Dinner (On your own)
7:30pm – 9:30pm

Birds of a Feather Group Meetings
1. 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)
2. The New Clockwork for Time-Critical CPS
Moderator: Ted Baker (NSF)
Edward A. Lee (UC Berkeley), Al Mok (UT)
3. 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)

Shyam Sunder (NIST), Foundations for Innovation in Cyber-Physical Systems
Keith Marzullo (NSF), Some Interagency Coordination in Cyber-Physical Systems
8:45am – 9:30am Science Keynote:
Panos Antsaklis (UND), Cyber-Physical Systems Design Using Dissipativity and Symmetry
9:30am – 10:05am

Framing the CPS Issues in Manufacturing and Design
Bruce Kramer (NSF/CMMI), CPS in Design and Manufacturing

Karthik Ramani (Purdue), Towards the Future of "Making": Convergence

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
Paul Wright (UC Berkeley), Fabbit: Fabrication and Brokering through Information Technology

10:30am – 10:40am

Design Environments and Manufacturing Integration
Mark Traband (PSU), Design Environments and Manufacturing Integration

10:40am – 10:50am

Industry Capabilities and Needs
Brian Murray (UTRC) 

10:50am – 11:40am

Panel Discussion:
Moderator: Steve McKnight (NSF/CMMI)

Panelists:
Al Jones (NIST)
Xenofon Koutsoukos (Vanderbilt)
Pieter Mosterman (Mathworks)
Brian Murray (UTRC)
Fritz Prinz (Stanford)
Karthik Ramani (Purdue)
Mark Traband (PSU)
Paul Wright (Berkeley)

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), The CPS-VO Collaboration Platform
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), Medical CPS: Opportunities and Challenges
4:00pm – 4:15pm Philip Brisk (UC Riverside), Feedback-Driven Assay Interpretation Using Digital Microfluidic Biochips
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), The Future Power Grid: Resilience and Systemic Risk
3:45pm – 4:00pm Lang Tong (Cornell), Information and Computation Hierarchy for Smart Grids
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), Active Safety Control in Automotive Cyber-Physical Systems
3:45pm – 4:00pm Sandip Roy (WSU), Designing Decision-Support Systems for Air Traffic Flow Management: A Cyber-Physical Systems Challenge
4:00pm – 4:15pm Hari Balakrishnan (MIT), CPS and the Mobile Tsunami
4:15pm – 5:0pm

Panel Discussion: (2-minute quota for position statements)
Moderator: David Kuehn (FHWA)

Panelists:
Hari Balakrishnan (MIT), see link above
Francesco Borelli (UC Berkeley), see link above
Ed Griffor (Chrysler), Transportation CPS - Autonomy and Controls Engineering Tools
David Homan (AFRL)
David Kuehn (FHWA), Cyber-Physical Systems in Highway Transportation
Bill Milam (Ford)
Paul Miner (NASA)
Sandip Roy (WSU), see link above
Shige Wang (General Motors)

5:00pm – 7:30pm Dinner (On your own)
7:30pm – 9:30pm

Birds of a Feather Group Meetings

1. 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)

2. 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)

3. 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
Moderator: Bill Chang (NSF)

Panelists:
Karl-Erik Årzén (Lund), CPS Research Agenda: A Personal Perspective
Radu Grosu (SUNY Stonybrook & TU Vienna), CPS from EU-Science Perspective
Alkis Konstantellos (EU)
Yuzuru Tanaka (Hokkaido University), Government Initiatives on CPS in Japan
Wei Zhao (University of Macau), CPS Research and Development in China

9:30am – 10:15am

International Conversation: Mechanisms for Collaboration in CPS
Moderator: Sankar Basu (NSF)

Panelists:
Alkis Konstantellos (EU), European Systems Related R&D&I Programs: Past, Present, and Future Plans; and International Cooperation
Yuzuru Tanaka (Hokkaido University), New CPS Project in Japan - CPS-IP: CPS Integrated Platform for Efficient Social Services
Bonnie Thompson (NSF), Mechanisms for International Collaboration in Science & Engineering Research and Education
Ken Whang (NSF), Internationalizing a Program in Computation Neuroscience
Feng Zhao (MSR Beijing), CPS Collaboration Opportunities in Asia

10:15am – 10:30am Break
10:30am – 11:00am Education Keynote:
Peter Marwedel (TU Dortmund), Teaching Embedded Systems Foundation of Cyber-Physical Systems
11:00am – 11:45am Education Keynote:
Edward A. Lee (UC Berkeley), Introducing Embedded Systems: A Cyber-Physical Systems Approach
11:45am – 12:15pm Box Lunch Pickup
12:15pm – 1:45pm

Education Breakouts

Breakout Session Report

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