Notions of Centralized and Decentralized Opacity in Linear Systems

Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus

We formulate notions of opacity for cyberphysical systems modeled as discrete-time linear time-invariant systems. A set of secret states is $k$-ISO with respect to a set of nonsecr…