We use cookies to improve your experience with our site.

异步时序机中永久状态转换错误的容忍

Tolerating Permanent State Transition Faults in Asynchronous Sequential Machines

  • 摘要: 纠正控制理论为异步时序机的错误容忍控制奠定了新的基础。本文,我们为异步时序机动力学中的永久状态转换错误的容忍提出了一个纠错控制方案。由于错误的发生,异步机在一个错误状态中可能被卡住,无法回应外部输入。我们分析了被考虑错误的可探测性,并为克服任何永久转换错误控制机的存在提出了一个必要充分条件。错误容忍通过使用机器中潜在的可触及性和异步机制实现。异步计数器的案例研究阐明了本文提及的错误检测和容忍方案。

     

    Abstract: Corrective control theory lays a novel foundation for the fault-tolerant control of asynchronous sequential machines. In this paper, we present a corrective control scheme for tolerating permanent state transition faults in the dynamics of asynchronous sequential machines. By a fault occurrence, the asynchronous machine may be stuck at a faulty state, not responding to the external input. We analyze the detectability of the considered faults and present the necessary and sufficient condition for the existence of a controller that overcomes any permanent transition faults. Fault tolerance is realized by using potential reachability and asynchronous mechanisms in the machine. A case study on an asynchronous counter is provided to illustrate the proposed fault detection and tolerance scheme.

     

/

返回文章
返回