Abstract: 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.
Abstract: Solvability of the model matching problem for
input/output switched asynchronous sequential machines is discussed
in this paper. The control objective is to determine the existence
condition and design algorithm for a corrective controller that can
match the stable-state behavior of the closed-loop system to that of
a reference model. Switching operations and correction procedures
are incorporated using output feedback so that the controlled
switched machine can show the desired input/output behavior. A
matrix expression is presented to address reachability of switched
asynchronous sequential machines with output equivalence with
respect to a model. The presented reachability condition for the
controller design is validated in a simple example.