Fault recovery for cascaded asynchronous sequential machines

• Published in: IET control theory & applications Vol. 12; no. 1; pp. 60 - 67
• Main Authors: Yang, Jung-Min, Kwak, Seong Woo
• Format: Journal Article
• Language: English
• Published: The Institution of Engineering and Technology 02.01.2018
• Subjects: adversarial inputs; aerospace computing; aerospace control; ASM; cascade composition; cascade systems; cascaded asynchronous sequential machines; control engineering computing; control system synthesis; corrective controller; existence condition; fault recovery; fault tolerant control; fault‐tolerant control problem; feedback availability; field programmable gate arrays; field‐programmable gate array systems; memory scrubbing modules; output feedback; Research Article; robust operations; sequential machines; space‐borne computers; state feedback; state transition; adversarial inputs; space-borne computers; fault-tolerant control problem; field programmable gate arrays; corrective controller; field-programmable gate array systems; state transition; control system synthesis; aerospace control; robust operations; output feedback; memory scrubbing modules; fault recovery; sequential machines; cascade composition; existence condition; aerospace computing; cascade systems; state feedback; ASM; feedback availability; control engineering computing; cascaded asynchronous sequential machines; fault tolerant control
• ISSN: 1751-8644; 1751-8652
• DOI: 10.1049/iet-cta.2017.0367

In this study, the authors investigate the fault-tolerant control problem of a cascaded asynchronous sequential machine (ASM) in which two ASMs subject to adversarial inputs constitute a cascade composition. The main objective is to develop a corrective controller that can diagnose and tolerate any unauthorised state transition occurring in the cascaded machine. In particular, the authors address fault-tolerant control for two control configurations, one with a state feedback and the other with an output feedback. The existence condition for a controller is found to be different with respect to each feedback availability. The authors apply the proposed control scheme to robust operations of memory scrubbing modules in space-borne computers implemented on field-programmable gate array systems. Experimental results show the practicability of the proposed methodology.