Program Agenda with Links to Presentations

 

Download 2015 Program Booklet

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.
10:05 a.m.-10:20 a.m.BREAK [Foyer and Hallways]
10:20 a.m.-10:35 a.m.
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.
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 VOJanos 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