Secure Mode Distinguishability for Switching Systems Subject to Sparse Attacks

Gabriella Fiore,Elena De Santis,Maria Domenica Di Benedetto
DOI: https://doi.org/10.48550/arXiv.1704.02737
2017-04-10
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.
Systems and Control
What problem does this paper attempt to address?