2016 CPS PI Meeting - Program Agenda (PC)

 

Download 2016 Program Booklet

SUNDAY, OCTOBER 30
6:00 pm – 9:00 pmEarly Registration [Foyer]
MONDAY, OCTOBER 31
7:30 am - 5:00 pmRegistration [Foyer]
8:00 am - 5:00 pmCPS-VO Help Desk [Studio C]
7:30 am - 8:30 amContinental Breakfast [Foyer & Hallways]
NSF WELCOME AND OPENING REMARKS [Salons 4-7]
8:30 am - 9:00 amDr. Kenneth L. Calvert (Division Director-CNS/CISE)
Dr. James Kurose (Assistant Director-CISE)
Dr. Grace Wang (Acting Assistant Director- Engineering)
SESSION 1: KEYNOTE: ARRAY OF THINGS [Salons 4-7]
Session Lead: David Corman (CPS Program Lead - CNS/CISE)
9:00 am - 9:45 amThe Array of Things
Charlie Catlett (Argonne National Laboratory & Argonne/University of Chicago Computation Institute's Urban Center for Computation and Data)
9:45 am - 10:00 amBREAK [Foyer & Hallways]
SESSION 2: CPS AND SMART AND CONNECTED COMMUNITIES DCL  [Salons 4-7]
Session Lead: Sylvia Spengler (IIS/CISE)
10:00 am - 10:20 amSCALE 2: Safe Community Awareness and Alerting
(A Smart America and Global Cities Challenge Project)
Nalini Venkatasubramanian (UC-Irvine)
Sharad Mehrotra (UC-Irvine)
10:20 am - 10:40 am A Unified Solution of Mixed Traffic Sensing, Tracking, and Acceptable Active Accident Avoidance for On-Demand Automated Shuttles in a Smart City
Ümit Özgüner (The Ohio State), Keith Redmill (The Ohio State), Bilin Aksun-Guvenc (The Ohio State)
10:40 am - 11:00 amRecent Research for Social CPS in Japan
Teuro Higashino (Osaka University-Japan), Rin-ichiro Taniguchi (Kyushu University-Japan)
11:00 am - 11:20 amTransit Hub - Decision Support System With Multi-Timescale Analytical Services
Abhishek Dubey (Vanderbilt)
11:20 am - 11:40 amAerial Communication Infrastructure for Smart Emergency Response
Yan Wan (U Texas - Arlington), Shengli Fu (U of North Texas)
SESSION 3: NEW FRONTIERS PROJECTS [Salons 4-7]
Session Lead: Gurdip Singh (CNS/CISE and Syracuse University)
11:40 am - 12:00 pmSoftware Defined Control for Smart Manufacturing Systems
Dawn Tilbury (U Michigan - Ann Arbor), Elaine Shi (Cornell), Sibin Mohan (UIUC), Zhuoqing Mao (U Michigan - Ann Arbor), Kira Barton (U Michigan - Ann Arbor), James Moyne (U Michigan - Ann Arbor), Sayn Mitra (UIUC)
12:00 pm  - 12:20 pmSONYC: A Cyber-Physical System for Monitoring, Analysis, and Mitigation of Urban Noise Pollution
Juan Bello (NYU), Anish Arora (The Ohio State), Claudio Silva (NYU), Oded Nov (NYU), Roger DuBois (NYU)
12:20 pm - 12:40 pmVeHICal: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Sanjit Seshia (UC-Berkeley), Richard Murray (California Institute of Technology), Cynthia Sturton (UNC-CH), Thomas Griffiths (UC-Berkeley), Claire Tomlin (UC-Berkeley), S. Shankar Sastry (UC-Berkeley), Ruzena Bajcsy (UC-Berkeley)
12:40 pm - 1:40 pmLUNCH  [Foyer & Hallways]
SESSION 4: CPS VO ACTIVE RESOURCES AND STUDENT COMPETITIONS [Salons 4-7]
Session Lead: David Corman (CNS/CISE)
1:40 pm - 1:50 pmCPS-VO Project Overview
Janos Sztipanovits (Vanderbilt)
1:50 pm - 2:00 pmStudent Competitions in CPS 
Jonathan Sprinkle (Arizona)
2:00 pm - 2:10 pmStudent Competitions in the Curriculum
Julie Adams (Vanderbilt)
2:10 pm - 2:20 pmStudent Experience
Paulo Tabuada (UCLA)
2:20 pm - 2:30 pm UAV Testbed for the CPS Community
Jnaneshwar Das (UPenn)
2:30 pm - 2:40 pmCPS-VO Portal for Active Resources
Chris vanBuskirk (Vanderbilt)
SESSION 5: SYNERGY PROJECTS [Salons 4-7]
Session Lead: Wendy Nilsen (IIS/CISE)
2:40 pm - 3:00 pmAn Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care From Rural to Regional Center
Shangping Ren (Illinois Institute of Technology), Lui Sha (UIUC), Richard Berlin (Carle Hospital and UIUC)
3:00 pm - 3:20 pmMRI Powered and Guided Tetherless Effectors for Localized Therapeutic Interventions
Aaron Becker (U of Houston), Dipan Shah (The Methodist Hospital Research Institute), Nikolaos Tsekos (U of Houston)
3:20 pm - 3:40 pmThreat-Assessment Tools for Management-Coupled Cyber-and Physical Infrastructure 
Sandip Roy (Washington State), Sajal Das (Missouri University of S&T), Yan Wan ( U of Texas-Arlington), Ali Mehrizi-Sani (Washington State), Hans Van Dongen (Washington State), Adam Hahn (Washington State)
3:40 pm - 4:00 pmSmart Calibration Through Deep Learning for High-Confidence and Interoperable Cyber-Physical Additive Manufacturing Systems
Qiang Huang (USC), Arman Sabbaghi (Purdue)
4:00 p.m. - 4:15 p.m. BREAK [Foyer and Hallways]
SESSION 6: CAREER PROJECTS [Salons4-7]
Session Lead: Anindya Banerjee (CCF/CISE)
4:15 pm - 4:30 pmResilient Design of Networked Infrastructure Systems: Models, Validation, and Synthesis
Saurabh Amin (MIT)
4:30 pm - 4:45 pmAutonomous Underwater Power Distribution System for Continuous Operation
Nina Mahmoudian (Michigan Technological University)
4:45 pm - 5:00 pmSOISTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems
Qi Zhu (UC-Riverside)
SESSION 7: POSTER + DEMONSTRATION SESSIONS (SHOW & TELL) [Studios B, C, D,&E, Salons 1-3, and Foyer/Hallways] (Refreshments Served)
5:00 pm - 7:00 pmPoster and Demonstration Sessions (Show and Tell)
7:00 pmEND OF DAY ONE SESSIONS
TUESDAY, NOVEMBER 1
7:00 am - 5:00 pmRegistration [Foyer]
8:00 am - 5:00 pmCPS VO Help Desk [Studio C]
7:30 am - 8:30 amContinental Breakfast [Foyer & Hallways]
WELCOME AND OPENING REMARKS, AND SMART AND CONNECTED COMMUNITIES SOLICITATION [Salon 4-7]
8:30 am - 8:50 amSmart and Connected Communities: CPS PI Meeting
David Corman (CNS/CISE)
SESSION 8: INTEL/CPS PROJECTS [Salons 4-7]
Session Lead: Lily L. Yang (Intel)
8:50 am - 9:00 amIntroduction: Intel-NSF Center for CPS Security
Lily L. Yan (Intel)
9:00 am - 9:20 amSecurity and Privacy-Aware Cyber-Physical Systems
Insup Lee (UPenn), Kang Shin (U of Michigan - Ann Arbor), Miroslav Pajic (Duke), George Pappas (UPenn), Nadia Heninger (UPenn), Andreas Haeberlen (UPenn), Oleg Sokolsky (UPenn)
9:20 am - 9:40 am CPS-Security: End-to-End Security for the Internet of Things
Philip Levis (Stanford), Prabal Dutta (U of Michigan-Ann Arbor), Bjoern Hartmann (UC-Berkeley), Dan Boneh (Stanford), Dawson Engler (Stanford), Keith Winstein (Stanford), Mark Horowitz (Stanford), Raluca Popa (UC-Berkeley)
SESSION 9: BREAKTHROUGH PROJECTS [Salons 4-7]
Session Lead: Bruce Kramer (CMMI/ENG)
9:40 am - 9:55 amSecuring Smart Grid by Understanding Communications Infrastructure Dependencies
Krishna Kant (Temple), Sajal Das (Missouri University of S&T), Mariesa Crow (Missouri University of S&T), Avinash Srinivasan (Temple), Simone Silverstri (Missouri University of S&T)
9:55 am - 10:10 amTowards Resiliency in Cyber-Physical Systems for Robot-Assisted Surgery
Ravishankar Iyer (UIUC), T. Kesavadas (UIUC), Zbigniew Kalbarczyk (UIUC)
10:10 am - 10:25 amUnderstanding Sub-Second Instabilities in a Global Cyber-Physical System
Neil Johnson (U Miami)
10:25 am - 10:40 amWARP: Wide Area Assisted Resilient Protection
Rajesh Kavasseri (NDSU-Fargo), Sukumar Brahma (NMSU), Nilanjan Ray Chaudhuri (NDSU-Fargo)
10:40 am - 10:55 am BREAK [Foyer & Hallways]
SESSION 10: SYNGERY PROJECTS [Salons 4-7]
Session Lead: Radhakishan Baheti  (ECCS/ENG)
10:55 am - 11:15 am Design and Control of High-Performance Provably Safe Autonomoy-Enabled Dynamic Transportation Networks
Sertac Karaman (MIT)
11:15 am - 11:35 amBeyond Stability: Performance, Efficiency, and Disturbance Management for Smart Infrastructure Systems
Dennice Gayme (John Hopkins), Enrique Mallada (Johns Hopkins), Vijay Gupta (Notre Dame), Adam Wierman (Cal Tech), Ao Tang (Cornell)
11:35 am - 11:55 amComputationally Aware Cyber-Physical Systems
Jonathan Sprinkle (Arizona), Ricardo Sanfelice (UC-Santa Cruz)
11:55 am - 12:15 pm The Science of Activity-Predictive Cyber-Physical Systems (APCPS)
Janardhan Rao Doppa (Washington State), Diane Cook (Washington State), Maureen Schmitter-Edgecombe (Washington State), Anurag Srivastava (Washington State)
12:15 pm - 12:35 pmManeuver and Data Optimization for High Confidence Testing of Future Automotive Cyber-Physical Systems
Ella Atkins (U Michigan-Ann Arbor), Ilya Kolmanovksy (U Michigan-Ann Arbor), Barzan Mozafari (U Michigan-Ann Arbor), Mark Oliver (U Michigan-Ann Arbor)
12:35 pm - 12:55 pmHardening Network Infrastructures for Fast, Resilient, and Cost-Optimal Wide-Area Control of Power Systems
Aranya Chakrabortty (NCSU), Anuradha Annaswamy (MIT), Alefiya Hussain (USC), Alexandra Duel-Hallen (NCSU)
12:55 pm - 1:55 pmLUNCH [Foyer & Hallways]
(PARALLEL) BREAKOUT SESSION: Creating a TTP Ecosystem Discovery and Support Resource for Cybersecurity Technology Transfer to Practice [Studio F]
Breakout Session Lead: Anita Nikolich (NSF)
11:00 am - 1:00 pmTechnology Transfer To Practice (SATC TTP)
Speaker: Dr. Alec Yasinsac (University of South Alabama)
SESSION 11: CPS AND IOT FOUNDATIONS [Salons 4-7]
Session Lead: Sankar Basu (CCF/CISE)
1:55 pm - 2:15 pmFundamental Research Challenges for IoT/CPS (a few from the many*)
John Stankovic (UVA)
2:15 pm - 2:35 pm CPS and IoT Foundations Panel
George Pappas (UPenn)
2:35 pm - 2:55 pmCPS and IoT Foundations: Performance and Resilience
Radha Poovendran (U Washington-Seattle)
2:55 pm - 3:10 pmSocietal Scale CPS Systems: Data Analytics, Privacy and Incentive Design
S. Shankar Sastry (UC-Berkeley)
3:10 pm - 3:40 pmCPS and IoT Foundations Panel
David Corman (NSF) Xenofon Koutsokos (Vanderbilt) George Pappas (UPenn) S. Shankar Sastry (UC-Berkeley) John Stankovic (UVA) Wei Zhao (U Macau-China)
3:40 pm - 3:55 pmBREAK [Foyer and Hallways]
SESSION 12: POSTER + DEMONSTRATION SESSIONS (SHOW & TELL) [Studios C, D, & E, Salons 1-3, Foyer & Hallways]
(Refreshments Served)
3:55 pm - 5:20 pm Poster + Demonstration Sessions
WRAP-UP [Salons 4-7]
5:20 pm - 5:30 pmDavid Corman (CNS/CISE)
2016 CPS PI Meeting Adjourned