FORCES 2014 All Hands Meeting
The FORCES 2014 All Hands Meeting was held November 13-14, 2014 at the Westin Georgetown in Washington, D.C. |
FORCES Meeting Agenda
Below is the meeting agenda. A PDF version of the program is available here.
Thursday, November 13, 2014
08:30 - 09:15 | Welcome and Overview |
Shankar Sastry (Berkeley); Larry Rohrbough (Berkeley) |
Modeling for Resilience
09:15 - 09:45 | Resilience Modeling and Model-Based Design for CPS |
Gabor Karsai (Vanderbilt) | |
09:45 - 10:15 | A Supervisory Control Approach to Dynamic Cyber-Security |
Demos Teneketzis (Michigan) |
10:15 - 10:30 | Break |
10:30 - 11:00 | Progress Towards System-Security Co-Design |
Janos Sztipanovits (Vanderbilt) | |
11:00 - 11:30 | Network Neutrality and CPS |
Galina Schwartz (Berkeley) |
11:30 - 12:30 | Lunch |
Operating Through Attacks (Part 1)
12:30 - 13:00 | Resilient Monitoring and Control Algorithms for Distribution Networks |
Saurabh Amin (MIT) | 13:00 - 13:30 | Resilient Monitoring of CPS in the Presence of Faults and Adversarial Attackss |
Xenofon Koutsoukos (Vanderbilt) |
FORCES Young Researcher Presentations
13:30 - 14:45 | "Speed" Poster Previews (5 minutes each) | 14:45 - 15:00 | Break |
Defenses and Economic Incentives
15:00 - 15:30 | Attack Surface Analysis and Program Hardening of CPS Systems |
Chao Zhang (Berkeley); Dawn Song (Berkeley) | |
15:30 - 16:00 | Risk-Limiting Dynamic Contracts for Direct and Indirect Load Control |
Insoon Yang (Berkeley); Claire Tomlin (Berkeley) | |
16:00 - 16:30 | Effects of Risk on Privacy Contracts for Demand-Side Management |
Lillian Ratliff (Berkeley) |
FORCES Education and Outreach
16:30 - 17:30 | Aimee Tabor (Berkeley); Kena Hazelwood-Carter (Berkeley); Saurabh Amin (MIT) |
17:30 | POSTER SESSION AND RECEPTION |
Friday, November 14, 2014
09:00 - 10:00 | Smart Grid Demonstration Results and Emerging Challenges for the Grid |
Matt Wakefield (Director, Information, Communications and Cyber Security, EPRI) |
10:00 - 10:15 | Break |
Operating Through Attacks (Part 2)
10:15 - 10:45 | Modeling and Mitigating Disruptions in Networked, Multi-Agent CPS |
Hamsa Balakrishnan (MIT) | |
10:45 - 11:15 | Robust Convergence of Distributed Routing with Heterogeneous Population Dynamics |
Walid Krichene (Berkeley); Alex Bayen (Berkeley) |
11:15 - 11:45 | Scientific Value of FORCES |
Saurabh Amin (MIT) |
12:00 | Wrap-Up / End of Meeting |
12:00 - 12:30 | NSF / Advisory Board Caucus |
12:30 - 13:00 | NSF / Advisory Board Outbrief |