Tolerating Permanent Changes of State Transitions in Asynchronous Machines

Seong Woo Kwak and Jung-Min Yang

Keywords

fault tolerance, corrective control, asynchronous machines, permanent faults

Abstract

In this paper, we propose a feedback control scheme that automatically counteracts permanent changes of state transitions in the logic of asynchronous sequential machines. Our study is based on corrective control, a novel theory for compensating the stable-state behavior of asynchronous machines. When the machine has an analytic redundancy in its reachability, we can design a corrective controller so that the closed-loop system continues to show the normal behavior even though a portion of state transitions is changed permanently by faults. Included are the necessary and sufficient condition for the existence of controllers as well as design considerations. We also provide the VHDL experiment for validating the applicability of the proposed control scheme.

Important Links:



Go Back