The present article deals with the algorilhm of computer generated Lyapunov functions, established by Brayton & Tong in the stabilty analysis of the dynamical systems. It also treats of the algorithm introduced by Michel et al. to determine the domain of attraction of an equilibrium x= 0 and study the stability of the interconnected system.