FORCES 2015 Research Exchange and Advisory Board Meeting - May 28-29, 2015

FORCES 2015 Research Exchange and

Advisory Board Meeting - May 28-29, 2015

MEETING AGENDA
A PDF version of the program is available here.

Thursday, May 28, 2015
	Introduction and Overview
09:00-09:30	Welcome and Overview Shankar Sastry (Berkeley); Larry Rohrbough (Berkeley)
	Research Presentations - Morning Session
09:30-09:55	Data-Driven Modeling of Human Decision-Making Processes Jacob Avery (MIT)
09:55-10:20	Scalable Tools for Learning Models of Strategic Decision-Making Lillian Ratliff (Berkeley)
10:20-10:45	Stealthy Epidemics: Modeling Worm Attacks Against CPS Aron Laszka (Vanderbilt)
10:45-11:00	Break
11:00-11:20	Online Learning on a Continuum Walid Krichene (Berkeley)
11:20-11:50	Scalable Supervisory Control Approach for Dynamic Cyber Security Mohammad Rasouli (Michigan)
11:50-12:15	Approximation Algorithms for Optimization of Large-scale Interdependent Systems: From Supermarket Refrigerators to Electrical Grids Insoon Yang (Berkeley)
12:15-13:30	Lunch
	Research Presentations - Afternoon Session
13:30-13:55	Guarding Networks Through Mobile Heterogeneous Guards Waseem Abbas Vanderbilt)
13:55-14:20	Sequential Contracts for Uncertain Electricity Resources Hamid Tavafoghi (Michigan)
14:20-14:45	Estimation of Game-Theoretical Systems With Applications to Urban Transportation Jérôme Thai (Berkeley)
14:45-15:00	Break
15:00-15:25	Resilient Design and Operation of Urban Water Infrastructure Networks Lina Sela (MIT)
15:25-15:50	Protecting Virtual Calls in Binary Programs: An Empirical Study From COTS Applications To CPS Applications Chao Zhang (Berkeley)
15:50-16:15	Differential Privacy of Populations in Routing Games Roy Dong (Berkeley)
	Research Work in Progress Session
16:15-16:25	Data-Driven Modeling of Aircraft Engine Performance Yashovardhan Chati (MIT)
16:25-16:35	Selling Wind: A Model Ali Kakhbod (MIT)
16:35-16:45	Applying Decentralized Information Flow Labels for System-level Synthesis Istvan Madari (Vanderbilt)
16:45-16:55	Defense Policies for Partially Observed Spreading Processes on Bayesian Attack Graphs Erik Miehling (Michigan)
17:00	NETWORKING RECEPTION

Friday, May 29, 2015
	Welcome and Overview
08:30-09:30	Welcome and Program Highlights Larry Rohrbough (Berkeley)
09:30-09:45	Break
09:45-11:45	FORCES Student Council Convenes in Breakout Room
09:45-10:15	Distributed Control of Electricity Distribution Networks in the Face of DER Disruptions Saurabh Amin (MIT)
10:15-10:45	Resilient Monitoring, Diagnosis, Control, and Security Codesign for CPS Gabor Karsai (Vanderbilt)
10:45-11:15	Distributed Online Learning in Multi-Agent Systems Alex Bayen (Berkeley)
11:15-11:45	Secure Estimation-based Kalman Filter for Cyber-Physical Systems Against Adversarial Attacks Claire Tomlin (Berkeley)
11:45-13:00	Lunch
13:00-13:30	FORCES Education and Outreach and Student Council Outbrief Aimee Tabor (Berkeley)
13:30-14:00	Towards Security in Cyber-Physical Systems Dawn Song (Berkeley)
14:00-14:30	Informational Braess Paradox: The Impact of Information on Traffic Congestions Asu Ozdaglar (MIT)
14:30-14:45	Break
14:45-15:15	Economics of Resource Allocation for CPS in the Presence of Strategic Attackers Galina Schwartz (Berkeley)
15:15-15:45	Societal Scale CPS Systems: Privacy Aware Incentive Design Shankar Sastry (Berkeley)
15:45-16:30	Discussion with Advisory Board members
16:30	Meeting End