A Lyapunov machine for stability analysis of nonlinear systems

Abstract

Dynamic analysis of nonlinear system requires tool for study of arbitrary sets of positive semi-trajectories for the system rather than only single semi-trajectories. Such a study is difficult because of very high computational complexity. This paper proposes a Lyapunov machine as a possible tool for stability analysis of nonlinear autonomous systems. The Lyapunov machine is able to test global asymptotic stability, to isolate local asymptotic stability domains and to approximate a Lyapunov function for the system. >