Variable-Length Distinguishing Sequences and Their Application to the Design of Fault-Detection Experiments
Issue No. 08 - August (1968 vol. 17)
Abstract?A variable-length distinguishing sequence (VLDS) is a preset distinguishing sequence X<L>0</L> such that, if the machine is started in an unknown state, the output response of the machine to some prefix of X<L>0</L> will identify the initial state. The length of the required prefix is a function of the initial state. The properties of such sequences are investigated and a method which employs a modified version of the diagnosing tree is developed for generating and displaying all such sequences. The fixed-length distinguishing sequence (FLDS) is shown to be a special case of the more general VLDS. The VLDS is next applied in the design of simple and efficient preset fault-detection experiments for sequential machines.
Index Terms?Distinguishing sequences, fault-detection experiments, sequential machine.
Z. Kohavi and I. Kohavi, "Variable-Length Distinguishing Sequences and Their Application to the Design of Fault-Detection Experiments," in IEEE Transactions on Computers, vol. 17, no. , pp. 792-795, 1968.