ANALOG OF JACOBI MATRICES IN THE THEORY OF BINARY NONLINEAR SEQUENTIAL-MACHINES AND ITS APPLICATIONS TO PROBLEMS OF CONTROLLABILITY, OBSERVABILITY, AND FUNCTIONAL DIAGNOSABILITY

The concept of the Jacobi matrix of a system of Boolean functions is introduced. Using this concept an analytic method of describing local processes in binary nonlinear sequential machines is proposed, Sufficient conditions of local controllability, observability, and functional diagnosability of such machines are presented.