Visible to the public FORCES NSF Review Meeting - October 2013Conflict Detection Enabled

FORCES NSF Review Meeting - October 29, 2013

Westin Arlington Gateway in Arlington, VA

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

October 29, 2013
Introduction and Overview
08:15-08:30 Welcome
Shankar Sastry (Berkeley)
FORCES Theoretical Foundations
08:30-08:45 Robust Control for Safety and Security
Hamsa Balakrishnan (MIT)
08:45-09:00 Dynamic Contracts with Partial Observations, with Application to Indirect Load Control in Power Systems
Claire Tomlin (Berkeley)
09:00-09:30 Games of Strategy for Modeling Conflict and Cooperation
Galina Schwartz (Berkeley)
09:30-10:00 Mechanism Design for Incentive Regulation
Saurabh Amin (MIT); Demos Teneketzis (Michigan)
FORCES Design Tools
10:00-10:30 Towards Resilience in CPS Software Platforms
Gabor Karsai (Vanderbilt)
10:30-10:45 Resilient Cooperative Control in Tree Topology Networks
Xenofon Koutsoukos (Vanderbilt)
10:45-11:00 Fault and Attack Tolerant Control - Power Systems
Ian Hiskens (Michigan)
11:00 -11:30 System Security Co-Design
Saurabh Amin (MIT); Janos Sztipanovits (Vanderbilt)
FORCES Young Researcher Talks
11:30 -11:35 Non-Intrusive Load Monitoring and Beyond
Henrik Ohlsson (Berkeley)
11:35-11:40 Nonintrusive Load Monitoring
Roy Dong (Berkeley)
11:40 -11:45 Transmission Constrained Economic Dispatch
Erik Miehling (Michigan)
11:45 -11:50 Formal Specifications for Secure Component Deployment
Gabor Simko (Vanderbilt)
11:50 -11:55 Evaluating Resilient Consensus with DetelLab
Mark Yampolskiy (Vanderbilt)
11:55-12:00 Stochastic Control and Optimization for Electric Power Systems
Insoon Yang (Berkeley)
12:00-12:05 Proactive Defenses Through Program Hardening
Chao Zhang (Berkeley)
12:05-13:15 Lunch and Poster Session
FORCES Testbeds
13:15-13:45 Air Transportation Testbed
Hamsa Balakrishnan (MIT)
13:45-14:00 Reliable Distribution Nets
Saurabh Amin (MIT)
14:00-14:15 Power Systems Testbeds
Ian Hiskens (Michigan)
Industry Collaboration Roundtable
14:15-15:15 Datta Godbole (Honeywell); Hamed Okhravi (MIT Lincoln Laboratory); Hamsa Balakrishnan (MIT); Ian Hiskens (Michigan); Janos Sztipanovits (Vanderbilt)
15:15-15:30 Break
15:30-16:00 FORCES Education and Outreach
Aimee Tabor
16:00-16:15 Meeting Wrap Up
Shankar Sastry (Berkeley)
16:15-17:15 Principal Investigators and NSF Program Managers Discussion