Attack Mitigation for the Corrective Controller With FPGA Implementation on a Space-borne Digital System

This article studies an attack mitigation strategy for the corrective control system of input/state asynchronous sequential machines (ASMs). The corrective controller suffers from an attacker invoking false data injection attacks, as the result of which not only the controller but also the controlled machine undergoes unauthorized state transitions. To overcome such attacks, we propose self-repairing transitions and additional controller components to make the closed-loop system exhibit desired input/state behaviors as well as resilience against the adverse effect of the attack on the controller. The stable reachability of the controlled ASM required to design a proper corrective controller is derived. Hardware experiments on field-programmable gate array (FPGA) on a space-borne digital system are provided to demonstrate the applicability of the proposed methodology.