Self-recovery of spaceborne digital circuits using corrective control

This paper proposes a scheme of self-recovery for spaceborne digital circuits using a control theoretic approach. The considered circuit, modelled as an asynchronous sequential machine, suffers from the state transition fault caused by the radiation effect. Using corrective control for asynchronous sequential machines, we present the existence condition for an output feedback controller that automatically counteracts the effects of disturbance inputs and restores a desirable behavior to the controlled machine. As a case study, the architecture of an asynchronous clock divider working in space environment is presented and the procedure of controller synthesis is verified.