International Journal of Control, Vol.69, No.3, 459-465, 1998
Numerical implementation for stability criteria of nonlinear control systems
In this paper we develop an approach using symbolic computation for testing the system stability. This approach shows the efficiency of our previous theoretic result in this field. A computer program is provided to implement this approach.
Keywords:QUADRATIC LYAPUNOV FUNCTIONS;STATE-SPACE SYSTEMS;SUFFICIENT CONDITIONS;CIRCLE CRITERION;EXISTENCE;PROOF