FORCES 2015 Research Exchange and Advisory Board Meeting

The FORCES 2015 Research Exchange and Advisory Board Meeting was held May 28-29, 2015 at the Hotel Shattuck Plaza in Berkeley, CA.

FORCES Meeting Agenda

Below is the meeting agenda. A PDF version of the program is available here.

Thursday, May 28, 2015

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	Approximate Bilevel Programming via Pareto Optimization for Imputation and Control of Optimization and Equilibrium Models
	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)
16:15 - 17:00	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
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
	Aimée Tabor (Berkeley); Walid Krichene (Berkeley)
13:30 - 14:00	Towards Security in Cyber-Physical Systems
	Dawn Song (Berkeley)
14:00 - 14:30	Informational Brass Paradox: The Impact of Information on Traffic Congestions
	Asu Ozdaglar (MIT)
14:30 - 14:45	Break
14:45 - 15:15	A General Framework for Management of Cyber-risks In Large Scale Interdependent CPS
	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