Covertly Controlling a Linear System
Barak Amihood, Asaf Cohen

TL;DR
This paper investigates the limits of covert control of linear systems, showing that unstable systems cannot be covertly stabilized, but stable ones can be covertly manipulated, revealing a three-way trade-off among information, control, and covertness.
Contribution
It formally defines the covert control problem for linear systems and characterizes the fundamental limits and trade-offs involved, especially for AR(1) systems.
Findings
Unstable systems cannot be covertly stabilized.
Stable systems can be covertly controlled, including parameter changes and resets.
A three-fold trade-off exists among information, control performance, and covertness.
Abstract
Consider the problem of covertly controlling a linear system. In this problem, Alice desires to control (stabilize or change the behavior of) a linear system, while keeping an observer, Willie, unable to decide if the system is indeed being controlled or not. We formally define the problem, under a model where Willie can only observe the system's output. Focusing on AR(1) systems, we show that when Willie observes the system's output through a clean channel, an inherently unstable linear system can not be covertly stabilized. However, an inherently stable linear system can be covertly controlled, in the sense of covertly changing its parameter or resetting its memory. Moreover, we give positive and negative results for two important controllers: a minimal-information controller, where Alice is allowed to use only bit per sample, and a maximal-information controller, where Alice is…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms
