Issue No. 03 - March (1983 vol. 32)
D.K. Pradhan , Department of Electrical and Computer Engineering, University of Massachusetts
sequential machine, In order to enhance fault-detection capability, extra inputs are used when designing sequential machines. Here, a technique is proposed that designs these machines, precisely with the use of extra inputs?so as especially to minimize the length of the checking sequence. The resulting checking sequences are shown to be upper bounded by (3 + 2n)m+rn(3m + 1), where n is the number of states, r is the number of inputs, m = logs, n, and s is the number of extra inputs, respectively., Checking sequence, diameter of graphs, directed graphs, distinguishing sequence, fault detection
D. Pradhan, "Sequential Network Design Using Extra Inputs for Fault Detection," in IEEE Transactions on Computers, vol. 32, no. , pp. 319-323, 1983.