Wednesday, August 23, 2017 |
|
Welcome |
08:30-08:45 |
Welcome and Opening Remarks
David Corman (National Science Foundation); Shankar Sastry (Berkeley) |
08:45-09:15 |
FORCES Updates and Highlights
Larry Rohrbough (Berkeley) |
|
Keynote Presentation |
09:15-10:15 |
Provably Correct Intelligent Learning CPS
Janos Sztipanovits (Vanderbilt); Claire Tomlin (Berkeley) |
10:15-10:30 |
Break |
|
Session I |
10:30-11:00 |
Secure AI in Cyber Physical Systems
Dawn Song (Berkeley) |
11:00-11:30 |
Humans Amidst Automation: Competition, Learning, and Uncertainty
Roy Dong (Berkeley); Lillian Ratliff (University of Washington) |
11:30-11:45 |
A Distributed Control Algorithm Robust to Forecast Uncertainty for a Large Stormwater Catchment
Margaret Chapman (Berkeley) |
11:45-12:00 |
A Game-Theoretic Approach for Selecting Optimal Thresholds for Anomaly Detection in Dynamical Environments
Amin Ghafouri (Vanderbilt) |
12:00-12:15 |
Reinforcement Learning for Mixed-Autonomy Traffic
Eugene Vinitsky (Berkeley); Cathy Wu (Berkeley) |
12:15-12:30 |
Effect of Information in Bayesian Congestion Games
Manxi Wu (MIT) |
|
Lunch and Keynote Presentation |
12:30-13:45 |
Toward a Resilient and Sustainable Air Transportation System
Hamsa Balakrishnan (MIT) |
|
Session II |
13:45-14:15 |
Strategic Sensing and Resource Allocation for Pipeline Network Resilience
Saurabh Amin (MIT) |
14:15-14:30 |
Education and Outreach at UC Berkeley
Claire Tomlin (Berkeley) |
14:30-14:45 |
Education and Outreach at Vanderbilt
Xenofon Koutsoukos (Vanderbilt) |
14:45-15:00 |
Education and Outreach at MIT
Saurabh Amin (MIT) |
15:00-15:15 |
Break |
|
Session III and Keynote Presentation |
15:15-16:15 |
Resilience of Cyber-Physical Systems Using Redundancy, Diversity, and Hardening
Xenofon Koutsoukos (Vanderbilt) |
16:15-16:30 |
Vulnerability Analysis Based on Cyber-Attack and Defense Models in Power Transmission Systems
Saqib Hasan (Vanderbilt) |
16:30-16:45 |
Secure Learning in Adversarial Environments
Bo Li (Berkeley) |
16:45-17:00 |
Resilient Diffusion Least-Mean Squares Over Adaptive Networks for Distributed Clustering in CPS
Jiani Li (Vanderbilt) |
17:00-17:15 |
Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection
Chang Liu (Berkeley) |
17:15-17:30 |
On Threshold Properties of the Optimal Policy for POMDPs on Partially Ordered Spaces
Erik Miehling (Michigan) |
18:30 |
NETWORKING DINNER |