This Article 
 Bibliographic References 
 Add to: 
An Improved Algorithm for Deriving Checking Experiments
February 1979 (vol. 28 no. 2)
pp. 153-156
R.D. Braun, Seneca Army Depot
This correspondence provides improvements to the design of checking experiments for sequential machines. Checking experiments can be divided into three parts: an initialization part, a validating part, and a diagnosing part. For synchronous machines not possessing a distinguishing sequence, the longest part of a checking experiment usually is the validating part. Using linking homing sequences as a replacement for locating sequences [1] or valid homing sequences [2], this correspondence shows that the validating part of an experiment can be significantly reduced for such machines.
Index Terms:
validating sequence, Checking experiments, fault detection, sequential machines, synchronous machines
R.D. Braun, D.D. Givone, "An Improved Algorithm for Deriving Checking Experiments," IEEE Transactions on Computers, vol. 28, no. 2, pp. 153-156, Feb. 1979, doi:10.1109/TC.1979.1675306
Usage of this product signifies your acceptance of the Terms of Use.