Transition matrices in multiple preset experiments and initial state identification of synchronous sequential machines

Recently, in connection with the measurement and control of synchronous sequential machines, Das et al. proposed an approach to the solution of the problems using the transition matrix representation of the machine and its higher-order forms. In the proposed approach, however, the authors restricted themselves to only simple and preset experiments. Generally speaking, a simple preset experiment is rather easy to implement, though it suffers from the disadvantage that it tends to be lengthy, and sometimes does not provide the experimenter with the desired information. The letter develops a new approach to the solution of the initial state identification problem or diagnosing problem, which happens to be an important measurement problem in sequential machines through multiple preset experimentation, using the transition-matrix representation of the machine and other related concepts as provided in the paper by Das et al. The present approach, like the one suggested before, is also very systematic and completely algorithmic, and thus lends itself to easy computer implementation.