Conditions for Fault Recovery of Interconnected Asynchronous Sequential Machines with State Feedback

[摘要] In this paper, fault recovery for parallel interconnected asynchronous sequential machines is studied. An adversarial input can infiltrate into one of two submachines comprising parallel composition of the considered asynchronous sequential machine, causing an unauthorized state transition. The control objective is to elucidate the condition for the existence of a corrective controller that makes the closed-loop system immune against any occurrence of adversarial inputs. In particular, an efficient existence condition is presented that does not need the complete modeling of the interconnected asynchronous sequential machine.

[学科分类] 计算机应用

[关键词] Asynchronous sequential machines;parallel composition;corrective control;fault tolerance.