Resilient Corrective Control of Asynchronous Sequential Machines Against Intermittent Loss of Actuator Outputs
针对执行器输出间歇性丢失的故障，提出一种弹性校正控制方案，通过状态反馈控制器和诊断器使闭环系统恢复正常输入/状态行为，并在FPGA上验证了有效性。
This article proposes a resilient corrective control scheme for input/state asynchronous sequential machines (ASMs) against a class of actuator faults in which certain actuator outputs cannot be generated temporarily. We first present a mathematical formulation to describe the reachability of the controlled ASM damaged by the intermittent loss of actuator outputs. Based on the mathematical formulation, we address the existence condition and design procedure for a state-feedback corrective controller and a diagnoser that achieve resilience, that is, to make the closed-loop system exhibit normal input/state behaviors despite the intermittent loss of actuator outputs. To validate the applicability of the proposed concept and methodology, the closed-loop system of a practical asynchronous digital system is implemented on a field-programmable gate array (FPGA) and experimental verifications are provided.