Reachability and state recovery for input/state switched asynchronous sequential machines

Reachability and state recovery for switched asynchronous sequential machines are investigated in this paper. The considered switched asynchronous machine is exposed to the adverse effect of adversarial inputs. The main objective is to design a state feedback controller so that the switched machine can recover the original state after going through unauthorized state transitions by faults. We propose a novel method of describing the reachability of the switched machine and the condition for the existence of a controller based on the proposed reachability matrices. An illustrative example is given to show the validity of the main results.