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.

本文介绍了输入/状态异步时序机 (ASM) 的校正控制，以防止 ASM 和校正控制器中发生的瞬态故障。由于不仅 ASM 而且控制器也会因故障而经历未经授权的状态转换，因此 ASM 容易受到瞬态故障的直接损坏以及从故障下的控制器传播的间接故障。我们解决了状态反馈校正控制器的存在条件和设计程序，该控制器实现针对任何瞬态故障的自我修复，同时诊断和克服那些渗透到所考虑的 ASM 中的故障。提供了现场可编程门阵列 (FPGA) 的硬件实验以验证所提出方法的适用性。