Opacity and Structural Resilience in Cyber-Physical Systems

This poster surveys results obtained by the project team in the general area of cybersecurity for Cyberphysical Systems (CPSs). In particular, the team has shown how the notion of opacity, which has been defined and studied in the context of discrete-event systems, may be lifted to linear time-invariant and switched systems. Opacity is concerned with the ability of a system to conceal aspects of its behavior (“secrets”) from a passive adversary who can observe aspects of system dynamics.