Technical Diagnostics

An analytical method for design of distinguishing sequences for discrete devices having a memory

Yu. A. Skobtsov, D. V. Speranskii

Donetsk

Abstract: An analytical method for construction of the minimal input sequence distinguishing two binary automata is proposed. This method is applied to construction of an input sequence detecting a specified fault in a synchronous sequential circuit. In constructing this input sequence Boolean differential calculus is used.

UDC: 681.326.74


Received: 19.06.1978

 English version: Automation and Remote Control, 1980, 41:1, 97–104

Bibliographic databases:

• 
•