Visible to the public Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems - January 2015Conflict Detection Enabled

Submitted by awhitesell on Fri, 01/09/2015 - 1:26pm

Public Audience
Purpose: To highlight project progress. Information is generally at a higher level which is accessible to the interested public. All information contained in the report (regions 1-3) is a Government Deliverable/CDRL.

PI(s): Sayan Mitra

Co-PI(s): Geir Dullerud and Swarat Chaudhuri (Rice University)

HARD PROBLEM(S) ADDRESSED
This refers to Hard Problems, released November 2012.

  • Scalability and composability
  • Predictive security metrics

PUBLICATIONS
Papers published in this quarter as a result of this research. Include title, author(s), venue published/presented, and a short description or abstract. Identify which hard problem(s) the publication addressed. Papers that have not yet been published should be reported in region 2 below.

No publications to report (see pending publications).

ACCOMPLISHMENT HIGHLIGHTS

  • Developed sound and complete algorithm for solving this problem for the special case of linear control systems with L2-norm bounded adversaries
  • Software tool implementing this approach is being implemented
Groups: