Yang Jung-Min, Kwak Seong Woo
IEEE Trans Cybern. 2023 Oct;53(10):6109-6121. doi: 10.1109/TCYB.2022.3167483. Epub 2023 Sep 15.
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.
本文针对一类执行器故障，提出了一种用于输入/状态异步顺序机（ASM）的弹性校正控制方案，这类故障中某些执行器输出会暂时无法生成。我们首先给出一种数学公式，用于描述因执行器输出间歇性丢失而受损的受控ASM的可达性。基于该数学公式，我们研究了状态反馈校正控制器和诊断器的存在条件及设计过程，以实现弹性，即尽管执行器输出间歇性丢失，闭环系统仍能表现出正常的输入/状态行为。为验证所提概念和方法的适用性，在现场可编程门阵列（FPGA）上实现了一个实际异步数字系统的闭环系统，并进行了实验验证。
