rom the COMPLib library
% The user has to install COMPLib from http://www.compleib.de/ . The
% problem is formulated as a polynomial matrix inequality and solved using
% our PMI interface in |interfaces/PMI|. Example:
%
%  sof('AC1');
%
% *Lyapunov stability of continuous and discrete time linear systems*
% 
% Go to directory |applications/NLP_AMPL|. 
% We solve the problem of stability of a time invariant linear (discrete)
% system using Lyapunov theory. The problem is formulated as a LMI system