FORCES 2015 Annual Review

The FORCES 2015 Annual Review Meeting will be held November 4-5, 2015 at the Hyatt Arlington in Arlington, VA.

FORCES Meeting Agenda

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

Wednesday, November 4, 2015

Session I

08:30 - 08:45 Welcome and Opening Remarks
Shankar Sastry (Berkeley); David Corman (National Science Foundation)
08:45 - 09:15 FORCES Program Highlights
Larry Rohrbough (Berkeley)
09:15 - 09:45 FORCES Scientific Agenda: Summary of Progress Made and Outstanding Challenges
Saurabh Amin (MIT)

Session II

09:45 - 10:15 ZUbers against ZLyfts Apocalypse: An Analysis Framework for DoS Attacks on Mobility-as-a-Service Systems
Alex Bayen (Berkeley)
10:15 - 10:45 Towards a Resilient and Secure Air Transportation Infrastructure
Hamsa Balakrishnan (MIT)
10:45 - 11:00 Break

Session III

11:00 - 11:30 Security and Privacy in the Internet of Things: Threats and Solutions
Dawn Song (Berkeley)
11:30 - 12:00 Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems
Xenofon Koutsoukos (Vanderbilt)
12:00 - 12:30 The Emerging Data Market
Lillian Ratliff (Berkeley); Roy Dong (Berkeley)
12:30 - 13:30 Lunch

Session IV

13:30 - 14:30 Education and Outreach
Aimée Tabor (Berkeley); Saurabh Amin (MIT); Galina Schwartz (Berkeley)
14:30 - 14:45 Break

Young Researcher Talks (Part I)

14:45 - 15:00 Quantifying User Engagement in Residential Demand Response Programs
Max Balandat (Berkeley)
15:00 - 15:15 Data-Driven Modeling of Aircraft Engine Performance
Yashovardhan Chati (MIT)
15:15 - 15:30 Network-Calculus Based Approach to DDoS Detection and Mitigation in CPS
Will Emfinger (Vanderbilt)
15:30 - 15:45 Resilient Supervisory Control of Autonomous Intersections in the Presence of Sensor Attacks
Amin Ghafouri (Vanderbilt)
15:45 - 16:00 Distributed Learning, Estimation and Control in the Routing Game
Walid Krichene (Berkeley)
16:00 - 16:15 Attack-Resilient Traffic-Signal Configurations
Aron Laszka (Berkeley)

Session V

16:15 - 16:45 Network Flow Routing under Strategic Link Disruptions
Saurabh Amin (MIT)
16:45 - 17:15 A Methodology for Generation Expansion Planning In the Restructured Electricity Industry
Demos Teneketzis (Michigan)
18:00 NETWORKING RECEPTION and DINNER

Thursday, November 5, 2015

Session VI

08:30 - 09:00 System-Level Design Under Confidentiality and Integrity Constraints
Janos Sztipanovits (Vanderbilt)
09:00 - 09:30 Responsive Load Control
Ian Hiskens (MIT)
09:30 - 10:00 Experimental Evaluation Platform for Resilience in CPS
Gabor Karsai (Vanderbilt)
10:00 - 10:15 Break

Session VII

10:15 - 10:45 Reducing Price Volatility via Stochastic Storage Control in Power Networks: A Cyber-Physical Solution to Risky Electricity Markets
Insoon Yang (MIT)

Young Researcher Talks (Part II)

10:45 - 11:00 Cyber-Physical System Software Security Analysis and Enhancement: A Case Study
Chao Zhang (Berkeley)
11:00 - 11:15 Analytics for Parking Management and Congestion Reduction
Eric Mazumdar (Berkeley)
11:15 - 11:30 Security Assessment of Electricity Distribution Networks under DER Node Compromises
Devendra Shelar (MIT)
11:30 - 11:45 Price of Anarchy Due to Mobility-as-a-Service Rivalry
Jérôme Thai (Berkeley)

Session VIII

11:45 - 12:15 FORCES Knowledge Transfer
Larry Rohrbough (Berkeley)
12:15 - 12:45 New Vistas and Opportunities: Societal Scale CPS Systems: Data Markets and Incentive Design
Shankar Sastry (Berkeley)
12:45 - 14:00 Lunch/NSF Caucus
14:00 - 14:30 NSF Outbrief
14:30 Meeting End