Asynchronous correction for cascade composition of finite state machines

This paper presents a scheme of correcting transient faults in finite state machines with asynchronous mechanism. The considered system is cascade composition of two finite state machines and is exposed to transient faults that cause unauthorized state transitions. Using the theory of corrective control for asynchronous sequential machines, the proposed framework yields an output feedback controller that diagnoses and tolerates any transient faults occurring to the system so that the closed-loop system can continue the normal behavior. With no observation module added, the controller can determine which component experiences a transient fault. An illustrative example is provided for sketching the design procedure of the proposed controller.