Functional diagnosis of nonlinear discrete-time processes

The necessary and sufficient condition in found for existence of a checking circuit of a specified structure intended for checking correct functioning of discrete-time processes in operating mode. A procedure is described of developing a checking circuit of minimal dimension.