Program Agenda
Meeting archives: 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017
Sunday, November 15
|
Time
|
|
| 6:00 p.m.- 9:00 p.m. | Early Registration [Registration Table in Foyer] |
Monday, November 16
|
Time
|
|
| 7:30 a.m.-5:00 p.m. | Registration [Registration Desk in Foyer] |
| 7:30 a.m.-8:30 a.m. | Continental Breakfast [Foyer and Hallways] |
| 8:00 a.m.-5:00 p.m. | CPS VO Help Desk [Foyer] |
| 8:30 a.m.-8:50 a.m. | NSF Welcome and Introduction [Salons 4-7] James Kurose - AD CISE (NSF) Pramod Khargonekar - AD ENG (NSF) David Corman (NSF) |
| 8:50 a.m.-9:20 a.m. | SESSION 1: Keynote [Salons 4-7] Session Chair: David Corman (NSF) |
| 8:50 a.m.-9:20 a.m. | Tackling Local Challenges Through Smart Cities Dan Correa (OSTP) |
| 9:20 a.m.-11:20 a.m. | SESSION 2: CPS & Smart and Connected Communities [Salons 4-7] Session Chair: Gurdip Singh (NSF) |
| 9:20 a.m.-9:35 a.m. | Prototyping a Scalable and Evolvable Urban Sensing Platform for Smart Cities Rajesh Sankaran (ANL), Charlie Catlett (Chicago) |
| 9:35 a.m.-9:50 a.m. | Exploring Resilience in Smart City Water Infrastructure Nalini Venkatasubramanian (UC-Irvine) |
| 9:50 a.m.-10:05 a.m. |
Autonomy-Enabled Shared Vehicles for Mobility on Demand and Urban Logistics
Sertac Karaman (MIT) |
| 10:05 a.m.-10:20 a.m. | BREAK [Foyer and Hallways] |
| 10:20 a.m.-10:35 a.m. |
Understanding Population Analytics Through a WiFi-Based Edge Computing Platform
Suman Banerjee (Wisconsin) |
| 10:35 a.m.-10:50 a.m. | Cyber-Physical Fingerprinting for Internet of Things Authentication: Accelerating IoT Research and Education Under the Global City Teams Challenge Walid Saad (VA Tech) |
| 10:50 a.m.-11:05 a.m. | Advanced Peak Demand Forecast and Battery Dispatch Algorithms to Integrate Storage-Based Demand Response with Building Automation Systems Christoph Meinrenken (Columbia) |
| 11:05 a.m.-11:20 a.m. | Transit Hub: An Extensible and Smart Decision Support System for Public Transportation Abhishek Dubey (Vanderbilt) |
| 11:20 a.m.-1:50 p.m. | SESSION 3: Working Lunch / 2014 - 2015 CPS Program Activities / Frontiers Panel [Salons 4-7] Session Chair: Sankar Basu (NSF) |
| 11:20 a.m.-11:35 a.m. | BioCPS for Engineering Living Cells Calin Belta (Boston), Vijay Kumar (UPenn), Ron Weiss (MIT) |
| 11:35 a.m.-11:50 a.m. | Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems Scott Smolka (SUNY-Stony Brook), Rahul Mangharam (UPenn), Rance Cleaveland (Maryland), Arnab Ray (Fraunhofer CESE), Edmund Clarke (Carnegie Mellon), Elizabeth Cherry (Rochester), Flavio Fenton (GA Tech) |
| 11:50 a.m.-12:10 p.m. | ROSELINE Mani Srivastava (UCLA), Anthony Rowe (Carnegie Mellon), Joao Hespanha (UCSB), Rajesh Gupta (UCSD) |
| 12:10 p.m.-12:30 p.m. | LUNCH PICK-UP [Foyer and Hallways] |
| 12:30 p.m.-12:50 p.m. | FORCES S. Shankar Sastry (UC-Berkeley), Saurabh Amin (MIT), Xenofon Koutsoukos (Vanderbilt), Demosthenis Teneketzis (Michigan) |
| 12:50 p.m.-1:10 p.m. | Correct-by-Design Control Software Synthesis for Highly Dynamic Systems Jessy Grizzle (Michigan), Hartmut Geyer (Carnegie Mellon), Aaron Ames (GA Tech), Paulo Tabuada (UCLA) |
| 1:10 p.m.-1:30 p.m. | Science of Integration Janos Sztipanovits (Vanderbilt), Shige Wang (GM), John Baras (Maryland), Panos Antsaklis (Notre Dame), Xenofon Koutsoukos (Vanderbilt) |
| 1:30 p.m.-1:50 p.m. | Panel: What Makes a Good Frontiers Project and Lessons Learned |
| 1:50 p.m.-3:50 p.m. | SESSION 4: PI Reports and Academic Panel [Salons 4-7] Session Chair: Anindya Banerjee (NSF) |
| DHS and CPS Security Projects: | |
| 1:50 p.m.-2:05 p.m. | High-Fidelity, Scalable, Open-Access Cyber Security Testbed for Accelerating Smart Grid Innovations and Deployments Mani Govindarasu (Iowa State) |
| 2:05 p.m.-2:20 p.m. | A Verifiable Framework for Cyber-Physical Attacks and Countermeasures in a Resilient Electric Power Grid Lalitha Sankar (Arizona State) |
| 2:20 p.m.-2:35 p.m. | Security of Distributed Cyber-Physical Systems with Connected Vehicle Applications Pierluigi Pisu (Clemson) |
| 2:35 p.m.-2:50 p.m. | BREAK [Foyer and Hallways] |
| 2:50 p.m.-3:05 p.m. | CPS-Security: End-to-End Security for the Internet of Things Prabal Dutta (Michigan), Philip Levis (Stanford), Bjoern Hartmann (UC-Berkeley) |
| 3:05 p.m.-3:20 p.m. | Security and Privacy-Aware Cyber-Physical Systems Insup Lee (UPenn), Miroslav Pajic (Duke), Kang Shin (Michigan) |
| 3:20 p.m.-3:35 p.m. | Secure Perception for Autonomous Systems Todd Humphreys (UT-Austin) |
| 3:35 p.m.-3:50 p.m. | Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures Saman Aliari Zonouz (Rutgers), Katherine Davis (UIUC) |
| 3:50 p.m.-5:05 p.m. | SESSION 5: CPS Projects [Salons 4-7] Session Chair: Sylvia Spengler (NSF) |
| 3:50 p.m.-4:05 p.m. | Toward 21st Century CPS Education Jack Stankovic (UVA) |
| 4:05 p.m.-4:20 p.m. | Enabling the Usage of Multicore Platforms in Real-Time Safety-Critical Systems James Anderson (UNC-Chapel Hill), Frank Mueller (NCSU) |
| 4:20 p.m.-4:35 p.m. | Triggered Control of Cyber Physical Systems with Communication Channel Constraints Massimo Franceschetti (UCSD) |
| 4:35 p.m.-4:50 p.m. | Human-Machine Interaction with Mobility Enhancing Soft Exosuits Conor Walsh (Harvard) |
| 4:50 p.m.-5:05 p.m. | A Signal-Aware-Based Low-Power, Fully Human Implantable Brain-Computer Interface System to Restore Walking After Spinal Cord Injury An Do (UC-Irvine), Payam Heydari (UC-Irvine), Zoran Nenadic (UC-Irvine), Charles Liu (USC) |
| 5:05 p.m.-5:15 p.m. | WRAP-UP [Salons 4-7] |
| 5:15 p.m.-6:45 p.m. | SESSION 6: Poster Session + Demonstration Session (Show &Tell) [Studios D & E, Salons 1-3, and Foyer/Hallway] (Refreshments Served) Session Chair: Zachary Hayden (NSF) |
| 6:45 p.m. | End of Day One Sessions |
Tuesday, November 17
|
Time
|
|
| 7:00 a.m.- 5:00 p.m. | Registration [Registration Desk in Foyer] |
| 7:00 a.m.- 8:00 a.m. | Continental Breakfast [Foyer and Hallways] |
| 8:00 a.m.- 5:00 p.m. | CPS VO Help Desk [Foyer] |
| 8:00 a.m. - 8:10 a.m. | Opening Remarks [Salons 4-7] Erwin Gianchandani (NSF) Peter Arzberger (NSF) David Corman (NSF) |
| 8:10 a.m.-8:50 a.m. | SESSION 7: Special Topics [Salons 4-7] Session Chair: David Corman (NSF) |
| 8:10 a.m.- 8:30 a.m. |
Innovation at the Nexxus of Food, Energy, Water Solicitation
Thomas Torgersen (NSF) |
| 8:30 a.m.- 8:50 a.m. | Accessible Remote Testbeds Workshop Summary Radhakishan Baheti (NSF), Magnus Egerstedt (GA Tech) |
| 8:50 a.m.- 9:35 a.m. | SESSION 8: Plenary Session Talk [Salons 4-7] Session Chair: Radhakishan Baheti (NSF) |
| 8:50 a.m.- 9:35 a.m. |
Premonition Project
Ethan Jackson (Microsoft Research) |
| 9:35 a.m.-9:50 a.m. | BREAK [Foyer and Hallways] |
| 9:50 a.m.-11:05 a.m. | SESSION 9: PI Reports [Salons 4-7] Session Chair: David Corman (NSF) |
| Cyber Manufacturing Projects (new and continuing): | |
| 9:50 a.m.-10:05 a.m. | |
| 10:05 a.m.-10:20 a.m. | Securing Manufacturing Systems Jaime Camelio (VA Tech), Jules White (Vanderbilt), Robert Parker (VA Tech) |
| 10:20 a.m.-10:35 a.m. | Foundations of Cyber-Physical Infrastructure for Creative Design and Making of Cyber-Physical Products Karthik Ramani (Purdue) |
| 10:35 a.m.-10:45 a.m. | Design of an Agile and Smart Manufacturing Exchange: Enabling Small Businesses Through Standardized Protocols and Distributed Optimization Krishnendu Chakrabarty (Duke) |
| 10:45 a.m.-10:55 a.m. | Enabling Production as a Service Kira Barton (Michigan) |
| 10:55 a.m.-11:05 a.m. | Software/Hardware Combined Acceleration for 3D Printing in Mass Customization Wenyao Xu (SUNY-Buffalo) |
| 11:05 a.m.-12:35 p.m. | SESSION 10: PI Reports [Salons 4-7] Session Chair: Gurdip Singh (NSF) |
| 11:05 a.m.-11:20 a.m. | In-Silico Functional Verification of Artificial Pancreas Control Algorithms Sriram Sankaranarayanan (Colorado at Boulder), Fraser Cameron (RPI) |
| 11:20 a.m.-11:35 a.m. | A Fractal Calculus Approach to the Modeling and Optimization of Medical Cyber-Physical Systems Paul Bogdan (USC) |
| 11:35 a.m.-11:50 a.m. |
Towards Effective and Efficient Sensing-Motion Co-Design of Swarming Cyber-Physical Systems
Wencen Wu (RPI), Zhi Sun (SUNY-Buffalo), Pu Wang (Wichita State) |
| 11:50 a.m.-12:05 p.m. | Engineering Safety-Critical Cyber-Physical-Human Systems Alex Kirlik (UIUC), Xiaofeng Wang (South Carolina at Columbia) |
| 12:05 p.m.-12:20 p.m. | Coordinated Resource Management of Cyber-Physical-Social Power Systems Duncan Callaway (UC-Berkeley), John Harris (Florida), Eilyan Bitar (Cornell) |
| 12:20 p.m.-12:35 p.m. | Distributed Asynchronous Algorithms and Software Systems for Wide-Area Monitoring of Power Systems Yufeng Xin (RENCI, UNC-Chapel Hill), Nitin Vaidya (UIUC), Aranya Chakrabortty (NCSU) |
| 12:35 p.m.- 2:30 p.m. |
SESSION 11: Working Lunch + Poster Session + Demonstration Session (Show & Tell)
Session Chair: Phil Regalia (NSF) |
| 12:35 p.m.-1:00 p.m. | LUNCH PICK-UP [Foyer and Hallways] |
| 1:00 p.m.-2:30 p.m. |
Poster Session + Demonstration Session (Show & Tell) [Studios D & E, Salons 1-3, and Foyer/Hallway]
|
| 2:30 p.m.-3:55 p.m. | SESSION 12: Transportation CPS [Salons 4-7] Session Chair: Kevin Dopart (DOT ITS/JPO) |
| 2:30 p.m.-2:50 p.m. | Center for Autonomous Transportation Systems Raj Rajkumar (Carnegie Mellon) |
| 2:50 p.m.-3:05 p.m. |
Efficient Traffic Management: A Formal Methods Approach
Murat Arcak (UC-Berkeley), Calin Belta (Boston) |
| 3:05 p.m.-3:20 p.m. | Collaborative Vehicular Systems Ümit Özgüner (Ohio State), Georgios Fainekos (Arizona State) |
| 3:20 p.m.-3:35 p.m. | Control of Vehicular Traffic Flow Via Low Density Autonomous Vehicles Dan Work (UIUC), Jonathan Sprinkle (Arizona), Benjamin Seibold (Temple) |
| 3:35 p.m.-3:55 p.m. | U.S. DOT Connected & Automated Vehicle Research Update Kevin Dopart (DOT ITS/JPO) |
| 3:55 p.m.- 4:10 p.m. |
BREAK [Foyer and Hallways]
|
| 4:10 p.m.- 5:00 p.m. |
SESSION 13: Evolving CPS Program [Salons 4-7]
Session Chair: David Corman (NSF) |
|
CPS Future Perspectives - David Corman (NSF)
Smart and Connected Communities DCL The Future of CPS VO - Janos Sztipanovits (Vanderbilt) Panel Discussion: Solved CPS problems – What have we made progress on in our 10th year of CPS research, what are successes, and what are new emerging challenges? |
|
| 5:00 p.m.-5:10 p.m. |
CLOSING [Salons 4-7]
David Corman (NSF) |
| 5:10 p.m. | 2015 CPS PI Meeting Adjourned |