Secure Mode Distinguishability for Switching Systems Subject to Sparse Attacks
It addresses the problem of secure state estimation for cyber-physical systems modeled as switching systems, which is important for safety-critical applications.
The paper provides conditions for exact reconstruction of the initial discrete state of a switching system under sparse attacks on continuous input and output signals, using a DC/DC boost converter as an example.
Switching systems are an important mathematical formalism when dealing with Cyber-Physical Systems (CPSs). In this paper we provide conditions for the exact reconstruction of the initial discrete state of a switching system, when only the continuous output is measurable, and the discrete output signal is not available. In particular, assuming that the continuous input and output signals may be corrupted by additive malicious attacks, we provide conditions for the secure mode distinguishability for linear switching systems. As illustrative example, we consider the hybrid model of a DC/DC boost converter.