Formal stability analysis of the 17-CIM based on Lyapunov theory and spectral criteria. Includes stochastic robustness analysis (Monte Carlo) to account for parameter uncertainty and defines the critical time threshold (tcrit) for system maintenance.
Jan Torsten Iwanitz (Mon,) studied this question.