Input design for active detection of integrity attacks using set-based approach

Conference Article


IFAC World Congress (IFAC)






Download the digital copy of the doc pdf document


This paper presents the design of an input sequence in order to actively guarantee detectability of integrity attacks. The design of the input sequence is formulated as an optimization problem where the performance degradation imposed in the protected system is minimized while guaranteeing attack detectability by separating the reachable sets of the system in healthy and attacked operation. By considering uncertainties bounded by zonotopes, the design of an optimal open-loop input sequence such that guarantee the separability of the reachable zonotopic sets can be computed by solving a Mixed Integer Quadratic Program (MIQP). Following this approach, attack detection can be guaranteed by: I) forcing a distinct behavior of the system outputs; II) ensuring that residuals under attack will exit the healthy residual set. Furthermore, the present work also considers the imposition of residuals detectability for the specific replay attack scenario affecting an state estimate control system. The effectiveness of the proposals is validated in simulation by means of a numerical example.


control theory.

Scientific reference

C. Trapiello and V. Puig. Input design for active detection of integrity attacks using set-based approach, 21st IFAC World Congress, 2020, Online, pp. 6.