Issue No. 11 - November (1981 vol. 30)
R. Saeks , Department of Electrical Engineering, Texas Tech University
A theory for the diagnosability of nonlinear dynamical systems, similar to the one in Part I for memoryless systems, is developed. It is based on an input-output model of the system in a Hilbert space setting. A necessary and sufficient condition for the local diagnosability of the system, which is a rank test on a matrix, is derived. A simple sufficient condition is also derived. It is shown that, for locally diagnosable systems, there exist a finite number of test inputs that are sufficient to diagnose the system. Illustrative examples are presented.
measure, Adjoint map, dynamical systems, Frechet derivative, Hilbert space, local diagnosability
R. Saeks, A. Sangiovanni-Vincentelli, V. Visvanathan, "Diagnosability of Nonlinear Circuits and Systems?Part II: Dynamical Systems", IEEE Transactions on Computers, vol. 30, no. , pp. 899-904, November 1981, doi:10.1109/TC.1981.1675721