% ex7_12
% 李雅普諾夫第二方法確定系統的穩定性
syms x1 x2 v x1 x2;
a=[0 1;-1 -1];
v=x1*x1+x2*x2;
v1=a(1,1)*x1+a(1,2)*x2;
v2=a(2,1)*x1+a(2,2)*x2;
vder= simple(jacobian([v],[x1])*v1+jacobian([v],[x2])*v2)