Secure Mode Distinguishability for Switching Systems Subject to Sparse Attacks

Abstract: 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.