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

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

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)

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)

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)

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)

Philip Brisk (UC Riverside)
Julian Goldman (Partners & Mass Gen. Hosp.)
Paul Jones (FDA)
Kamran Sayrafian (NIST)
Oleg Sokolsky (U Penn)
Sandy Weininger (FDA)

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)

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)

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)

Karl-Erik Arzen (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)

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