Runtime Assurance Under Measurement Attack: Necessary and Sufficient Observability Conditions for Learned Control in Radio Access Networks
The paper investigates runtime assurance for learned control systems against measurement attacks from untrusted sources. It finds that safety is guaranteed if and only if the system is 2q-sparse observable with respect to the safety-relevant output, a condition weaker than full observability. This provides a necessary and sufficient condition for admitting learned policies into safety-critical network control.