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.

08:30 - 09:15	Welcome and Overview
	Shankar Sastry (Berkeley); Larry Rohrbough (Berkeley)

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

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)

13:30 - 14:45	"Speed" Poster Previews (5 minutes each)
14:45 - 15:00	Break

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)

16:30 - 17:30

Aimee Tabor (Berkeley); Kena Hazelwood-Carter (Berkeley); Saurabh Amin (MIT)

17:30

POSTER SESSION AND RECEPTION

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

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)