Self-checking structural automation design in PLM basis

M. V. Astaf'ev*, I. S. Levin, A. Yu Matrosova, V. E. Sinel'nikov

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


The synthesis problem is considered of self-checking synchronous automaton networks in the programmed logic matrices (PLM) basis. Self-checking of an automaton network component is provided by encoding the internal automaton states by equal-weighted codes and lengthening codes of its input states. As a result, microprogram description of component operation is transformed to a positive monotonic system.

Original languageEnglish
Pages (from-to)120-136
Number of pages17
JournalAvtomatika i Telemekhanika
Issue number10
StatePublished - 2002


Dive into the research topics of 'Self-checking structural automation design in PLM basis'. Together they form a unique fingerprint.

Cite this