State feedback corrective control with a self-repair scheme against transient faults

This paper presents corrective control of input/state asynchronous sequential machines (ASMs) against transient faults occurring in both ASM and corrective controller. Since not only the ASM but also the controller undergoes unauthorized state transitions as a result of the fault, the ASM is vulnerable to direct damage by transient faults as well as indirect one propagated from the controller under the fault. We address the existence condition and design procedure for a state feedback corrective controller which achieves self-repair against any transient fault, while diagnosing and overcoming those faults infiltrating into the considered ASM. Hardware experiments on field-programmable gate array (FPGA) are provided to validate the applicability of the proposed methodology.