A Computational Approach for the Diagnosability of Dynamical Circuits

Based on a discrete-time circuit description, a necessary and sufficient condition is derived for the local diagnosability of the class of dynamical circuits whose branch relations are analytic functions of their arguments. Both the single-fault case and the case where all the parameters are assumed to be faulty are dealt with. The condition is a rank test on a matrix that is determined from a single circuit simulation and sensitivity computation. The technique is illustrated with an example.