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

FORCES 2015 Research Exchange and

Advisory Board Meeting - May 28-29, 2015

Hotel Shattuck Plaza in Berkeley, CA

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