Opacity Versus Security in Linear Dynamical Systems

• 成果类型: Article
• 署名作者: John, Varkey M.; Katewa, Vaibhav
• 署名单位: University System of Georgia; Georgia Institute of Technology; Indian Institute of Science (IISC) - Bangalore; Indian Institute of Science (IISC) - Bangalore
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3426549
• 发表日期: 2025
• 关键词: Observability; privacy; CONTROLLABILITY; PERSPECTIVE

摘要

Opacity is a notion of privacy that is well studied in computer science and discrete-event systems. It describes an eavesdropper's inability to infer a system's secret states by observing the system's outputs. In this article, we consider opacity in linear dynamical systems and study four opacity classes-initial-state, current-state, K-step and infinite-step opacity, and show that they are fundamentally connected to two subspaces of the linear system-the weakly unobservable subspace and the weakly unconstructible subspace. With these subspaces, we derive conditions for the opacity of secret states under constrained and unconstrained state and input sets. Further, we establish that a tradeoff exists between opacity and security in the system. We show this in two ways: 1) We prove that an opaque system always permits undetectable attacks. 2) We show that expanding the set of opaque states in the system expands the set of undetectable attacks. Our work provides the necessary mathematical foundation for system designers to build opaque systems, while ensuring adequate security.