Diagnostic Modeling of a Networks of Digital State Machines

the problem of synthesizing a diagnostic model for a network combining a number of digital state machines (automations) is considered. It is assumed that the diagnostic models of all network components are known preliminarily and they are given by systems of logical equations. The possibility of converting the combination of initial diagnostic models providing fault detection of network components is shown, provided that the detected fault is localized in a single network component. A search procedure of analytical equations determining a diagnostic model for the whole network is proposed. It is shown that the fault detecting ability of that diagnostic network model is preserved while computational complexity and hardware redundancy compared to the initial set of diagnostic models of network components are reduced.