Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks

TL;DR

This paper investigates the vulnerability of nonlinear control systems to stealthy sensor attacks, establishing conditions under which such attacks can move the system to unsafe states undetected.

Contribution

It introduces a general definition of stealthy attacks using Neyman-Pearson lemma and provides a sufficient condition for system vulnerability based on stability properties.

Findings

Systems with incrementally exponentially stable closed-loop are vulnerable if open-loop is incrementally unstable.

Stealthy attacks can cause the system to reach unsafe regions without detection.

Case study demonstrates the practical relevance of the theoretical results.

Abstract

In this work, we focus on analyzing vulnerability of nonlinear dynamical control systems to stealthy sensor attacks. We start by defining the notion of stealthy attacks in the most general form by leveraging Neyman-Pearson lemma; specifically, an attack is considered to be stealthy if it is stealthy from (i.e., undetected by) any intrusion detector -- i.e., the probability of the detection is not better than a random guess. We then provide a sufficient condition under which a nonlinear control system is vulnerable to stealthy attacks, in terms of moving the system to an unsafe region due to the attacks. In particular, we show that if the closed-loop system is incrementally exponentially stable while the open-loop plant is incrementally unstable, then the system is vulnerable to stealthy yet impactful attacks on sensors. Finally, we illustrate our results on a case study.